What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory

  title={What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory},
  author={Colin McLarty},
  journal={The Bulletin of Symbolic Logic},
  pages={359 - 377}
  • C. McLarty
  • Published 2010
  • Computer Science, Mathematics
  • The Bulletin of Symbolic Logic
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. 
Wiles Has not Proven the Fermat’s Last Theorem
Demonstrated in alternative way, that the Theorems of Godel are true, and hold not only for some special mathematical problems, but in general (for any kind of statement in any kind ofExpand
Gentzen’s Consistency Proof in Context
Gentzen’s celebrated consistency proof—or proofs, to distinguish the different variations he gave1—of Peano Arithmetic in terms of transfinite induction up to the ordinal2 \(\varepsilon _{0}\) can beExpand
How to Choose New Axioms for Set Theory
We address the problem of the choice of new axioms for set theory. After discussing some classical views about the notion of axiom in mathematics, we present the most currently debated candidates forExpand
Fermat’s Last Theorem and the Logicians
I re-examine Enderton’s exposition of number theory in his logic textbook, and look at Godel’s incompleteness theorems, to show that there too definitional extension is both too strong and two weak;Expand
On Proofs of the Poincare Conjecture
On December 22, 2006, the journal Science honored Perelman's proof of the Poincare Conjecture as the scientific ``Breakthrough of the Year", the first time this honor was bestowed in the area ofExpand
Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics
It is shown that Fermat's Last Theorem for e is provable (again, under the assumption of ABC in N) in Th(N)+Exp+"coprimality for e" and Catalan's conjecture for e holds in (B,e) and (A,e). Expand
At a time when mathematical fashion despises generality (seen as gratuitous “generalities”, i.e. vacuities) I affirm the principle force in all my work has been the quest for the “general.” In truthExpand
Emmy Noether’s first great mathematics and the culmination of first-phase logicism, formalism, and intuitionism
Emmy Noether’s many articles around the time that Felix Klein and David Hilbert were arranging her invitation to Göttingen include a short but brilliant note on invariants of finite groupsExpand
Talmudic Foundations of Mathematics
In this paper, we assume that the mathematicians in proving new significant theorem, such as Fermat’s Last Theorem, deal with combining proof trees on tree forests by using the analogy as anExpand
Grothendieck’s Unifying Vision of Geometry
Grothendieck’s “vast unifying vision” provided new working and conceptual foundations for geometry, and even led him to logical foundations. While many pictures here illustrate the geometry,Expand


Modular Forms and Fermat's Last Theorem
This volume contains the expanded lectures given at a conference on number theory and arithmetic geometry held at Boston University. It introduces and explains the many ideas and techniques used byExpand
Number theory and elementary arithmetic
Elementary arithmetic (also known as “elementary function arithmetic”) is a fragment of first-order arithmetic so weak that it cannot prove the totality of an iterated exponential function.Expand
Categories for the working mathematician: making the impossible possible
This paper discusses the notion of necessity in the light of results from contemporary mathematical practice, and questions whether this justifies the claim that mathematics as a whole is necessary. Expand
Residues and Duality: Lecture Notes of a Seminar on the Work of A. Grothendieck, Given at Harvard 1963 /64
The derived category.- Application to preschemes.- Duality for projective morphisms.- Local cohomology.- Dualizing complexes and local duality.- Residual complexes.- The duality theorem.
Category Theory
The main result that has been formalized is that the Yoneda functor is a full and faithful embedding of many sorted monadic equational logic. Expand
Higher Topos Theory
This purpose of this book is twofold: to provide a general introduction to higher category theory (using the formalism of "quasicategories" or "weak Kan complexes"), and to apply this theory to theExpand
An Introduction to the Deformation Theory of Galois Representations
Before this conference I had never been to any mathematics gathering where so many people worked as hard or with such high spirits, trying to understand a single piece of mathematics.
Fundamental Algebraic Geometry
Grothendieck topologies, fibered categories and descent theory: Introduction Preliminary notions Contravariant functors Fibered categories Stacks Construction of Hilbert and Quot schemes:Expand
The Rising Sea : Grothendieck on Simplicity and Generality
In 1949, Andre Weil published striking conjectures linking number theory to topology and a striking strategy for a proof [Weil, 1949]. Around 1953, Jean-Pierre Serre took on the project and soonExpand
Algebraic Geometry
Introduction to Algebraic Geometry.By Serge Lang. Pp. xi + 260. (Addison–Wesley: Reading, Massachusetts, 1972.)