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.