---------- Forwarded message ---------- From: Francisco Antonio Doria <[email protected]> Date: 2011/9/27 Subject: Re: [Logica-l] inconsistency of P To: Jorge Petrucio Viana <[email protected]>
Li o abstraact e comentei com o Newton. Depois palpito. 2011/9/27 Jorge Petrucio Viana <[email protected]> > 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 > -- fad ahhata alati, awienta Wilushati -- fad ahhata alati, awienta Wilushati _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
