O acadêmico havia formulado o teorema em 1931, enquanto lecionava na Universidade de Viena. Ele também foi membro do Institute for Advanced Study em Princeton em 1933 e 1935 e de 1938 a 1952. Ele se tornou professor lá em 1953 e se aposentou em 1976 como professor emérito.

‘Mais que um monumento’

Em 1951, o Dr. Godel foi o co-recipiente do primeiro Prêmio Albert Einstein por conquistas nas ciências naturais. O prêmio foi considerado o mais alto do gênero nos Estados Unidos. Seu trabalho em lógica matemática, de acordo com o comitê de premiação composto por cientistas ilustres, constitui “uma das maiores contribuições para as ciências nos últimos tempos”.

Ao apresentar o prêmio, o Dr. John von Neumann, do instituto, disse: “A conquista de Kurt Mödel na lógica moderna é singular e monumental — na verdade, é mais do que um monumento. É um marco que permanecerá visível no espaço e no tempo.”

O Dr. Godel “foi o primeiro homem a demonstrar que certos teoremas matemáticos não podem ser provados nem refutados com os métodos aceitos e rigorosos da matemática. Em outras palavras, ele demonstrou a existência de proposições matemáticas indecidíveis. Ele provou, além disso, que uma proposição específica muito importante pertencia a essa classe de problemas indecidíveis — a questão de se a matemática é livre de contradições internas. O assunto da lógica nunca mais será o mesmo.”

O logickn ganhou muitos doutorados honorários em grandes instituições de ferro. Uma citação de Harvard o descreveu como th., “descobridor da verdade matemática mais significativa do século XX, incompreensível para leigos, revolucionário para filósofos e lógicos.”