3 ms·
In math, proof is not generally so expensive, so perhaps Ramanujan was not the best example.
by l33t7332273 3y ago
In math, proof is not generally so expensive, so perhaps Ramanujan was not the best example.
- penteract 3y agoRamanujan was missed by at least one maths professor. Also, there are mathematical proofs such as that of Fermat's last theorem, or the claimed proof of the abc conjecture by Shinichi Mochizuki for which verification is very difficult. I'll agree that the costs don't come close to replicating work by LIGO or CERN.
- Tainnor 3y agoThere's a difference between a flawed proof (e.g. Wiles's original proof of FLT which was found to contain a gap) and outright crankery, though. There are more mathematical cranks than most people would think, and their arguments usually fall apart rather easily.
- deleted 3y ago[deleted]