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

13472

Hilbert aimed to eliminate number from geometry [Hart,WD]

6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry

9546	Euclid axioms concerns possibilities of construction, but Hilbert's assert the existence of objects [Chihara]

18742

Hilbert's formalisation revealed implicit congruence axioms in Euclid [Horsten/Pettigrew]

18217

Hilbert's geometry is interesting because it captures Euclid without using real numbers [Field,H]