Logical independence and quantum randomness
From MaRDI portal
Abstract: 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 Goedel's incompleteness theorem.
Recommendations
Cites work
- Extreme quantum entanglement in a superposition of macroscopically distinct states
- From Heisenberg to Gödel via Chaitin
- Gödel's theorem and information
- scientific article; zbMATH DE number 1579275 (Why is no real title available?)
- scientific article; zbMATH DE number 3251317 (Why is no real title available?)
- Is complexity a source of incompleteness?
- Quantum probability - quantum logic
- Quantum theory: concepts and methods
- The logic of quantum mechanics
Cited in
(7)- Epistemic horizons and the foundations of quantum mechanics
- Quantum Experiments Can Test Mathematical Undecidability
- Theories of systems with limited information content
- Undecidability in physics: a review
- Observable and unobservable in quantum mechanics
- Random world and quantum mechanics
- Quantum complementarity and logical indeterminacy
This page was built for publication: Logical independence and quantum randomness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4923442)
