Single Idea 10302

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

Full Idea

Euclid postulates: One can join two points by a straight line; Hilbert states the axiom: Given any two points, there exists a straight line on which both are situated.

Gist of Idea

Euclid says we can 'join' two points, but Hilbert says the straight line 'exists'

Source

report of Euclid (Elements of Geometry [c.290 BCE]) by Paul Bernays - On Platonism in Mathematics p.259

Book Reference

'Philosophy of Mathematics: readings (2nd)', ed/tr. Benacerraf/Putnam [CUP 1983], p.259