- Νέα διεθνής αρθρογραφία - What Does It Take to Prove FermatβS Last Theorem? Grothendieck and the Logic of Number Theory

What Does It Take to Prove FermatβS Last Theorem? Grothendieck and the Logic of Number Theory Διάδωσέ το \|
Συγγραφέας: Colin Mclarty Colin Mclarty: What Does It Take to Prove Fermat’S Last Theorem? Grothendieck and the Logic of Number Theory (pdf, 19 pages) Does the proof of Fermat’s Last Theorem (FLT) go beyond Zermelo Fraenkel set theory (ZFC)? Or does it merely use Peano Arithmetic (PA) or some weaker fragment of that? The answers depend on what is meant by

What Does It Take to Prove FermatβS Last Theorem? Grothendieck and the Logic of Number Theory