more on this theme | more from this thinker
Full Idea
In his formal investigation of Euclidean geometry, Hilbert uncovered congruence axioms that implicitly played a role in Euclid's proofs but were not explicitly recognised.
Gist of Idea
Hilbert's formalisation revealed implicit congruence axioms in Euclid
Source
report of David Hilbert (Foundations of Geometry [1899]) by Horsten,L/Pettigrew,R - Mathematical Methods in Philosophy 2
Book Ref
'Bloomsbury Companion to Philosophical Logic', ed/tr. Horsten,L/Pettigrew,R [Bloomsbury 2014], p.17
A Reaction
The writers are offering this as a good example of the benefits of a precise and formal approach to foundational questions. It's hard to disagree, but dispiriting if you need a PhD in maths before you can start doing philosophy.
13472 | Hilbert aimed to eliminate number from geometry [Hilbert, by Hart,WD] |
9546 | Euclid axioms concerns possibilities of construction, but Hilbert's assert the existence of objects [Hilbert, by Chihara] |
18742 | Hilbert's formalisation revealed implicit congruence axioms in Euclid [Hilbert, by Horsten/Pettigrew] |
18217 | Hilbert's geometry is interesting because it captures Euclid without using real numbers [Hilbert, by Field,H] |