Please use this identifier to cite or link to this item:
Title: Logical independence and quantum randomness
Authors: Paterek, T. 
Kofler, J.
Prevedel, R.
Kllmek, P.
Aspelmeyer, M.
Zeillnger, A.
Brukner, Č.
Issue Date: 20-Jan-2010
Citation: Paterek, T., Kofler, J., Prevedel, R., Kllmek, P., Aspelmeyer, M., Zeillnger, A., Brukner, Č. (2010-01-20). Logical independence and quantum randomness. New Journal of Physics 12 : -. ScholarBank@NUS Repository.
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 Gödel's incompleteness theorem.
Source Title: New Journal of Physics
ISSN: 13672630
DOI: 10.1088/1367-2630/12/1/013019
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.


checked on Nov 27, 2022


checked on Nov 18, 2022

Page view(s)

checked on Nov 24, 2022

Google ScholarTM



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.