Núcleo II — Filosofia da Matemática — Laboratório Virtual G

O que é Matemática? Descoberta ou construção?

A pergunta que abre a filosofia da matemática contemporânea é, na formulação de Stewart Shapiro (2000), simples de enunciar e difícil de responder: quando um matemático prova um teorema, ele descobre algo que já era verdadeiro independentemente de qualquer mente, ou constrói algo que passa a existir, de algum modo, no próprio ato de prová-lo? A primeira resposta aproxima a Matemática das ciências empíricas, que descobrem fatos sobre um mundo já dado; a segunda aproxima-a das artes e das instituições humanas, que criam aquilo que investigam.

Essa alternativa não é meramente retórica: ela organiza boa parte do debate filosófico sobre a Matemática desde o final do século XIX, e reaparece, sob formas distintas, em cada uma das correntes tratadas neste núcleo — do platonismo, que responde "descoberta" sem hesitar, ao construtivismo, que responde "construção" com igual convicção (LINNEBO, 2017).

Este núcleo trata dessa pergunta em seus termos gerais; ela retorna, especializada, no Núcleo III (Ontologia da Matemática, sobre o que são e como existem os objetos matemáticos) e no Núcleo IV (Epistemologia da Matemática, sobre como esse conhecimento é produzido e justificado). A distinção entre os três núcleos — geral, ontológica e epistemológica — é proposital: evita tratar como uma só pergunta o que são, na verdade, três perguntas relacionadas.

Verdade matemática e demonstração

Uma resposta ingênua diria que uma proposição matemática é verdadeira quando foi demonstrada. Imre Lakatos (1976), em Proofs and Refutations, mostrou que essa equivalência não resiste ao exame da prática matemática real: reconstruindo a história de um único teorema sobre poliedros, Lakatos expôs como demonstrações aceitas por gerações de matemáticos foram depois revistas à luz de contraexemplos, e como a própria definição dos termos em jogo (o que conta como poliedro) mudou no processo.

Esse achado tem consequências filosóficas importantes: se as demonstrações matemáticas podem ser corrigidas, refinadas e até refutadas com o tempo, a demonstração não é um procedimento mecânico de certificação de verdades eternas, mas um processo falível e histórico de argumentação — o que Lakatos chamou de quase-empirismo em Matemática, uma expressão deliberadamente provocadora para uma disciplina que se apresenta como paradigma de certeza.

Esse tema é retomado com mais detalhe no Núcleo IV (Epistemologia da Matemática), que trata especificamente do que conta como evidência e do que distingue conjectura de demonstração; aqui, o essencial é reter que a relação entre verdade e demonstração é, ela mesma, uma questão filosófica em aberto, não um dado assumido pela prática matemática (SHAPIRO, 2000).

Logicismo, formalismo e intuicionismo

A chamada crise dos fundamentos, no início do século XX, produziu três programas filosóficos rivais para responder à pergunta sobre a natureza última da Matemática. O logicismo, de Gottlob Frege — já catalogado na bibliografia do Cálculo I deste Laboratório — e depois de Bertrand Russell, propôs reduzir toda a Matemática à Lógica: os números e suas propriedades seriam, em última análise, verdades lógicas disfarçadas. O projeto sofreu um golpe severo com o paradoxo que Russell comunicou ao próprio Frege, expondo uma contradição na base do sistema (BENACERRAF; PUTNAM, 1983).

O formalismo, associado a David Hilbert, respondeu à crise de outro modo: em vez de fundamentar a Matemática em outra disciplina, propôs tratá-la como um sistema de símbolos manipulados segundo regras explícitas, cuja consistência poderia — esperava-se — ser demonstrada por métodos finitários e seguros. O intuicionismo, de L. E. J. Brouwer, rejeitou tanto o logicismo quanto o formalismo em favor de uma Matemática fundada na construção mental, finita e passo a passo: para os intuicionistas, uma proposição existencial só é aceitável se acompanhada de um método efetivo para construir o objeto cuja existência se afirma — o que os leva a rejeitar partes do raciocínio clássico, como certos usos irrestritos do princípio do terceiro excluído (SHAPIRO, 2000; LINNEBO, 2017).

Nenhum dos três programas alcançou, nos termos em que foi originalmente proposto, o objetivo de fundamentar definitivamente a Matemática — um resultado ao qual os teoremas de incompletude de Gödel deram, mais tarde, uma formulação precisa. A historiografia desse mesmo episódio, do ponto de vista da constituição dos objetos matemáticos envolvidos, é tratada no Núcleo I (História da Matemática, seção "Formalização da Matemática") deste eixo.

