图灵论题是更普遍物理原理的推论吗?
逻辑
2012-07-23 v3 计算复杂性
计算机科学中的逻辑
数学物理
math.MP
摘要
我们讨论了试图从某一物理假设推导出图灵论题的历史尝试,并探讨了建立物理学中数学模型可计算性的相关尝试。我们表明,这些尝试均与一个单一的、统一的假设相关。
引用
@article{arxiv.1201.4504,
title = {Is Turing's Thesis the Consequence of a More General Physical Principle?},
author = {Matthew P. Szudzik},
journal= {arXiv preprint arXiv:1201.4504},
year = {2012}
}
备注
10 pages, 0 figures; section 1 revised, other minor changes