Person stub
Kurt Gödel
1906–1978 · Austrian logician
Austrian logician (1906–1978) who proved the limits of formal systems.
Kurt Gödel — Austrian logician (1906–1978) who proved the limits of formal systems.
This entry is a stub. It will be written out in full when a Chromix article calls for it. What belongs here: what Kurt Gödel actually did, why it mattered at the time, and what it made possible afterwards — each claim carrying its own source.
This entry is a stub. Most First Principles entries begin short and deepen only when a new article calls for it — the encyclopedia grows as Chromix writes.