News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.