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

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

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

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

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

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

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

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 210,914评论 6 490
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 89,935评论 2 383
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 156,531评论 0 345
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 56,309评论 1 282
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 65,381评论 5 384
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 49,730评论 1 289
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,882评论 3 404
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,643评论 0 266
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,095评论 1 303
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,448评论 2 325
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,566评论 1 339
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,253评论 4 328
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,829评论 3 312
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,715评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,945评论 1 264
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 46,248评论 2 360
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 43,440评论 2 348

推荐阅读更多精彩内容

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