Difference between revisions of "Godel's Incompleteness Theorems"
From Conservapedia
| Line 1: | Line 1: | ||
| − | Gödel's incompleteness theorems are 2 theorems published in | + | Gödel's incompleteness theorems are 2 theorems published in 1921 by [[Kurt Gödel]] that reveals the limitations of the axiomatic approch to mathematics. |
Revision as of 00:00, April 1, 2007
Gödel's incompleteness theorems are 2 theorems published in 1921 by Kurt Gödel that reveals the limitations of the axiomatic approch to mathematics.
Godel's First Incompleteness Theorem: Peano Arithmetic or any extension of Peano Arithmetic is either incomplete or inconsistent.
Godel's Second Incompleteness Theorem: Any set of axioms that asserts its own consistency is inconsistent.
