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
|
