11.2 图灵

三联中读的朋友们，大家好，我是刘伟。欢迎和我一起走进“20世纪十大思想家”。我是北京航空航天大学工学博士，北京邮电大学岗位教授，在剑桥大学做过访问学者，目前是清华大学战略与安全中心人工智能组的专家。

如今，电子计算机已被广泛地应用于生活中，电子计算机强大的运算能力,为我们创造了更加智能和便捷的生活，机器学习和人工智能方兴未艾，计算机和人工智能的发展却是站在许许多多计算机先驱的肩膀上才能到达今天的高度。

图灵：人工智能早期的探索者

在计算机科学还处于萌芽和混沌状态的时候，他们是在黑暗中摸索的人，图灵，便是公认的计算机理论和模型的提出者，是人工智能早期的探索者。

艾伦·麦席森·图灵（英语：Alan Mathison Turing，1912年6月23日—1954年6月7日），英国数学家、逻辑学家

图灵之所以伟大，是因为图灵这几个人有非常重要的发现和突破：第一，他突破了计算机可计算性和可判定性的问题。什么叫可计算性？就是一个问题怎么在有限的时间内化解为可处理的数学问题，所谓的可判定性就是把人的思想、主观意识和客观手段怎么结合的问题。图灵恰恰就在这一点上实现了美妙的结合。他把计算机的计算性和可判定性进行了完美的统一。

另外，图灵还有一个很好的思想，就是关于人的智能究竟是一个什么样的事物？有非常深入的思考。比如他对计算机是人智能的延续吗？这个问题的解答从图灵测试和图灵机的制造过程可以看出，他一方面有肯定的部分，同时又有很矛盾的地方，他认为在计算的过程中体现了一定的智能，同时也削弱了智能的成分。为什么这么说？因为大家知道，所有的智能有两大块，一块是感性的，一块是理性的。实际上，人工智能模拟的更多的是理性的程序部分，而对于人的感性的算计部分，没有得到完美的体现。所以我们可以隐约感觉到，这一对矛盾同时存在于他的思想中。所以我们认为，图灵之所以伟大，突破了这两点：第一、可计算与可判定；第二、他把计算和算计完美地做了探索，引领了人思维的改变。

图灵可计算性对未来科学的发展，尤其智能科学发展的重要性体现在什么地方？关键是他能够发现很多的问题，可以梳理成计算性的问题：比如像定位的问题，咱们都可以用可计算性来实现，而且能够起到辅助，包括无人车、图像识别、语音识别等等这些技术，都是可计算性所带来的。以前在没有图灵之前，这些大家感觉到有点科幻，因为不好落地，现在感觉到图灵的出现，图灵的思想可以让很多的物理现象、生理现象和大家的日常生活进行了完美衔接。但是有一点，大家在做把物理、梳理、生理结合的同时，发现了很多心理的问题或者伦理的问题，管理的问题，这些问题是图灵可计算性单纯很难解决的问题。

图灵曲折的一生

图灵的一生可以用屈原的“路漫漫其修远兮，吾将上下而求索”来概括。阿兰.图灵于1912年6月23日出生于伦敦近郊的自治镇帕丁顿，现归属伦敦威斯敏斯特区，图灵13岁进入寄宿的谢伯恩中学，学习成绩不是特别好，只有数学例外，演算能力特别强，图灵还擅长赛跑，我们现在还可以看到图灵在运动会上参加赛跑冲过终点留下的照片。

剑桥大学三一学院

1931年中学毕业以后，图灵想进入剑桥大学最著名的“三一学院”，但两次未被录取，只好进了剑桥大学的另外一所学院“国王学院”攻读数学。第一年的课比较浅，图灵很厌烦，没有好好学，结果在剑桥大学特设的一种叫Tripos的荣誉学位考试中只得了“二等”。好在他奋起直追，最后毕业时的数学学位考试还是拿了“一等”。1936年，图灵因发表论文《论高斯误差函数》而获得史密斯奖，并由一名普通大学生直接当选为国王学院研究员。事实与价值总是在每个人身上以不同的方式体现出来。虽然图灵在初中开始未能取得最好的成绩，未能如愿进入剑桥大学的三圣学院，未能获得Tripos奖学金一等奖，但是他的人生价值在他之后的研究中充分地体现出来，价值是由人来创造的，图灵的人生经历激励着每一个人创造出自己的价值。

1935年，图灵开始对数理逻辑发生兴趣。数理逻辑是逻辑学的一个重要分支，数理逻辑用数学方法，也就是用符号和公式、公理的的方法研究人的思维过程、思维规律，其起源可以追溯到17世纪德国大数学家莱布尼茨，其目的是建立一种精确的、普遍的符号语言，并寻求一种推理演算，以便用演算去解决人如何推理的问题。

