Re:The existence of the square root of two (2001)
by bjourne on Monday December 25, 2017 @10:47AM
(#16004494)
Your argument rests on the notion of "length" which you don't get for free. :) You won't be able to define "length" without assuming the existence of irrational numbers.
[ Parent
| on HN ]
There are no comments on this comment yet.