O conceito de prova não construtiva

Um exemplo curioso ilustra a técnica das provas não construtivas: imagine uma matemática que, ao encontrar um pequeno incêndio em seu escritório, simplesmente observa a existência de um extintor e conclui que uma solução é possível. Essa abordagem, que evita o esforço de extinguir o fogo, reflete o que ocorre em muitos problemas matemáticos, onde a mera certeza de que uma solução existe é suficiente.

Um exemplo prático é o princípio da casa dos pombos, que afirma que em um grupo de 367 pessoas, é garantido que pelo menos duas compartilham o mesmo aniversário, já que existem apenas 366 dias possíveis. Essa certeza é uma prova não construtiva, pois sabemos que a coincidência existe, mesmo sem identificar quais pessoas são.

A evolução das provas matemáticas

Historicamente, as provas matemáticas eram mais concretas e exigiam a apresentação de objetos matemáticos tangíveis. Contudo, no século XIX, essa perspectiva começou a mudar, com a popularização das provas não construtivas, impulsionadas por matemáticos como David Hilbert, que se destacou por suas ideias inovadoras.

Hilbert explorou o conceito de invariantes em objetos algébricos. Ele se deparou com a questão de quantos invariantes eram necessários para gerar todos os outros invariantes possíveis. Em 1888, Hilbert provou que era possível existir um conjunto gerador para um grande número de objetos algébricos, sem especificar quais eram esses elementos, utilizando uma abordagem não construtiva que gerou controvérsias na comunidade matemática.

Conflitos de ideias na matemática

A reação inicial de Paul Gordan, outro matemático que havia estudado o tema, foi negativa. Ele considerou a abordagem de Hilbert como algo mais próximo da teologia do que da matemática, pois não aceitava a crença na existência de um conjunto gerador sem uma prova concreta. Com o tempo, Gordan reconheceu algumas vantagens na nova abordagem.

O embate entre Hilbert e Gordan não se limitou a essa questão, pois Hilbert também enfrentou L.E.J. Brouwer, que defendia uma filosofia oposta, a intuição. Para Brouwer, a matemática era uma criação da mente humana e a manipulação de símbolos não deveria ser vista como o cerne da prática matemática. Ele considerava a prova não construtiva como uma forma de trapaça, argumentando que um objeto matemático deveria ser construído mentalmente para ser considerado real.

Esse conflito culminou em tensões editoriais na revista Mathematische Annalen, onde ambos atuavam. Hilbert, incomodado com a influência de Brouwer, chegou a demitir toda a equipe editorial em 1928, levando até Albert Einstein a questionar a validade desse embate.

Atualmente, a maioria dos matemáticos utiliza provas não construtivas como ferramentas úteis, independentemente das filosofias por trás delas. Embora Hilbert tenha prevalecido em muitos aspectos, suas ideias enfrentaram desafios com os teoremas de incompletude de Kurt Gödel, que questionaram a consistência das manipulações simbólicas na matemática.