Go:

Visual Taxonomy

Links

Hide/Show:

Taxonomy Path

http://en.wikipedia.org/wiki/Incompleteness_theorem

Gödel's incompleteness theorems are two theorems of mathematical logic that establish inherent limitations of all but the most trivial axiomatic systems capable of doing arithmetic. The theorems, proven by Kurt Gödel in 1931, are important both in mathematical logic and in the philosophy of mathematics. The two results are widely, but not universally, interpreted as showing that Hilbert's program to find a complete and consistent set of axioms for all mathematics is impossible, giving a negative answer to Hilbert's second problem.

The first incompleteness theorem states that no consistent system of axioms whose theorems can be listed by an "effective procedure" (i.e., any sort of algorithm) is capable of proving all truths about the relations of the natural numbers (arithmetic). For any such system, there will always be statements about the natural numbers that are true, but that are unprovable within the system. The second incompleteness theorem, an extension of the first, shows that such a system cannot demonstrate its own consistency.

See also

• Logic portal
• Mathematics portal
• Gödel machine
• Gödel's completeness theorem
• Gödel's speed-up theorem
• Gödel, Escher, Bach
• Löb's Theorem
• Minds, Machines and Gödel
• Münchhausen trilemma
• Non-standard model of arithmetic
• Proof theory
• Provability logic
• Quining
• Tarski's undefinability theorem
• Theory of everything#Gödel's incompleteness theorem
• Third Man Argument

Subcategories

Pages

Pages in Other Languages

Forking

Categories:

Theorems in the foundations of mathematics

Mathematical logic

Model theory

Proof theory

• Epistemology

Metatheorems

Works by Kurt Gödel