Difference between revisions of "Godel's Incompleteness Theorems"

From Conservapedia
Jump to: navigation, search
m
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.
+
Gödel's incompleteness theorems are 2 theorems published in 1921 by [[Kurt Gödel]] that reveal the limitations of the axiomatic approch to mathematics.
  
  

Revision as of 23:21, April 4, 2007

Gödel's incompleteness theorems are 2 theorems published in 1921 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.