Repository | Zeitschrift | Band | Artikel
Formalization of Hilbert's geometry of incidence and parallelism
pp. 127-141
Abstrakt
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.
Publication details
Published in:
(1997) Synthese 110 (1).
Seiten: 127-141
Referenz:
von Plato Jan (1997) „Formalization of Hilbert's geometry of incidence and parallelism“. Synthese 110 (1), 127–141.