Lógico tcheco naturalizado americano (1948) nascido em Brünn, Áustria-Hungria, hoje Brno, República Tcheca, conhecido notadamente por suas pesquisas em filosofia e matemática. Doutor pela Universidade de Viena (1930), e lá alcançou a fama pela publicação de um paper (1931), divulgando o que seria conhecido com a prova de Gödel, tratando sobre lógica matemática. Empregando um engenhoso raciocínio, concluiu que, nos sistemas matemáticos, a completude é incompatível com a consistência.
Enquanto os lógicos e matemáticos tentavam estabelecer uma base axiomática completa para toda a matemática, ele demonstrou que isto era inalcançável, mostrando que em qualquer sistema matemático estritamente lógico há proposições cuja verdade ou falsidade não podem ser demonstradas com os axiomas do sistema. Sobre o tema ainda escreveu o livro Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory (1940), um clássico da matemática moderna,. e Rotating Universes in General Relativity Theory (1950) e onde foi professor (1933-1938).
Por causa da Guerra, imigrou para os Estados Unidos (1940), onde passou a trabalhar no Institute for Advanced Studies, Princeton, New Jersey, naturalizou-se americano (1948) e tornou-se professor de matemática na Princeton University (1953), lá permanecendo pelo resto da vida, morrendo em Princeton, N.J., U.S..