在莱布尼茨的思想中，数理逻辑、数学和计算机三者均出于一个统一的目的，即人的思维过程的演算化、计算机化，一致在计算机上实现。但莱布尼茨的这些思想和概念还比较模糊，不太清晰和明朗。两个多世纪以来，许多数学家和逻辑学家沿着莱布尼茨的思路做了大量的工作，使数理逻辑逐步完善和发展起来，许多概念开始明朗起来。

图灵机

但是计算机是一种怎样的机器？应该由哪些部分组成？如果计算和工作？在图灵之前没有任何人清楚地说明过，在图灵1936年发表的那篇标题为“论可计算数及其在判定问题中的应用”第一次回答了这些问题，提出了计算机的抽象模型，利用这种计算机，可以把推理化做一些简单的机械动作。图灵提出的计算模型被大家称作图灵机。

1936年9月，图灵应邀到美国普林斯顿大学高级研究院学习，并与美国著名逻辑学家、数学家丘奇一同工作。

第二次世界大战打断了图灵的正常研究工作，1939年秋，他应召到英国外交部通信处从事军事工作，主要是破译敌方密码的工作。由于破译工作的需要，他参与了世界上最早的电子计算机的研制工作。他的工作取得了极好的成就，因而于1945年获政府的最高奖——大英帝国荣誉勋章（O.B.E.勋章）。

1945年，图灵结束了在外交部的工作，他试图恢复战前在理论计算机科学方面的研究，并结合战时的工作，具体研制出新的计算机来。这一想法得到当局的支持。1945年，图灵被录用为泰丁顿（Teddington）国家物理研究所的研究人员，开始从事“自动计算机”（ACE）的逻辑设计和具体研制工作。这一年，图灵写出一份长达50页的关于ACE的设计说明书。这一说明书在保密了27年之后，于1972年正式发表。在图灵的设计思想指导下，1950年制出了ACE样机，1958年制成大型ACE机。人们认为，通用计算机的概念就是图灵提出来的。

《机器能思考吗》——赢得“人工智能之父”桂冠

1948年，图灵接受了曼彻斯特大学的高级讲师职务，并被指定为曼彻斯特自动数字计算机(Madam)项目的负责人助理，具体领导该项目数学方面的工作，作为这一工作的总结。

1949年成为曼彻斯特大学计算机实验室的副主任，负责最早的真正意义上的计算机——“曼彻斯特一号”的软件理论开发，因此成为世界上第一位把计算机实际用于数学研究的科学家。

英国曼彻斯特大学

1950年，图灵编写并出版了《曼彻斯特电子计算机程序员手册》（The programmers’handbook for the Manchester electronic computer）。这期间，他继续进行数理逻辑方面的理论研究。并提出了著名的“图灵测试”。同年，他提出关于机器思维的问题，他的论文“计算机和智能（Computingmachiery and intelligence），引起了广泛的注意和深远的影响。1950年10月，图灵发表论文《机器能思考吗》。这一划时代的作品，使图灵赢得了“人工智能之父”的桂冠。

1952年，图灵的同性伴侣协同一名同谋一起闯进了图灵的房子实施盗窃。图灵为此而报警。但是警方的调查结果使得他被控以“明显的猥亵和性颠倒行为”（同性恋）。他没有申辩，并被定罪。在著名的公审后，他被给予了两个选择：坐牢或荷尔蒙疗法。他选择了荷尔蒙注射，并持续了一年。在这段时间里，药物产生了包括乳房不断发育的副作用。1954年6月7日，图灵被发现死于家中的床上，床头还放着一个被咬了一口的泡过氰化物的苹果。警方调查后认为是剧毒的氰化物中毒，调查结论为自杀。当时图灵41岁。

2009年，英国计算机科学家康明（John Graham-Cumming）发起了为图灵平反的在线请愿，截止到2009年9月10日请愿签名人数已经超过了3万，为此，当时的英国政府及首相戈登布朗不得不发表正式的道歉声明。

2012年12月，霍金、纳斯（Paul Nurse，娜比诺贝尔医学奖得主）、里斯（Martin Rees英国皇家学会会长）等11位重要人士致函英国首相卡梅伦，要求为其平反。在英国司法大臣克里斯・格雷灵（Chris Grayling）的要求下，英国女王终于向图灵颁发了皇家赦免。英国司法部长宣布，“图灵的晚年生活因为其同性取向而被迫蒙上了一层阴影，我们认为当时的判决是不公的，这种歧视现象如今也已经遭到了废除。为此，女王决定为这位伟人送上赦免，以此向其致敬。” 

好的，本节内容就到这里，本节内容中涉及到的内容和图片可以到文稿中查看。下一节，我将为大家介绍西方智能科学的起源和发展。

欢迎转发海报

开启对未来世界的畅想