Repositorium | Zeitschrift | Band | Zeitschriftartikel

COPR BookmarkLink
237772

(1997) Synthese 110 (1).

Formalization of Hilbert's geometry of incidence and parallelism

Jan von Plato

pp. 127-141

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.

Publikationsangaben

DOI: 10.1023/A:1004959405270

Quellenangabe:

von Plato, J. (1997). Formalization of Hilbert's geometry of incidence and parallelism. Synthese 110 (1), pp. 127-141.

Dieses Dokument ist derzeit leider nicht zum Runterladen verfügbar.