4 ms·
Hypothesis: As the complexity of proofs approaches the limits of human ability to understand, saying it is a proof becomes more important than proving it is a p
by sometimesijust 8y ago
Hypothesis: As the complexity of proofs approaches the limits of human ability to understand, saying it is a proof becomes more important than proving it is a proof.
Evidence: The Wikipedia page for the Lindelöf hypothesis already unambiguously states that it has been formally proved.
- filmor 8y agoIf you check the history and talk of that page you will see that there is one very persistent user who has repeatedly re-added this section while at least to others tried to remove it.
- hansbo 8y agoIt was a fascinating read. Reminded me of this XKCD: https://xkcd.com/386/ https://xkcd.com/386/
- cbluth 8y agosometimesijust's Law of Proofs