Basic Logic and Quantum Computing: Logical Judgements by an Insider Observer
量子物理
2007-05-23 v1 数学物理
逻辑
math.MP
摘要
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.
引用
@article{arxiv.quant-ph/0407057,
title = {Basic Logic and Quantum Computing: Logical Judgements by an Insider Observer},
author = {Giulia Battilotti},
journal= {arXiv preprint arXiv:quant-ph/0407057},
year = {2007}
}
备注
5 pages LaTeX. Submitted to a special issue of IJQI, proceedings of the FQI04, Camerino, Italy