91 citations · 594 across the 36 of their papers we have counts for
Showing 2013 · quant-phShow all
2 papers · 2 filters
quant-ph2013★ 47 cited
Value-indefinite observables are almost everywhere
Alastair A. Abbott, Cristian S. Calude, Karl Svozil
Kochen-Specker theorems assure the breakdown of certain types of non-contextual hidden variable theories through the non-existence of global, holistic frame functions; alas they do…
quant-ph2013★ 1 cited
Spectral Representation of Some Computably Enumerable Sets With an Application to Quantum Provability
Cristian S. Calude, Kohtaro Tadaki
We propose a new type of quantum computer which is used to prove a spectral representation for a class F of computable sets. When S in F codes the theorems of a formal system, the…