Formalising a new proof that the square root of two is irrational

Re:Formalising a new proof that the square root of two is ir... by phkahler on Thursday January 19, 2023 @09:20AM (#34440510)

Fermat did several proofs by infinite descent without bringing set theory into it ;-)

[ Parent | on HN ]

Re:Formalising a new proof that the square root of two is ir... by henrydark on Thursday January 19, 2023 @11:48AM (#34442424)

Actually he did use set theory, but there wasn't enough space in the margins

[ Parent | on HN ]

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 ]