> Math theorems are tautologies
Proven math theorems are tautologies.
FLT was no less a tautology before it was proved. We just weren't sure about it. Proofs only change us, not math.
True.
alt Hacker News
FLT was no less a tautology before it was proved. We just weren't sure about it. Proofs only change us, not math.