6,068
edits
Changes
Godel's Incompleteness Theorems (view source)
Revision as of 06:46, March 31, 2007
, 06:46, March 31, 2007New 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...
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.
[[category: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.
[[category:mathematics]]