Fermat’s Last Theorem Proved in Hilbert Arithmetic. II. Its Proof in Hilbert Arithmetic by the Kochen-Specker Theorem With or Without Induction

Vasil Dinev Penchev

Published May 9, 2022• 0 citations

Abstract

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.

DOI: 10.20944/preprints202205.0112.v1

Related papers

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

Vasil Dinev Penchev

The paper is a continuation of Part I. 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, in which Hilbert arithmetic in a narrow sense and the qubit Hilbert space are dual . 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.

May 10, 20221 citation

Fermat’s last theorem proved by the Kochen – Specker theorem and induction. The quantum-information unification of Fermat’s last theorem and Gleason’s theorem

Vasil Dinev Penchev

In a previous paper (https://dx.doi.org/10.2139/ssrn.3648127 ), I have demonstrated an elementary and thoroughly arithmetical proof of Fermat’s last theorem by induction if the case for “n = 3” is granted as proved only arithmetically (a fact a long time ago). Now the same case of “n=3” is inferred as a corollary from the Kochen and Specker theorem (1968): the eventual validity of Fermat’s equation would correspond to an admissible disjunctive division of a qubit into two absolutely independent parts therefore versus the contextuality of any qubit, implied by the Kochen –Specker theorem. The proof involves set theory, but only within the case “n=3” and implicitly, within any next levels of “n”. Thus the application of set theory and arithmetic can remain disjunctively divided as well: set theory, “locally”, within any level; and arithmetic, “globally”, to all levels. Thus, the relevance of Yablo’s paradox to the statement of Fermat’s last theorem is avoided. However, the mathematical structure relevant to the proof cannot be restricted to Peano arithmetic but to a generalized structure called “Hilbert arithmetic” and discussed in detail in another previous paper (https://dx.doi.org/10.2139/ssrn.3656179 ). Furthermore, Fermat’s last theorem in virtue of that kind of proof can be considered as another expression of Gleason’s theorem in quantum mechanics (or vice versa): 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 the non-availability (respectively, availability) of a single probabilistic measure as to Gleason’s theorem.

Feb 15, 20210 citations

Fermat’s Last Theorem Proved in Hilbert Arithmetic. III. The Quantum-Information Unification of Fermat’s Last Theorem and Gleason’s Theorem

Vasil Dinev Penchev

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.

Jun 21, 20221 citation

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

Vasil Dinev Penchev

Jan 1, 20229 citations

"Fundamental randomness" by the "apophatic" Kochen -Specker theorem: Toward a universal method in Hilbert arithmetic's number theory

Vasil Dinev Penchev

One of the most fundamental theoretical results in quantum mechanics, the theorem of Simon Kochen and Ernst Specker (1967), is investigated from a rather mathematical and philosophical than physical viewpoint (i.e. unlike as usual). The absence of hidden variables is interpreted philosophically and ontomathematically: as the identity of the mathematical model by the separable complex Hilbert space (equivalent to the qubit Hilbert space) and physical reality. It implies the completeness of just that model to physical reality including in the sense of its cognitive finality. In other words, "hidden variables" are also interpreted as any mismatch between model and reality implied by the theorem not to be. That property of the qubit Hilbert space unique among all other mathematical theories (i.e., all first-order logics) is deduced as a corollary from the theorem as well. The approach at issue to the theorem implies its inherent contextuality to be deduced also in an "apophatic" or holistic version stating that omitting even a single "axis" of Hilbert space or a single value of probability density break its contextuality thus being inconsistent to the theorem. The concept of "fundamental randomness" is newly introduced as originating from the absence of hidden variables in any probability (density or not) distribution, the characteristic function of which is interpreted to be a (qubit) wave function. Then, the Kochen-Specker theorem implies no deviation from that "fundamental randomness" exists once its preconditions have been satisfied. The deviations at issue are seen to be any excluded degrees of freedom in a variable describing whatever. Just this statement is interpreted to be the theorem's "apophatic interpretation". A powerful method for proving statements in Hilbert arithmetic's number theory is offered as a conjecture to be reasoned and proved in a forthcoming paper.

Jan 1, 20253 citations

The Kochen - Specker theorem in quantum mechanics: a philosophical comment (part 1)

Vasil Dinev Penchev

Non-commuting quantities and hidden parameters – Wave-corpuscular dualism and hidden parameters – Local or nonlocal hidden parameters – Phase space in quantum mechanics – Weyl, Wigner, and Moyal – Von Neumann’s theorem about the absence of hidden parameters in quantum mechanics and Hermann – Bell’s objection – Quantum-mechanical and mathematical incommeasurability – Kochen – Specker’s idea about their equivalence – The notion of partial algebra – Embeddability of a qubit into a bit – Quantum computer is not Turing machine – Is continuality universal? – Diffeomorphism and velocity – Einstein’s general principle of relativity – „Mach’s principle“ – The Skolemian relativity of the discrete and the continuous – The counterexample in § 6 of their paper – About the classical tautology which is untrue being replaced by the statements about commeasurable quantum-mechanical quantities – Logical hidden parameters – The undecidability of the hypothesis about hidden parameters – Wigner’s work and и Weyl’s previous one – Lie groups, representations, and psi-function – From a qualitative to a quantitative expression of relativity − psi-function, or the discrete by the random – Bartlett’s approach − psi-function as the characteristic function of random quantity – Discrete and/ or continual description – Quantity and its “digitalized projection“ – The idea of „velocity−probability“ – The notion of probability and the light speed postulate – Generalized probability and its physical interpretation – A quantum description of macro-world – The period of the as-sociated de Broglie wave and the length of now – Causality equivalently replaced by chance – The philosophy of quantum information and religion – Einstein’s thesis about “the consubstantiality of inertia ant weight“ – Again about the interpretation of complex velocity – The speed of time – Newton’s law of inertia and Lagrange’s formulation of mechanics – Force and effect – The theory of tachyons and general relativity – Riesz’s representation theorem – The notion of covariant world line – Encoding a world line by psi-function – Spacetime and qubit − psi-function by qubits – About the physical interpretation of both the complex axes of a qubit – The interpretation of the self-adjoint operators components – The world line of an arbitrary quantity – The invariance of the physical laws towards quantum object and apparatus – Hilbert space and that of Minkowski – The relationship between the coefficients of -function and the qubits – World line = psi-function + self-adjoint operator – Reality and description – Does a „curved“ Hilbert space exist? – The axiom of choice, or when is possible a flattening of Hilbert space? – But why not to flatten also pseudo-Riemannian space? – The commutator of conjugate quantities – Relative mass – The strokes of self-movement and its philosophical interpretation – The self-perfection of the universe – The generalization of quantity in quantum physics – An analogy of the Feynman formalism – Feynman and many-world interpretation – The psi-function of various objects – Countable and uncountable basis – Generalized continuum and arithmetization – Field and entanglement – Function as coding – The idea of „curved“ Descartes product – The environment of a function – Another view to the notion of velocity-probability – Reality and description – Hilbert space as a model both of object and description – The notion of holistic logic – Physical quantity as the information about it – Cross-temporal correlations – The forecasting of future – Description in separable and inseparable Hilbert space – „Forces“ or „miracles“ – Velocity or time – The notion of non-finite set – Dasein or Dazeit – The trajectory of the whole – Ontological and onto-theological difference – An analogy of the Feynman and many-world interpretation − psi-function as physical quantity – Things in the world and instances in time – The generation of the physi-cal by mathematical – The generalized notion of observer – Subjective or objective probability – Energy as the change of probability per the unite of time – The generalized principle of least action from a new view-point – The exception of two dimensions and Fermat’s last theorem

Jan 1, 20130 citations