物理丘奇-图灵论题与量子理论原理
量子物理
2011-02-09 v1 离散数学
形式语言与自动机理论
数学物理
math.MP
摘要
众所周知，量子计算颠覆了复杂性理论，但对可计算性理论并无影响。然而，已有若干研究表明，现有的量子理论可能违背物理丘奇-图灵论题。受 Gandy 启发，我们划清了这一情况发生的明确界限。Gandy 提出了关于物理学的假设，例如时空均匀性、信息密度和速度的有界性，并证明了物理丘奇-图灵论题是这些假设的推论。我们提供了该定理的量子版本。因此，这种方法展示了理论物理对称性与可计算性假设之间形式上的非平凡相互作用。
引用
@article{arxiv.1102.1612,
title = {The physical Church-Turing thesis and the principles of quantum theory},
author = {Pablo Arrighi and Gilles Dowek},
journal= {arXiv preprint arXiv:1102.1612},
year = {2011}
}
备注
14 pages, LaTeX