Skip to main content

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

Professor Angus Macintyre FRS ( Mathematics Research Centre, Queen Mary University of London )
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.



Share this: