Olá Marcelo O que encontramos já está publicado aqui:
http://golem.ph.utexas.edu/category/2011/09/the_inconsistency_of_arithmeti.html#c039554 Daniel e eu estudamos o manuscrito ontem e está aí o resumo do que é relevante para o problema. (É o mesmo erro que o Terence Tao apontou antes). Nesse mesmo link há comentários do Terence Tao explicando o problema de um modo ligeiramente diferente. Abraço Rodrigo _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
