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.