Quantum experiments can test mathematical undecidability
- Author(s)
- Caslav Brukner
- Abstract
Whenever a mathematical proposition to be proved requires more information than it is contained in an axiomatic system, it can neither be proved nor disproved, i.e. it is undecidable, within this axiomatic system. I will show that certain mathematical propositions can be encoded in quantum states and truth values of the propositions can be tested in quantum measurements. I will then show that whenever a proposition is undecidable within the system of axioms encoded in the state, the measurement associated with the proposition gives random outcomes. This suggests a view according to which randomness in quantum mechanics is of irreducible nature.
- Organisation(s)
- Quantum Optics, Quantum Nanophysics and Quantum Information
- External organisation(s)
- Österreichische Akademie der Wissenschaften (ÖAW)
- Pages
- 1-5
- No. of pages
- 5
- Publication date
- 2008
- Peer reviewed
- Yes
- Austrian Fields of Science 2012
- 103025 Quantum mechanics
- Keywords
- Portal url
- https://ucrisportal.univie.ac.at/en/publications/dcfd5079-1b5e-4e96-a996-a2facc7a61f4