论物理系统的计算能力 I：无误计算之不可能性
计算物理
2016-09-08 v1 统计力学
计算复杂性
数学物理
math.MP
综合物理
摘要
在这两篇论文中的第一篇里，确立了物理计算精度上的强限制。首先证明不存在这样一台物理计算机 C，可向它提出关于物理宇宙的任何及所有计算任务。接着证明，没有任何物理计算机 C 能正确执行可向 C 提出的此类任务子集中的任何计算任务。作为一个特例，这意味着不存在这样一台物理计算机，能对任何在该计算机之外的物理系统，以该系统状态的描述为输入并随后在该未来状态实际发生前正确预测其未来状态。这些结果还意味着不存在无误的通用观测装置，也不存在无误的通用控制装置。这些结果不依赖于无限、和/或非经典、和/或服从混沌动力学的系统。即便使用比图灵机计算能力更强、无限快且无限密的计算机，它们也成立。
引用
@article{arxiv.physics/0005058,
title = {On the computational capabilities of physical systems part I: the impossibility of infallible computation},
author = {David H. Wolpert},
journal= {arXiv preprint arXiv:physics/0005058},
year = {2016}
}
备注
38 pages, no figures