邱奇-图灵论题该论题最基本的观点表明所有计算或算法都可以由一台图灵机来执行。邱奇-图灵论题(The Church-Turing thesis)是计算机科学中以数学家阿隆佐·邱奇和阿兰·图灵命名的论题。该论题最基本的观点表明所有计算或算法都可以由一台图灵机来执行。以任何常规编程语言编写的计算机程序都可以翻译成一台图灵机反之任何一台图灵机也都可以翻译成大部分编程语言的程序所以该论题和以下说法等价常规的编程语言可以足够有效的来表达任何算法。该论题被普遍假定为真也被称为邱奇论题或邱奇猜想和图灵论题。图灵在他1936年年的论文“论可计算数字及其在判定性问题中的应用”中阿兰·图灵试图通过引入图灵机来形式地展示这一想法。在此篇论文中他证明了“判定性问题”是无法解决的。几个月之前阿隆佐·邱奇在“关于判定性问题的解释”一文中证明出了一个相似的论题但他采用但是递归函数和Lambda可定义函数来形式地描述有效可计算性。Lambda可定义函数由阿隆佐·邱奇和史蒂芬·克林、递归函数由库尔特·歌德尔和雅克斯·赫尔不兰特提出的。这两个机制描述的是同一集合的函数正如邱奇和克林所展示的正整数函数那样。在听说了邱奇的建议后图灵很快就证明了他的图灵机实际上描述的是同一集合的函数。之后用于描述有效计算的许多其他机制也被提了出来比如寄存器机器(register machine), 埃米尔·波斯特的波斯特体系, 组合可定义性以及马可夫算法等。所有这些体系都已被证明在计算上和图灵机拥有基本相同的能类似的系统被称为图灵完全。因为所有这些不同的试图描述算法的努力都导致了等价的结果所以普遍认为邱奇.图灵论题是正确的。但是该论题不具有数学定理一般的地位也无法被证明;如果能有一个方法能被普遍接受为一个有效的算法但却无法在图灵机上允许则该论题也是可以被驳斥的。在 20 世纪初期数学家们经常使用一种非正式的说法即可有效计算, 所以为这个概念寻找一个好的形式描述也是十分重要的。当代的数学家们则使用图灵可计算 (或简写为可计算)这一定义良好的概念。图灵测试1950 年图灵发表了一篇划时代的论文文中预言了创造出具有真正智能的机器的可能性。由于注意到“智能”这一概念难以确切定义他提出了著名的图灵测试如果一台机器能够与人类展开对话通过电传设备而不能被辨别出其机器身份那么称这台机器具有智能。这一简化使得图灵能够令人信服地说明“思考的机器”是可能的。论文中还回答了对这一假说的各种常见质疑。图灵测试是人工智能哲学方面第一个严肃的提案。机器能否思维这一基本哲学问题已经困扰了人们相当长的时间图灵测试的提出无疑为人们打开了一个新的思路。图灵是基于行为主义所给出的图灵测试理论该主义认为既然计算机可以做出与人一样的行为那么具有这一行为表征的个体毫无疑问可以称之为心灵。这一理论也随即得到了质疑诞生之初便有不同学派对这一理论提出了九大质疑图灵也一一做出了辩驳。但是在关于图灵测试的质疑中非常有名的便是“中文屋论证”该理论是塞尔勒在上世纪80年代于其著作《意识的大脑与程序》中提出的其内容陈述如下一个名叫丹玛的人关在一间没有窗户只在左右两边有两个小孔的房间里。丹妮只懂英语不谙中文。丹玛面前有一张桌子和源源不断供应的纸张以及中文的问题和标准答案的图表。另外一张英文的指令性规则吩咐她:当左边递进张写有符号的纸张后立刻查看桌子上那张有字符的图表找到与递进的纸上的符号一模一样的字符,然后将图表中该字符串下面一行的字符串抄写在白纸上,从右孔递出去。丹玛理解英文,当然理解英文指令性规则。现在,从左边递进一串中文字符后,丹玛按英文指令找到了中文问题的字符串,并从图表中找到了对应的中文标准答案的字符串,抄写后从右孔递出来了。这样,丹玛便通过了“图灵测验”这就是著名的“中文屋论证”。在“中文屋论证”中我们不难看出其质疑的根结所在就算机器能够模拟人的行为与对话也不能够认定其具有人的意识或者说思维的过程无非只是在特殊规则下所做出的一个固定回应罢了换而言之拥有正确的程序不意味着有了真正的意识。这一理论是意识论者的有力回击。
邱奇-图灵论题该论题最基本的观点表明所有计算或算法都可以由一台图灵机来执行。邱奇-图灵论题(The Church-Turing thesis)是计算机科学中以数学家阿隆佐·邱奇和阿兰·图灵命名的论题。该论题最基本的观点表明所有计算或算法都可以由一台图灵机来执行。以任何常规编程语言编写的计算机程序都可以翻译成一台图灵机反之任何一台图灵机也都可以翻译成大部分编程语言的程序所以该论题和以下说法等价常规的编程语言可以足够有效的来表达任何算法。该论题被普遍假定为真也被称为邱奇论题或邱奇猜想和图灵论题。图灵在他1936年年的论文“论可计算数字及其在判定性问题中的应用”中阿兰·图灵试图通过引入图灵机来形式地展示这一想法。在此篇论文中他证明了“判定性问题”是无法解决的。几个月之前阿隆佐·邱奇在“关于判定性问题的解释”一文中证明出了一个相似的论题但他采用但是递归函数和Lambda可定义函数来形式地描述有效可计算性。Lambda可定义函数由阿隆佐·邱奇和史蒂芬·克林、递归函数由库尔特·歌德尔和雅克斯·赫尔不兰特提出的。这两个机制描述的是同一集合的函数正如邱奇和克林所展示的正整数函数那样。在听说了邱奇的建议后图灵很快就证明了他的图灵机实际上描述的是同一集合的函数。之后用于描述有效计算的许多其他机制也被提了出来比如寄存器机器(register machine), 埃米尔·波斯特的波斯特体系, 组合可定义性以及马可夫算法等。所有这些体系都已被证明在计算上和图灵机拥有基本相同的能类似的系统被称为图灵完全。因为所有这些不同的试图描述算法的努力都导致了等价的结果所以普遍认为邱奇.图灵论题是正确的。但是该论题不具有数学定理一般的地位也无法被证明;如果能有一个方法能被普遍接受为一个有效的算法但却无法在图灵机上允许则该论题也是可以被驳斥的。在 20 世纪初期数学家们经常使用一种非正式的说法即可有效计算, 所以为这个概念寻找一个好的形式描述也是十分重要的。当代的数学家们则使用图灵可计算 (或简写为可计算)这一定义良好的概念。图灵测试1950 年图灵发表了一篇划时代的论文文中预言了创造出具有真正智能的机器的可能性。由于注意到“智能”这一概念难以确切定义他提出了著名的图灵测试如果一台机器能够与人类展开对话通过电传设备而不能被辨别出其机器身份那么称这台机器具有智能。这一简化使得图灵能够令人信服地说明“思考的机器”是可能的。论文中还回答了对这一假说的各种常见质疑。图灵测试是人工智能哲学方面第一个严肃的提案。机器能否思维这一基本哲学问题已经困扰了人们相当长的时间图灵测试的提出无疑为人们打开了一个新的思路。图灵是基于行为主义所给出的图灵测试理论该主义认为既然计算机可以做出与人一样的行为那么具有这一行为表征的个体毫无疑问可以称之为心灵。这一理论也随即得到了质疑诞生之初便有不同学派对这一理论提出了九大质疑图灵也一一做出了辩驳。但是在关于图灵测试的质疑中非常有名的便是“中文屋论证”该理论是塞尔勒在上世纪80年代于其著作《意识的大脑与程序》中提出的其内容陈述如下一个名叫丹玛的人关在一间没有窗户只在左右两边有两个小孔的房间里。丹妮只懂英语不谙中文。丹玛面前有一张桌子和源源不断供应的纸张以及中文的问题和标准答案的图表。另外一张英文的指令性规则吩咐她:当左边递进张写有符号的纸张后立刻查看桌子上那张有字符的图表找到与递进的纸上的符号一模一样的字符,然后将图表中该字符串下面一行的字符串抄写在白纸上,从右孔递出去。丹玛理解英文,当然理解英文指令性规则。现在,从左边递进一串中文字符后,丹玛按英文指令找到了中文问题的字符串,并从图表中找到了对应的中文标准答案的字符串,抄写后从右孔递出来了。这样,丹玛便通过了“图灵测验”这就是著名的“中文屋论证”。在“中文屋论证”中我们不难看出其质疑的根结所在就算机器能够模拟人的行为与对话也不能够认定其具有人的意识或者说思维的过程无非只是在特殊规则下所做出的一个固定回应罢了换而言之拥有正确的程序不意味着有了真正的意识。这一理论是意识论者的有力回击。
