Filosofia da matemática: logicismo, formalismo, intuicionismo e o teorema de Gödel

Quando um matemático afirma que 2 + 2 = 4, parece dizer algo indubitavelmente verdadeiro. Mas o que exatamente torna essa afirmação verdadeira? O número 2 existe em algum lugar — numa Forma platônica, num símbolo sobre papel, numa construção da mente? E como chegamos a conhecer verdades matemáticas sem precisar observar nenhum fato empírico? Essas perguntas, de aparência ingênua, são o coração de uma das áreas mais exigentes da filosofia: a filosofia da matemática. Nos séculos XIX e XX, elas deixaram de ser especulação marginal e tornaram-se urgência intelectual, desencadeando uma das crises mais fecundas da história do pensamento — uma crise cujas reverberações ainda moldam a lógica, a computação e a filosofia da mente contemporâneas.

1. As duas grandes perguntas: ontologia e epistemologia

A filosofia da matemática gira em torno de dois eixos que se entrelaçam sem nunca se confundir inteiramente.

A pergunta ontológica indaga sobre a natureza dos objetos matemáticos: números, conjuntos, funções, figuras geométricas existem? E se existem, em que sentido? O platonismo matemático (ou realismo matemático) responde afirmativamente: os objetos matemáticos existem de modo independente da mente humana e do mundo físico, habitando um domínio abstrato eterno. Descobrimos teoremas; não os inventamos. Em contraposição, o nominalismo nega que existam entidades abstratas — só existem coisas particulares e concretas; os “números” são meros nomes úteis, ficções convenientes. O ficcionalismo de Hartry Field, desenvolvido em Science Without Numbers (1980), radicaliza essa posição: os enunciados matemáticos são literalmente falsos (pois pressupõem entidades inexistentes), mas são instrumentalmente úteis para a ciência, assim como ficções literárias podem ser úteis sem serem verdadeiras.

A pergunta epistemológica pergunta como conhecemos verdades matemáticas. Elas parecem ser a priori — independentes da experiência sensível — e necessárias — não poderiam ser falsas em nenhum mundo possível. (Para a distinção entre conhecimento a priori e a posteriori, ver o artigo sobre conhecimento a priori e a posteriori.) Mas se os objetos matemáticos são abstratos e não causalmente relacionados a nós, como nossa mente os alcança? Paul Benacerraf formulou essa tensão com precisão cirúrgica em “Mathematical Truth” (1973): uma semântica realista — que trata enunciados matemáticos como verdadeiros sobre objetos reais — entra em conflito com qualquer epistemologia naturalista que exija alguma conexão causal entre o sujeito conhecedor e os objetos conhecidos. O dilema de Benacerraf permanece como ponto de referência incontornável no debate contemporâneo.

2. O platonismo de Frege e o projeto logicista

No fim do século XIX, Gottlob Frege emprendeu a mais ambiciosa resposta filosófica ao problema dos fundamentos da matemática: demonstrar que a aritmética é redutível à lógica pura. Esse projeto recebeu o nome de logicismo — a tese de que as verdades aritméticas são, no fundo, verdades lógicas.

Frege partiu de uma insatisfação com as justificações disponíveis para os números. Em Die Grundlagen der Arithmetik (1884), argumentou que os números não são propriedades de objetos físicos nem construções psicológicas; são objetos abstratos — extensões de conceitos. O número zero é a extensão do conceito “não idêntico a si mesmo”; o número um é a extensão do conceito “idêntico a zero”; e assim por diante. Para executar a derivação, Frege havia criado, já em Begriffsschrift (1879), uma notação lógica de predicados rigorosa — com quantificadores, variáveis e funções — que aposentou a silogística aristotélica e fundou a lógica moderna.

O projeto atingiu sua forma mais completa nas Grundgesetze der Arithmetik (vol. I, 1893; vol. II, 1903). Mas no mesmo ano em que o segundo volume estava prestes a ser publicado, Bertrand Russell enviou a Frege uma carta com uma descoberta perturbadora.

