Featured Challenges of the Anthropocene

Kurt Gödel

Kurt Gödel

Here is the biographical sketch of Kurt Gödel’s life from the Stanford Encyclopedia of Philosophy: Biographical Sketch Kurt Gödel was born on April 28, 1906 in what was then the Austro-Hungarian city of Brünn, and what is now Brno in the...

/ November 21, 2011

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