[Edward Nelson]

A aritmética é uma das representações mais puras de uma realidade objetiva. Na distopia de George Orwell, 1984, o protagonista finalmente sucumbe à loucura do regime opressor quando passa a aceitar que “2+2=5”. A partir daí, sua sanidade já não é mais nem uma memória distante – é um conceito completamente abandonado. Sem aritmética, absolutamente tudo é possível e onde absolutamente tudo é possível nada deve ser real.

Pois que o anúncio do professor de matemática, Ed Nelson, de que a aritmética é inconsistente seria uma das maiores revoluções na história da ciência. Como brinca Steven Landsburg, “seria uma notícia muito mais impressionante que neutrinos mais rápidos que a luz, que o Sul ganhou a Guerra Civil Americana ou que toda a vida na terra foi projetada por um ser inteligente”. Seria muito mais impressionante que o que alguns chamam de Deus.

Professor da Universidade de Princeton, Nelson é um ultrafinitista que vem há muitos anos questionando a consistência dos axiomas de Peano, que formalizam aquilo que chamamos de aritmética. Se tais axiomas forem de fato inconsistentes, realmente existiria algo contraditório como “2+2=5” que não seria fruto de uma mente insana, mas da matemática em si mesma.

Foi no dia 26 de setembro de 2011 que o professor Nelson divulgou o que seria a prova desta inconsistência, em duas versões, prometendo uma outra mais extensa a ser publicada com mais detalhes. Seria o marco de sua carreira e sua entrada para a História.

Em alguns dias blogs científicos especializados em matemática borbulharam de discussão sobre a prova, e em n-Category Cafe Terence Tao, ganhador da medalha Fields, expôs uma falha na prova. Nelson não concordou com a contestação, publicando uma réplica nos comentários, mas ao mesmo tempo Daniel Tausk, professor do Instituto de Matemática e Estatística da USP também discutiu a falha de forma privada com Nelson.

Em 1 de outubro, menos de uma semana depois de seu anúncio, o professor Ed Nelson publicou o comentário em resposta a Tao:

“Você está certo mesmo, e minha réplica original estava errada.

Obrigado por apontar o meu erro.

Eu retiro o meu anúncio [de ter encontrado uma prova de que os axioma de Peano são inconsistentes]”.

Pense bem nisto. A beleza ética e a estatura moral que fazem um professor respeitado reconhecer em alguns dias que o trabalho em que investiu anos estava simplesmente errado, e a agradecer àqueles que apontaram seu erro, é o lado humano e moral da filosofia de Popper de que só sabemos que algo é científico quando pode ser provado falso.

Se a aritmética representa a pureza de uma realidade objetiva, poucas palavras podem representar tão bem a busca sincera por se aproximar desta realidade quanto “obrigado por apontar o meu erro”.

No caso aqui, especialmente belo porque o erro era justamente sobre a inconsistência da aritmética. Na frieza da objetividade está o lugar comum que fundamenta o que de melhor podemos fazer com tudo aquilo que nos é subjetivo. [via Albener Pessoa, thx!]