Ola para todos, circula na rede uma msg postada por Edward Nelson
http://en.wikipedia.org/wiki/Edward_Nelson na lista de discussoes sobre a fundamentacao da matematica, na qual ele afirma ter provado a inconsistencia da Aritmetica de Peano. Ate o momento nao vi ninguem se pronunciar sobre o trabalho, que se encontra em http://www.math.princeton.edu/~nelson/books.html http://www.math.princeton.edu/~nelson/papers/outline.pdf abracos P _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