Construtivismo, platonismo e estruturalismo

O platonismo matemático sustenta que números, conjuntos e demais objetos matemáticos existem de modo objetivo e independente da mente humana, em um sentido análogo ao dos objetos físicos — com a diferença de que os objetos matemáticos não ocupam espaço nem tempo. Kurt Gödel, ele mesmo um platonista declarado, argumentava que a intuição matemática nos dá acesso a esses objetos de modo não muito distinto de como a percepção nos dá acesso ao mundo físico (BENACERRAF; PUTNAM, 1983).

O construtivismo, em sentido amplo — do qual o intuicionismo de Brouwer é a variante histórica mais influente —, rejeita essa independência: só existem os objetos matemáticos que podem ser efetivamente construídos por um procedimento explícito. Entre esses dois polos, o estruturalismo, desenvolvido por autores como Stewart Shapiro, propõe uma terceira via: o que existe não são os números como objetos individuais, mas estruturas — padrões de relações —, e um número é apenas uma posição dentro de uma estrutura, sem identidade própria fora dela (SHAPIRO, 2000; LINNEBO, 2017).

A relevância dessa disputa não é apenas especulativa: cada uma dessas posições sustenta respostas diferentes à pergunta, tratada no Núcleo III deste eixo, sobre o que autoriza um professor a dizer a um estudante que um número "existe" — e sobre o que isso pode significar em salas de aula que trabalham com conjuntos numéricos cada vez mais abstratos.

Perspectivas falibilistas e histórico-sociais

Em contraste com os programas fundacionistas do início do século XX, uma tradição posterior — à qual Proofs and Refutations, de Lakatos (1976), deu um dos textos fundadores — propôs olhar para a Matemática como ela de fato é praticada: uma atividade humana, histórica, falível e sujeita a revisão, e não um edifício de certezas absolutas erguido de uma vez por todas sobre fundamentos inabaláveis.

Essa perspectiva falibilista dialoga diretamente com a historiografia crítica discutida no Núcleo I deste eixo (ROQUE, 2012, conforme já citada naquele núcleo): se a história da Matemática mostra conceitos sendo revistos, redefinidos e por vezes abandonados, uma filosofia da Matemática atenta a essa história dificilmente pode sustentar que o conhecimento matemático é imune ao tempo e à prática social que o produz (LINNEBO, 2017).

É também essa perspectiva que abre caminho para as questões tratadas no Núcleo VI (Filosofia e Epistemologia da Educação Matemática) e no Núcleo VII (Matemática, Cultura, Sociedade e Trabalho) deste eixo: se a Matemática é uma prática humana situada, a pergunta sobre como ela é ensinada, aprendida e praticada em diferentes contextos culturais deixa de ser externa à sua filosofia e passa a ser parte dela. O artigo já publicado no Portal sobre filosofia da matemática e suas implicações didáticas (CASTRO, 2026, ver referências) desenvolve essa articulação com mais vagar do que cabe aqui.

Referências

Bibliografia real e verificada, usada por citação indireta. Este núcleo não duplica o artigo já publicado no Portal sobre o mesmo tema — ver Educação Matemática — nem a bibliografia do Cálculo I do Laboratório Virtual G (Frege e outras fontes já catalogadas): apenas os situa e remete a eles pelo nome.

SHAPIRO, Stewart. Thinking about mathematics: the philosophy of mathematics. Oxford: Oxford University Press, 2000.
LINNEBO, Øystein. Philosophy of mathematics. Princeton: Princeton University Press, 2017.
LAKATOS, Imre. Proofs and refutations: the logic of mathematical discovery. Cambridge: Cambridge University Press, 1976.
BENACERRAF, Paul; PUTNAM, Hilary (Ed.). Philosophy of mathematics: selected readings. 2. ed. Cambridge: Cambridge University Press, 1983.
CASTRO, Raimundo Santos de. Uma introdução à filosofia da matemática e suas implicações epistemológicas e didáticas na filosofia da educação matemática. Revista Eletrônica de Educação Matemática (Revemat), Florianópolis, 2026. DOI: https://doi.org/10.5007/1981-1322.2026.e107438. Já catalogado no Portal em /educacao-matematica.