gnostek
- 01Gödel was 25 when he published the incompleteness theorems in 1931, ending Hilbert's formalist program.
- 02He encoded mathematical statements as numbers — 'Gödel numbering' — so a system could talk about itself.
- 03The Second Theorem: no consistent system can prove its own consistency — foundations float free.