Featured Challenges of the Anthropocene

Incompleteness Theorem

Incompleteness Theorem

The Incompleteness Theorem is Gödel’s main contribution to 20th century thought. Gödel showed that within a logical system such as Russell and Whitehead had developed for arithmetic, propositions can be formulated that are undecidable or undemonstrable within the axioms of the system. That...

/ November 21, 2011