Núcleo IV — Epistemologia da Matemática — Laboratório Virtual G

Produção e justificação do conhecimento matemático

A epistemologia da matemática pergunta, especificamente, como o conhecimento matemático é produzido e o que justifica considerá-lo conhecimento — uma pergunta distinta da ontológica, tratada no Núcleo III deste eixo, sobre o que são e como existem os objetos aos quais esse conhecimento se refere. Philip Kitcher (1983) argumentou que uma epistemologia adequada da Matemática não pode se limitar a examinar teoremas já demonstrados e prontos, isolados de seu processo de produção: é preciso dar conta também de como os matemáticos decidem quais perguntas valem a pena investigar, quais métodos são confiáveis e como um campo de pesquisa se transforma ao longo do tempo.

Essa ênfase no processo, e não apenas no produto acabado, aproxima a epistemologia da matemática de uma epistemologia das práticas científicas em geral — em contraste com a imagem, mais comum no senso comum e nos livros didáticos, de uma Matemática que avança por descobertas isoladas e definitivas. Reuben Hersh (1997) descreveu essa imagem como um mito confortável, mas enganoso: a Matemática, tal como praticada, é uma atividade social, sujeita a debate, revisão e consenso comunitário sobre o que conta como resultado estabelecido.

Demonstração, axiomatização e definição

A demonstração é, na prática matemática, o procedimento que transforma uma conjectura em conhecimento aceito pela comunidade — mas o próprio padrão do que conta como demonstração aceitável mudou historicamente, como já mostrou o Núcleo I deste eixo ao tratar a rigorização do Cálculo por Cauchy e a formalização por Dedekind e Frege. A axiomatização, por sua vez, é o processo de tornar explícitos os princípios de partida de uma teoria, de modo que toda demonstração subsequente possa ser rastreada até eles — um ideal que Michael Potter (2004), já citado no Núcleo III, situa no centro do programa fundacionista do início do século XX.

A definição, elemento menos discutido do que a demonstração, tem um papel epistemológico próprio: definir um termo matemático não é apenas escolher um nome, mas decidir o que vai contar como caso do conceito definido — uma decisão que pode ter consequências inesperadas, como mostrou Lakatos (1976) ao reconstruir como sucessivas definições de "poliedro" incluíram ou excluíram casos-limite, alterando o que a comunidade considerava um contraexemplo válido a um teorema já demonstrado.

Conjectura, contraexemplo e refutação

Antes de ser demonstrado, um resultado matemático costuma existir como conjectura: uma afirmação que os indícios disponíveis tornam plausível, mas que ainda não foi provada. Imre Lakatos (1976), na obra já apresentada no Núcleo II deste eixo, descreveu com detalhe o ciclo pelo qual uma conjectura é testada contra contraexemplos, refinada, tem sua formulação ajustada e, por vezes, refutada por completo — um processo que ele chamou de lógica da descoberta matemática, em contraste com a lógica da justificação, mais estática, que os manuais costumam apresentar.

Esse ciclo de conjectura e refutação tem uma consequência epistemológica importante: um contraexemplo não é apenas um erro a ser descartado, mas uma fonte de conhecimento sobre os limites exatos de um resultado — descobrir por que uma conjectura falha em um caso específico costuma revelar a estrutura mais fina do problema, de um modo que a demonstração bem-sucedida, sozinha, não revelaria (KITCHER, 1983).

O que conta como evidência: exemplo, simulação, prova

Nem toda evidência matemática tem o mesmo estatuto epistemológico. Um exemplo bem escolhido pode sugerir uma conjectura, mas não a demonstra — por mais que se acumulem casos confirmadores, nenhuma quantidade de exemplos substitui uma prova geral, um ponto sobre o qual a prática matemática é, tradicionalmente, inflexível. A simulação computacional e a verificação por força bruta de um grande número de casos — como na prova assistida por computador do teorema das quatro cores — introduziram, a partir da segunda metade do século XX, uma categoria intermediária de evidência que gerou debate epistemológico genuíno: pode-se aceitar como demonstração um argumento cuja verificação nenhum ser humano é capaz de conferir passo a passo (KITCHER, 1983)?

Essa questão é retomada, com foco na prática de pesquisa contemporânea, no Núcleo IX (Tecnologias, Visualização e Produção do Conhecimento Matemático) deste eixo; aqui, o essencial é reter que a hierarquia entre exemplo, simulação e prova não é uma questão meramente técnica, mas uma questão sobre o que a comunidade matemática está disposta a aceitar como justificação suficiente para uma afirmação.

Visualização e prova: o que um gráfico demonstra e o que não demonstra

Um gráfico ou uma figura geométrica pode tornar um resultado matemático imediatamente evidente aos olhos — e, no entanto, a tradição matemática desconfia historicamente de demonstrações apoiadas apenas na inspeção visual, por temer que a figura particular desenhada esconda casos em que a propriedade ilustrada não se sustenta. Marcus Giaquinto (2007) examinou essa desconfiança com rigor filosófico e argumentou que ela é, em parte, injustificada: certos usos da visualização — sobretudo quando revelam uma estrutura geral, e não apenas um caso particular — podem ter, sim, valor probatório genuíno, e não apenas ilustrativo.

Essa reabilitação parcial da visualização tem consequência direta para a Educação Matemática: se um gráfico bem construído pode contribuir para a prova, e não apenas para a intuição que a precede, a distinção entre "ver" e "demonstrar" — comum na sala de aula, e discutida com mais detalhe no Núcleo VIII deste eixo — precisa ser tratada com mais cuidado do que a oposição simples entre visual e rigoroso costuma sugerir. A coletânea organizada por Gila Hanna e Michael de Villiers (2012) reúne, sobre esse mesmo tema, um panorama internacional de pesquisa em Educação Matemática especificamente dedicado ao papel da prova e da demonstração no ensino.

Referências

Bibliografia real e verificada, usada por citação indireta. Este núcleo não duplica o Núcleo I (rigorização do Cálculo), o Núcleo II (Lakatos e a filosofia geral da prova) nem o artigo já publicado no Portal sobre filosofia da matemática — apenas os pressupõe e remete a eles.

KITCHER, Philip. The nature of mathematical knowledge. New York: Oxford University Press, 1983.
HERSH, Reuben. What is mathematics, really? New York: Oxford University Press, 1997.
GIAQUINTO, Marcus. Visual thinking in mathematics: an epistemological study. Oxford: Oxford University Press, 2007.
HANNA, Gila; DE VILLIERS, Michael (Ed.). Proof and proving in mathematics education: the 19th ICMI study. Dordrecht: Springer, 2012.
LAKATOS, Imre. Proofs and refutations: the logic of mathematical discovery. Cambridge: Cambridge University Press, 1976. (já citado no Núcleo II deste eixo, aprofundado aqui quanto à conjectura e ao contraexemplo).