Hilbert's 1900 Address: Consistency, Completeness, and the Entscheidungsproblem
How Hilbert's vision for mathematics led through Gödel's incompleteness theorems and the undecidability of the decision problem to the Turing machine—a theoretical precursor of the modern computer.
- Mathematical logic
- Computability
- History of mathematics