News for hackers. Stuff that matters.

A comment on Formalising a new proof that the square root of two is irrational. Parent comment

Re:Formalising a new proof that the square root of two is ir... by pfortuny on Thursday January 19, 2023 @08:04AM (#34439850)
Notice thay you know sqrt(2)<2 (this is easy), which does not happen in your case.
[ Parent | on HN ]

There are no comments on this comment yet.