We propose a link between logical independence and quantum physics. We demonstrate that quantum systems in the eigenstates of Pauli group operators are capable of encoding mathematical axioms and show that Pauli group quantum measurements are capable of revealing whether or not a given proposition is logically dependent on the axiomatic system. Whenever a mathematical proposition is logically independent of the axioms encoded in the measured state, the measurement associated with the proposition gives random outcomes. This allows for an experimental test of logical independence. Conversely, it also allows for an explanation of the probabilities of random outcomes observed in Pauli group measurements from logical independence without invoking quantum theory. The axiomatic systems we study can be completed and are therefore not subject to Gödel's incompleteness theorem.
We propose a link between logical independence and quantum physics. We demonstrate that quantum systems in the eigenstates of Pauli group operators are capable of encoding mathematical axioms and show that Pauli group quantum measurements are capable of revealing whether or not a given proposition is logically dependent on the axiomatic system. Whenever a mathematical proposition is logically independent of the axioms encoded in the measured state, the measurement associated with the proposition gives random outcomes. This allows for an experimental test of logical independence. Conversely, it also allows for an explanation of the probabilities of random outcomes observed in Pauli group measurements from logical independence without invoking quantum theory. The axiomatic systems we study can be completed and are therefore not subject to Gödel's incompleteness theorem.
We propose a new link between mathematical undecidability and quantum physics. We demonstrate that the states of elementary quantum systems are capable of encoding mathematical axioms and show that quantum measurements are capable of revealing whether a given proposition is decidable or not within the axiomatic system. Whenever a mathematical proposition is undecidable within the axioms encoded in the state, the measurement associated with the proposition gives random outcomes. Our results support the view that quantum randomness is irreducible and a manifestation of mathematical undecidability. Whenever a proposition and a given set of axioms together contain more information than the axioms themselves, the proposition can neither be proved nor disproved from the axioms { it is mathematically undecidable [1, 2]. Here we propose a novel link between mathematical undecidability and quantum physics. We demonstrate that the states of elementary quantum systems are capable of encoding mathematical axioms. Quantum mechanics imposes an upper limit on how much information can be encoded in a quantum state [3, 4], thus limiting the information content of the set of axioms. We show that quantum measurements are capable of revealing whether a given proposition is decidable or not. Whenever a mathematical proposition is undecidable within the system of axioms encoded in the state, the measurement associated with the proposition gives random outcomes. This allows for an experimental test of mathematical undecidability by realizing in the laboratory both the actual quantum states and the required quantum measurements. (To illustrate these ideas, we conducted experiments using the polarization of photons.) Our results support the view that quantum randomness is irreducible [5, 6] and a manifestation of mathematical undecidability. Any formal system is based on axioms, which are propositions that are dened to be true. A proposition is logically independent from a given set of axioms if it can neither be proved nor disproved from the axioms. If a proposition is independent from the axioms, neither the proposition itself nor its negation creates an inconsistency together with the axiomatic system. ^
Abstract As opposed to the classical logic of true and false, when elementary al-gebra is treated as a formal axiomatised system, formulae in that algebra are either provable, disprovable or otherwise, logically independent of axioms. This logical in-dependence is well-known to Mathematical Logic. The intention here is to cover the subject in a way accessible to physicists. This work is part of a project research-ing logical independence in quantum mathematics, for the purpose of advancing a complete theory of quantum randomness.
The homogeneity symmetry is re-examined and shown to be non-unitary. This is motivated by the prospect that logical independence in elementary algebra, entering quantum mathematics, will constitute the basis for a theory explaining quantum randomness. Keywords: foundations of quantum theory, quantum physics, quantum mechanics, wave mechanics, Canonical Commutation Relation, symmetry, homogeneity of space, unitary, non-unitary, unitarity, mathematical logic, formal system, elementary algebra, information, axioms, mathematical propositions, logical independence, quantum indeterminacy, quantum randomness.
Abstract:
In 2008, Tomasz Paterek et al published ingenious research, proving that quantum randomness is the output of measurement experiments, whose input commands a logically independent response. Following up on that work, this paper develops a full mathematical theory of quantum indeterminacy. I explain how, the Paterek experiments imply, that the measurement of pure eigenstates, and the measurement of mixed states, cannot both be isomorphically and faithfully represented by the same single operator. Specifically, unitary representation of pure states is contradicted by the Paterek experiments. Profoundly, this denies the axiomatic status of Quantum Postulates, that state, symmetries are unitary, and observables Hermitian. Here, I show how indeterminacy is the information of transition, from pure states to mixed. I show that the machinery of that transition is unpreventable, logically circular, unitary-generating self-reference: all logically independent. Profoundly, this indeterminate system becomes apparent, as a visible feature of the mathematics, when unitarity --- imposed by Postulate --- is given up and abandoned.
Keywords:
foundations of quantum theory, quantum mechanics, quantum randomness, quantum indeterminacy, quantum information, prepared state, measured state, pure states, mixed states, unitary, redundant unitarity, orthogonal, scalar product, inner product, mathematical logic, logical independence, self-reference, logical circularity, mathematical undecidability.
Logical foundation for quantum theory is considered. I claim that quantum theory correctly represents Nature when mathematical physics embraces and indeed features, logical anomalies inherent in pure mathematics. This approach links undecidability in arithmetic with the logic of quantum experiments. The undecidablity occupies an algebraic environment which is the missing foundation for the 3-valued logic predicted by Hans Reichenbach, shown by him to resolve `causal anomalies' of quantum mechanics, such as: inconsistency between prepared and measured states, complementarity between pairs of observables, and the EPR-paradox of action at a distance. Arithmetic basic to mathematical physics, is presented formally as a logical system consisting of axioms and propositions. Of special interest are all propositions asserting the existence of particular numbers. All numbers satisfying the axioms permeate the arithmetic indistinguishably, but these logically partition into two distinct sets: numbers whose existence the axioms determine by proof, and numbers whose existence axioms cannot determine, being neither provable nor negatable. Failure of mathematical physics to incorporate this logical distinction is seen as reason for quantum theory being logically at odds with quantum experiments. Nature is interpreted as having rules isomorphic to the abovementioned axioms with these governing arithmetical combinations of necessary and possible values or effects in experiments. Soundness and Completeness theorems from mathematical logic emerge as profoundly fundamental principles for quantum theory, making good intuitive sense of the subject.
Statistical physical theories are frequently formulated in terms of probabilistic structures founded on a ’’logic of experimentally verifiable propositions.’’ It is argued that to each experimentally verifiable proposition there corresponds an experimental procedure which, in general, alters the state of the system, and is completely characterized by a ’’measurement transformation’’ or ’’operation.’’ An analysis of the relations among these experimental procedures leads us to a ’’logic of operations’’ which is quite different from the ’’lattice theoretic logics’’ that are often considered (albeit inadequate empirical justification), as models for the calculus of experimentally verifiable propositions of quantum theory. It is seen that the quantum probability theory based on the logic of operations provides the proper mathematical framework for discussing the statistics of successive observations in quantum theory. We also indicate how a theory of quantum stochastic processes can be formulated in a way similar to the Kolmogorov formulation of the classical theory.