The issues around proving Fermat's Last Theorem in Peano Arithmetic (Joint with Logic Seminar of Maths Department)
Angus MacIntyre ( School of Mathematics, Queen Mary University of London )

14:00 5th December 2008 ( week 8, Michaelmas Term 2008 )Lecture Theater 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.