Block, Siteadmin, SkipCaptcha, Upload, Automoderated users, delete, edit, move, nsTeam2RO, nsTeam2RW, nsTeam2_talkRO, nsTeam2_talkRW, protect, rollback, Administrators, template
292,470
edits
Changes
Jump to navigation
Jump to search
mLine 1:
Line 1: − <center><font size="8"><span style="color: red">'''Hitler</span> was a <span style="color: deeppink">sensitive</span> man'''</font>+ − <br />+ − + + + + + + + +
Godel's Incompleteness Theorems (view source)
Revision as of 20:49, April 26, 2007
, 20:49, April 26, 2007Reverted edits by C for Conservative (Talk); changed back to last version by Jaques
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.
[[Image:Hitler6-thumb.jpg|center|750px]]</center>
'''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]]