《奇思妙想》人物篇--图灵奖得主概览

编者按:

本书相当于一本人物传记，介绍了15 位当代最伟大的计算机科学家，描述了他们的生活历程以及工作成果。在书中，他们解释了自己对科学产生兴趣的缘由，回顾了其成长环境和其他科学家对他们的影响，阐述了各自进行基础探索和发现的途径，同时也分享了对未来的看法和主张。

全书189页，图灵社区已公布了样章。文中，可能最受瞩目的当属已逝的Lisp之父麦卡锡和现代计算机科学的鼻祖、《计算机程序设计的艺术》作者高德纳。现在就带您从图灵奖开始，去了解本书的脉博。

图灵奖介绍

图灵奖（Turing Award，另译'杜林奖'），是计算机协会（ACM）于1966年设立的，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。其名称取自世界计算机科学的先驱、英国科学家，英国曼彻斯特大学教授艾伦·图灵 (Professor Alan Turing)，这个奖设立目的之一是纪念这位现代电脑、计算机奠基者。获奖者必须是在计算机领域具有持久而重大的先进性的技术贡献。大多数获奖者是计算机科学家。

图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。图灵奖对获奖者的要求极高，评奖程序也极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。

补充说明：2012年图灵教育会推出《图灵的秘密》一书

《奇思妙想》中图灵奖得主介绍

enter image description here

我们不知道自己想要什么，也不知道该怎样去做。一切都是顺其自然地发生。我们面临的第一个挑战就是不知道这种语言看上去应该是什么样子。然后就是怎样解析表达式——这是个大问题，而且在今天来看，我们当时的做法非常笨拙……

　　　　　　　　　　　　　　　　　　　　　　　　——约翰•巴科斯谈及Fortran的发明过程

约翰·巴克斯（John Warner Backus）（1924年12月3日－2007年3月17日），美国计算机科学家，是全世界第一套高阶语言（High-level Language）FORTRAN的发明小组组长。他提出了BNF（用来定义形式语言语法的记号法），发明Function-level programming这个概念及实践该概念的FP语言。

1977年10月17日在西雅图举行的ACM年会上获得计算机界最高奖图灵奖，会中他发表了“程序设计能从冯·伊曼形式中解脱出来吗？函数式风格及其程序的代数”（Can Programming be Literated from the von Neumann Style? A Functional Style and Its Algebra of Programs）演说。1991年退休。1994年美国工程院授予他Charles Stark Draper奖。2007年3月17日在美国俄勒冈州的家中去世，享年82岁。

enter image description here

如果希望计算机具有一般的智能，那么其外在结构就必须基于一般的常识和推理。
　
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　——约翰·麦卡锡

约翰·麦卡锡（John McCarthy，1927年9月4日－2011年10月23日1），生于美国马萨诸塞州波士顿，计算机科学家。他因在人工智能领域的贡献而在1971年获得图灵奖。实际上，正是他在1955年的达特矛斯会议上提出了“人工智能”这个概念。

麦卡锡发明了LISP并于1960年将其设计发表在《美国计算机学会通讯》（Communications of the ACM）上。他帮助推动了麻省理工学院的MAC项目（Project MAC）。然而，他在1962年了离开麻省理工学院，前往斯坦福大学并在那里协助建立了斯坦福人工智能实验室（Stanford Artificial Intelligence Laboratory），成为MAC项目多年来的一个友好的竞争对手。

补充：Lisp读者可参见图灵教育出版的《实用Common Lisp编程》一书

enter image description here

我们应当放弃寻找绝对正确的结果和答案。
——迈克尔·O.拉宾

迈克尔·O·拉宾（Michael Oser Rabin希伯来语：מִיכָאֵל אֹשֶׁר רַבִּין‎，1931年9月1日－）是一名以色列计算机科学家，1976年图灵奖得主。

enter image description here

计算机编程是一种艺术形式，就如同人们谱写诗歌和音乐。

　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　——高德纳

高德纳（Donald Ervin Knuth，1938年1月10日－），出生于密尔沃基，美国著名计算机科学家，斯坦福大学计算机系荣誉退休教授。高德纳教授被誉为现代计算机科学的鼻祖，在计算机科学及数学领域发表了多部具广泛影响的论文和著作。

高德纳最为人知的事迹是，他是《计算机程序设计艺术》（The Art of Computer Programming）的作者。此书是计算机科学界最受高度敬重的参考书籍之一本书一共四卷，目前，卷一、卷二、卷三影印版都已在图灵教育出版，卷四将至少出成4A、4B、4C三本，其中4A目前影印版在印制中（见下图）。他创造了算法分析的领域，在数个理论计算机科学的分支做出初步贡献，此外还是排版软件TeX和字体设计系统Metafont的发明人。

enter image description here

史提芬·A·古克（Stephen A. Cook，1939年－），计算机科学家，计算复杂性理论的重要研究者。

1971年，在他的论文《The Complexity of Theorem Proving Procedures》，他整理了NP完备性的目标，亦产生了古克定理——布尔可满足性问题是NP完备的证明。

1982年，古克得到图灵奖。因为其论文开启了NP完备性的研究，令这个领域于之后的十年成为计算机科学中最活跃和重要的研究。

古克现为多伦多大学的计算机科学和数学系教授。

enter image description here

最好是研究与他人提出的问题相关的问题，因为它们会让你脚踏实地。

　　　　　　　　　　　　　　　　　　　　　　　　　　　　　——弗雷德里克·P.布鲁克斯

弗雷德里克·P.布鲁克斯弗雷德里克·布鲁克斯（Frederick P. Brooks, Jr.，1931—）年仅29岁就主导了被称为人类从原子能时代进入信息时代标志的IBM 360系列计算机的开发工作，取得辉煌成功。著有经典文集《人月神话》（The Mythical Man-Month: Essays on Software Engineering）。1985年获得美国国家技术勋章，1999年获得图灵奖。

enter image description here

要构建一个基于知识库的系统，有三件事非常重要：知识，知识，知识。要衡量一个系统的能力，主要得看它知道多少，而不是它的推理能力如何。
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　——爱德华·A.费根鲍姆

爱德华·A.费根鲍姆（Edward Albert Feigenbaum，1936—）是大规模人工智能系统的设计和实现的先驱，被称为“专家系统之父”。他和拉吉•瑞迪（Raj Reddy）共同获得1994年图灵奖。

enter image description here

有多少人一生中能有2%到10%的机会对这个世界产生重大的影响？如果真有这样的机会，你应该抓住它。
——道格拉斯·B.莱纳特

道格拉斯·恩格尔巴特（Dr. Douglas C. Engelbart，1925年1月30日－），美国发明家，瑞典人和挪威人后裔。最广为人知的是他发明了鼠标，另外他的小组是人机交互的先锋，开发了超文本系统、网络计算机，以及图形用户界面的先驱；并致力于倡导运用计算机和网络，来协同解决世界上日益增长的紧急而又复杂的问题。1997年获得图灵奖。