Tudo começou por causa de uma falha de tinta.
Eu estava olhando a recriação da capa velha de um livro antigo, daqueles cheios de tabelas, cálculos, probabilidades e regras. Em determinado trecho do texto, algumas letras pareciam ter sido impressas quando a tinta já estava acabando. A falha não existia na capa original. Provavelmente era apenas um pequeno artefato produzido pelo gerador de imagens ao tentar reproduzir a estética de uma impressão antiga.
Curiosamente, ficou bom.
Parecia natural. Parecia a imperfeição real de um livro que tivesse atravessado décadas numa estante, passado pelas mãos de várias pessoas e sobrevivido a impressoras, gráficas, umidade, poeira e tempo.
Então surgiu a pergunta:
Claro que não no sentido humano da palavra. Não houve necessariamente algum pequeno diagramador digital escondido dentro da máquina dizendo:
"Essa capa está velha demais. Vou gastar um pouco a tinta justamente nesta palavra."
Por baixo de uma rede neural existem operações matemáticas. Multiplicações de matrizes, vetores, funções, probabilidades, otimização e uma quantidade enorme de parâmetros ajustados durante o treinamento.
Mas aí apareceu outra pergunta, muito mais interessante:
Será que dizer "é apenas matemática" realmente explica alguma coisa?
A expressão parece simples até perguntarmos:
O que é matemática?
A resposta mais comum seria dizer que matemática é o estudo dos números. Mas isso é claramente insuficiente.
Números são objetos da matemática, assim como estrelas são objetos da astronomia. Há enormes regiões da matemática em que contar coisas é quase irrelevante. Matemáticos estudam estruturas, relações, transformações, formas, espaços, simetrias, continuidade, conjuntos, grafos, infinitos e sistemas abstratos que às vezes sequer possuem representação intuitiva.
Um espaço vetorial de dez mil dimensões, por exemplo, é perfeitamente legítimo matematicamente. Podemos definir suas propriedades, realizar transformações sobre ele e demonstrar teoremas a seu respeito.
Mas ninguém consegue visualizá-lo como visualiza um cubo.
Nossa imaginação espacial praticamente pede demissão depois da terceira dimensão.
Isso revela uma característica extraordinária da matemática:
compreender não significa necessariamente visualizar.
Podemos raciocinar rigorosamente sobre objetos que nunca vimos, não podemos ver e talvez sequer possam existir como objetos físicos.
Isso torna a matemática um tipo muito peculiar de conhecimento.
A própria origem da palavra é interessante.
"Matemática" vem do grego μάθημα, máthēma, palavra relacionada a aprender, estudo, conhecimento adquirido. Ela pertence à família de μανθάνω, manthánō, aprender.
Não significa originalmente "números".
Significa algo muito mais próximo de "aquilo que pode ser aprendido".
É tentador aproximar isso da palavra grega γνῶσις, gnôsis, conhecimento. Elas não possuem a mesma origem etimológica, mas habitam regiões conceituais vizinhas: conhecer, aprender, compreender.
Só que a matemática desenvolveu uma forma especialmente estranha de conhecimento.
Na ciência experimental, observamos o mundo.
Soltamos uma pedra e ela cai. Repetimos o experimento. Medimos sua aceleração. Criamos hipóteses, produzimos modelos e verificamos se as previsões correspondem aos acontecimentos.
Na matemática ocorre algo diferente.
Partimos de certas definições, axiomas e regras de inferência e perguntamos:
Se isto for verdadeiro, o que necessariamente se segue?
Essa palavra — necessariamente — faz uma diferença enorme.
Uma demonstração matemática não afirma apenas:
"Observei isso acontecer muitas vezes."
Ela afirma:
"Dadas essas condições, isso não pode ser de outra forma."
É quase como um jogo.
Em um jogo existem regras. Determinados movimentos são permitidos e outros não. Algumas posições são possíveis; outras são impossíveis.
O matemático conhece as regras e procura descobrir suas consequências.
Mas existe algo fascinante nisso:
inventar as regras não significa inventar todas as consequências delas.
Posso criar hoje um jogo com cinco regras. Amanhã outra pessoa demonstra que determinada posição jamais poderá ocorrer.
Eu poderia protestar:
"Mas fui eu quem inventou o jogo!"
E ela poderia responder:
"Você inventou as regras. Não inventou aquilo que necessariamente decorre delas."
É justamente aí que começa uma das discussões filosóficas mais antigas da matemática.
Nós inventamos a matemática ou a descobrimos?
Talvez inventemos as portas e depois descubramos que havia continentes inteiros do outro lado.
PITÁGORAS E A MAGIA DOS NÚMEROS
Imagine um homem do século VI antes de Cristo dizendo algo parecido com isto:
"Existem coisas que você não consegue ver. Algumas não correspondem a nenhuma experiência cotidiana. Talvez você sequer consiga imaginá-las adequadamente. Mesmo assim, poderá conhecer propriedades necessárias delas."
Hoje chamaríamos isso de matemática abstrata.
Na Antiguidade, soa quase como magia.
Não é por acaso que a tradição pitagórica misturava matemática, filosofia, música, cosmologia e religião.
Uma das descobertas mais poderosas associadas aos pitagóricos foi perceber que relações numéricas apareciam na música.
Duas cordas cujos comprimentos possuem determinadas proporções produzem intervalos musicais consonantes.
De repente, algo aparentemente subjetivo — a sensação de harmonia — revelava possuir uma estrutura matemática invisível.
O ouvido escutava beleza.
A matemática encontrava proporção.
É fácil imaginar o impacto filosófico disso.
Talvez aquilo que nossos sentidos percebem seja apenas a superfície de uma ordem mais profunda.
E então aparece um dos episódios mais famosos da tradição pitagórica: os números irracionais.
Pegue um quadrado cujo lado mede uma unidade.
A diagonal mede √2.
Ela existe geometricamente. Podemos desenhá-la. Podemos apontar para ela.
Mas √2 não pode ser escrito exatamente como a razão entre dois números inteiros.
A tradição posterior transformou essa descoberta quase numa crise metafísica para os pitagóricos.
O desenho dizia:
"Estou aqui."
A concepção numérica disponível respondia:
"Você não deveria estar."
O universo abstrato havia ultrapassado a intuição.
QUANDO A INTUIÇÃO DESISTE
Esse talvez seja um dos aspectos mais extraordinários da matemática moderna.
Ela não depende necessariamente da intuição ordinária.
Há objetos matemáticos para os quais não possuímos imagem mental adequada.
Na topologia, por exemplo, estudamos propriedades que permanecem invariantes quando objetos são deformados continuamente.
Na geometria não euclidiana, podemos construir espaços em que as regras familiares aprendidas na escola deixam de funcionar.
Na teoria dos conjuntos surgem diferentes tipos de infinito.
Na álgebra abstrata estudamos estruturas definidas não pela aparência dos objetos, mas pelas relações e operações existentes entre eles.
A matemática permite perguntar:
"Suponha que exista uma estrutura com estas propriedades. O que acontece?"
E então seguimos as consequências.
Isso é profundamente diferente de simplesmente recordar aquilo que já vimos no mundo.
É possível trabalhar matematicamente com coisas que nunca apareceram na experiência cotidiana de ninguém.
Nesse sentido, a matemática não é apenas uma extensão sofisticada da percepção.
Ela consegue ultrapassá-la.
E, em determinados momentos, a percepção acaba correndo atrás.
O JOGO E O GM
Foi então que me ocorreu uma comparação com jogos.
Matemática é como um jogo no qual sabemos quando uma jogada foi válida.
Uma demonstração pode ser examinada passo a passo. Se cada movimento respeita as regras estabelecidas, chegamos à conclusão.
A natureza é diferente.
Na física existe um jogador adicional:
o Universo.
E ele não assinou contrato prometendo respeitar nossa intuição.
Isso fica particularmente evidente na mecânica quântica.
Considere o famoso experimento da dupla fenda.
Partículas como elétrons ou fótons podem produzir padrões de interferência que não combinam com a imagem intuitiva de pequenas bolinhas escolhendo simplesmente uma abertura ou outra.
Quando o experimento é modificado para obter informação sobre qual caminho foi percorrido, o comportamento observado também muda.
É preciso cuidado aqui.
A física quântica não nos autoriza simplesmente a dizer que "uma partícula passou literalmente pelos dois buracos ao mesmo tempo" como duas cópias de uma bolinha clássica. A interpretação do que realmente está acontecendo depende inclusive da interpretação da mecânica quântica adotada.
O que sabemos experimentalmente é mais estranho e mais rigoroso:
as previsões matemáticas funcionam.
E funcionam de maneira extraordinariamente precisa.
Nossa intuição protesta.
Os detectores continuam registrando os resultados.
Se a matemática fosse um RPG, poderíamos dizer:
Jogador:
Passo pelo caminho da esquerda.
GM:
Não exatamente.
Jogador:
Então passo pelo caminho da direita.
GM:
Também não exatamente.
Jogador:
Então passei pelos dois?
GM:
Sua pergunta está tentando impor ao sistema uma propriedade clássica que talvez ele não possua dessa maneira antes da medição.
Jogador:
Vou olhar.
GM:
Ótimo. Agora você mudou as condições do experimento.
É o tipo de mestre que faria qualquer jogador abandonar a mesa.
Mas o problema é que os dados concordam com ele.
MATEMÁTICA NÃO É INTUIÇÃO
Há então uma diferença importante.
A física precisa olhar para fora.
A matemática pode olhar para dentro de suas próprias estruturas.
Isso não significa que matemáticos não utilizem intuição. Utilizam, e muito. Um matemático experiente frequentemente "sente" que determinado resultado deve ser verdadeiro antes de encontrar sua demonstração.
Mas essa intuição não torna o teorema verdadeiro.
Ela ajuda a encontrar o caminho.
A prova é aquilo que fecha a questão dentro do sistema adotado.
E há casos em que nem sequer conseguimos visualizar adequadamente o objeto estudado.
Ainda assim podemos demonstrar coisas sobre ele.
Talvez seja justamente isso que dá à matemática essa aparência quase arcana.
Não porque exista algo sobrenatural nela.
Mas porque ela permite conhecer relações que os sentidos não conseguem fornecer diretamente.
Você não consegue vê-las.
Talvez nem consiga imaginá-las.
Mas consegue demonstrá-las.
A EFICÁCIA ASSUSTADORA DA MATEMÁTICA
Existe ainda outro mistério.
Muitas estruturas matemáticas foram estudadas inicialmente por razões puramente abstratas e posteriormente encontraram aplicações no mundo físico.
Números complexos, geometrias não euclidianas, teoria dos grupos, espaços vetoriais e várias outras estruturas passaram períodos de sua história parecendo abstrações distantes da experiência cotidiana.
Mais tarde tornaram-se fundamentais em física, engenharia, computação e outras ciências.
O físico Eugene Wigner escreveu em 1960 um ensaio que se tornou famoso: "The Unreasonable Effectiveness of Mathematics in the Natural Sciences" — "A eficácia irracional da matemática nas ciências naturais".
A pergunta é simples e perturbadora:
por que a matemática funciona tão bem para descrever o universo?
Se ela é apenas uma invenção humana, por que nossas estruturas abstratas acabam correspondendo tão precisamente à natureza?
Se ela é descoberta, onde exatamente essas estruturas "estavam" antes de nós?
Não existe consenso filosófico.
Platônicos, formalistas, intuicionistas, estruturalistas e outras correntes respondem de maneiras diferentes.
Talvez essa pergunta nunca tenha uma resposta definitiva.
Mas existe algo nela que produz vertigem.
MAGIA SEM SOBRENATURAL
Quando disse que matemática parecia magia, não estava falando de feitiçaria.
Estava falando daquele sentido antigo de algo arcano: algo escondido.
A matemática parece revelar relações invisíveis.
Uma equação não é o fenômeno.
Uma demonstração não é um objeto físico.
Um espaço de dez mil dimensões não está diante dos meus olhos.
Mesmo assim conseguimos conhecer propriedades dessas coisas.
Talvez por isso dizer que uma inteligência artificial "é apenas matemática" pareça tão insuficiente.
Sim, por baixo de uma rede neural existem operações matemáticas.
Mas uma multiplicação isolada não sabe o que é uma capa antiga.
Uma matriz não sabe o que é tinta.
Um número não conhece uma gráfica.
Ainda assim, a organização de bilhões de relações matemáticas consegue produzir uma imagem em que uma pequena imperfeição aparece justamente como algo que nossos olhos reconhecem imediatamente:
"A tinta falhou aqui."
Isso não prova consciência.
Não prova intenção.
Não transforma uma rede neural em criatura mágica.
Mas revela uma coisa que talvez seja ainda mais interessante:
estruturas matemáticas podem representar relações muito mais ricas do que a expressão "um monte de números" sugere.
Talvez o erro esteja justamente na palavra "apenas".
Dizer que música digital é "apenas números" é tecnicamente defensável em determinado nível.
Mas aqueles números também podem carregar Bach.
Dizer que uma imagem é apenas pixels também é verdade.
Mas aqueles pixels podem carregar um rosto.
Dizer que uma inteligência artificial é apenas operações matemáticas pode ser correto como descrição de seu mecanismo.
Mas não é necessariamente uma explicação completa daquilo que emerge da organização dessas operações.
E talvez isso também nos diga alguma coisa sobre nós.
Nenhum neurônio individual sabe o que é matemática.
Nenhum átomo do cérebro conhece Pitágoras.
Nenhuma molécula sabe demonstrar um teorema.
Mesmo assim, nós sabemos.
Tudo começou com uma pequena falha de tinta numa capa velha.
Provavelmente um erro banal de geração.
Mas talvez tenha sido o tipo certo de erro.
Porque, por alguns minutos, uma imperfeição numa imagem abriu uma porta para uma pergunta muito maior:
Como coisas que individualmente não parecem significar nada conseguem, quando organizadas, produzir estruturas capazes de representar alguma coisa?
E depois surge outra pergunta, ainda mais antiga:
Por que o universo parece permitir que seja compreendido dessa maneira?
Talvez nunca saibamos completamente.
Mas existe algo profundamente humano em continuar perguntando.
Afinal, muito antes de "matemática" significar números, equações ou cálculos, máthēma significava aquilo que se aprende.
Talvez a matemática nunca tenha deixado de ser isso.
Uma maneira estranhíssima, rigorosa e quase mágica de aprender aquilo que não conseguimos simplesmente ver.
Nenhum comentário:
Postar um comentário