Synthese

, Volume 110, Issue 1, pp 127–141

FORMALIZATION OF HILBERT'S GEOMETRY OF INCIDENCE AND PARALLELISM

Authors

  • JAN VON Plato
    • Department of PhilosophyUniversity of Helsinki
Article

DOI: 10.1023/A:1004959405270

Cite this article as:
Plato, J.V. Synthese (1997) 110: 127. doi:10.1023/A:1004959405270

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.

Copyright information

© Kluwer Academic Publishers 1997