Isto é um pouco lateral á discussão, mas para quem tiver interesse na base axiomatica da prova do Wiles, e nas perspectivas de reduzir ela á aritmetica de Peano, o seguinte artigo de Colin McLarty vai ser muito interessante:
http://www.cwru.edu/artsci/phil/Proving_FLT.pdf Peter >> Em 20/11/2011, às 14:53, Francisco Antonio Doria escreveu: > >> > >> Usa ZF + grandes cardinais. > >> > >> 2011/11/20 Décio Krause <[email protected]> > >> > >>> Dóris > >>> Sei disso e acho uma das coisas sensacionais com a prova, que claro nem > >>> consigo acompanhar. Mas o que ele usa de aritmética seja lá em que > sistema > >>> mais forte for, ou é a AP ou alguma extensão. Errado? > >>> D > >>> > >>> ------------------------------------------------------ > >>> Décio Krause > >>> Departamento de Filosofia > >>> Universidade Federal de Santa Catarina > >>> 88040-900 Florianópolis - SC - Brasil > >>> http://www.cfh.ufsc.br/~dkrause > >>> ------------------------------------------------------ > >>> > >>> > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
