Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literature
E. Artin, Geometric Algebra. Interscience Publ. Inc. New York. 1957.
L.E.J. Brouwer, Begründung der Mengenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten. I: Allgemeine Mengenlehre.Nederlandse Akademie van Wetenschappen, Verhandelingen, Tweede Reeks. Afdeling Natuurkunde. 12 /5, 1918. 43 pp.
L.E.J. Brouwer, Begründung der Mengenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten. II: Theorie der Punktmengen. Nederlandse Akademie van Wetenschappen, Verhandelingen, Tweede Reeks. Afdeling Natuurkunde. 12 /7, 1919. 33 pp.
L.E.J. Brouwer, Besitzt jede reelle Zahl eine Dezimalbruch-Entwicklung? Mathematische Annalen. 83, 1921. 201–210.
L.E.J. Brouwer, Intuitionistische splitsing van mathematische grondbegrippen. Verstag van de gewone vergadering der wis-ennatuurkundige afdeling. XXXII, 1923. 877–880.
L.E.J. Brouwer, Intuitionistische Zerlegung mathematischer Grundbegriffe. Jahresberichte d. Deutschen Mathematiker- Vereinigung. 33, 1925. 251–256.
L.E.J. Brouwer, Points and Spaces. Canadian Journal of Mathematics. 6, 1954. 1–17.
L.E.J. Brouwer, Zur Begründung der intuitionistischen Mathematik. II. Mathematische Annalen. 95, 1926. 453–472.
D. van Dalen. Extension Problems in intuitionistic plane projective geometry I,II. Indag. Math. 25, 349–383. Also diss., Amsterdam. 1963.
J. Dieudonné, La géometrie des groupes classiques. Actualités Sci. Ind. No 1040
Hermann, Paris. 1948.
A. Heyting, Intuitionistische axiomatiek der projectieve meetkunde. (diss.). Amsterdam 1925.
A. Heyting, Die Theorie der linearen Gleichungen in einer Zahlenspezies mit nicht kommutativer Multiplikation. Mathematische Annalen. 98, 1927. 49 1538.
A. Heyting, Intuïtionistische Wiskunde. Mathematica B. 5, 1936. 105–112.
A. Heyting, Zur intuitionistischen Axiomatik der projektiven Geometrie. Mathematische Annalen. 98, 1927. 491–538.
A. Heyting, Untersuchungen über intuitionidtische Algebra. Nederlandse Akademie van Wetenschappen, Afdeling natuurkunde. Eerste sectie, 18, no. 2. 1941. 36 pp.
A. Heyting, L’axiomatique intuitioniste. In R. Bayer (ed.), Philosophie: XVI. Congres Intern. Phil. Sc. Paris, 1949, I. Logique. Hermann et Cie. Paris 1951. 81–86.
A. Heyting, Espace de Hilbert et intuitionisme. In Les Méthodes formelles een axiomatique. Colloques internationaux du C.N.R.S. Paris 1950. 59–63.
A. Heyting, Note on the Riesz-Fischer Theorem. Indag. Math. 13, 1951. 35–44.
A. Heyting, Sur la théorie intuitioniste de la mesure. Bull. de la Soc. Math. de Belgique. 6, 1952. 70–78.
A. Heyting, Intuitionism. An Introduction. North-Holland Publ. Co. Amsterdam 1956.
A. Heyting, Axiomatic Method and Intuitionism. In Y. Bar-Hillel, J. Poznanski, M.O. Rabin, A. Robinson (eds.). Essays on the foundations of Mathematics. Magnus Press, Hebrew University, Jerusalem/NorthHolland Publ. Co. Amsterdam. 1962. 237–247.
A. Heyting, Axioms for intuitionistic plane affine geometry. In L. Henkin, P. Suppes, A. Tarski (eds.), The Axiomatic Method, with special reference to Geometry and physics. North-Holland Publ. Co. Amsterdam. 1959. 160–173.
A. Heyting, Axiomatic Projective Geometry. Noordhoff, Groningen/ North-Holland Publ. Co.Amsterdam. 1963.
A. Heyting, Remarques sur la théorie intuitioniste des espaces lineaires.Synthese, 16, 1966. 47–52.
G. Pieri, Memorie di Torino. 1898.
W. Ruitenburg, Primality and invertibility of polynomials. In A.S. Troelstra, D. van Dalen (eds.) The L.E.J. Brouwer Centenary Symposium. North-Holland Publ. Co. Amsterdam. 1982. 413–434.
D.S. Scott, Identity and existence in intuitionistic logic. In M.P. Fourman, C.J. Mulvey, D.S. Scott (eds.), Applications of sheaves. Symposium on Applications of sheaf theory to logic, algebra and analysis. Springer, Berlin. 1979. 154–193.
A.S. Troelstra, D. van Dalen,Constructivity in Mathematics. Vol. I, II. North-Holland Publ. Co. Amsterdam. 1988.
A.N. Whitehead, The axioms of projective geometry. Cambridge University Press, Cambridge. 1913.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Plenum Press, New York
About this chapter
Cite this chapter
van Dalen, D. (1990). Heyting and Intuitionistic Geometry. In: Petkov, P.P. (eds) Mathematical Logic. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-0609-2_2
Download citation
DOI: https://doi.org/10.1007/978-1-4613-0609-2_2
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4612-7890-0
Online ISBN: 978-1-4613-0609-2
eBook Packages: Springer Book Archive