Resposta 2+2

Super 215 julho 2005

Contas Que Não Contam
2+2=4... nem sempre!
A matemática está se transformando em uma ciência inexata por Rodrigo Rezende
Tweet

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, para os matemáticos, essa