Ideias principais
- Provou os teoremas da incompletude (1931).
- Provou a consistência relativa da hipótese do contínuo.
- Encontrou soluções da relatividade geral que permitiriam viagens no tempo.
Obras
- Sobre proposições formalmente indecidíveis dos Principia Mathematica e sistemas relacionados
O que dizem os críticos
Seus teoremas são frequentemente mal usados para afirmar que “nada pode ser provado” ou que a mente supera qualquer máquina, conclusões que não decorrem deles.