在本文中,超计算指的是可以构建形式系统,识别、设计、构建或利用物理系统,这些系统具有超越图灵机的能力。超计算通常指可以计算非递归函数的系统,但也有人谈到超图灵系统,它不一定计算任何非递归的东西,但在复杂性或其他指标方面却胜过图灵机。然而,一般来说,超计算和超图灵这两个术语往往可以互换使用,不同的学科对其中一个术语略有偏好。我希望说服你,数学或物理学中没有任何东西可以阻止这种系统的实现。但从某种意义上说,这是一个次要问题,因为即使我们接受超计算在物理现实中没有任何基础,它仍然是一个非常有用的逻辑思想,它提供了一个比其单纯的计算对应物更全面的数学、物理和生物过程模型。借用 MacLennan 的话 [1] ,基于标准递归的可计算性本身无法满足对具有正交幂概念的模型的现实和迫切需求,尤其是当计算
主要关键词