O Sistema Formal como um Grafo Direcionado
Um sistema axiomático formal define um grafo direcionado:
- Vértices: todas as fórmulas bem formadas construíveis a partir dos símbolos do sistema
- Arestas: passos de inferência — uma fórmula segue de outras por uma regra de inferência
- Axiomas: vértices de origem distinguidos sem arestas de entrada
- Teoremas: todos os vértices alcançáveis a partir do conjunto de axiomas
Uma prova do teorema T: um caminho direcionado do conjunto de axiomas para T. A prova é uma sequência de vértices A₁, A₂, ..., Aₙ = T onde cada passo segue uma regra de inferência.
Duas propriedades fundamentais de um sistema formal, expressas geometricamente:
Consistência: nenhuma fórmula F e sua negação ¬F são ambas alcançáveis a partir dos axiomas. Geometricamente: o vértice do teorema F e o vértice do teorema ¬F não são ambos alcançáveis. Nenhum caminho de 'explosão' existe.
Completude: toda fórmula F ou ¬F é um teorema (alcançável). Geometricamente: o grafo é fortemente conectado no sentido de que para cada vértice F, pelo menos um de F ou ¬F tem um caminho a partir dos axiomas.
Incompletude de Gödel como uma Propriedade Geométrica
Kurt Gödel provou em 1931 que qualquer sistema formal consistente poderoso o suficiente para expressar aritmética básica é incompleto: existem fórmulas G tais que nem G nem ¬G é provável.
Geometricamente: em qualquer sistema formal consistente suficientemente rico, há vértices no grafo de fórmulas que não são alcançáveis a partir dos axiomas — nem o vértice G nem o vértice ¬G tem um caminho a partir do conjunto de axiomas.
Construção de Gödel: ele codificou uma fórmula G que diz, em essência, 'Não sou provável.' Se G fosse provável, o sistema seria inconsistente (uma afirmação verdadeira diz que não é provável). Se ¬G fosse provável, o sistema seria inconsistente (G seria falso mas o sistema a prova). Então nem G nem ¬G é provável — G é um vértice inalcançável em um sistema consistente.
A incompletude não é um defeito dos axiomas escolhidos: Gödel mostrou que é uma propriedade estrutural de qualquer sistema consistente expressivo o suficiente para lidar com aritmética. Os vértices inalcançáveis não podem ser removidos adicionando mais axiomas sem gerar novos.
Objetos Matemáticos como Pontos em um Espaço
A visão platônica da matemática pode ser formalizada geometricamente: objetos matemáticos habitam um espaço abstrato cujos pontos são os próprios objetos e cuja estrutura é dada pelas relações entre eles.
Considere os números naturais ℕ = {0, 1, 2, 3, ...}. A relação de divisibilidade define uma ordem parcial: m divide n sse m | n. Esta ordem parcial define uma geometria — o diagrama de Hasse da rede de divisibilidade.
Cada número primo fica em uma posição minimal acima de 1. Cada número composto fica acima de seus fatores primos. A estrutura deste espaço codifica toda a teoria dos números.
O que torna isso Platônico: a estrutura existe independentemente de qualquer mente a estudar. O fato de 7 ser primo — que 7 não tem divisores entre 1 e 7 — é um fato sobre a posição de 7 na rede de divisibilidade, independente de notação, cultura ou civilização.
Qualquer civilização que investigue contagem e divisibilidade descobrirá a mesma estrutura. A geometria do sistema numérico é universal.
Navegando a Rede de Divisibilidade
Na rede de divisibilidade, o mínimo múltiplo comum (mmc) de dois números corresponde a seu join (limite superior mínimo) e o máximo divisor comum (mdc) corresponde a seu meet (limite inferior máximo).
O mdc pode ser computado via o algoritmo euclidiano: mdc(a, b) = mdc(b, a mod b), terminando quando b = 0.
O Que a Abstração Remove
Abstração geométrica: projetar um objeto de alta dimensão em um subespaço de menor dimensão. A projeção perde informação (coordenadas não no subespaço) mas retém a estrutura do subespaço perfeitamente.
Abstração matemática funciona do mesmo jeito. Um grupo é um conjunto com uma operação binária satisfazendo quatro axiomas. Abstrair para estrutura de grupo remove: os elementos específicos, a regra computacional específica da operação, qualquer estrutura adicional (ordem, métrica, topologia). O que permanece: o esqueleto de quatro axiomas.
O benefício: todo teorema sobre grupos se aplica a TODOS os grupos — inteiros sob adição, rotações sob composição, permutações sob composição, simetrias de uma molécula, grupos de Galois de equações polinomiais — simultaneamente. O teorema abstrato é provável uma vez; suas instâncias são de graça.
É por isso que matemáticos puros resistem em adicionar suposições específicas de domínio: cada suposição adicionada restringe a aplicabilidade do teorema. Um teorema sobre corpos (adicionando inversa multiplicativa) se aplica a menos estruturas que um teorema sobre anéis (nenhuma inversa multiplicativa requerida).
O Compromisso Precisão-Generalidade
Há um compromisso: teoremas mais abstratos se aplicam mais amplamente mas dizem menos sobre instâncias específicas. Um teorema sobre espaços vetoriais sobre um corpo diz menos sobre ℝ^n que um teorema especificamente sobre ℝ^n (onde distância e ângulo são definidos).
Regra implícita de Hamming: abstraia tão longe quanto possível enquanto retém as propriedades que você precisa. Abstraia demais e seus teoremas se tornam vaziamente gerais ('qualquer conjunto com qualquer operação satisfaz...'). Abstraia pouco e seus teoremas falham em se transferir para novas aplicações.