Fermat’s last theorem proved in Hilbert arithmetic. III. The quantum-information unification of Fermat’s last theorem and Gleason’s theorem

Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 14 (12):1-30 (2022)
  Copy   BIBTEX

Abstract

The previous two parts of the paper demonstrate that the interpretation of Fermat’s last theorem (FLT) in Hilbert arithmetic meant both in a narrow sense and in a wide sense can suggest a proof by induction in Part I and by means of the Kochen - Specker theorem in Part II. The same interpretation can serve also for a proof FLT based on Gleason’s theorem and partly similar to that in Part II. The concept of (probabilistic) measure of a subspace of Hilbert space and especially its uniqueness can be unambiguously linked to that of partial algebra or incommensurability, or interpreted as a relation of the two dual branches of Hilbert arithmetic in a wide sense. The investigation of the last relation allows for FLT and Gleason’s theorem to be equated in a sense, as two dual counterparts, and the former to be inferred from the latter, as well as vice versa under an additional condition relevant to the Gödel incompleteness of arithmetic to set theory. The qubit Hilbert space itself in turn can be interpreted by the unity of FLT and Gleason’s theorem. The proof of such a fundamental result in number theory as FLT by means of Hilbert arithmetic in a wide sense can be generalized to an idea about “quantum number theory”. It is able to research mathematically the origin of Peano arithmetic from Hilbert arithmetic by mediation of the “nonstandard bijection” and its two dual branches inherently linking it to information theory. Then, infinitesimal analysis and its revolutionary application to physics can be also re-realized in that wider context, for example, as an exploration of the way for physical quantity of time (respectively, for time derivative in any temporal process considered in physics) to appear at all. Finally, the result admits a philosophical reflection of how any hierarchy arises or changes itself only thanks to its dual and idempotent counterpart.

Links

PhilArchive

External links

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

Through your library

Similar books and articles

Generalizations of Kochen and Specker's theorem and the effectiveness of Gleason's theorem.Ehud Hrushovski & Itamar Pitowsky - 2004 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 35 (2):177-194.
Generalizations of Kochen and Specker's theorem and the effectiveness of Gleason's theorem.Itamar Pitowsky - 2003 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 35 (2):177-194.
Abelian groups and quadratic residues in weak arithmetic.Emil Jeřábek - 2010 - Mathematical Logic Quarterly 56 (3):262-278.
Contextualism and Nonlocality in Quantum Mechanics.Michael William Kernaghan - 1995 - Dissertation, The University of Western Ontario (Canada)
Finite Arithmetic with Infinite Descent.Yvon Gauthier - 1989 - Dialectica 43 (4):329-337.

Analytics

Added to PP
2022-06-18

Downloads
271 (#71,909)

6 months
69 (#62,777)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Vasil Penchev
Bulgarian Academy of Sciences

Citations of this work

No citations found.

Add more citations

References found in this work

Principles of Mathematics.Bertrand Russell - 1903 - New York,: Routledge.
Kant and the Metaphysics of Causality.Eric Watkins - 2004 - New York: Cambridge University Press.
The Free Will Theorem.John Conway & Simon Kochen - 2006 - Foundations of Physics 36 (10):1441-1473.
Was Sind und was Sollen Die Zahlen?Richard Dedekind - 1888 - Cambridge University Press.

View all 31 references / Add more references