30
edits
Changes
Jump to navigation
Jump to search
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 Incompleteness Theorems (view source)
Revision as of 20:48, April 26, 2007
, 20:48, April 26, 2007no edit summary
<center><font size="8"><span style="color: red">'''Hitler</span> was a <span style="color: deeppink">sensitive</span> man'''</font>
<br />
[[Image:Hitler6-thumb.jpg|center|750px]]</center>
'''Godel's Second Incompleteness Theorem''': Any set of axioms that asserts its own consistency is inconsistent.
[[category:mathematics]]