Zeno机器与超计算
摘要：对于Church-Turing论题（或不是论题的论题），本文通过参考它们的起源和应用来进行评述，并考虑一些“超计算”模型，重点关注可能是最直接的选择：Zeno机器（具有加速时钟的图灵机）。在普遍背景下简要讨论了停机问题，并强调它在任何合理的计算模型中都是不可避免的伴侣。暗示了声称“打破了图灵壁垒”的言论可能会被缓和，并且图灵可计算性在数学科学中的重要和良好基础的作用毋庸置疑。
作者：Petrus H. Potgieter
论文ID：cs/0412022
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23