Ideas from 'Foundations of Geometry' by David Hilbert [1899], by Theme Structure

green numbers give full details    |     back to texts     |     expand these ideas

6. Mathematics / A. Nature of Mathematics / 2. Geometry
Hilbert aimed to eliminate number from geometry [Hart,WD]
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
Euclid axioms concerns possibilities of construction, but Hilbert's assert the existence of objects [Chihara]
Hilbert's formalisation revealed implicit congruence axioms in Euclid [Horsten/Pettigrew]
Hilbert's geometry is interesting because it captures Euclid without using real numbers [Field,H]