Quantum experiments can test mathematical undecidability

Autor(en)

Caslav Brukner

Abstrakt

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(en)

Quantenoptik, Quantennanophysik und Quanteninformation

Externe Organisation(en)

Österreichische Akademie der Wissenschaften (ÖAW)

Seiten

1-5

Anzahl der Seiten

5

Publikationsdatum

2008

Peer-reviewed

Ja

ÖFOS 2012

103025 Quantenmechanik

Schlagwörter

Link zum Portal

https://ucrisportal.univie.ac.at/de/publications/dcfd5079-1b5e-4e96-a996-a2facc7a61f4