Abstract
Three things are presented: How Hilbert changed the original construction postulates of his geometry into existential axioms; In what sense he formalized geometry; How elementary geometry is formalized to present day's standards.
Similar content being viewed by others
REFERENCES
Hilbert, D.: 1899, Grundlagen der Geometrie, Teubner, Leipzig. Second edition 1903, seventh edition 1930.
Hilbert, D.: 1900a, 'Mathematische Probleme', as reprinted in Hilbert's collected works, Vol. 3, pp. 290–329.
Hilbert, D.: 1900b, 'Ueber den Zahlbegriff', Jahresbericht der Deutschen Mathematiker-Vereinigung 8, 180–184.
Hilbert, D. and S. Cohn-Vossen: 1932, Anschauliche Geometrie, Springer Verlag, Berlin.
Magnusson, L. and B. Nordström: 1994, 'The ALF Proof Editor and its Proof Engine', in Lecture Notes in Computer Science 806, 213–37.
von Plato, J.: 1995, 'The Axioms of Constructive Geometry', Annals of Pure and Applied Logic 76, 169–200.
Poincaré, H.: 1902, [Review of Hilbert 1899], Bulletin des Sciences mathématiques 26, 249–72.
Ranta, A.: 1994, Type-Theoretical Grammar, Oxford University Press, Oxford.
Ranta, A.: 1995, 'Syntactic Categories in the Language of Mathematics', Lecture Notes in Computer Science 996, 162–82.
Skolem, T.: 1920, 'Logisch-kombinatorische Untersuchungen über die Erfü llbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen', as reprinted in Skolem's Selected Works in Logic, pp. 103–136, edited by J. Fenstad, Universitetsforlaget, Oslo, 1970.
Toepell, M.: 1987, “Grundlagen der Geometrie”,Vandenhoeck & Ruprecht, Göttingen.
Weyl. H.: 1944, 'David Hilbert and his Mathematical Work', Bulletin of the American Mathematical Society 50, 612–54.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Plato, J.V. FORMALIZATION OF HILBERT'S GEOMETRY OF INCIDENCE AND PARALLELISM. Synthese 110, 127–141 (1997). https://doi.org/10.1023/A:1004959405270
Issue Date:
DOI: https://doi.org/10.1023/A:1004959405270