Seminar series
Date
Thu, 13 Mar 2014
Time
17:15 -
18:15
Location
L6
Speaker
Colin McLarty
Organisation
Case Western Reserve
Several number theorists have stressed that the proofs of FLT focus on small concrete arithmetically defined groups rings and modules, so the steps can be checked by direct calculation in any given case. The talk looks at this in relation both to Hilbert's idea of contentual (inhaltlich) mathematics, and to formal provability in Peano arithmetic and other stronger and weaker axioms.