企业官网建设流程全解析

邱奇-图灵论题
该论题最基本的观点表明，所有计算或算法都可以由一台图灵机来执行。

邱奇-图灵论题(The Church-Turing thesis)是计算机科学中以数学家阿隆佐·邱奇和阿兰·图灵命
名的论题。该论题最基本的观点表明，所有计算或算法都可以由一台图灵机来执行。以任何常规
编程语言编写的计算机程序都可以翻译成一台图灵机，反之任何一台图灵机也都可以翻译成大部
分编程语言的程序，所以该论题和以下说法等价：常规的编程语言可以足够有效的来表达任何算
法。该论题被普遍假定为真，也被称为邱奇论题或邱奇猜想和图灵论题。

图灵在他1936年年的论文“论可计算数字，及其在判定性问题中的应用”中，阿兰·图灵试图
通过引入图灵机来形式地展示这一想法。在此篇论文中，他证明了“判定性问题”是无法解决的。
几个月之前，阿隆佐·邱奇在“关于判定性问题的解释”一文中证明出了一个相似的论题，但他采用
但是递归函数和Lambda可定义函数来形式地描述有效可计算性。Lambda可定义函数由阿隆佐·邱
奇和史蒂芬·克林、递归函数由库尔特·歌德尔和雅克斯·赫尔不兰特提出的。这两个机制描述的是
同一集合的函数，正如邱奇和克林所展示的正整数函数那样。在听说了邱奇的建议后，图灵很快
就证明了他的图灵机实际上描述的是同一集合的函数。

之后用于描述有效计算的许多其他机制也被提了出来，比如寄存器机器(register machine), 埃
米尔·波斯特的波斯特体系, 组合可定义性以及马可夫算法等。所有这些体系都已被证明在计算上
和图灵机拥有基本相同的能；类似的系统被称为图灵完全。因为所有这些不同的试图描述算法的
努力都导致了等价的结果，所以普遍认为邱奇.图灵论题是正确的。但是，该论题不具有数学定理
一般的地位，也无法被证明;如果能有一个方法能被普遍接受为一个有效的算法但却无法在图灵机
上允许，则该论题也是可以被驳斥的。在 20 世纪初期，数学家们经常使用一种非正式的说法即
可有效计算, 所以为这个概念寻找一个好的形式描述也是十分重要的。当代的数学家们则使用图
灵可计算 (或简写为可计算)这一定义良好的概念。

图灵测试
1950 年，图灵发表了一篇划时代的论文，文中预言了创造出具有真正智能的机器的可能性。
由于注意到“智能”这一概念难以确切定义，他提出了著名的图灵测试：如果一台机器能够与人类
展开对话（通过电传设备）而不能被辨别出其机器身份，那么称这台机器具有智能。这一简化使
得图灵能够令人信服地说明“思考的机器”是可能的。论文中还回答了对这一假说的各种常见质疑。
图灵测试是人工智能哲学方面第一个严肃的提案。

机器能否思维，这一基本哲学问题已经困扰了人们相当长的时间，图灵测试的提出无疑为人
们打开了一个新的思路。图灵是基于行为主义所给出的图灵测试理论，该主义认为既然计算机可
以做出与人一样的行为，那么具有这一行为表征的个体毫无疑问可以称之为心灵。

这一理论也随即得到了质疑，诞生之初便有不同学派对这一理论提出了九大质疑，图灵也一
一做出了辩驳。但是在关于图灵测试的质疑中，非常有名的便是“中文屋论证”，该理论是塞尔勒
在上世纪80年代于其著作《意识的大脑与程序》中提出的，其内容陈述如下：

一个名叫丹玛的人关在一间没有窗户，只在左右两边有两个小孔的房间里。丹妮只懂英语，
不谙中文。丹玛面前有一张桌子和源源不断供应的纸张以及中文的问题和标准答案的图表。另外，
一张英文的指令性规则吩咐她:当左边递进张写有符号的纸张后，立刻查看桌子上那张有字符的图
表，找到与递进的纸上的符号一模一样的字符,然后将图表中该字符串下面一行的字符串抄写在白
纸上,从右孔递出去。丹玛理解英文,当然理解英文指令性规则。现在,从左边递进一串中文字符后,
丹玛按英文指令找到了中文问题的字符串,并从图表中找到了对应的中文标准答案的字符串,抄写
后从右孔递出来了。这样,丹玛便通过了“图灵测验”，这就是著名的“中文屋论证”。

在“中文屋论证”中，我们不难看出其质疑的根结所在：就算机器能够模拟人的行为与对话，
也不能够认定其具有人的意识或者说思维的过程，无非只是在特殊规则下所做出的一个固定回应
罢了，换而言之，拥有正确的程序，不意味着有了真正的意识。这一理论是意识论者的有力回击。