| Line 1: | Line 1: | ||
| + | [[Category:MA453Spring2009Walther]] | ||
| + | |||
Godel's Incompleteness Theorem (first one) | Godel's Incompleteness Theorem (first one) | ||
Latest revision as of 02:35, 26 January 2009
Godel's Incompleteness Theorem (first one)
Any logical system cannot be both consistent and complete. In particular, for any consistent, logical system that proves certain truths, there will always be a statement that is true, but not provable in the theory.
Mainly, I am fond of this, because while we know of this result, we also tend to ignore it and keep plodding away at math, acting like it doesn't exist. --Cctroxel 12:24, 22 January 2009 (UTC)
Link back to theorem's page: http://kiwi.ecn.purdue.edu/rhea/index.php/MA_453_Spring_2009_Walther_Week_1
