- 1906-1978. Austrian-American logician and mathematician.
- Proved the incompleteness theorems (1931): every consistent formal system capable of arithmetic contains true statements it cannot prove.
- Established fundamental limits of computation, logic, and formal verification.
- Showed that no finite set of axioms can fully capture mathematical truth, a permanent boundary on what machines and proofs can reach.
- Close collaborator of John von Neumann and Albert Einstein at the Institute for Advanced Study.
- His work implies that any knowledge graph or protocol, including cyber, remains perpetually incomplete and open to extension.