Uma matemática enfrenta uma situação inusitada ao encontrar um pequeno incêndio em seu escritório. Em vez de entrar em pânico, ela observa a presença de um extintor de incêndio e afirma: "Ah, uma solução existe!". Essa anedota ilustra uma abordagem comum na matemática contemporânea, onde a prova não construtiva se torna uma ferramenta valiosa para solucionar problemas sem apresentar uma solução direta.

O Princípio da Casa dos Pombos

Para entender essa abordagem, considere um exemplo simples: em uma sala com 367 pessoas, qual a probabilidade de que duas compartilhem o mesmo aniversário? A resposta é 100%, já que existem apenas 366 possíveis aniversários, o que garante que pelo menos duas pessoas terão a mesma data. Essa é uma aplicação do princípio da casa dos pombos, onde as pessoas são os pombos e os aniversários são as casas.

A Revolução de Hilbert

Historicamente, as provas eram construídas de maneira oposta, apresentando objetos matemáticos concretos. No entanto, a situação começou a mudar no século XIX, com a ascensão das provas não construtivas, popularizadas por David Hilbert. Ele desafiou a forma tradicional de pensar ao investigar invariantes em objetos algébricos. Hilbert provou, em 1888, que um conjunto gerador de invariantes sempre existe, mesmo sem especificar quais são. Essa abordagem levou à contradição lógica de que, se um invariável não pode ser gerado, isso criaria uma infinidade de outros invariantes, o que não se alinha às regras algébricas.

Conflito de Filosofias Matemáticas

A reação inicial de Paul Gordan, que havia trabalhado no tema, foi negativa. Ele considerou a prova de Hilbert como algo mais próximo da teologia do que da matemática. Contudo, Gordan acabou reconhecendo as vantagens dessa nova abordagem. O embate de ideias não parou por aí, com a ascensão de L.E.J. Brouwer, que defendia o intuicionismo, uma filosofia que via a matemática como uma criação da mente humana. Para ele, uma prova não construtiva era uma forma de trapaça, pois um objeto matemático só poderia ser considerado real se pudesse ser construído mentalmente.

Os dois matemáticos, Hilbert e Brouwer, se enfrentaram em um debate que se estendeu até os anos seguintes, culminando em um conflito editorial na revista Mathematische Annalen, onde ambos trabalhavam. Hilbert, insatisfeito com a influência de Brouwer, chegou a demitir toda a equipe editorial em 1928. Einstein, que também participava da revista, criticou a disputa, chamando-a de "batalha de rã e rato entre matemáticos".

Atualmente, a maioria dos matemáticos utiliza provas não construtivas como uma ferramenta útil, e as filosofias de Hilbert e Brouwer perderam relevância prática. Entretanto, as ideias de ambos, especialmente no que se refere à computação, continuam influentes, especialmente à medida que a inteligência artificial começa a desempenhar um papel na verificação de provas matemáticas. A possibilidade de uma prova não construtiva, gerada por uma IA e não totalmente compreendida por humanos, pode trazer à tona novos debates na filosofia matemática.