The issues around proving Fermat's Last Theorem in Peano Arithmetic (Joint with Logic Seminar of Maths Department)

Name: The issues around proving Fermat's Last Theorem in Peano Arithmetic (Joint with Logic Seminar of Maths Department)
Start: 2008-12-05T14:00+01:00
End: 2008-12-05T15:00+01:00
Location: Lecture Theater B

Angus MacIntyre ( School of Mathematics, Queen Mary University of London )

5Dec
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 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.