如何定量地证伪图灵测试?(上)

  计算主义者会从一个过程可以被离散符号表征而推出其可以等价于计算机的运作的结论,从而断定人的思考可以直接被视作是计算。相反地,中文房间的支持者们会认为用离散符号表征的过程中并不必然包含思想,从而否定上述结论。这两种对立的观点都是错误的,而且其错因纯属数学,与哲学思辨无关:误将离散性等同于可计算性

  历史上,阿兰·图灵在发现了停机问题的不可解性后,很快就想到了谕示(Oracle)的概念:停机问题的解本身可以表示为一个离散集合,设想赋予一台通用图灵机以访问这个集合的权能,就得到了一个能力严格强于通常图灵机的离散模型,但它按照通行的定义是不可计算的(工程实践表明,图灵机足以作为“可计算”的判别标准)。

  最重要的是:图灵意识到自己对停机定理的证明同样可以迁移到这个不可计算的模型上,因为证明中所用到的那一部分图灵机的属性同样存在于谕示机中。从而这个谕示机也存在不能求解的(元)停机问题,容易推想到:只要不断构造原模型的停机谕示,就能产生无穷多个互不等价的离散模型。用现在的术语说,图灵用的对角线证法是相对化(relativizing)的,它其实并不是针对图灵机或者现代数字计算机的,而是针对所有表征能力充分强的模型的(向上兼容),而这包括可以表征图灵机的人脑在内。

  显而易见地,任何相对化的论证都不可能区分人脑和计算机。而中文房间的错误核心,也正是试图做出相对化的论证。在它的设想中只假设存在一个固定的规则集,在其中添加调用谕示的内容完全不影响推理过程,因此根本就不是一个针对图灵机的论述,那么从中得出反计算意识理论的结论就是不可能的。

  因此,假如我们想要否定图灵测试的有效性或者说明人脑和计算机间确有不可跨越的鸿沟,就必须做出非相对化的证明。这种证明通常有高于相对化证明的难度,从而不是缺乏计算理论知识的哲学家可以做出的。例如,计算机科学经典未决难题“P是否等于NP?”就不存在相对化的解法。假如我们可以相对化地证明P=NP,那么把P和NP定义中的图灵机替换成加了任意谕示的模型应该都成立(写作:相对任意谕示,P=NP),但实际情况是:相对一部分谕示有P=NP,相对另一部分谕示则结论相反。所以不论答案如何,证明都不可能是相对化的,于是计算机科学家们感觉到了棘手。

  但是,在相当强的意义上针对图灵机的定理确实是存在的。那就是计算复杂类IPPSPACE的等价性。加上几乎任何一个谕示都足以破坏这种等价性(精确地说,不破坏这种等价性的谕示构成零测集)。所以,这个高度非相对化的结论就有可能用来否定图灵测试。幸运的是,IP的定义恰恰具有类图灵测试的形式。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容

  • 这次开一个小脑洞。因为是脑洞,所以是有水分的,很多定义是模糊的,推理过程也并不要求严格。 话题先从标题的最后一项开...
    LostAbaddon阅读 1,885评论 8 11
  • 转载,不要再问了 地址:https://www.douban.com/group/topic/50809694/ ...
    清净静心阅读 3,551评论 2 7
  • 每一个被生活虐成狗的人,最后都会找到疼爱它的主人。终于等到你,我的终结者先生。
    魂淡佐阅读 165评论 0 1
  • 2017,0606,00.51。 今天晚上室友都睡的蛮早,剩我翻来翻去睡不着。再戴上耳机听听歌,看看手机。 我不是...
    不敢回看阅读 105评论 0 0
  • mark一下,被心机,被套路,各种图样图森破。这个世界上,真的有很多人天生智慧,还有很多人胸怀大志,有更多的人是平...
    tangtangma阅读 396评论 0 0