more from this thinker     |     more from this text

Single Idea 18217

[filed under theme 6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry ]

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.

The 21 ideas with the same theme [formal starting points for deriving geometry]:

22278 Euclid relied on obvious properties in diagrams, as well as on his axioms [Potter on Euclid]
8673 Euclid's parallel postulate defines unique non-intersecting parallel lines [Euclid, by Friend]
10250 Euclid needs a principle of continuity, saying some lines must intersect [Shapiro on Euclid]
10302 Euclid says we can 'join' two points, but Hilbert says the straight line 'exists' [Euclid, by Bernays]
14157 Modern geometries only accept various parts of the Euclid propositions [Russell on Euclid]
13007 Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz]
12937 We shouldn't just accept Euclid's axioms, but try to demonstrate them [Leibniz]
3343 Euclid's could be the only viable geometry, if rejection of the parallel line postulate doesn't lead to a contradiction [Benardete,JA on Kant]
17965 The whole of Euclidean geometry derives from a basic equation and transformations [Hilbert]
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]
10052 Geometry is united by the intuitive axioms of projective geometry [Russell, by Musgrave]
10157 Tarski improved Hilbert's geometry axioms, and without set-theory [Tarski, by Feferman/Feferman]
8997 There are four different possible conventional accounts of geometry [Quine]
18156 Modern axioms of geometry do not need the real numbers [Bostock]
18221 'Metric' axioms uses functions, points and numbers; 'synthetic' axioms give facts about space [Field,H]
13474 Euclid has a unique parallel, spherical geometry has none, and saddle geometry has several [Hart,WD]
9553 Analytic geometry gave space a mathematical structure, which could then have axioms [Chihara]
18760 The culmination of Euclidean geometry was axioms that made all models isomorphic [McGee]
17762 In non-Euclidean geometry, all Euclidean theorems are valid that avoid the fifth postulate [Walicki]