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 (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

SHARE THIS: