1990 | OriginalPaper | Buchkapitel
On the Early History of Intuitionistic Logic
verfasst von : A. S. Troelstra
Erschienen in: Mathematical Logic
Verlag: Springer US
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We describe the early history of intuitonistic logic, its formalization and the genesis of the so-called Brouwer-Heyting-Kolmogorov interpretation. In particular we discuss at some length whether Heyting’s papers contain an anticipation of logic with existence predicate. Finally we publish some source material, in particular letters of Bemays, Glivenko and Kolmogorov to Heyting.