Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Observation on the paper: Logical independence and quantum randomness

Steve Faulkner

Published Jan 1, 2015• 0 citations
OpenAlex

Abstract

Abstract I comment on the background meaning, beneath Boolean encodings, used in the paper by Tomasz Paterek et al.

Related papers

Quantum Information and Randomness

Johannes Kofler, Anton Zeilinger

This is an article for a special edition of "European Review" with a focus on the topic "Causality".

•Jan 1, 2010•25 citations

The Mathematical Machinery of Logical Independence Underlying Quantum Randomness and Indeterminacy

Steve Faulkner

Abstract: In 2008 Tomasz Paterek et al published experiments demonstrating that quantum randomness results from logical independence. The job of this paper is to derive implications for Matrix Mechanics. Surprisingly (and apparently unwittingly), the Paterek experiments imply that faithful representation of (non-random) pure states contradicts the Quantum Postulate which imposes unitary, Hermitian and Hilbert space mathematics on all states. Paterek's Boolean formalism asserts and demands a non-unitary environment for pure states, which is freely restricted to logically independent unitary structure, wherever the creation of mixed states demands unitarity. Consequently, the Paterek experiments contradict the Quantum Postulate which imposes unitary, Hermitian and Hilbert space structures, axiomatically as blanket ontology, across the whole theory. Examination of the ‘non-unitary to unitary transition’ reveals the machinery of quantum indeterminacy. That machinery involves self-referential circularity, inaccessible history, and the geometrical ambiguity of perfect symmetry. The findings here provide answers for researchers studying Foundations of Quantum Mechanics; they make intuitive good sense of indeterminacy; they provide reason and significance for observable operators and eigenvectors; and they should be helpful for those interested in the Measurement Problem, the EPR paradox and possibly those looking for a method to quantize Gravity. Keywords: foundations of quantum theory, quantum randomness, quantum indeterminacy, logical independence, self-reference, logical circularity, mathematical undecidability.

•Oct 1, 2017•0 citations

The Mathematical Foundations of Quantum Indeterminacy

Steve Faulkner

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.

•Apr 1, 2016•0 citations

Quantum Information and Randomness

Johannes Kofler, Anton Zeilinger

This is an article for a special edition of "European Review" with a focus on the topic "Causality".

arXiv:1301.2515•European Review•Aug 20, 2010•21 citations

Quantum Probability Theory and Non-Boolean Logic

Sisir Roy

Springer eBooks•Jan 1, 2016•1 citation

Logical independence and quantum randomness

Tomasz Paterek, Johannes Kofler, Robert Prevedel +4 more

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.

arXiv:0811.4542•New Journal of Physics•Jan 20, 2010•22 citations
Abstract: In 2008 Tomasz Paterek et al published experiments demonstrating that quantum randomness results from logical independence. The job of this paper is to derive implications for Matrix Mechanics. Surprisingly (and apparently unwittingly), the Paterek experiments imply that faithful representation of (non-random) pure states contradicts the Quantum Postulate which imposes unitary, Hermitian and Hilbert space mathematics on all states. Paterek's Boolean formalism asserts and demands a non-unitary environment for pure states, which is freely restricted to logically independent unitary structure, wherever the creation of mixed states demands unitarity. Consequently, the Paterek experiments contradict the Quantum Postulate which imposes unitary, Hermitian and Hilbert space structures, axiomatically as blanket ontology, across the whole theory. Examination of the ‘non-unitary to unitary transition’ reveals the machinery of quantum indeterminacy. That machinery involves self-referential circularity, inaccessible history, and the geometrical ambiguity of perfect symmetry. The findings here provide answers for researchers studying Foundations of Quantum Mechanics; they make intuitive good sense of indeterminacy; they provide reason and significance for observable operators and eigenvectors; and they should be helpful for those interested in the Measurement Problem, the EPR paradox and possibly those looking for a method to quantize Gravity. Keywords: foundations of quantum theory, quantum randomness, quantum indeterminacy, logical independence, self-reference, logical circularity, mathematical undecidability.
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.
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.