Meus colegas me pedem ajuda com números. Eu sei matemática, eles presumem. A ironia é que sou péssimo em aritmética mental.
As pessoas erram em matemática. Acham que são somas rápidas, subtrações feitas de cabeça na hora de comprar café. Não. A verdadeira matemática trata de construir mundos.
O Mito da Fundação
Você começa com regras. Axiomas. Verdades básicas com as quais você concorda apenas para que o jogo possa começar. A partir daí você empilha coisas. Conjuntos tornam-se números, números tornam-se funções, funções transformam-se em geometria. Tudo repousa nesse piso inicial.
Durante muito tempo, os matemáticos praticaram um perigoso ato de equilíbrio. Eles queriam o mínimo de regras possível, mas o suficiente para descrever o universo moderno. E essas regras tinham que parecer certas. Intuitivo. Como dizer “existe um conjunto vazio”. Simplesmente faz sentido.
Na década de 1900, todos optaram pelo ZFC. Teoria dos conjuntos de Zermelo-Fraen com escolha. Nove regras. É isso. Esse foi o alicerce.
Ou assim eles pensaram.
Gödel quebra tudo
Os matemáticos adoraram sua fundação. Eles sonhavam com um sistema que fosse duas coisas ao mesmo tempo:
- Completo. Toda verdade pode ser provada.
- Consistente. Não são permitidas contradições.
1931 chega. Entra Kurt Gödel. Vinte e cinco anos. Ele lança uma bomba que quebra a fundação.
Seu Primeiro Teorema da Incompletude é brutal. Diz que em qualquer sistema forte e consistente, existem afirmações que não podem ser provadas como verdadeiras ou falsas. Período. Depois vem o Segundo Teorema. Pior ainda. O sistema não pode provar que é consistente.
Parece acadêmico, claro. Coisas de lógica abstrata. Seus colegas esperavam que fosse uma peculiaridade. Um estranho pontinho teórico sem dentes. Eles estavam errados.
Gödel provou que a certeza tem um limite. Você não pode saber tudo, mesmo dentro das regras que você criou.
Veja o próprio sistema ZFC. Está cheio de coisas improváveis. A Hipótese do Continuum é a grande. Existe um infinito entre números inteiros e números reais? Nós não sabemos. E nunca poderemos provar isso, usando as nossas ferramentas atuais. A questão simplesmente… fica aí.
Não resolvido. Insolúvel, até.
Então sim, você pode construir mundos a partir de axiomas. Você pode subir de conjuntos simples até topologias complexas. Mas a estrutura tem buracos. Pontos cegos embutidos onde a verdade se esconde, para sempre fora de alcance.
Por que a mente anseia pela conclusão se a conclusão é impossível?
