超越图灵可计算性的界限
量子物理
2007-05-23 v2
摘要
超计算（hypercomputation）或超图灵计算是一种超越图灵可计算性模型所施加界限的“计算”。该领域仍面临一些基本问题：技术的（我们能否在数学和/或物理上构建超计算机？）、认知的（超计算机能否实现人工智能之梦？）、哲学的（思维是否多于计算？）。本文旨在探讨如下问题：我们能否在数学上构建超计算机？我们将基于文献\cite{Coins,acp}中获得的结果，讨论无穷商人问题（一个等价于停机问题的判定问题）的解。重点将置于新的计算技术与结果，而非形式化证明。
引用
@article{arxiv.quant-ph/0304128,
title = {Transcending the Limits of Turing Computability},
author = {Vadim A. Adamyan and Cristian S. Calude and Boris S. Pavlov},
journal= {arXiv preprint arXiv:quant-ph/0304128},
year = {2007}
}
备注
13 pages, 1 figure