4 relations: Gödel's speed-up theorem, List of incomplete proofs, List of mathematical proofs, Mathematical proof.
Gödel's speed-up theorem
In mathematics, Gödel's speed-up theorem, proved by, shows that there are theorems whose proofs can be drastically shortened by working in more powerful axiomatic systems.
New!!: List of long mathematical proofs and Gödel's speed-up theorem · See more »
List of incomplete proofs
This page lists notable examples of incomplete published mathematical proofs.
New!!: List of long mathematical proofs and List of incomplete proofs · See more »
List of mathematical proofs
A list of articles with mathematical proofs.
New!!: List of long mathematical proofs and List of mathematical proofs · See more »
Mathematical proof
In mathematics, a proof is an inferential argument for a mathematical statement.
New!!: List of long mathematical proofs and Mathematical proof · See more »
Redirects here:
List of long proofs, Long proof, Longest proof.
References
[1] https://en.wikipedia.org/wiki/List_of_long_mathematical_proofs