The issues around proving Fermat's Last Theorem in Peano Arithmetic
Professor Angus Macintyre FRS ( Mathematics Research Centre, Queen Mary University of London )

14:00 23rd October 2009 ( week 2, Michaelmas Term 2009 )Lecture Theatre B
I will outline the proof that Wiles's proof of Fermat's Last theorem can be done in firstorder Peano arithmetic, and
discuss the significance of such results. Some attention will be given to dissenting views which have appeared on the site
FOM.