Pense bem da próxima vez que quiser resolver algo com precisão matemática. Os últimos avanços da mais exata das ciências estão tão cercados de polêmica que, em grande parte das vezes, ninguém mais sabe dizer que problemas estão resolvidos e quais conclusões estão inequivocamente certas. “Hoje em dia, os matemáticos estão levando muito em conta o papel das decisões humanas sobre que provas são válidas”, diz o matemático Keith Devlin, da Universidade Stanford, EUA.
A primeira razão para a dúvida é que quem dá a palavra final na matemática é a “pecinha” que fica atrás dos livros: o homem. Cabe à comunidade de cientistas decidir quais conclusões são erradas e quais provas são legítimas. E esses matemáticos têm enfrentado grandes problemas. Parte da culpa vem do melhor amigo do matemático na atualidade: o computador. O problema começou em 1976, quando 2 cientistas disseram ter provado o teorema das 4 cores, que diz que qualquer mapa pode ser pintado com apenas 4 cores sem usar a mesma tinta para 2 países fronteiriços. Eles tinham chegado à prova programando um computador para testar todas as possibilidades, e o resultado era um tijolo de mais de 500 páginas impossível de ser checado à mão. Desde então, técnicas parecidas “provaram” outros teoremas, todas gerando a mesma polêmica: é válida uma demonstração que não pode ser verificada por ninguém? Para muitos, a resposta é simplesmente “não”.
Por outro lado, existem dezenas de equações ainda não comprovadas que são usadas como se fossem exatas. Pegue, por exemplo, a questão de se um número é primo – ou seja, se ele pode ou não ser dividido por outro número inteiro além dele mesmo e de 1. Já existem métodos que resolvem o problema com 99,99% de certeza, não importa o tamanho do número – mas não existe uma conclusão exata e a incerteza, ainda que pequena, é desconfortável para os matemáticos. Mesmo assim, a técnica é amplamente utilizada, por exemplo, em pesquisas de sistemas de segurança eletrônicos (como o do seu e-mail).
“Provas são apenas uma das ferramentas que os matemáticos usam”, diz o americano Philip Davis, da Universidade Brown, em Rhode Island, EUA. Ele é um dos muitos cientistas que defendem que o seu campo hoje precisa aprender a lidar com a falta de certezas. Ou, como diz a jornalista, física e matemática americana Margaret Wertheim: “Como muitos outros campos, a matemática está se tornando menos a busca por verdades últimas do que um projeto movido por negociações entre os participantes.”
Fallout: o que você precisa saber antes de assistir à série do Prime Video
AmazonFACE: a “máquina do tempo” que levará a Amazônia para 2060
Megacidade no deserto da Arábia Saudita será bem mais modesta que o previsto
Xógum não vai ter uma segunda temporada. E não: a série não foi cancelada.
A origem dos 50 sobrenomes mais comuns do Brasil
