News for hackers. Stuff that matters.

A comment on The existence of the square root of two (2001). Parent comment

Re:The existence of the square root of two (2001) by adrianN on Monday December 25, 2017 @01:47PM (#16005223)
No, Pythagoras started from something that definitely exists: the hypotenuse of a triangle with two sides of length 1. He wanted to find out its length and to his great dismay he discovered that there is no rational number to express its length.
[ Parent | on HN ]
Re:The existence of the square root of two (2001) by sebapi747 on Saturday December 30, 2017 @09:19PM (#16038983)
You don’t need Euclidean space to exist to define reals but you need reals numbers for distance to exist.
[ Parent | on HN ]