3. O paradoxo de Russell e o abalo dos fundamentos

Em 1901, Russell descobriu uma contradição no coração da teoria de conjuntos utilizada por Frege. O sistema de Frege permitia formar o conjunto de todos os conjuntos que satisfazem qualquer condição bem definida. Russell aplicou essa regra ao conceito “conjunto que não é membro de si mesmo” e obteve o paradoxo que leva seu nome: se esse conjunto existe, então pertence a si mesmo se e somente se não pertence a si mesmo — uma contradição lógica inescapável.

Russell comunicou o paradoxo a Frege em uma carta de junho de 1902. A resposta de Frege, no posfácio apressado do segundo volume das Grundgesetze, é um dos documentos mais comoventes da história da filosofia: reconheceu que o paradoxo abalava o alicerce sobre o qual havia construído a aritmética, sem conseguir, naquele momento, uma solução satisfatória. O logicismo fregiano, em sua formulação original, estava comprometido.

Russell e Alfred North Whitehead passaram anos reconstruindo os fundamentos sobre bases mais seguras. O resultado foram os três volumes dos Principia Mathematica (1910–1913), que introduziram a teoria dos tipos: entidades são ordenadas em uma hierarquia de tipos (indivíduos, classes de indivíduos, classes de classes…), e a formação de conjuntos deve respeitar essa hierarquia, bloqueando o paradoxo. O preço foi enorme em complexidade técnica: a derivação do simples enunciado “1 + 1 = 2” ocupa centenas de páginas. Os Principia representaram a tentativa mais monumental de salvar o logicismo, mas ao custo de axiomas adicionais (como o Axioma da Redutibilidade e o Axioma do Infinito) que não pareciam ser verdades puramente lógicas.

4. O formalismo de Hilbert

Enquanto os logicistas tentavam reduzir a matemática à lógica, o matemático alemão David Hilbert propunha uma solução de natureza diferente. Para Hilbert, a questão não era do que a matemática falava, mas como ela funcionava: a matemática deveria ser entendida como a manipulação de símbolos formais segundo regras explícitas. Uma teoria matemática é um conjunto de axiomas e regras de dedução; a “verdade” interna consiste em derivabilidade formal.

O Programa de Hilbert (Hilbertprogramm), desenvolvido na década de 1920, tinha um objetivo preciso: provar, por métodos finitários (ou seja, usando apenas raciocínio sobre objetos finitos e concretos), que os sistemas formais da matemática — incluindo a aritmética e a teoria dos conjuntos — são consistentes (livres de contradição). A distinção central era entre matemática “real” (enunciados sobre objetos finitos e concretos, intuitivamente compreensíveis) e matemática “ideal” (enunciados sobre infinitos, entidades abstratas), que seriam ferramentas úteis mas sem comprometimento ontológico direto. Desde que a adição dos elementos ideais não produzisse contradições, sua utilização seria justificada.

Hilbert expressou seu otimismo com a frase memorável: “ninguém nos expulsará do paraíso que Cantor criou” — referindo-se à teoria dos conjuntos infinitos de Georg Cantor, que alguns matemáticos (especialmente os intuicionistas) queriam rejeitar como matematicamente ilegítima. Para Hilbert, o rigor formal bastava para garantir a solidez do edifício matemático.

5. O intuicionismo de Brouwer

A terceira grande escola surgiu da insatisfação radical com os pressupostos compartilhados por logicistas e formalistas. O matemático holandês L. E. J. Brouwer, fundador do intuicionismo, argumentou que a matemática é uma atividade de construção mental, anterior a qualquer linguagem ou sistema formal. Os objetos matemáticos não existem independentemente da mente; eles são construídos pela intuição, que tem como fundamento a intuição pura do tempo — em eco a Kant, mas com consequências muito mais radicais.

