4、中文房间中的超计算探索

中文房间中的超计算探索

1. 塞尔的中文房间论证与O - 机器挑战

塞尔多次强调，计算机仅有“形式符号”，这意味着程序“无法构成心智”，这也是中文房间论证所表明的观点。其最初例子的核心观点是，单纯的符号操作不足以让人理解中文，形式语法本身并不能保证心智内容的存在。

然而，O - 机器指出，由形式符号操作构成活动的编程机器概念比通用图灵机的概念更为宽泛。如果存在从“x的操作纯粹在形式或句法上被定义”到“x的操作既不能构成心智也不足以产生心智”的推论，塞尔的中文房间论证并未确立这一推论。

而且，可能在物理上能够构建一种机器，在无界存储和无界计算时间的理想化条件下，它可以计算通用图灵机无法计算的函数。长期以来，一直有人推测存在无法被图灵机模拟的物理过程和机器操作。将心智视为某种超计算机的观点还有待深入探索，传统计算方法因剥夺了心理学中的非递归函数，被认为严重限制了心理学的发展。

2. 加速图灵机

Bringsjord、Bello和Ferrucci在2001年试图通过引入加速图灵机的概念来捍卫中文房间论证，以应对超计算的反驳。加速图灵机按照罗素 - 布莱克 - 外尔时间模式运行。外尔曾设想一种机器，能够在有限时间内完成无限序列的不同决策行为，例如在1/2分钟后给出第一个结果，1/4分钟后给出第二个结果，1/8分钟后给出第三个结果，依此类推。这样就有可能遍历所有自然数，并对关于自然数的任何存在性问题给出确定的是或否的答案。

这种时间模式最早由罗素在1914年波士顿的一次演讲中描述。他在讨论芝诺的赛跑悖论时提到，如果赛程的一半需要半分钟，接下来的四分之一需要四分之一分钟，以此类推，整个赛程将需要一分钟。后来，在与Alice Am