Difference between revisions of "Godel's Incompleteness Theorems"
Jump to navigation
Jump to search
m (Reverted edits by C for Conservative (Talk); changed back to last version by Jaques) |
|||
| Line 1: | Line 1: | ||
| − | + | 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''': Axioms of [[Peano Arithmetic]] or any extension of it is either incomplete or inconsistent. | ||
| + | |||
| + | |||
| + | '''Godel's Second Incompleteness Theorem''': Any set of axioms that asserts its own consistency is inconsistent. | ||
| + | |||
| + | |||
| + | [[category:mathematics]] | ||
Revision as of 20:49, April 26, 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: Axioms of Peano Arithmetic or any extension of it is either incomplete or inconsistent.
Godel's Second Incompleteness Theorem: Any set of axioms that asserts its own consistency is inconsistent.