more on this theme     |     more from this thinker     |     more from this text


Single Idea 10302

[filed under theme 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 Ref

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