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 vlovich123 on Thursday January 19, 2023 @09:33AM (#34440661)
I’m very rusty but I think this proves the positive roots are irrational. If the positive roots are irrational then the negative ones would be too.
[ Parent | on HN ]

There are no comments on this comment yet.