1990 | OriginalPaper | Buchkapitel
Heyting and Intuitionistic Geometry
verfasst von : D. van Dalen
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
It may seem strange that the second fully committed intuitionist in mathematics entered his career with a treatise on axiomatic geometry, for axiomatics did have a formalist flavour and one cannot suspect Brouwer, Heyting’s teacher, of leanings in that specific direction. There are a number of possible explanations for the choice of this particular topic — which, by the way, had been suggested by Brouwer. One of them is Brouwer’s own interest in the foundations of geometry in the Pasch-Hilbert-style; his Ph.D.Thesis contained a good deal of geometry and he regularly lectured on the foundations of geometry. His inaugural address as a “privaat docent” bore the title “The nature of geometry”. Hence it is not all that surprising that Heyting choose the intuitionistic foundations as a topic for his Ph.D.thesis.