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