The Department of Logic & Philosophy of Science Colloquium Series presents
"Fermat's Last Theorem for Philosophers"
with Colin McLarty, Case Western Reserve University
Friday, June 8, 2012
Social Science Tower, Room 777
The talk will introduce the ideas which geometrized current number theory and made the proofs of Fermat's Last Theorem possible. It will briefly describe those proofs and explain how and why Grothendieck introduced his universes, so large ZFC cannot prove they exist. And it will discuss recent progress on making the apparatus entirely rigorous on much weaker foundations aiming finally at an elementary proof.
For further information, please contact Patty Jones, firstname.lastname@example.org or 949-824-1520.