The issues around proving Fermat's Last Theorem in Peano Arithmetic

Name: The issues around proving Fermat's Last Theorem in Peano Arithmetic
Start: 2009-10-23T14:00+01:00
End: 2009-10-23T15:00+01:00
Location: Lecture Theatre B

Professor Angus Macintyre FRS ( Mathematics Research Centre, Queen Mary University of London )

23Oct
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 first-order Peano arithmetic, and discuss the significance of such results. Some attention will be given to dissenting views which have appeared on the site FOM.