A implicação mais controversa do intuicionismo diz respeito ao princípio do terceiro excluído: a lei lógica que afirma que, para qualquer proposição P, ou P é verdadeira ou ¬P (a negação de P) é verdadeira. Na lógica clássica, essa lei é universalmente válida e permite provas por redução ao absurdo (provar P mostrando que ¬P leva a contradição, sem construir P explicitamente). Brouwer rejeitou o princípio do terceiro excluído para totalidades infinitas: uma proposição sobre infinitos só pode ser afirmada como verdadeira quando existe uma construção mental efetiva que a demonstre; afirmar que P ou ¬P sem tal construção é ilegítimo.

Essa posição tem custos concretos: partes significativas da matemática clássica — incluindo muitas provas de análise real — tornam-se inválidas por dependerem de raciocínios não-construtivos. Arend Heyting formalizou a lógica intuicionista nos anos 1930, tornando-a um sistema rigoroso que pode ser comparado à lógica clássica: a lógica intuicionista é estritamente mais fraca (menos princípios são válidos nela), e a diferença central é exatamente a ausência do terceiro excluído irrestrito.

O intuicionismo permanece minoritário em relação à prática matemática corrente, mas exerceu influência duradoura na lógica construtiva, na teoria da prova e, décadas depois, na semântica de linguagens de programação funcional.

6. O golpe de Gödel: os teoremas da incompletude

Em 1931, o lógico austríaco Kurt Gödel (1906–1978) publicou um artigo intitulado Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I que transformou para sempre a filosofia da matemática e a lógica.

O Primeiro Teorema da Incompletude de Gödel demonstra: qualquer sistema formal consistente que seja suficientemente expressivo para capturar a aritmética elementar dos números naturais necessariamente contém proposições que não podem ser provadas nem refutadas dentro do próprio sistema. A prova usa uma estratégia de autorreferência extraordinariamente engenhosa: Gödel codificou a sintaxe do próprio sistema formal por meio de números naturais (a “gödelização” ou numeração de Gödel), construindo então uma sentença que, traduzida, afirma “Eu não sou demonstrável neste sistema”. Se o sistema provasse essa sentença, seria inconsistente; como não pode prová-la, ela é verdadeira — mas indecidível.

O Segundo Teorema da Incompletude segue-se como corolário: nenhum sistema formal consistente suficientemente poderoso pode provar sua própria consistência usando apenas recursos internos ao próprio sistema. Esse resultado golpeou diretamente o Programa de Hilbert: a prova finitária de consistência que Hilbert almejava é, em princípio, impossível — pois tal prova constituiria exatamente a prova de consistência que o segundo teorema proíbe, a menos que o sistema seja efetivamente inconsistente.

É importante ser preciso sobre o que os teoremas de Gödel mostram e o que não mostram. Eles não refutam a matemática nem provam que a matemática é “inconsistente”. Mostram que, dentro de sistemas formais suficientemente ricos, a verdade e a demonstrabilidade não coincidem: existem verdades matemáticas que transcendem qualquer sistema axiomático fixo. Também não implicam que a matemática seja irracional ou que o rigor seja impossível — apenas que nenhum sistema formal fechado esgota a totalidade das verdades aritméticas.

O impacto dos teoremas sobre o Programa de Hilbert foi devastador no sentido técnico, mas não esvaziou o formalismo como filosofia: ainda se pode defender que a prática matemática consiste em manipulação formal, reconhecendo simplesmente que nenhum sistema único é completo.

7. Desdobramentos contemporâneos

A crise dos fundamentos e os teoremas de Gödel abriram um vasto território de debates que se prolongam até hoje.

O argumento da indispensabilidade de Willard Van Orman Quine e Hilary Putnam oferece uma defesa pragmática do platonismo matemático: se as melhores teorias científicas indispensavelmente quantificam sobre entidades matemáticas (números, funções, conjuntos), então temos boas razões para crer que essas entidades existem, assim como cremos na existência de elétrons porque a física os postula. A matemática é empiricamente confirmada de modo indireto, junto com as teorias científicas que a utilizam. Para aprofundar a relação entre linguagem, referência e compromisso ontológico subjacente a esse debate, ver o artigo sobre filosofia da linguagem.

