PERSON
Kurt Gödel
Austrian-American logician (1906–1978) whose 1931 incompleteness theorems shattered the foundations of mathematics and illuminated the nature of self-referential systems — the result Hofstadter built his career on and extended to consciousness and AI.
Gödel published his First Incompleteness Theorem in 1931 at age 25, while working at the University of Vienna. The proof demonstrated that any formal system powerful enough to express basic arithmetic contains true statements it cannot prove within its own axioms. The method was audacious: by assigning numbers to every symbol, formula, and proof in the system (Gödel numbering), he demonstrated that statements about the system could be encoded within the system. He then constructed a statement that said, in effect, 'This statement cannot be proven within this system.' If the system proved it, the statement was false and the system had proven a falsehood. If the system could not prove it, the statement was true — a truth about the system that the system's own machinery could not reach.
In The You On AI Field Guide
The Second Incompleteness Theorem, proved shortly after, showed that no sufficiently powerful system could prove its own consistency from within. Together the theorems demolished David