次计算

超计算形式理论显然在结构和基础上都不同于支撑计算理论的形式理论。然而，许多可能指引我们进入这一奇异领域的图谱已经遗失。近年来，元数学领域的工作寥寥无几，且许多先前的结果已被并入其他理论之中，致使我们面临丧失对形式理论更广泛结构之欣赏的风险。作为对致力于发展超计算理论者的辅助，我们将简要考察计算理论边界内外的已知地标。本文不关注形式理论的结构为何呈现当前面貌，而是聚焦于该结构的具体样貌，从次计算理论出发，经由传统计算理论，进而延伸至超计算理论。