Skip to main content
Log in

FORMALIZATION OF HILBERT'S GEOMETRY OF INCIDENCE AND PARALLELISM

  • Published:
Synthese Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

REFERENCES

  • Hilbert, D.: 1899, Grundlagen der Geometrie, Teubner, Leipzig. Second edition 1903, seventh edition 1930.

    Google Scholar 

  • Hilbert, D.: 1900a, 'Mathematische Probleme', as reprinted in Hilbert's collected works, Vol. 3, pp. 290–329.

    Google Scholar 

  • Hilbert, D.: 1900b, 'Ueber den Zahlbegriff', Jahresbericht der Deutschen Mathematiker-Vereinigung 8, 180–184.

    Google Scholar 

  • Hilbert, D. and S. Cohn-Vossen: 1932, Anschauliche Geometrie, Springer Verlag, Berlin.

    Google Scholar 

  • Magnusson, L. and B. Nordström: 1994, 'The ALF Proof Editor and its Proof Engine', in Lecture Notes in Computer Science 806, 213–37.

    Google Scholar 

  • von Plato, J.: 1995, 'The Axioms of Constructive Geometry', Annals of Pure and Applied Logic 76, 169–200.

    Google Scholar 

  • Poincaré, H.: 1902, [Review of Hilbert 1899], Bulletin des Sciences mathématiques 26, 249–72.

    Google Scholar 

  • Ranta, A.: 1994, Type-Theoretical Grammar, Oxford University Press, Oxford.

    Google Scholar 

  • Ranta, A.: 1995, 'Syntactic Categories in the Language of Mathematics', Lecture Notes in Computer Science 996, 162–82.

    Google Scholar 

  • 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.

    Google Scholar 

  • Weyl. H.: 1944, 'David Hilbert and his Mathematical Work', Bulletin of the American Mathematical Society 50, 612–54.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1004959405270

Keywords

Navigation