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 n4r9 on Thursday January 19, 2023 @04:12AM (#34438263)
That's a lovely proof. It has the "proof by absurdity" feel of the classic Euclidean proof, but without as much fiddling about with even numbers.
[ Parent | on HN ]

There are no comments on this comment yet.