University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

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

SHARE THIS: