Bulletin of Symbolic Logic
- Bull. Symbolic Logic
- Volume 16, Issue 3 (2010), 359-377.
What does it take to prove Fermat's Last Theorem? Grothendieck and the logic of number theory
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.
Bull. Symbolic Logic, Volume 16, Issue 3 (2010), 359-377.
First available in Project Euclid: 5 October 2010
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
McLarty, Colin. What does it take to prove Fermat's Last Theorem? Grothendieck and the logic of number theory. Bull. Symbolic Logic 16 (2010), no. 3, 359--377. doi:10.2178/bsl/1286284558. https://projecteuclid.org/euclid.bsl/1286284558