Repository | Journal | Volume | Articles
(1997) Synthese 110 (1).
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
Full citation:
von Plato, J. (1997). Formalization of Hilbert's geometry of incidence and parallelism. Synthese 110 (1), pp. 127-141.
This document is unfortunately not available for download at the moment.