Gödel's Incompleteness Theorems and the Limits of Knowledge: A Century-Long Debate
On September 8, 1930, David Hilbert, a prominent mathematician, gave a radio speech in Königsberg, ending with the words 'Wir müssen wissen. Wir werden wissen.' The previous day, 24-year-old Kurt Gödel revealed that any consistent axiomatic system for arithmetic includes true statements that cannot be proven, posing a significant challenge to Hilbert's program. The discourse surrounding mathematical knowledge traces back to David Hume and was further explored in Immanuel Kant's Critique of Pure Reason (1781). L E J Brouwer's rejection of the law of excluded middle led to Hilbert's boxing analogy. Gödel's theorems countered the efforts of Bertrand Russell and Alfred North Whitehead in their Principia Mathematica (1910–1913). In 1973, Michael Dummett suggested that logic is shaped by linguistic practices. Hilbert passed away in 1943, while Gödel found refuge in Princeton, forming a friendship with Albert Einstein.
Key facts
- David Hilbert delivered a radio address in Königsberg on 8 September 1930, ending with 'Wir müssen wissen. Wir werden wissen.'
- Kurt Gödel announced the Incompleteness Theorems on 7 September 1930 at a meeting in Königsberg.
- Gödel showed that any consistent axiomatic system for arithmetic contains true but unprovable statements.
- Immanuel Kant published Critique of Pure Reason in 1781, arguing we can only know phenomena, not things-in-themselves.
- Bertrand Russell sent Gottlob Frege a letter in 1902 revealing an inconsistency in Frege's Grundgesetze der Arithmetik.
- Principia Mathematica by Russell and Alfred North Whitehead appeared in three volumes between 1910 and 1913.
- Michael Dummett delivered 'The Justification of Deduction' at the British Academy in 1973.
- Tor Sandqvist submitted a doctoral thesis at Uppsala University in 2005 justifying deduction without truth.
Entities
Artists
- David Hilbert
- Kurt Gödel
- Immanuel Kant
- David Hume
- L E J Brouwer
- Gottlob Frege
- Bertrand Russell
- Giuseppe Peano
- Alfred North Whitehead
- Ludwig Wittgenstein
- Moritz Schlick
- Rudolf Carnap
- Otto Neurath
- Albert Einstein
- Michael Dummett
- Tor Sandqvist
Institutions
- University of Göttingen
- University of Vienna
- International Congress of Mathematicians
- International Congress of Philosophy
- Vienna Circle
- British Academy
- Uppsala University
- University College London
- Institute for Advanced Study, Princeton
- Aeon
Locations
- Königsberg
- Germany
- Vienna
- Austria
- Paris
- France
- Princeton
- United States
- Göttingen
- Uppsala
- Sweden
- London
- United Kingdom