Matemática Platônica
Hamming investigou cinco escolas principais de pensamento sobre o que é matemática. Nenhuma se mostrou totalmente satisfatória.
A escola mais antiga: Platonismo. Platão argumentou que o mundo das ideias — incluindo objetos matemáticos — é mais real do que o mundo físico. Os objetos físicos são instâncias imperfeitas e temporárias de formas perfeitas e imutáveis.
Aplicado à matemática: o número 7 não é o numeral escrito em uma página, não são sete cavalos, não são sete cadeiras. O número abstrato 7 existe em um reino de ideias puras. Não tem instantiação física. Você nunca viu, ouviu, tocou ou cheirou o número 7 em si — apenas suas sombras no mundo físico.
Observação chave de Hamming: independentemente da notação, 7 é primo. Em numerais romanos (VII), em binário (111), em hexadecimal (7) — a primalidade não depende da representação. Essa independência de notação é o que os Platonistas apontam como evidência da existência independente dos objetos matemáticos.
Formalismo: Matemática como Manipulação de Símbolos
A escola Formalista, associada a David Hilbert, toma a posição oposta. A matemática é um jogo formal: escolha um conjunto de axiomas e regras de inferência, depois derive teoremas aplicando mecanicamente as regras. Os símbolos não têm significado fora do sistema formal.
Nessa visão, a matemática é inventada, não descoberta. Diferentes sistemas de axiomas produzem matemáticas diferentes. A geometria euclidiana e a geometria não-euclidiana são ambas válidas — começam de axiomas diferentes.
Posição de Hamming: ele age como um Platonista ao fazer matemática (sente que está descobrindo verdades pré-existentes), mas suspeita que os Formalistas estão certos sobre os fundamentos (não há reino eterno, apenas o jogo formal que escolhemos jogar).
Teste prático de Hamming para um resultado matemático: independentemente de qual escola esteja correta, um teorema provado em um sistema formal consistente é confiável. O debate filosófico não afeta o valor de engenharia do resultado.
Matemática e o Mundo Físico
Em 1960, o físico Eugene Wigner publicou um ensaio intitulado 'A Efetividade Irrazoável da Matemática nas Ciências Naturais.' A tese: a matemática desenvolvida por matemáticos puros por razões puramente abstratas continua descrevendo a realidade física com precisão desconcertante.
Exemplos que Hamming citou:
- Equações de Maxwell: derivadas da elegância matemática pura & simetria, elas previram ondas eletromagnéticas — e especificamente, a velocidade da luz — antes de qualquer verificação experimental.
- Geometria Riemanniana: desenvolvida por Bernhard Riemann nos anos 1850 como matemática pura, sem aplicação física em mente. Einstein usou-a 60 anos depois como a estrutura matemática para a relatividade geral.
- Mecânica quântica: construída sobre espaços de Hilbert, álgebras de operadores e teoria dos grupos — todos desenvolvidos independentemente por matemáticos por razões abstratas.
Por que a matemática desenvolvida na mente, por razões puramente estéticas, deveria descrever a realidade física tão precisamente? Nem Platonistas nem Formalistas têm uma resposta totalmente satisfatória.
Avaliando o Enigma de Wigner
A observação de Wigner é impressionante, mas pode ser questionada. Nem toda a matemática que é desenvolvida acaba sendo útil — apenas a matemática que acaba descrevendo algo sobrevive na história da física. Talvez o efeito de seleção esteja fazendo o trabalho.
Mais Abstrato = Mais Amplamente Aplicável
Hamming fez uma afirmação contra-intuitiva: quanto mais abstrata uma ferramenta matemática, mais amplamente se aplica.
Matemática concreta: a fórmula para a área de um retângulo específico. Aplica-se a uma forma.
Matemática abstrata: álgebra linear sobre um corpo. Aplica-se à mecânica quântica, computação gráfica, economia, compressão de dados, análise de circuitos, estatística — qualquer domínio onde vetores e transformações lineares surgem.
Por quê? A abstração remove o conteúdo específico do domínio, deixando apenas a estrutura. Dois sistemas com a mesma estrutura obedecem aos mesmos teoremas, mesmo que um envolva campos elétricos e o outro envolva distribuições de probabilidade.
Matemática universal: Hamming observou que qualquer civilização capaz de comunicação interestelar deve ter desenvolvido a mesma matemática. A razão: a matemática deriva seus teoremas dos axiomas via lógica, e a lógica parece universal. O número 7 é primo em qualquer notação porque a primalidade é uma propriedade estrutural, não notacional.
O Valor da Abstração
A história da matemática contém muitos exemplos de estruturas abstratas desenvolvidas sem aplicação em mente que depois se tornaram ferramentas essenciais na física ou engenharia.