[论文解读] From Hypocomputation to Hypercomputation

David Love|arXiv (Cornell University)|Jan 1, 2009

Computability, Logic, AI Algorithms被引用 1

一句话总结

本文梳理了从低计算到超计算系统的形式理论版图，提供了一个结构化概览，以指导研究人员开发超计算模型。它回顾了元数学和形式理论中的基础性里程碑，强调了超越主流计算之外更广泛理论结构的意识的重要性。

ABSTRACT

Hypercomputational formal theories will, clearly, be both structurally and foundationally different from the formal theories underpinning computational theories. However, many of the maps that might guide us into this strange realm have been lost. So little work has been done recently in the area of metamathematics, and so many of the previous results have been folded into other theories, that we are in danger of loosing an appreciation of the broader structure of formal theories. As an aid to those looking to develop hypercomputational theories, we will briefly survey the known landmarks both inside and outside the borders of computational theory. We will not focus in this paper on why the structure of formal theory looks the way it does. Instead we will focus on what this structure looks like, moving from hypocomputational, through traditional computational theories, and then beyond to hypercomputational theories.

研究动机与目标

• 为从低计算到超计算系统的整个谱系中的形式理论提供结构化概览。
• 重新确立对主流计算理论中被忽视或吸收的元数学基础性里程碑的意识。
• 作为研究人员开发新型超计算理论的导航工具，通过阐明更广泛的理论背景。
• 将关注点从“形式理论为何具有当前结构”转向“其结构在不同计算范式中实际呈现为何种形态”。

提出的方法

• 本文对已知的形式理论进行概念性综述，区分低计算、传统计算和超计算系统。
• 分析超计算理论与标准计算理论之间的结构和基础性差异。
• 借鉴元数学中的历史与当代成果，重建形式理论中的关键里程碑。
• 强调保持形式系统更广泛理论架构的重要性，以避免丧失关键洞见。

实验结果

研究问题

• RQ1 超计算理论与传统计算理论之间在结构和基础性方面有何关键差异？
• RQ2 元数学中的基础性成果如何在主流计算理论中被遗失或吸收？
• RQ3 形式理论中的哪些里程碑可指导新型超计算模型的开发？
• RQ4 研究人员如何重新参与形式理论的更广泛结构，以支持超计算的发展？

主要发现

• 本文识别出当前对超计算理论发展至关重要的元数学里程碑认知存在关键空白。
• 许多形式理论的基础性成果已被吸收进其他领域，导致其更广泛意义的理解被削弱。
• 确立了从低计算到超计算系统之间清晰的结构演进，凸显了概念与形式上的差异。
• 本文强调了保存并重新审视形式理论更广泛架构的必要性，以推动超计算的发展。