Ontify
⌘
S
⌘
S
Gödel's Speed-Up Theorem - Ontify
Share
Gödel's Speed-Up Theorem
Theorem on proofs and axiomatic systems.
Wikipedia | Gödel's Speed-Up Theorem
Statements about
Gödel's Speed-Up Theorem
Named After
Part Of
Instance Of
Kurt Gödel
Proof Theory
Theorem
Wikidata