@inproceedings{dcfd50791b5e4e96a996a2facc7a61f4,
title = "Quantum experiments can test mathematical undecidability",
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.",
keywords = "MECHANICS, GODEL",
author = "Caslav Brukner",
year = "2008",
language = "English",
isbn = "978-3-540-85193-6",
series = "Lecture Notes in Computer Science",
publisher = "Springer-Verlag Berlin",
pages = "1--5",
editor = "CS Calude and JF Costa and R Freund and M Oswald and G Rozenberg",
booktitle = "Unconventional Computing",
note = "7th International Conference on Unconventional Computation (UC 2008), UC 2008 ; Conference date: 25-08-2008 Through 28-08-2008",
}