Landmark theorem proving mathematical systems can contain undecidable truths.
MathematicsTheoremLogicPhilosophy
Current best complexity is 120:
Gödel's Proof can be discovered in Concepts, categorized under Mathematics, Theorem, Logic, Philosophy. Landmark theorem proving mathematical systems can contain undecidable truths.
It has been discovered by 1 board and crafted 2 times, first appearing 36 hours ago. Gödel's Proof can be created from 1 recipe, and goes on to appear as an ingredient in 2 others.
Gödel's Proof was first discovered by Doctor's board 36 hours ago. They also hold the lowest-complexity recipe, at 120.
Related concepts worth exploring include Void, Eternity, Infinity, Delta, Binary System, Ouroboros, and 6 more.