Basic Logic and Quantum Computing: Logical Judgements by an Insider Observer
Abstract
We consider the logical assertions of a hypothetical observer who is inside a quantum computer and performs a reversible quantum measurement, obtaining a symmetric couple of new axioms, valid only inside the quantum computer. The result is that, in this logical framework, symmetry and paraconsistency hold.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2004
- DOI:
- 10.48550/arXiv.quant-ph/0407057
- arXiv:
- arXiv:quant-ph/0407057
- Bibcode:
- 2004quant.ph..7057B
- Keywords:
-
- Quantum Physics;
- Mathematical Physics;
- Mathematics - Logic;
- Mathematics - Mathematical Physics
- E-Print:
- 5 pages LaTeX. Submitted to a special issue of IJQI, proceedings of the FQI04, Camerino, Italy