Title: Foundations for Fermat's Last Theorem and related number theory

Time: June 28, 4:00-5:00pm

Place: Room 1124, New Main building

Speaker: Professor Colin McLarty (Case Western Reserve University)

Host: Professor Shi Xianghui

Abstract: The methods of modern number theory never go far from first order Peano arithmetic in practice, yet existing foundations for the proofs are stronger than ZFC set theory. We describe the reasons for this, and the prospect for proving these results in low order arithmetic.