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

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)

Info

Date

5th December 2008 (week 8, Michaelmas Term 2008)

Time

14:00

Place

Lecture Theater 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