more on this theme | more from this thinker
Full Idea
Hilbert's formulation of the Euclidean theory is of special interest because (besides being rigorously axiomatised) it does not employ the real numbers in the axioms.
Gist of Idea
Hilbert's geometry is interesting because it captures Euclid without using real numbers
Source
report of David Hilbert (Foundations of Geometry [1899]) by Hartry Field - Science without Numbers 3
Book Ref
Field,Hartry: 'Science without Number' [Blackwell 1980], p.25
A Reaction
Notice that this job was done by Hilbert, and not by the fictionalist Hartry Field.
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] |