Kurt Gödel é amplamente reconhecido como o maior lógico desde Aristóteles. Nascido em Brünn (atual Brno, República Checa) em 28 de abril de 1906, e morto em Princeton em 14 de janeiro de 1978, sua obra transformou radicalmente a lógica matemática, a fundamentos da matemática e a filosofia da mente. Seus dois Teoremas da Incompletude (1931) demoliram parcialmente o programa formalista de David Hilbert e estabeleceram limites intrínsecos a qualquer sistema axiomático suficientemente poderoso.
Conceitos-chave
Primeiro Teorema da Incompletude (Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, 1931): Gödel demonstrou que qualquer sistema formal consistente capaz de expressar a aritmética elementar dos números naturais necessariamente contém proposições que não podem ser nem provadas nem refutadas dentro do próprio sistema. A estratégia da prova é extraordinariamente engenhosa: Gödel codificou sintaxe formal por meio de números (a chamada “gödelização” ou numeração de Gödel), construindo assim uma sentença que, em sua própria numeração aritmética, afirma “Eu não sou demonstrável neste sistema”. Se o sistema fosse capaz de provar essa sentença, seria inconsistente; como não pode prová-la, ela é verdadeira mas indecidível. O teorema mostrou que a completude — a capacidade de um sistema formal decidir toda proposição bem formada — é incompatível com a consistência, para sistemas suficientemente expressivos.
Segundo Teorema da Incompletude (mesmo artigo, 1931): Uma extensão imediata do primeiro: nenhum sistema formal consistente suficientemente poderoso pode provar sua própria consistência usando apenas os recursos do próprio sistema. Isso golpeou diretamente o programa de Hilbert (Hilbertprogramm), que buscava garantir os fundamentos da matemática por meio de prova finitária de consistência de seus sistemas axiomáticos. O segundo teorema mostrou que tal prova é, em princípio, impossível — a menos que o sistema seja inconsistente (caso em que provaria qualquer coisa).
Teorema da Completude (tese de doutorado, Universidade de Viena, 1929; publicada em 1930): Distinto dos teoremas da incompletude, este resultado positivo demonstra que a lógica de primeira ordem (cálculo de predicados) é completa: toda fórmula logicamente válida (verdadeira em todo modelo) é derivável por meio de regras de prova formais. Isto estabeleceu a adequação das regras de inferência da lógica de predicados clássica.
Consistência Relativa do Axioma da Escolha e da Hipótese do Contínuo (1938–1940): Gödel demonstrou que, se a teoria dos conjuntos de Zermelo-Fraenkel (ZF) é consistente, então a adição do Axioma da Escolha (AC) e da Hipótese Generalizada do Contínuo (GCH) não introduz inconsistência. Ele construiu para isso os “conjuntos construtíveis” (constructible sets, o universo L), mostrando que formam um modelo de ZF+AC+GCH. Paul Cohen demonstraria em 1963 a independência na direção oposta, completando o resultado: AC e HC são independentes de ZF.
Prova Ontológica Modal (formulada nos anos 1970, publicada postumamente em 1987 por Sobel): Gödel formalizou em lógica modal de segunda ordem uma versão do argumento ontológico de Anselmo de Cantuária, utilizando os conceitos de propriedade “positiva” e necessidade modal. A formalização foi uma curiosidade filosófica pessoal de Gödel, jamais publicada por ele em vida, e permanece objeto de intenso debate sobre sua validade lógica e suas premissas ontológicas.
Platonismo Matemático: Gödel sustentou uma filosofia matemática realista: os objetos matemáticos (números, conjuntos, funções) existem independentemente da mente humana e das construções formais. A intuição matemática seria uma espécie de percepção de entidades abstratas. Essa posição está em tensão produtiva com os resultados de incompletude — se a matemática fosse mera manipulação de símbolos, por que deveríamos aceitar como verdadeira (e não apenas indecidível) a sentença gödeliana? A resposta platonista é: porque a percebemos como verdadeira por intuição, mesmo sem prova formal.
Influenciado por
- David Hilbert — programa formalista (alvo e ponto de partida)
- Bertrand Russell e Alfred North Whitehead — Principia Mathematica (sistema cujas limitações Gödel explorou)
- Ernst Zermelo e Abraham Fraenkel — axiomática da teoria dos conjuntos
- Leibniz — interesse em lógica formal e argumento ontológico
- O Círculo de Viena (frequentou reuniões; nunca foi positivista lógico, mas dialogou com Carnap e Schlick)
Influenciou
- Alfred Tarski — teoria da verdade e indecidibilidade
- Alan Turing — os teoremas de Gödel inspiraram diretamente o conceito de problema indecidível e a formulação da máquina de Turing (1936)
- John von Neumann — reconheceu imediatamente a importância dos resultados em 1930
- Filosofia da mente: Lucas (1961) e Penrose (The Emperor’s New Mind, 1989) usaram os teoremas para argumentar contra o mecanicismo; a posição foi rebatida por Putnam e outros
- Lógica modal e teoria da prova contemporâneas
- Debates sobre fundamentos da matemática (construtivismo, platonismo, formalismo)
Obras
Über die Vollständigkeit des Logikkalküls (tese de doutorado, 1929; publicada em 1930); Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (1931); The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory (1940); What is Cantor’s Continuum Problem? (1947; versão revisada em 1964); Russell’s Mathematical Logic (1944); Is Mathematics Syntax of Language? (inédito em vida; em Collected Works, Vol. III); Ontologischer Beweis (manuscrito póstumo; publicado em Sobel, 1987); Collected Works (5 vols., editados por Feferman et al., Oxford University Press, 1986–2003).
Ver também
Lógica Matemática Filosofia da Matemática Bertrand Russell Ludwig Wittgenstein
Livros indicados:
Gödel's Proof — Ernest Nagel e James R. Newman
Ver na Amazon →
Collected Works, Vol. I — Kurt Gödel
Ver na Amazon →