Kurt Gödel
(1906 - 1978)
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..