What does it take to prove Fermat's Last Theorem?

19-20 March 2014

The workshop will discuss the present understanding of the foundational requirements of current research in number theory. The programme consists of two minicourses:

Colin McLarty (Case Western Reserve University)

"What do large scale structures add, and not add, to Cohomological Number Theory?"

Angus Macintyre (Queen Mary University of London)

"How much arithmetic can one derive without appeal to set quantification?"

Programme:

Wednesday, 19 March
[B1.01, Mathematics Institute]

10:00 - 11:00 McLarty (1)

11:30 - 12:30 McLarty (2)

[B3.02, Mathematics Institute]

14:00 - 15:00 Macintyre (1)

15:30 - 16:30 Macintyre (2)

Thursday, 20 March

[D1.07, Mathematics Institute]

10:00 - 11:00 McLarty (3)

11:30 - 12:30 McLarty (4)

14:00 - 15:00 Macintyre (3)

15:30 - 16:30 Macintyre (4)

Organiser: Adam Epstein

This meeting is one of several activities organised around the visit of Colin McLarty.