Quantum Experiments Can Test Mathematical Undecidability

DOI10.1007/978-3-540-85194-3_1MaRDI QIDQ3543325zbMATH OpenOpenAlexFDO

Authors Časlav Brukner

Publication date 2 December 2008

Published in Unconventional Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-85194-3_1

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Decidability of theories and sets of sentences (03B25) Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30) Quantum measurement theory, state operations, state preparations (81P15)

Recommendations

• Quantum complementarity and logical indeterminacy
• Logical independence and quantum randomness
• Machines, Computations, and Universality
• Undecidability principle and the uncertainty principle even for classical systems
• scientific article; zbMATH DE number 1163978

Cites work

• A new proof for the existence of mutually unbiased bases
• From Heisenberg to Gödel via Chaitin
• Gödel and physics
• Gödel's theorem and information
• scientific article; zbMATH DE number 3251317 (Why is no real title available?)
• Is complexity a source of incompleteness?

Cited in

(2)

• Logical independence and quantum randomness
• Observable and unobservable in quantum mechanics

This page was built for publication: Quantum Experiments Can Test Mathematical Undecidability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3543325)