- Lived:
- 1906–1978 · Brünn (Brno), Vienna, Princeton
- Tradition:
- Mathematical logic; the foundations of mathematics; Platonist philosophy of mathematics
- The Big Idea:
- Any consistent formal system rich enough to do arithmetic contains true statements it cannot prove — and cannot prove its own consistency. Reason, formalized, cannot totalize itself.
- In their words:
- "The axioms force themselves upon us as being true."
- If you remember one thing:
- At twenty-four, with one theorem, the quietest man in the room proved that no rulebook can capture all of mathematical truth — and then spent a lifetime believing that truth is out there anyway, waiting to be seen.