University of Oxford Logo University of OxfordDepartment of Computer Science - Home

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

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

Info

Date

23rd October 2009 (week 2, Michaelmas Term 2009)

Time

14:00

Place

Lecture Theatre B

Abstract

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.

Further info

Related series