O ficcionalismo de Hartry Field (Science Without Numbers, 1980) responde ao argumento da indispensabilidade tentando mostrar que a ciência física pode ser reformulada sem quantificar sobre entidades matemáticas — a matemática seria um instrumento conservativo (não acrescenta consequências observacionais), não um compromisso ontológico genuíno.

O estruturalismo matemático, desenvolvido por Stewart Shapiro e Michael Resnik nas décadas de 1980–1990, propõe que a matemática não fala de objetos isolados, mas de estruturas: o número 2 não é uma entidade com natureza intrínseca, mas a posição ocupada em qualquer sistema que satisfaça os axiomas da aritmética. O que importa são as relações entre posições, não as posições em si. Essa abordagem evita algumas dificuldades do platonismo clássico sem abrir mão do realismo sobre estruturas.

Ludwig Wittgenstein ofereceu uma perspectiva radicalmente diferente: em suas anotações sobre os fundamentos da matemática (publicadas postumamente como Remarks on the Foundations of Mathematics), rejeitou a ideia de que os teoremas de Gödel revelam uma região de verdades matemáticas independentes da prova, argumentando que a própria noção de “verdade matemática” só tem sentido no interior de práticas de prova. A posição de Wittgenstein é controversa e foi lida de maneiras muito distintas pela literatura secundária.

O problema de Gettier — a clássica objeção à definição de conhecimento como crença verdadeira justificada — tem um eco curioso na filosofia da matemática: podemos ter crenças matemáticas verdadeiras e justificadas (por provas formais) que, à luz dos resultados de Gödel, não capturam a totalidade da verdade matemática. O artigo sobre o problema de Gettier explora essa estrutura epistemológica mais amplamente.

8. Balanço: a crise que não terminou

A crise dos fundamentos que se desdobrou entre 1879 (o Begriffsschrift de Frege) e 1931 (os teoremas de Gödel) não resultou em uma “solução” unívoca. O platonismo, o nominalismo, o logicismo, o formalismo e o intuicionismo continuam sendo posições vivas, cada uma capturando intuições genuínas sobre a natureza da matemática.

O que permanece como herança irredutível é a clareza das perguntas. Os matemáticos podem prosseguir seu trabalho sem se preocupar com ontologia — mas quem quiser saber o que a matemática é, por que funciona tão bem para descrever o mundo físico e como a mente humana acessa verdades necessárias, não pode escapar das questões que Frege, Brouwer, Hilbert e Gödel colocaram com precisão sem precedente. A filosofia da matemática é, nesse sentido, o lugar onde a lógica, a epistemologia e a metafísica confluem de modo mais exigente e mais belo.

Leituras essenciais

• Gottlob Frege, Die Grundlagen der Arithmetik (1884). Trad. portuguesa: Os Fundamentos da Aritmética, ed. UNESP.
• Bertrand Russell e Alfred North Whitehead, Principia Mathematica (3 vols., 1910–1913).
• Bertrand Russell, Introduction to Mathematical Philosophy (1919). Trad. portuguesa: Introdução à Filosofia Matemática, ed. Zahar.
• Paul Benacerraf, “Mathematical Truth”, The Journal of Philosophy 70 (1973), pp. 661–679.
• Paul Benacerraf e Hilary Putnam (orgs.), Philosophy of Mathematics: Selected Readings (2.ª ed., Cambridge University Press, 1983) — coletânea fundamental com textos de Frege, Hilbert, Brouwer, Gödel, Benacerraf, Putnam e outros.
• Hartry Field, Science Without Numbers: A Defence of Nominalism (Blackwell, 1980; 2.ª ed. Oxford University Press, 2016).
• Stewart Shapiro, Philosophy of Mathematics: Structure and Ontology (Oxford University Press, 1997).
• Ernest Nagel e James R. Newman, Gödel’s Proof (New York University Press, 1958; ed. rev. 2001). Trad. portuguesa disponível.
• Imre Lakatos, Proofs and Refutations (Cambridge University Press, 1976). Trad. portuguesa: Provas e Refutações, ed. UNESP.

← Artigos