Difference between revisions of "Godel's Incompleteness Theorems"
Jump to navigation
Jump to search
(New page: Gödel's incompleteness theorems are 2 theorems published in 1931 by Kurt Gödel that reveals the limitations of the axiomatic approch to mathematics. '''Godel's First Incompleteness...) |
(No difference)
|
Revision as of 06:46, March 31, 2007
Gödel's incompleteness theorems are 2 theorems published in 1931 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: Peano Arithmetic or any extension of Peano Arithmetic that asserts its own consistency is inconsistent.