Ferramentas para o conhecimento

Cada época tem sua fantasia preferida sobre o conhecimento. A nossa gosta de imaginar que a verdade é algo que descobrimos, como um continente além da névoa. A matemática, a mais rigorosa das disciplinas, conta uma história mais estranha: antes da descoberta vem o acordo. Antes da verdade, os termos. Antes da prova, a permissão.

Aquilo que chamamos conhecimento se constrói menos como uma catedral e mais como um jogo cujas regras decidimos antes de começar a jogar.

As regras antes das jogadas

Os antigos acreditavam que axiomas eram verdades autoevidentes, isto é, proposições tão óbvias que não precisavam de prova. “O todo é maior que a parte.” “Coisas iguais à mesma coisa são iguais entre si.” Pareciam o chão de granito da razão.

A matemática moderna removeu silenciosamente o granito.

Hoje, um axioma já não é algo “obviamente verdadeiro”. Um axioma é uma regra inicial e uma condição de fundo. Seria uma decisão sobre o tipo de mundo que queremos explorar. A melhor analogia continua sendo a mais simples: axiomas são as regras do jogo. Mude as regras, e você está jogando outro jogo. O outro jogo pode ser igualmente lógico, igualmente rigoroso, mas já seria outro universo.

Um postulado é uma demanda, uma questão. Em um jogo, é a aposta: quer ver se por um ponto fora de uma reta passa exatamente uma paralela?

O famoso postulado das paralelas de Euclides pareceu óbvio por dois mil anos. Matemáticos tentaram desesperadamente prová-lo a partir de princípios mais simples. Falharam. Então fizeram algo radical: simplesmente abandonaram-no. O uso de postulados continuam, mas como se fosse uma “ferramenta de trabalho” para aquele assunto específico.

O mundo não entrou em um caos. Novas geometrias emergiram, já que em um universo, não existem paralelas. Em outro, existem infinitas. Ambos são logicamente consistentes. Ambos descrevem espaços possíveis. Einstein usaria um deles para explicar a gravidade.

A lição foi desconcertante, mas serviu para descer do pedestal. Até o espaço depende do que você assume no início.

O poder discreto dos lemas

Uma vez escolhidas as regras, o jogo começa. Um teorema é uma afirmação que você consegue tornar verdadeira usando apenas as regras aceitas. Um lema é um teorema que desempenha um papel auxilia. Pense em um degrau na escada, às vezes mais famoso que o destino final. O Lema de Zorn, por exemplo, soa modesto, mas abre continentes inteiros da matemática moderna. É como uma chave reserva que destranca portas que você nem sabia que existiam.

Depois vêm os corolários, as consequências que caem quase por acidente, como troco esquecido depois de uma compra maior. Os nomes sugerem hierarquia, mas a diferença é psicológica, não lógica. O que um autor chama de corolário pode ser, para outro, a verdadeira joia.

A matemática, vista de dentro, parece menos uma pirâmide e mais uma rede. A importância é sempre uma questão de perspectiva.

As afirmações que nos resistem

Nem todas as proposições se deixam provar. Algumas pairam num limbo estranho entre o verdadeiro e o falso, como estrelas distantes cuja luz ainda não chegou até nós.

A Hipótese de Riemann sugere uma ordem profunda na distribuição dos números primos, os átomos da aritmética. Resiste à prova desde 1859. A Conjectura de Collatz parece um joguinho infantil com números, mas ninguém consegue demonstrar que sempre funciona. Não são axiomas; são perguntas disfarçadas de afirmações. Suspeitamos que sejam verdadeiras, mas suspeita não é conhecimento.

A matemática convive com esses mistérios como a física convive com a matéria escura: como ausências que moldam tudo.

Quando as próprias regras são incertas

As descobertas mais estranhas do século XX mostraram que até os axiomas têm limites. Algumas afirmações não podem ser provadas nem refutadas usando as regras padrão da matemática. O Axioma da Determinação, por exemplo, contradiz outra regra comum (o Axioma da Escolha), mas leva a um universo matemático belamente ordenado. Cada conjunto de axiomas cria seu próprio clima de verdade.

Foi a ruptura final com o sonho antigo. A matemática não é o estudo do universo lógico. É o estudo de universos lógicos possíveis.

Conhecimento como construção

Fora da matemática, ainda falamos como se o conhecimento repousasse sobre fundamentos sólidos. Mas a imagem matemática é mais sutil e mais honesta. Começamos com suposições, muitas vezes invisíveis, muitas vezes herdadas, e construímos a partir delas. A força da estrutura matemática não está na certeza absoluta das fundações. Sua robustez depende da clareza das regras e no rigor do raciocínio.

• Axiomas já não são verdades que encontramos. São compromissos que assumimos.
• Teoremas não são descobertas numa natureza bruta. São as paisagens que surgem quando o jogo começa.
• E as hipóteses não resolvidas — a de Riemann, a de Collatz — lembram que, mesmo em mundos perfeitamente definidos, o mistério não é um defeito. É uma característica. É o horizonte que impede o conhecimento de se tornar completo.
• No fim, as ferramentas do conhecimento não são martelos nem cinzéis. São acordos, inferências e perguntas. Não apenas descobrimos a realidade.

Nós construímos o espaço em que a realidade pode ser compreendida.