Diria que é central... 2011/11/21 Peter Arndt <[email protected]>
> 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 > -- fad ahhata alati, awienta Wilushati _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
