Kurt Godel

Kurt Friedrich Gödel foi um dos mais influentes lógicos, matemáticos e filósofos do século XX, cuja obra transformou a compreensão dos fundamentos da matemática. Tornou-se célebre pelos dois teoremas da incompletude publicados em 1931, que demonstraram limites fundamentais de sistemas axiomáticos capazes de formalizar a aritmética: há proposições verdadeiras que não podem ser provadas dentro do sistema e a consistência de um sistema não pode ser demonstrada por métodos internos. Para chegar a esses resultados, Gödel desenvolveu a técnica de numeração que hoje leva seu nome, codificando fórmulas e provas como números naturais.

Ao longo da carreira, também contribuiu decisivamente para a teoria dos conjuntos, mostrando, sob hipóteses de consistência, que o axioma da escolha e a hipótese do contínuo não são refutáveis a partir dos axiomas então aceitos. Seu trabalho estabeleceu conexões duradouras entre lógica clássica, lógica intuicionista, lógica modal e teoria da prova.

Formado na Universidade de Viena, participou do ambiente intelectual do Círculo de Viena e manteve vínculos com figuras centrais como David Hilbert e Albert Einstein. Seu legado persiste não apenas na lógica matemática, mas na filosofia da matemática e na teoria da computação, influenciando debates sobre formalização, decidibilidade e os limites do raciocínio formal.