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

Abstract. The previous two parts of the paper (correspondingly, https://philpapers.org/rec/PENFLT-2  and https://philpapers.org/rec/PENFLT-3) 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.     

Keywords: completeness, Gleason’s theorem, Fermat’s last theorem, Hilbert arithmetic, idempotency and hierarchy, Kochen and Specker theorem, nonstandard bijection, Peano arithmetic, quantum information 

The paper as a PDF or @ repositories: @ PhilPapers; @ HAL; @ CambridgeOpenEngage; @ PrePrints; @ SSRN; @ EasyChair 

Fermat’s last theorem proved in Hilbert arithmetic. II. Its proof in Hilbert arithmetic by the Kochen-Specker theorem with or without induction

 

The paper is a continuation of another paper (https://philpapers.org/rec/PENFLT-2) published as Part I. Now, the case of “n=3” is inferred as a corollary from the Kochen and Specker theorem (1967): the eventual solutions of Fermat’s equation for “n=3” would correspond to an admissible disjunctive division of  qubit into two absolutely independent parts therefore versus the contextuality of any qubit, implied by the Kochen – Specker theorem. Incommensurability (implied by the absence of hidden variables) is considered as dual to quantum contextuality. The relevant mathematical structure is Hilbert arithmetic in a wide sense (https://dx.doi.org/10.2139/ssrn.3656179), in the framework of which Hilbert arithmetic in a narrow sense and the qubit Hilbert space are dual to each other. A few cases involving set theory are possible: (1) only within the case “n=3” and implicitly, within any next level  of “n” in Fermat’s equation; (2) the identification of the case “n=3” and the general case utilizing the axiom of choice rather than the axiom of induction. If the former is the case, the application of set theory and arithmetic can remain disjunctively divided: set theory, “locally”, within any level; and arithmetic, “globally”, to all levels. If the latter is the case, the proof is thoroughly within set theory. Thus, the relevance of Yablo’s paradox to the statement of Fermat’s last theorem is avoided in both cases. The idea of “arithmetic mechanics” is sketched: it might deduce the basic physical dimensions of mechanics (mass, time, distance) from the axioms of arithmetic after a relevant generalization, Furthermore, a future Part III of the paper is suggested: FLT by mediation of Hilbert arithmetic in a wide sense can be considered as another expression of Gleason’s theorem in quantum mechanics: the exclusions about (n = 1, 2) in both theorems as well as the validity for all the rest values of “n” can be unified after the theory of quantum information. The availability (respectively, non-availability) of solutions of Fermat’s equation can be proved as equivalent to the non-availability (respectively, availability) of a single probabilistic measure as to Gleason’s theorem.

Keywords: arithmetic mechanics, Gleason’s theorem, Fermat’s last theorem (FLT), Hilbert arithmetic, Kochen and Specker’s theorem, Peano arithmetic, quantum information

The paper as a PDF file or @ repositories: @ SSRN, @ PhilPapers, @ HAL, @ EasyChair, @ CambridgeOpenEngage, @ Preprints, @ PhilSci Archive (Pittsburgh) 

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

 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.   

Keywords: Fermat’s last theorem, Hilbert arithmetic, Kochen and Specker’s theorem, Peano arithmetic, quantum information, qubit Hilbert space

The paper also as a PDF or @ repositories such as: @ EasyChair, @ SSRN, @ CambridgeOpenEngage, @ PhilPapers, @ HAL, @ Preprints, @ PhilSci Archive (Pittsburgh)

What the Tortoise Said to Achilles: Lewis Carroll’s paradox in terms of Hilbert arithmetic

 Lewis Carroll, both logician and writer, suggested a logical paradox containing furthermore two connotations (connotations or metaphors are inherent in literature rather than in mathematics or logics). The paradox itself refers to implication demonstrating that an intermediate implication can be always inserted in an implication therefore postponing its ultimate conclusion for the next step and those insertions can be iteratively and indefinitely added ad lib, as if ad infinitum. Both connotations clear up links due to the shared formal structure with other well-known mathematical observations: (1) the paradox of Achilles and the Turtle; (2) the transitivity of the relation of equality. Analogically to (1), one can juxtapose the paradox of the Liar (for Lewis Carroll’s paradox) and that of the arrow (for “Achilles and the Turtle”), i.e. a logical paradox, on the one hand, and an aporia of motion, on the other hand, suggesting a shared formal structure of both, which can be called “ontological”, on which basis “motion” studied by physics and “conclusion” studied by logic can be unified being able to bridge logic and physics philosophically in a Hegelian manner: even more, the bridge can be continued to mathematics in virtue of (2), which forces the equality (for its property of transitivity) of any two quantities to be postponed analogically ad lib and ad infinitum. The paper shows that Hilbert arithmetic underlies naturally Lewis Carroll’s paradox admitting at least three interpretations linked to each other by it: mathematical, physical and logical. Thus, it can be considered as both generalization and solution of his paradox therefore naturally unifying the completeness of quantum mechanics (i.e. the absence of hidden variables) and eventual completeness of mathematics as the same and isomorphic to the completeness of propositional logic in relation to set theory as a first-order logic (in the sense of Gödel (1930)’s completeness theorems). 

Keywords: equality, Lewis Carroll’s paradox, Liar’s paradox, paradox of the arrow, “Achilles and the Turtle”, Hilbert arithmetic, qubit Hilbert space

The paper as a PDF or @ repositories: @ HAL, @ PhilPapers, @ EasyChair, @ SocArxiv, @ CambridgeOpenEngage, @ Preprints, @ SSRN

The homeomorphism of Minkowski space and the separable complex Hilbert space: the physical, mathematical and philosophical interpretations

 A homeomorphism is built between the separable complex Hilbert space (quantum mechanics) and Minkowski space (special relativity) by meditation of quantum information (i.e. qubit by qubit). That homeomorphism can be interpreted physically as the invariance to a reference frame within a system and its unambiguous counterpart out of the system. The same idea can be applied to Poincaré’s conjecture (proved by G. Perelman) hinting at another way for proving it, more concise and meaningful physically. Furthermore, the conjecture can be generalized and interpreted in relation to the pseudo-Riemannian space of general relativity therefore allowing for both mathematical and philosophical interpretations of the force of gravitation due to the mismatch of choice and ordering and resulting into the “curving of information” (e.g. entanglement). Mathematically, that homeomorphism means the invariance to choice, the axiom of choice, well-ordering, and well-ordering “theorem” (or “principle”) and can be defined generally as “information invariance”. Philosophically, the same homeomorphism implies transcendentalism once the philosophical category of the totality is defined formally. The fundamental concepts of “choice”, “ordering” and “information” unify physics, mathematics, and philosophy and should be related to their shared foundations.

Keywords: axiom of choice, choice, general relativity, gravitation, Hilbert space, information, Minkowski space, ordering, Poincaré’s conjecture, pseudo-Riemannian space, quantum information, qubit, well-ordering

The paper as a PDF file or @ repositories: @ SSRN, @ PhilPapers, @ CambridgeOpenEngage, @ HAL, @ EasyChair , @ PhilSci Archive (Pittsburgh)

“Noema” and “Noesis” by Information after Husserl’s Phenomenology Interpreted Formally

Along with “epoché” or his “reductions”, Husserl’s “noema” and “noesis”, being neologisms invented by him, are main concepts in phenomenology able to represent its originality. Following the trace of a recent paper (Penchev 2021 July 23), its formal and philosophical approach is extended to both correlative notions, in the present article. They are able to reveal the genesis of the world from consciousness in a transcendental method relevant to Husserl, but furthermore described formally as a process of how subjective temporality appears being isomorphic to objective temporality of the “world by itself” (an abstraction meaning it out of consciousness or transcendental consciousness): thus, it shares the same mathematical structure, which is embodied in the physical process of decoherence by the physical quantity of quantum information. The temporal world is able to appear naturally (rather as a ridiculous effect of the mythical “Big Bang”). The same process translated by formal and mathematical tools as interpreted in terms of “noema”, “noesis”, or transcendental consciousness is isomorphic to how “Self” (including in an individual and psychological sense) appears in virtue of transcendental consciousness.  

Keywords: consciousness, formal phenomenology, noema, noesis, the Self, transcendental consciousness.

The paper as a PDF, or: @ HAL, @ CambridgeOpenEngage, @ SSRN, @ EasyChair, @ PhilPapers, @ SocArxiv

Hilbert arithmetic as a Pythagorean arithmetic: arithmetic as transcendental

The paper considers a generalization of Peano arithmetic, Hilbert arithmetic as the basis of the world in a Pythagorean manner. Hilbert arithmetic unifies the foundations of mathematics (Peano arithmetic and set theory), foundations of physics (quantum mechanics and information), and philosophical transcendentalism (Husserl’s phenomenology) into a formal theory and mathematical structure  literally following Husserl’s tracе of “philosophy as a rigorous science”. In the pathway to that objective, Hilbert arithmetic identifies by itself information related to finite sets and series and quantum information referring to infinite one as both appearing in three “hypostases”: correspondingly, mathematical, physical and ontological, each of which is able to generate a relevant science and area of cognition. Scientific transcendentalism is a falsifiable counterpart of philosophical transcendentalism. The underlying concept of the totality can be interpreted accordingly also mathematically, as consistent completeness, and physically, as the universe defined not empirically or experimentally, but as that ultimate wholeness containing its externality into itself.

Keywords: eidetic, phenomenological and transcendental reductions; Hilbert arithmetic; Peano arithmetic; set theory and logic as Boolean algebra; qubit Hilbert space

The paper as a PDF, or @ repositories: @ PhilPapers, @ EasyChair, @ HAL, @ SSRN, @ CambridgeOpenEnhahe