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 bombcar on Thursday January 19, 2023 @11:48AM (#34442425)
There's a large body of math that can be proved simply, or proved complexly using set theory ;)
[ Parent | on HN ]

There are no comments on this comment yet.