机器、逻辑与量子物理
历史与综述
2007-05-23 v1 量子物理
摘要
尽管逻辑与纯数学的真理是客观的,且不依赖于任何偶然事实或自然规律,但我们对这些真理的知识完全依赖于我们对物理规律的知识。量子计算理论最近的进展提供了这方面的实际例证,并迫使我们放弃那种认为计算乃至数学证明是独立于作为物理过程的计算的纯粹逻辑概念的经典观点。此后,证明必须不被视为抽象对象或过程,而被视为物理过程、计算的一种,其范围与可靠性取决于我们对相关计算机物理学的知识。
引用
@article{arxiv.math/9911150,
title = {Machines, Logic and Quantum Physics},
author = {David Deutsch and Artur Ekert and Rossella Lupacchini},
journal= {arXiv preprint arXiv:math/9911150},
year = {2007}
}
备注
19 pages, 8 figures