Abstract:In a previous paper (https://dx.doi.org/10.2139/ssrn.3648127 ), an elementary and thoroughly arithmetical proof of Fermat’s last theorem by induction has been demonstrated if the case for “n = 3” is granted as proved only arithmetically (which is a fact a long time ago), furthermore in a way accessible to Fermat himself though without being absolutely and precisely correct. The present paper elucidates the contemporary mathematical background, from which an inductive proof of FLT can be inferred since its proof for the case for “n = 3” has been known for a long time. It needs “Hilbert mathematics”, which is inherently complete unlike the usual “Gödel mathematics”, and based on “Hilbert arithmetic” to generalize Peano arithmetic in a way to unify it with the qubit Hilbert space of quantum information. An “epoché to infinity” (similar to Husserl’s “epoché to reality”) is necessary to map Hilbert arithmetic into Peano arithmetic in order to be relevant to Fermat’s age. Furthermore, the two linked semigroups originating from addition and multiplication and from the Peano axioms in the final analysis can be postulated algebraically as independent of each other in a “Hamilton” modification of arithmetic supposedly equivalent to Peano arithmetic. The inductive proof of FLT can be deduced absolutely precisely in that Hamilton arithmetic and the pransfered as a corollary in the standard Peano arithmetic furthermore in a way accessible in Fermat’s epoch and thus, to himself in principle. A future, second part of the paper is outlined, getting directed to an eventual proof of the case “n=3” based on the qubit Hilbert space and the Kochen-Specker theorem inferable from it.

Fermat's Last Theorem-Wiles'Last Proofs

The lost proof of Fermat's last theorem

A report on Wiles' Cambridge lectures

Fermat's Last Theorem: Algebra, Geometry, and Number Theory

Fermat's Last Theorem: Algebra and Number Theory

General Elementary Direct Proof of Fermat's Last Theorem

The Cartesian method and Fermat's Last Theorem

Did have Fermat the solution? An elementary proof of his Last Theorem

Lots of Proofs of the Fermat Theorem

Diophantine Equations and Fermat’s Last Theorem for Multivariate (Skew-)Polynomials

An Elementary and Simple Proof of Fermat's Last Theorem

Fermat's Last Theorem for regular primes

Fibonacci numbers and Fermat's last theorem

A new generalization of Fermat's Last Theorem

An elementary proof of Fermat's Last Theorem

Andrew Wiles' Proof of Fermat's Last Theorem, As Expected, Does Not Require a Large Cardinal Axiom. A Discussion of Colin McLarty's "The Large Structures of Grothendieck Founded on Finite-Order Arithmetic"

Orthogonal matrices with rational components in composing tests for High School students

Numerical Approach for Fermat's last theorem

A Self-Contained and Easily Accessible Discussion of the Method of Descente Infinie and Fermat's Only Explicitly Known Proof by Descente Infinie

Fermat's Last Theorem over $\mathbb{Q}(\sqrt{2},\sqrt{3})$

Fermat’s last theorem proved in Hilbert arithmetic. I. From the proof by induction to the viewpoint of Hilbert arithmetic