sourced story
1931 CEReputable source · 2 sourcesWell documented

Godel Proves Mathematics Cannot Prove Its Own Completeness

A 25-year-old logician shows that any system powerful enough to do arithmetic will always contain true statements it cannot prove

On the timeline · around 1931 CE · Modern MathematicsModern MathematicsGodel Proves Mathematics Cannot Prove Its Own Completeness18751900192519501975

Quick facts

Godel's dates
1906-1978
Incompleteness theorems published
1931
Target of the result
Hilbert's formalist program
Core claim
No sufficiently powerful axiomatic system can prove its own consistency

What happened

Kurt Godel, born in 1906 in Brunn, Austria-Hungary, published his incompleteness theorems in 1931 under the title Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme, on formally undecidable propositions of Principia Mathematica and related systems. The theorems demonstrated that in any axiomatic mathematical system powerful enough to describe basic arithmetic, there exist propositions that can be neither proved nor disproved within the axioms of that system, and further that such a system cannot prove its own consistency from within itself. The result dealt a severe blow to the formalist program associated with the mathematician David Hilbert, which had aimed to place all of mathematics on a complete and self-verifying logical foundation, though it did not destroy the fundamental idea of formalism outright, since it demonstrated only that any adequate system would have to be more comprehensive than Hilbert had envisaged.

Why it matters

Godel's theorems ended, in a single stroke, the decades-long project of proving mathematics complete and self-consistent using only its own internal rules, showing that any sufficiently powerful formal system contains truths it cannot itself verify. The result reshaped 20th-century logic and directly influenced the theoretical foundations Alan Turing would draw on a few years later in defining what a computing machine can and cannot do.

How we know

Godel's 1931 paper survives as a published text and has been translated, verified, and extended by generations of logicians since, and its impact on Hilbert's formalist program is documented in the subsequent mathematical literature responding directly to it.

Sources

See something wrong? . Corrections with a source get fixed fastest.

Part of a timelineHistory of Mathematics26 events · A number system built for taxes, a theorem older than the man it's named for, a proof too long for a margin, and an infinity too big to countView all →