What does it take to prove fermat's last theorem? Grothendieck and the logic of number theory

Bulletin of Symbolic Logic 16 (3):359-377 (2010)
  Copy   BIBTEX

Abstract

This paper explores the set theoretic assumptions used in the current published proof of Fermat's Last Theorem, how these assumptions figure in the methods Wiles uses, and the currently known prospects for a proof using weaker assumptions.

Categories

Keywords

Reprint years

DOI

10.2178/bsl/1286284558

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Fermat’s Last Theorem Proved by Induction (and Accompanied by a Philosophical Comment).Vasil Penchev - 2020 - Metaphilosophy eJournal (Elsevier: SSRN) 12 (8):1-8.
Could This Be Fermat’s Lost ‘Proof’ of FLT?Bhupinder Singh Anand -
Fermat’s Last Theorem.Colin McLarty - 2024 - In Bharath Sriraman, Handbook of the History and Philosophy of Mathematical Practice. Cham: Springer. pp. 2011-2033.
Essay Review: Quest and Conquest: Proof of Fermat's Last Theorem.Charles J. Mozzochi - 2004 - Annals of Science 61 (1):119-126.
Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics.Petr Glivický & Vítězslav Kala - 2017 - Mathematical Logic Quarterly 63 (3-4):162-174.
Fermat’s last theorem proved in Hilbert arithmetic. II. Its proof in Hilbert arithmetic by the Kochen-Specker theorem with or without induction.Vasil Penchev - 2022 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 14 (10):1-52.
Fermat’s last theorem proved in Hilbert arithmetic. III. The quantum-information unification of Fermat’s last theorem and Gleason’s theorem.Vasil Penchev - 2022 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 14 (12):1-30.
Fermat’s last theorem proved in Hilbert arithmetic. I. From the proof by induction to the viewpoint of Hilbert arithmetic.Vasil Penchev - 2021 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 13 (7):1-57.
An Elementary, Pre-formal, Proof of FLT: Why is x^n+y^n=z^n solvable only for n<3?Bhupinder Singh Anand - manuscript
Cut-conditions on sets of multiple-alternative inferences.Harold T. Hodes - 2022 - Mathematical Logic Quarterly 68 (1):95 - 106.

Analytics

Added to PP
2010-05-08

Downloads
528 (#59,201)

6 months
17 (#181,383)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Colin McLarty
Case Western Reserve University

Citations of this work

View all 22 citations / Add more citations

References found in this work

Number theory and elementary arithmetic.Jeremy Avigad - 2003 - Philosophia Mathematica 11 (3):257-284.
The weil conjectures.Brian Osserman - 2008 - In T. Gowers, Princeton Companion to Mathematics. Princeton University Press. pp. 729--732.

Add more references