摘要：能够运行时间为$ω^2$的计算机比运行时间为$ω$的计算机能够完成更多的任务吗？不行。至少对于我们所描述的无限计算机而言不行。我们的计算机在步骤集变得更大时变得更强大。我们证明了二阶算术理论无法由运行到可数时间的计算机来决定。
作者：Ryan Bissell-Siders
论文ID：math/9804076
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中