Publication details
Jahr: 1997
Pages: 127-141
Reihe: Synthese
Volle Referenz:
, "Formalization of Hilbert's geometry of incidence and parallelism", Synthese 110 (1), 1997, pp. 127-141.
Formalization of Hilbert's geometry of incidence and parallelism
pp. 127-141
in: Synthese 110 (1), 1997.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.
Cited authors
Publication details
Jahr: 1997
Pages: 127-141
Reihe: Synthese
Volle Referenz:
, "Formalization of Hilbert's geometry of incidence and parallelism", Synthese 110 (1), 1997, pp. 127-141.