Re:Fermat's Last Theorem in Lean – Imperial College London
by CJefferson on Sunday August 03, 2025 @10:44AM
(#44776906)
I have no idea why Gemini is saying that. Proof my contradiction is totally fine. Sure, many people prefer a more direct proof as they are nicer to read, but proof by contradiction is totally fine and sometimes the only way to prove important results.
[ Parent
| on HN ]
Re:Fermat's Last Theorem in Lean – Imperial College London
by tphyahoo2 on Sunday August 03, 2025 @11:08AM
(#44777080)
I'm not disagreeing (I'm on the fence. Also a bit of a nube.). I thought this was a good read and on topic.
https://www.quora.com/In-math-are-there-any-proofs-that-can-...