, Volume 110, Issue 1, pp 127-141

FORMALIZATION OF HILBERT'S GEOMETRY OF INCIDENCE AND PARALLELISM

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

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.