more on this theme | more from this text
Full Idea
Euclid's Postulate 2 says the geometer can 'produce a finite straight line continuously in a straight line'.
Gist of Idea
Postulate 2 says a line can be extended continuously
Source
report of Euclid (Elements of Geometry [c.290 BCE]) by Stewart Shapiro - Thinking About Mathematics 4.2
Book Ref
Shapiro,Stewart: 'Thinking About Mathematics' [OUP 2000], p.87
A Reaction
The point being that this takes infinity for granted, especially if you start counting how many points there are on the line. The Einstein idea that it might eventually come round and hit you on the back of the head would have charmed Euclid.
8623 | Proof reveals the interdependence of truths, as well as showing their certainty [Euclid, by Frege] |
13907 | If you pick an arbitrary triangle, things proved of it are true of all triangles [Euclid, by Lemmon] |
6297 | Euclid's geometry is synthetic, but Descartes produced an analytic version of it [Euclid, by Resnik] |
9603 | An assumption that there is a largest prime leads to a contradiction [Euclid, by Brown,JR] |
14157 | Modern geometries only accept various parts of the Euclid propositions [Russell on Euclid] |
8738 | Postulate 2 says a line can be extended continuously [Euclid, by Shapiro] |
10302 | Euclid says we can 'join' two points, but Hilbert says the straight line 'exists' [Euclid, by Bernays] |
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] |
9894 | A unit is that according to which each existing thing is said to be one [Euclid] |
1600 | Euclid's common notions or axioms are what we must have if we are to learn anything at all [Euclid, by Roochnik] |