Gödel's Incompleteness Theorems/Historical Note
Jump to navigation
Jump to search
Historical Note on Gödel's Incompleteness Theorems
Gödel's Incompleteness Theorems answered the second of Hilbert's $23$ (then) unsolved problems of mathematics.
Hence it ended attempts, like those of Alfred North Whitehead and Bertrand Russell, to develop the whole of mathematics from a finite set of logical axioms.
It also damages the idea of finding a finite set of basic axioms of physics to define all natural phenomena.
Sources
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): Gödel's proof
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): Gödel's proof