What does it take to prove Fermat's Last Theorem? Grothendieck and the logic of number theory
McLarty, Colin
Bull. Symbolic Logic, Tome 16 (2010) no. 1, p. 359-377 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
This paper explores the set theoretic assumptions used in the current published proof of Fermat's Last Theorem, how these assumptions figure in the methods Wiles uses, and the currently known prospects for a proof using weaker assumptions.
Publié le : 2010-09-15
Classification:  
@article{1286284558,
     author = {McLarty, Colin},
     title = {What does it take to prove Fermat's Last Theorem? Grothendieck and the logic of number theory},
     journal = {Bull. Symbolic Logic},
     volume = {16},
     number = {1},
     year = {2010},
     pages = { 359-377},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1286284558}
}

McLarty, Colin. What does it take to prove Fermat's Last Theorem? Grothendieck and the logic of number theory. Bull. Symbolic Logic, Tome 16 (2010) no. 1, pp.  359-377. http://gdmltest.u-ga.fr/item/1286284558/