Gödel at 95: What Incompleteness Still Means for Math, Logic and Physics

Kurt Gödel’s 1931 incompleteness theorems proved that any formal mathematical system rich enough to express arithmetic contains true statements it cannot prove, killing David Hilbert’s program to reduce mathematics to a complete set of mechanical rules. Quanta gathered logicians, philosophers and a physicist to revisit what this actually means nearly a century later, and the consensus is that the implications still aren’t fully settled.

Philosopher Panu Raatikainen frames the result as the death of the ancient axiomatic ideal: mathematical truth about even the integers is too complex to flow from any finite set of axioms, so knowledge in math grades from certain to hypothetical rather than forming a unified whole. Rebecca Goldstein traces the historical arc from Russell’s Paradox through Hilbert’s formalist response to Gödel’s demolition of it, noting that human intuition about numbers apparently reaches past what any formal system can capture. The continuum hypothesis, shown undecidable by Paul Cohen in 1963, is the canonical example — and extra axioms can push it either way.

Physicist Claus Kiefer argues this isn’t just a curiosity for mathematicians. Because physical laws are written on a spacetime continuum built from the real numbers, Gödelian undecidability may underlie the singularities in general relativity and the infinities in quantum field theory, suggesting a final unified theory may need to abandon the continuum entirely.