首页English
  • 时政
  • 国际
  • 时评
  • 理论
  • 文化
  • 科技
  • 教育
  • 经济
  • 生活
  • 法治
  • 军事
  • 卫生
  • 健康
  • 女人
  • 文娱
  • 电视
  • 图片
  • 科普
  • 光明报系
  • 更多>>
  • 报 纸
    杂 志
    中华读书报 2012年12月12日 星期三

    图灵依然如谜

    [美]查里斯·佩措尔德 《 中华读书报 》( 2012年12月12日   18 版)

        图灵机和图灵测试是阿兰·图灵声名不朽的两大基石。很多教科书只讨论图灵的研究而不涉及图灵这个人。不过,本书不会这么做。图灵在二战期间所做的密码分析方面的秘密工作,他参与的影响力巨大的计算机工程,他对于人工智能的思索,他由于“严重猥亵”罪而被逮捕和起诉的经历,以及他在41岁时自杀身亡,所有这些事情都需要关注。

        研究过计算机的历史、技术或理论的人,都会接触到“图灵机”这个概念。在1936年,为帮助解决数理逻辑中的一个问题,英国数学家阿兰?图灵(1912—1954)提出了图灵机。它是一种纯属虚构的计算机,连计算机假设也算不上。而由此得到的意外收获是,图灵创立了一个新的研究领域——计算理论(或可计算性),它主要研究数字计算机的功能和局限性。

        尽管图灵机是一种并不太合理的计算机,但由于其自身极其简单而大放异彩。最基本的图灵机只能进行一些简单的操作。如果连这些操作都不能做,那么这台机器干脆什么都别做了。然而,只要将这些简单的操作组合起来,图灵机就能够进行现代数字计算机可以执行的任何计算。

        拨开云雾见天日,通过考查计算机的原始基础,我们就能够更好地理解数字计算机的能力和局限性,这二者同样重要。尽管有人早就论证过计算机可以做什么,但在这种论证出现多年之前,图灵就证明了计算机永远都做不到的事。

        图灵机仍然是被阐述和探讨的热门话题,你可以试试用喜爱的网络搜索引擎搜索“图灵机”。然而,我猜很少有人会阅读阿兰?图灵描述他这项创造的原始论文。或许,这与论文的标题“On Computable Numbers, with an Application to the Entscheidungsproblem”(“论可计算数及其在判定性问题上的应用”)有关。即使你会读最后那个单词(试试看,将重音放在第二个音节上,把这个音节发成类似“shy”的音,这就差不多了),并且知道它的意思(即判定性问题),你可能也会担心,图灵一定指望他的读者对繁冗的德国数学问题有基本的了解。快速浏览这篇论文(其中还用到了德国哥特式字体来表示机器状态)也无法让人消除这种担心。今天的读者还能手捧70年前伦敦数学学会集刊中的文章,并坚持看到有所收获,甚至十分满意吗?

        这本书要讲的正是这篇论文。它包含了图灵原版36页的论文 “On Computable Numbers, with an Application to the Entscheidungsproblem”和增补的3页修订 ,并辅以背景材料和大量注解。阅读图灵的原版论文就是在探索他构建图灵机的思维过程,就像在他充满想象、内容丰富的思想中进行一次奇特的旅行。图灵机不仅对计算产生了深远的影响,还深深影响了我们对数学局限性、人类思维方式,甚至宇宙本质的理解。(当然,图灵的论文中并没有出现“图灵机”这个术语,他称之为“计算机器”。不过,早在1937年 人们就开始使用“图灵机”这种说法,并且至今仍是标准术语。)

        图灵写这篇论文的最初动机是想解决德国数学家大卫·希尔伯特构想的一个问题。希尔伯特想寻找一种通用的方法来判定数理逻辑中的任意命题是否可证。寻找这种“通用的方法”被称为判定性问题。尽管判定性问题确实是图灵写这篇论文的动机,但是这篇长篇大论本身讲的却是可计算数。在图灵的定义中,可计算数就是可以使用机器计算的数。论文前面60%的内容都是图灵对可计算数的探索,就算完全不了解希尔伯特在数理逻辑或判定性问题方面的研究,也能够阅读并理解这些内容。

        了解可计算数与“实数”的区别对于理解图灵的观点很重要。因此,本书利用前几章介绍了数字分类的背景知识,数字包括整数、有理数、无理数、代数数和超越数,它们都可归为实数。我尽可能不涉及比高中数学更复杂的知识。我知道,有些读者离开快乐的高中生活已经几十年了,我要努力唤醒这些记忆。如果由于我本着这种教育热情而做出一些冒犯读者的解释,我表示歉意。

        尽管我觉得本书的读者大多会是计算机科学专业的学生、程序员或其他技术人员,但是我还是尽量让非程序员的读者也愿意读,因此我定义了一些便于理解的术语。图灵的论文被誉为“20世纪的一座知识地标” ,我希望本书可以让更多的读者领略到这篇论文的风采。

        为了满足不同读者的需要,本书分成了四个部分。

        第一部分“基础”介绍阅读图灵论文所必须掌握的一些历史和数学背景知识。

        第二部分“可计算数”包含了图灵论文的大部分内容,也是关心图灵机和可计算性相关问题的读者最感兴趣的部分。

        第三部分“判定性问题”先简要介绍了数理逻辑的背景知识,然后讨论图灵论文的剩余部分。

        第四部分“题外话”讨论了图灵机为何成为人们理解计算机、人类意识和宇宙本身的必要工具。

        第三部分的数学内容肯定是比前几章的难,并且讲得比较快。对图灵论文在数理逻辑方面的影响不感兴趣的读者甚至可以跳过第三部分,直接阅读第四部分。

        本书涉及数学中几个大的研究领域,包括可计算性和数理逻辑。我仅仅把与理解图灵论文最相关的那些主题和概念挑出来加以解释,省去了很多细节,因此本书从深度和严格性上都无法取代那些可计算性和逻辑方面的专业书籍。想深入研究这些领域的读者可以查阅参考文献。

        阿兰·图灵一生发表过近30篇论文和文章 ,却从未写过书。其中的两篇论文造就了他流芳百世的声望。“On Computable Numbers”(“论可计算数”)当然是第一篇。第二篇名为“Computing Machinery and Intelligence”(“计算机器和智能”,发表于1950年),这一篇的技术性不是很强,图灵在文中首次提出了一种判断人工智能的标准,在今天被称为“图灵测试”。总的来说,一台机器如果可以骗得我们相信它是一个人,那么就可以说它是智能的。

        图灵机和图灵测试是阿兰·图灵声名不朽的两大基石。初看上去,它们像是两个完全不同的概念,但事实并非如此。图灵机是以一种非常机械的方式展现人类如何进行数学运算的,图灵测试则是对计算机能力的人为评估。在整个数学研究期间,图灵都在探索人类思维和计算机器之间的关系,他所采用的研究方法至今仍很吸引人。

        很多关于可计算性的教科书只讨论图灵的研究而不涉及图灵这个人,它们可没有劳神讲述有关个人传记的细节。不过,本书不会这么做。图灵在二战期间所做的密码分析方面的秘密工作,他参与的影响力巨大的计算机工程,他对于人工智能的思索,他的性取向,他由于“严重猥亵”罪而被逮捕和起诉的经历,以及他在41岁时自杀身亡,所有这些事情都需要关注。

        得益于英国数学家安德鲁·霍奇斯撰写的精彩传记《艾伦·图灵传:如谜的解谜者》,我没费多大力气就总结出了图灵一生中的重要事件。霍奇斯对图灵感兴趣的部分原因,在于他参与了20世纪70年代的同性恋解放运动。霍奇斯的传记还给休·怀特摩尔的剧本《破解密码》,带来了灵感,在舞台上和改编的电视片中,阿兰·图灵的角色都是由德里克·雅克比扮演的。

        如同早期的英国数学家、计算机先驱查尔斯·巴贝奇和艾达·拉夫拉斯,图灵也成为计算机时代的一个标志。美国计算机协会每年都会为在计算机行业做出杰出贡献的人颁发图灵奖,奖金为10万美元。现在还有一些用来组装图灵机的工具,比如“图灵编程语言”(从Pascal衍生而来)和“图灵的世界”软件。

        图灵的名字几乎成为计算机编程的通用代名词。杜特尼把他的“计算机科学探索”一书命名为《图灵选集》。戴维德·波尔特把他编写的一本关于“计算机时代的西方文化”的书命名为《图灵时代的人类》。布莱恩·罗特曼对传统数学极限概念的评论文章Ad Infinitum被幽默地加上了副标题《图灵机里的幽灵》。

        数学和计算机科学领域以外的学者也对阿兰·图灵感兴趣。研究文集《凝神注视:论小说的另类解读》中最有特色的一篇文章就是由泰勒·科坦撰写的《智能机器带来的“阴暗苦果”:神经漫游者、网络性爱和图灵测试》。科坦博士所说的Neuromancer指的是威廉·吉布森著名的“赛博朋克” 科幻小说《神经漫游者》。其中有一个叫做图灵警察局的组织,他们负责确保人工智能体不会试图增强它们自身的智能。

        图灵还出现在很多小说的书名中。马文·明斯基(麻省理工学院人工智能方向著名的研究者)与科幻小说家哈里·哈里森合写了《图灵选择》。伯克利计算机科学教授克里斯托斯·帕帕迪米特里欧参与创作了《图灵》,一部关于计算的小说。

        玻利维亚小说家埃德蒙多·苏丹写了名为《图灵的狂热》的小说,在其中,一个外号叫图灵的密码专家发现了用他的技能为腐败政府服务带来的危险。在珍娜·列文的小说《图灵机狂人梦》中,阿兰·图灵和库尔特·哥德尔的生活被虚构在了一起,他们穿越时空,产生了奇特的交织。

        阿兰·图灵这个角色还出现在其他很多小说中,如尼尔·斯蒂芬森的《编码宝典》,罗伯特·哈里斯的《密码迷情》,约翰·卡斯蒂的《剑桥五重奏:一部科学思考的著作》。阿兰·图灵甚至为《图灵测试》的一部分做了解说,这本书是保罗·伦纳德写的Doctor Who系列小说中的一本。

        人们以各种方式来表达对阿兰·图灵的尊敬当然是好事,不过这样一来,图灵的实际研究可能会被遗忘。我希望,就算那些正式研究过计算理论,并认为自己完全了解图灵机的人,也能在面对这个真正由大师自己构建的图灵机时发现不少令人惊奇的事物。

    光明日报社概况 | 关于光明网 | 报网动态 | 联系我们 | 法律声明 | 光明网邮箱 | 网站地图

    光明日报版权所有