Difference between revisions of "Godel's Incompleteness Theorems"
Jump to navigation
Jump to search
m |
|||
| Line 2: | Line 2: | ||
| − | '''Godel's First Incompleteness Theorem''': Peano Arithmetic or any extension of Peano Arithmetic is either incomplete or inconsistent. | + | '''Godel's First Incompleteness Theorem''': [[Peano Arithmetic]] or any extension of Peano Arithmetic is either incomplete or inconsistent. |
Revision as of 20:15, April 4, 2007
Gödel's incompleteness theorems are 2 theorems published in 1931 by Kurt Gödel that reveal 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.