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 zeroonetwothree on Thursday January 19, 2023 @10:46AM (#34441537)
You don’t have to pick the smallest, just start with q and then find you can keep decreasing it forever.
[ Parent | on HN ]

There are no comments on this comment yet.