Physically-relativized Church-Turing Hypotheses: Physical foundations of computing and complexity theory of computational physics
Physically-relativized Church-Turing Hypotheses: Physical foundations of computing and complexity theory of computational physics
复制标题
物理相对化丘奇图灵假说：计算的物理基础和计算物理的复杂性理论
DOI：
10.1016/j.amc.2009.04.062
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
M. Ziegler
中科院分区：
文献类型：
--
作者：
M. Ziegler
我们把物理丘奇-图灵假说从一个模糊的耸人听闻的猜测来源变成一个合理和明确的科学问题（集合）：检查最近的争议和误解的原因有关的教会图灵假说（CTH）的状态，建议研究CTH的“尖锐”相对于一个任意的，但具体的物理理论-而不是含糊地指一般的“自然”。为此，我们应用，并强调从哲学概念的效用：物理结构主义，本体论的承诺，和建构主义。这种一般的方法，然后说明了计算物理学中的可计算性和复杂性理论的一些示例性结果。
We turn the physical Church–Turing Hypothesis from an ambiguous source of sensational speculations into a (collection of) sound and well-defined scientific problem(s): Examining recent controversies and causes for misunderstanding concerning the state of the Church–Turing Hypothesis (CTH), it is suggested to study the CTH ‘sharpened’ relative to an arbitrary but specific physical theory – rather than vaguely referring to “nature” in general. For this purpose we apply, and emphasize the utility of, concepts from philosophy: physical structuralism, ontological commitment, and constructivism. This general approach is then illustrated with some exemplary results on computability and complexity theory in computational physics.
登录
查看更多内容
经典物理学与教会--图灵论
DOI：
10.1145/602382.602411
发表时间：
2003
期刊：
Electron. Colloquium Comput. Complex.
影响因子：
--
作者：
A. Yao
通讯作者：
A. Yao
真实结构复杂性理论综述
DOI：
10.36045/bbms/1105730626
发表时间：
1997
影响因子：
0.5
作者：
K. Meer;C. Michaux
通讯作者：
C. Michaux
计算不可计算的
影响因子：
2
作者：
T. Kieu
通讯作者：
T. Kieu
光线追踪的可计算性和复杂性
影响因子：
0.8
作者：
J. Reif;J. D. Tygar;A. Yoshida
通讯作者：
A. Yoshida
物理理论的目标和结构
DOI：
--
发表时间：
1954
期刊：
影响因子：
--
作者：
O. Spies
通讯作者：
O. Spies