
Re: Euclid's Elements Book 1 Proposition 1  something Euclid missed?
Posted:
Feb 17, 2014 9:09 PM


KQ: However it still leaves some fuzziness in my mind. You admit that a line segment can have a length of sqrt(2).
JG: NO! I claimed that sqrt(2) is an incommensurable magnitude, therefore it can't be measured.
KQ: Yet you say it does not correspond to any number.
JG: Correct.
KQ: If something has a length of sqrt(2), doesn't that mean that the number sqrt(2) exists?
JG: Nothing has a length of sqrt(2), but the hypotenuse of a rightangled isosceles triangle with unit equal sides has a magnitude of sqrt(2).
KQ: What is a length if not a number?
JG: The length is a number if it is measurable.
KQ: If you mean you can't specfy all the digits beforehand, like you can for any rational (since the digits repeat, even if the repeating group is very long), so what? If you want digit #56908124897987367512 of sqrt(2) it can be produced right at your table if you give the waiter enuf time to run the appropriate program on his computer.
JG: Your answer lies here:
http://www.spacetimeandtheuniverse.com/math/45070999equalone556.html#post27235
KQ: Any digit you want, we'll give you. Doesn't that give sqrt(2) the right to exist?
JG: See previous link. You can't produce ALL the digits and that's what is required.
KQ: I'm going to talk to the American Numerical Rights Union about this.
JG: LOL.

