Colin McLarty has posted a preprint of a forthcoming BSL piece “What does it take to prove Fermat’s Last Theorem?‘. I don’t pretend to understand everything here. But even if you don’t get all the details, the paper still should give you a handle on the question of the role in Wiles’s proof of assumptions that go beyond ZFC. Impressive stuff.
By Peter Smith / Logic / Leave a Comment / May 6, 2010 November 19, 2010