计算之美-图灵奖第一个40年(上册)
历届图灵奖获奖者
阿迪·萨莫尔（Adi Shamir），2002年图灵奖获得者、以色列魏兹 曼科学研究所教授、美国外籍科学院院士、现代密码学奠基人之一。
Adi Shamir早年在以色列魏茨曼科学研究所获得硕士、博士学位， 1977至1980年在美国麻省理工学院学习后返回以色列，发表了许多文章， 获得了多项奖励，如美国计算机学院 Kannelakis奖、以色列数学协会 Erdos奖、IEEE W.r奖、UAP科学奖、梵蒂冈PUIS XI金奖以及 IEEE Koji Kobayashi计算机与通信奖等等。
大卫·帕特森（David Patterson），1947年11月16日出生于美国伊 利诺伊州，2017年图灵奖得主，美国国家科学院院士，美国国家工程院院 士，美国艺术与科学院院士，ACM Fellow，IEEE Fellow，美国科学促进 会会士。
大卫·帕特森于1969年获得加州大学洛杉矶分校数学专业学士学位； 1970年获得加州大学洛杉矶分校计算机科学专业硕士学位；1976年获得加 州大学洛杉矶分校计算机科学专业博士学位；1977年受聘为加州大学伯克 利分校助理教授；1990年当选为IEEE Fellow；1993年当选为美国国家工 程院院士；1994年当选为ACM Fellow；2006年当选为美国国家科学院院 士和美国艺术与科学院院士；2007年当选为美国科学促进会会士；2016年 受聘为谷歌杰出工程师；2017年获得ACM图灵奖。
图灵奖简介
SQL语言的出现是现代数据 库发展中的里程碑事件。如 今SQL已经深入世界上千百 万用户的日常使用中，带来 了巨大的技术进步和市场价 值。它风靡于整个IT业。
2002年 10月 18日 2002 年 10 月 18 日 ， 由微软亚洲研究院和国家自 然科学基金委员会联合举办的第四届“ 然科学基金委员会联合举办的第四届 “ 二十一 世纪的计算” 世纪的计算 ” 大型国际学术研讨会在北京大学 百年纪念堂举行。 本次大会主题为“ 百年纪念堂举行 。 本次大会主题为 “ 高信度计 三位“ 图灵奖” 获得者、 算 ” 。 三位 “ 图灵奖 ” 获得者 、 国际知名计算 机专家及微软高级技术官员在大会上做了主题 报告， 报告 ， 并与来自北京地区主要科研院校的两千 三百多名研究人员和计算机系师生就计算科学 的未来进行了深入交流和探讨。 的未来进行了深入交流和探讨 。 参加本次大会 的三位“ 图灵奖” 获得者有： Gray博士 博士、 的三位 “ 图灵奖 ” 获得者有 ： Jim Gray 博士 、 姚期智( Yao)博士和 博士和Manuel Blum博士 博士。 姚期智 ( Andrew Yao) 博士和 Manuel Blum 博士 。 姚期智博士是全球获此殊荣的首位华裔科学家。 姚期智博士是全球获此殊荣的首位华裔科学家 。
关系elation是数学中的一个基本概念由集合中的任意元素所组成的若干有序偶对orderedpair表示用以反映客观事物间所存在的一定关系如数之间的大小关系一个组织中的成员之间的领导被领导关系商品流通中的购销关系产品零部件之间的装配关系等等
图灵奖简介
“图灵奖”最早设立于1966年， 是美国计算机协会在计算机技 术方面所授予的最高奖项，被 誉为“计算机界的诺贝尔奖”， 主要授予那些在计算机技术领 域做出突出贡献、对计算机产 业发展有长远和重要影响的个 人。迄今为止(2003)已有36位 科学家获此殊荣。
历届图灵奖得主
历届图灵奖得主图灵奖-----计算机的诺贝尔奖图灵奖得主1966年图灵奖获得者美国科学家艾伦佩利Alan J.Perlis：ALGOL语言和计算机科学的“催生者”。
获奖演说“算法系统的综合”（The Synthesis of Algorithmic System）。
1967年图灵奖获得者英国科学家莫里斯威尔克斯Maurice V.Wilkes：世界上第一台存储程序式计算机EDSAC的研制者。
获奖演说“计算机的过去和现在”（Computer Then and Now）。
1968年图灵奖获得者美国科学家理查德汉明Richard W.Hamming：发明了纠错码——汉明码（Hamming Code）。
获奖演说“对计算机科学的看法”（On Man’s View of Computer Science）。
图灵奖得主1969年图灵奖获得者美国科学家马文明斯基Marvin L.Minsky：“人工智能之父”，知识的框架理论（Frame Theory）创立者。
获奖演说“计算机科学的形式和内容” 。
1970年图灵奖获得者英国科学家詹姆斯威尔金森James H.Wilkinson：数值分析专家和研制ACE计算机（第一台商业计算机）的功臣。
获奖演说“一个数值分析家的若干意见” 。
1971年图灵奖获得者美国科学家约翰麦卡锡John MacCarthy：“人工智能之父”，LISP语言的发明者。
获奖演说“人工智能研究的现状” 。
图灵奖得主1972年图灵奖获得者荷兰科学家埃德斯加狄克斯特拉Edsgar W.Dijkstra：最早指出“goto”语句有害，著名的最短路径Dijkstra算法，现代操作系统的奠基者之一。
获奖演说“智力低下的程序员” 。
1973年图灵奖获得者美国科学家查尔斯巴赫曼Charles W.Bachman：网状数据库之父、推动与促成数据库标准的制订。
获奖演说“作为导航员的程序员” 。
1974年图灵奖获得者美国科学家唐纳德克努特Donad E.Knuth：经典巨著《计算机程序设计的艺术》The Art of Computer Programming的作者，排版软件的先驱（TEX）。
图灵奖
图灵奖简介图灵奖（A.M. Turing Award，又译“杜林奖”），由美国计算机协会（ACM）于1966年设立，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。
其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。
由于图灵奖对获奖条件要求极高，评奖程序又是极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。
因此它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者图灵奖对获奖者的要求极高，评奖程序极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名在同一方向上做出贡献的科学家同时获奖。
因此，尽管“图灵”的奖金数额不算高，但它却是计算机诺贝尔奖”之称。
美国计算机协会1966年图灵奖获得者美国科学家艾伦·佩利(Alan J.Perlis)：ALGOL语言和计算机科学的“催生者”。
获奖演说“算法系统的综合”（The Sy nthesis of AlgorithmicSy stem）。
1967年图灵奖获得者英国科学家莫里斯·威尔克斯(Maurice V.Wilkes)：世界上第一台存储程序式计算机EDSAC的研制者。
获奖演说“计算机的过去和现在”（ComputerThen and Now）。
1968年图灵奖获得者美国科学家理查德·汉明(RichardW.Hamming)：发明了纠错码——汉明码（HammingCode）。
获奖演说“对计算机科学的看法”（On Man‟s View of ComputerScience）。
1969年图灵奖获得者美国科学家马文·明斯基(Marv in L.Minsky)：“人工智能之父”，知识的框架理论（Frame Theory）创立者。
图灵奖ppt课件-精品文档
与人工智能有关的图灵奖得主
马文•闵斯基 第 一 位因 人工智能获图灵奖的科学家 是马文•闵斯基，有时被亲切地称为“老闵斯基”，他是 美国人工智能领域的科学家。MIT人工智能实验室的联合 创始人，著有几部人工智能和哲学方面的作品。
他出生于纽约，在那里他先后就读于菲尔德斯顿学
校和布朗克斯科学高中。后来，他进入马萨诸塞州安多 弗的菲利普学院学习。1944-1945年，他服役于美国海军。 他于1950年获得了哈佛大学的数学学士学位并于1954年 获得了普林斯顿大学同一领域的博士学位。自1958年以 来，他一直工作于麻省理工学院。自1958年起在麻省理 工学院任教，现为东芝媒体艺术与科学教授、麻省理工 学院电子工程与计算机科学教授。
姚期智。
近几届的图灵奖人物：
2000年 姚期智 计算理论，包括伪随机数生成，密码学与 通信复杂度
2019年 奥利-约翰•达尔 克利斯登•奈加特 面向对象编程
2019年 罗纳德•李维斯特 阿迪•萨莫尔ቤተ መጻሕፍቲ ባይዱ伦纳德•阿德曼公 钥密码学（RSA加密演算法）
2019年 艾伦•凯 面向对象编程
2019年 文特•瑟夫 罗伯特•卡恩 TCP/IP协议
2019年 彼得•诺尔 Algol 60语言
2019年 法蘭西斯•艾倫 優化編譯器
2019年[1] 爱德蒙•克拉克 艾伦•爱默生 约瑟夫•斯发基斯 开 发自动化方法检测计算机硬件和软件中的设计错误
2019年 芭芭拉•利斯科夫 编程语言和系统设计的实践与理论
2009年 查尔斯•萨克 帮助设计、制造第一款现代PC
2019年 莱斯利•瓦伦特 对众多计算理论所做的变革性的贡献 计算理论，包括伪随机数生成，密码学与通信复杂度
图灵其人其事
图灵奖简介
吉姆·格雷 “ 之父” 吉姆 格雷—“SQL之父” 格雷 之父
SQL是一种用来从关系数据库中获取信息 的语言，它使人们在使用数据库的过程 中可以更便捷地组织、恢复和调用信息。 同样它在计算机系统网络技术中也发挥 着广泛的作用。它为Oracle 、Sybase、 Informix等美国著名的数据库公司提供 了核心技术，帮助他们在上个世纪80年 代跟上了网络的发展步伐。有了SQL，它 们没有被淘汰出局！
图灵奖简介
“图灵奖”最早设立于1966年， 是美国计算机协会在计算机技 术方面所授予的最高奖项，被 誉为“计算机界的诺贝尔奖”， 主要授予那些在计算机技术领 域做出突出贡献、对计算机产 业发展有长远和重要影响的个 人。迄今为止(2003)已有36位 科学家获此殊荣。
图灵（1912～1954）Turing，Alan Mathiso 图灵
查尔斯·巴赫曼 “ 查尔斯 巴赫曼—“网状数据库 巴赫曼 之父” 之父”
20世纪60年代中期以来，数据库技术的 形成、发展和日趋成熟，使计算机数据 处理技术跃上了一个新台阶，并从而极 大地推动了计算机的普及与应用。因此， 1973年的图灵奖首次授予在这方面作出 杰出贡献的数据库先驱查尔斯·巴赫曼 （Chares W．Bachman）。
在计算机科学中，关系的概念也十分普遍， 在计算机科学中，关系的概念也十分普遍，计算 机的逻辑设计，编译程序设计，算法分析和程序 机的逻辑设计，编译程序设计， 结构，信息检索等，都应用了关系的概念。 结构，信息检索等，都应用了关系的概念。而用 关系的概念来建立数据模型，用以描述、 关系的概念来建立数据模型，用以描述、设计与 操纵数据库，则是科德这篇论文的创举。 操纵数据库，则是科德这篇论文的创举。由于关 系模型简单明了，有坚实的数学基础，一经提出， 系模型简单明了，有坚实的数学基础，一经提出， 立即引起学术界和产业界的广泛重视和响应，从 立即引起学术界和产业界的广泛重视和响应， 理论与实践两个方面都对数据库技术产生了强烈 的冲击。 的冲击。基于层次模型和网状模型的数据库产品 很快走向衰败， 很快走向衰败，一大批关系数据库系统很快被开 发出来并迅速商品化，占领了市场， 发出来并迅速商品化，占领了市场，其交替速度 之快是软件历史上所罕见的。基于这一十分引人 之快是软件历史上所罕见的。 注目的现象，1981年的图灵奖很自然地授予了埃德 注目的现象，1981年的图灵奖很自然地授予了埃德 科德—这一 加·科德 这一“关系数据库之父”。 科德 这一“关系数据库之父”
专业类参考书目
专业类参考书目：1、《数字革命新时代：OHM生活》，何希才著，科学出版社2、《大学生科技生活指南》，李青山、刘健夫、孟宪国著译，科学出版社3、《图灵和全能机：现代计算杨的产生》，Jon Agar著，重庆大学出版社4、《数字化生存》，尼克拉斯·尼葛洛庞帝著，海南出版社5、《混沌：开创新科学》，詹姆斯·格莱克著，高等教育出版社6、《求知乐——崔琦教授的诺贝尔奖之路》黄卓然、卢遂业、卢遂现著译，科学出版社7、《计算的美丽——图灵奖第一个40年》，陈怀临著，系统计算机研究所8、《人月神话》，Frederick P.Brooks,Jr著，清华大学出版社9、《成为技术领导考——解决问题的有机方法》，Gerald M.Weinberg著，清华大学出版社10、《死亡之旅》，EDWARD YOURDON著，电子工业出版社11、《物联网技术与应用》，张春红著，人民邮电出版社12、《WSN RFID物联网原理与应用》，郑和喜著，电子工业出版社13、《RFID通信测试技术及应用》，刘岩编著，人民邮电出版社14、《RFID系统测试与应用实务》，刘禹、关强编著，电子工业出版社15、《物联网理论与技术》，杨刚编著，科学出版社16、《无线传感器网络技术》，彭力编著，冶金工业出版社17、《射频电路设计：理论与应用》路德维格等著[美]，电子工业出版社18、《通信原理（第六版）》，樊昌信，曹丽娜编著，国防工业出版社19、《数字信号处理（第三版）》，高西全、丁玉美编著，西安电子科技大学出版社20、《信号与线性系统学习指南》，曾黄麟主编，科学出版社21、《市场调查与分析预测》，张灿鹏主编，郭砚常著，清华大学出版社22、《数学建模教程》，许洪范著，国防工业出版社23、《数学建模及其基础知识详解》，王文波编著，武汉大学出版社24、《信息论——基础理论与应用》，傅祖芸著，电子工业出版社25、《项目管理案例》，何清华著，中国建筑工业出版社26、《系统工程导论》，塞奇·职姆斯特郎著[美]，西安交通大学出版社27、《管理经济学》，托马斯·莫瑞著[美]，机械工业出版社28、《统计学》，贾俊平等编著，中国人民大学出版社、29、《数据库设计入门经典》，鲍威尔著[美]，清华大学出版社30、《数据库原理与应用案例教程》，郑玲利编著，清华大学出版社31、《信号与系统》，奥本海姆[美]，威尔斯基[美]，纳瓦布[美]著，西安交通大学出版社32、《数字信号处理》，普埃克[美]等著，电子工业出版社33、《通信帮理》，周炯槃等编，北京邮电大学出版社34、《传感器与检测技术（第二版）》，徐科军著，电子工业出版社35、《数字图像处理（第二版）》，贾永红等编著，武汉大学出版社36、《现代通信系统》，鲜继清，西安电子科技大学出版社37、《EDA技术教程》，梁勇、王留奎著，人民邮电出版社38、《高频电子线路》，蒋敦斌编著，上海交通大学出版社39、《微机原理及应用》，王惠中、王强、王贵锋编著，武汉大学出版社40、《数字信号处理与MATLAB实现》，余成波等著，清华大学出版社41、《面向计算机科学的数理逻辑》，陆钟万著，科学出版社42、《计算机文化》，JuneJamrichParsons著，机械工业出版社43、《人工鱼—计算机动画的人工生命方法》，徐晓媛著，清华大学出版社44、《软件开发的科学与艺术》，陈宏刚著，电子工业出版社45、《密码学原理与实践》，DouglasR Stinson[加拿大]著，电子工业出版社46、《应用密码学（协议算法与C源程序）》，Bruse Schneier著，机械工业出版社47、《Computer Network（Fourth Ed）计算机网络》，Andrew S. Tanenbaum著，清华大学出版社48、《高速网络 TCP/IP 和 ATM 的设计原理》，William Stallings著，电子工业出版社49、《通信经济学》，吴洪著，北京邮电大学出版社50、《信息规则：网络经济的策略指导》，卡尔.夏皮罗等，人民大学出版社51、《数字信息资源的检索与利用》，肖珑，北京大学出版社。
图灵奖及得主
图灵奖获得者总结(截止2005年)2009-09-08 18:14通过从1966年开始的图灵奖，逐年介绍当年的图灵奖获得者。
到目前为止，是图灵奖的第一个40年(1966–2005)。
总共有50位杰出的科学家获得了此荣誉。
到现在为止（2008年2月8日）近2年过去了。
新的4位图灵奖获得者也产生了（2006年一位，2007年三位）。
笔者在修订此书时，也一并将最新的获奖科学家收录于此。
另外，两年来，也发生了两位图灵奖获得者科学家一位失踪，一位离开人世的悲痛消息。
他们分别是1998年图灵奖获得者、著名的数据库研究领域科学家James Gray和1977年图灵奖获得者、Fortan程序语言和BNF范式的发明人John Backus。
他们的失踪和离世是全人类的损失。
笔者坚信，他们的名字必将与他们在其所在研究领域的发明创造一样，流芳百世。
笔者希望通过这样的方式，提供给读者一个快速，综合的渠道，可以展开并了解历届图灵奖获得者的生平、研究贡献和相关领域的发展和历史上的一些重要文献。
该电子书籍可以适用于数学和计算机相关领域的在校学生，研究生作为课外读物。
也可以适用于计算机相关工程技术人员业余时间阅读。
谨以此书献给为中国信息产业和计算机界的人们! 希望不久的将来，中国在计算领域也产生为共享的人类文明做出重要贡献的科学家!获奖科学家国籍分布：美国:39 英国:5 以色列:3 加拿大:2 挪威:2 荷兰:1 瑞士:1 丹麦:1 法国:1图灵奖获得者最高学位分布：博士学位：39 硕士学位：3 学士学位：5 无法了解:3图灵奖获得者获奖时年龄分布：70-79(4): 70(Ole-Johan Dahl), 72(Douglas Engelbart), 75(Kristen Nygaard), 77(Peter Naur)60-69(7)：61(Vinton Cerf), 62(John Cocke), 63(Alan Kay), 64(Fernando Corbato), 65(Juris Hartmanis), 68(Frederick P. Brooks), 68(Robert Kahn)50-59(19)：50, 50, 50, 50, 51, 53, 53, 54, 54 (姚期智), 55, 55, 55, 56, 57, 57, 57, 58, 59, 5940-49(15)：40, 42, 42, 42, 42, 43, 44, 44, 44, 45, 46, 47, 48, 49, 4930-39(2)：36(Donald Knuth), 38(Robert E. Tarjan)Unknown(2): Richard E. Stearns, James N. Gray图灵奖获得者去世人数(As of 5/19/2006)统计：12获奖科学家研究方向分布：硬件，体系结构(2)Maurice V. Wilkes (1967) —第一台具有内部存储程序的计算机EDSACJohn Cocke (1987) —RISC&编译优化程序设计语言(11)Alan J. Perlis (1966) — ALGOLEdsger Wybe Dijkstra (1972) — ALGOLJohn W. Backus (1977) — FORTRANKenneth Eugene Iverson (1979) —APL程序语言Niklaus Wirth (1984) — PASCALJohn Cocke (1987) —RISC & 编译优化Ole-Johan Dahl，Kristen Nygaard (2001) —Simula语言和面向对象概念Alan Kay(2003) —SmallTalk语言和面向对象程序设计Peter Naur(2005) —ALGOL60以及编译设计Frances E Allen(2006)–并行编译技术形式语言, 程序语言语义(4)Robert W. Floyd (1978) —编程语言语义，自动程序验证C. Antony R. Hoare (1980) — Hoare Logic, CSPRobin Milner (1991) —LCF，ML，CCS，PI-calculusAmir Pnueli (1996) —时序逻辑和系统验证Edmund M. Clarke（2007）–时序逻辑模型检查E. Allen Emerson （2007）–时序逻辑模型检查Joseph Sifakis （2007）–时序逻辑模型检查算法设计(10)Richard Hamming (1968) —汉明码James Hardy Wilkinson (1970) —数值分析Donald E. Knuth — Art of Computer ProgrammingJohn E. Hopcroft，Robert Endre. Tarjan (1986) —数据结构和算法设计William (Velvel) Morton Kahan (1989) —浮点运算姚期智(Andrew Chi-Chih Yao) (2000) —伪随机数复杂性，密码系统和通讯复杂性Ronald L. Rivest, Adi Shamir, Leonard M. Adleman(2002) —公钥密码技术–RSA计算理论，自动机，计算复杂性(7)Dana Stewart Scott (1976) —自动机Michael Oser Rabin (1976) —自动机Stephen Arthur Cook (1982) —NP完全性Richard Manning Karp (1985) —证明一个问题是否是属于NP完全Juris Hartmanis，Richard Edwin Stearns (1993) —计算复杂性Manuel Blum (1995) —计算复杂性，密码系统和程序检查验证人工智能(6)Marvin Lee Minsky (1969) —神经元网络John McCarthy (1971) — LISPAllen Newell，Herbert Simon (1975) —Logic Theory Machine Raj Reddy，Edward Feigenbaum(1994) —专家系统操作系统(4)Dennis MacAlistair Ritchie，Ken Thompson (1983) —UNIX Fernando Jose Corbato (1990) —分时系统Frederick P. Brooks(1999) —IBM System360 操作系统数据库(3)Charles W. Bachman (1973) —数据库Edgar Frank Codd (1981) —关系数据模型James Gray(1998) —数据库和事务处理图形技术和交互式系统(2)Ivan Edward Sutherland (1988) —图形技术，CADDouglas Engelbart(1998) —交互式系统，鼠标发明人网络通讯(2)Vinton Gray Cerf (2004) —Internet TCP/IP协议。
计算机领域杰出人物及重大事件介绍
计算机 1986
1987 CSD 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003
1985
理查德．卡普 约翰．霍普克洛夫特和罗伯特．陶尔扬 约翰．科克 伊万．萨瑟兰 威廉．卡亨 费尔南多．考巴脱 罗宾．米尔纳 巴特勒．兰普森 尤里斯．哈特马尼斯和理查德．斯特恩斯 爱德华．费根鲍姆和劳伊．雷迪 曼纽尔．布卢姆 阿米尔．伯努利 道格拉斯．恩格尔巴特 詹姆斯．格雷 弗雷德里克．布鲁克斯 姚期智 Ole-Johan Dahl, and Kristen Nygaard Ronald L. Rivest, Adi Shamir, Leonard M. Adelman Alan Kay
获奖时间
1966 1967 1968 1969 1970 1971 1972 1973 1974 1975 1976 1977 1978 1979 1980 1981 1982 1983 1984
埃德斯加． 埃德斯加．狄克斯特拉 查尔斯．巴赫曼 查尔斯． 唐纳德． 唐纳德．克努特 赫伯特．西蒙和艾伦． 赫伯特．西蒙和艾伦．纽厄尔 米凯尔．拉宾和达纳． 米凯尔．拉宾和达纳．斯科特 约翰． 约翰．巴克斯 罗伯特． 罗伯特．弗洛伊德 肯尼思． 肯尼思．艾弗森 查尔斯． 查尔斯．霍尔 埃德加． 埃德加．科德 斯蒂芬． 斯蒂芬．库克 肯尼思．汤普森和丹尼斯． 肯尼思．汤普森和丹尼斯．里奇 尼克劳斯． 尼克劳斯．沃思
发明“分枝界限法”的三栖学者 硕果累累的算法设计大师 RISC概念的首创者 计算机图形学之父 浮点计算的先驱 实现分时系统的功臣 标准元语言ML的开发者 从Alto系统的首席科学家到微软的首席技术官 计算复杂性理论的主要奠基人 大型人工智能系统的开拓者 计算机复杂性理论的主要奠基人之一 把时态逻辑引入计算机科学 鼠标器的发明人和超文本研究的先驱 数据库和事务处理专家 IBM360系列计算机的总设计师和总指挥 对计算理论做出了诸多根本性的重大贡献. 在设计编程语言SIMULA I 和SIMULA 67时产生的 基础性想法,这些想法是面向对象技术的肇始 在公共密匙算法上所做的杰出贡献 发明第一个完全面向对象的动态计算机程序设计 语言Smalltalk.
兰州大学出版社寒假计划
兰州大学出版社寒假计划篇一：寒假读书活动安排让阅读成为习惯，让思考伴随人生”寒假读书活动书籍是人类知识和文化的载体，是人类智慧的结晶。
它能够突破时间和空间的限制，实现不同时代、不同地域的知识和文化的传播、交流和融合。
读书是人们获取知识和信息的重要手段，是人类吸取精神能量的重要途径。
根据《山西大学商务学院“大学生课外读书计划”活动实施意见》，将大学生课外读书活动列入培养“高素质、应用型”人才的有关文件精神。
进一步推动和提高我院学生的文化素质，培养每一位学生“读书好、好读书、读好书”的好习惯，架起一座书与大学生之间沟通桥梁。
通过寒假读书活动的开展，以丰富同学们的假期生活，扩展学生的知识面，让读书成为日常生活不可或缺的部分。
读书活动具体安排如下：一、活动主题让阅读成为习惯，让思考伴随人生二、活动对象信息学院XX级、XX级、XX级所有学生三、活动要求每位学生至少读五本书，读书笔记需包含本书内容简介（不得超过400字）、个人读书点评、读后感等，手写不少于3000字。
各年级的阅读方向：XX级：人文素质类书籍至少二本、专业类书籍至少三本XX级：人文素质类书籍至少二本、专业类书籍至少二本XX级：人文素质类书籍至少四本、专业类书籍至少一本四、活动内容及形式下学期开学后第一周，各班级组织以“让阅读成为习惯，让思考伴随人生”为主题开展读书交流会，通过班级和小组交流、讨论，每班选出三名“优秀读者”，在学院内开展读书心得演讲赛、读书知识竞赛，评出优秀“优秀读者”50名、“优秀读书笔记”50篇，“读书先进班级”5个，并代表我院参加学校的评比。
各班级于下学期开学第三周前将所在班级的寒假读书情况、优秀读书笔记、读书心得以及支部、班级交流活动的汇总情况以书面形式和电子版表格形式上报信息学院学生管理办公室；内容和封皮的具体要求①字数不少于1500字；②、用A4纸打印，页面设置：页边距上下2.2cm、左右2.5cm，题目用三号宋体，正文用四号宋体。
阿兰·麦席森·图灵
阿兰·麦席森·图灵百科名片图灵年轻时的照片图灵是英国著名的数学家和逻辑学家，被称为计算机科学之父、人工智能之父，是计算机逻辑的奠基者，提出了“图灵机”和“图灵测试”等重要概念。
人们为纪念其在计算机领域的卓越贡献而设立“图灵奖”。
中文名：阿兰·麦席森·图灵外文名：Alan Mathison Turing 国籍：英国民族：英格兰出生地：英国伦敦出生日期：1912年6月23日逝世日期：1954年6月7日职业：数学家及计算机逻辑学家毕业院校：剑桥大学国王学院信仰：科学主要成就：提出“图灵机”概念提出“图灵测试”概念开创非线性力学破解德国密码系统Enigma 代表作品：《论数字计算在决断难题中的应用》，《机器能思考吗?》目录[隐藏]人物履历人物生平人物大事年表图灵奖图灵机图灵实验人物履历人物生平人物大事年表图灵奖图灵机图灵实验[编辑本段]人物履历阿兰·麦席森·图灵（Alan Mathison Turing，1912.6.23—1954.6.7），英国数学家、逻辑学家，被称为计算机科学之父、人工智能之父。
1931年图灵进入剑桥大学国王学院，毕业后到美国普林斯顿大学攻读博士学位，二战爆发后回到剑桥，后曾协助军方破解德国的著名密码系统Enigma，帮助盟军取得了二战的胜利。
阿兰·麦席森·图灵，1912年生于英国伦敦，1954年死于英国的曼彻斯特，他是计算机逻辑的奠基者，许多人工智能的重要方法也源自于这位伟大的科学家。
他对计算机的重要贡献在于他提出的有限状态自动机也就是图灵机的概念，对于人工智能，它提出了重要的衡量标准“图灵测试”，如果有机器能够通过图灵测试，那他就是一个完全意义上的智能机，和人没有区别了。
他杰出的贡献使他成为计算机界的第一人，现在人们为了纪念这位伟大的科学家将计算机界的最高奖定名为“图灵奖”。
上中学时，他在科学方面的才能就已经显示出来，这种才能仅仅限于非文科的学科上，他的导师希望这位聪明的孩子也能够在历史和文学上有所成就，但是都没有太大的建树。
历届图灵奖获得者及获得原因
获奖原因：程序设计语言的定义与设计。
主要成就：快速排序算法、霍尔逻辑、交谈循序程式。
古典文明研究：1956年，在牛津大学墨顿学院取得西洋古典学学士学位。
6.丹尼斯·里奇(1941-9-9~2011-10-12)美国计算机科学家，C语言之父，UNIX之父，1983年与肯·汤普逊一起获得了图灵奖。
4.肯尼斯·艾佛森（1920-12-17~2004-10-19）美国计算机科学家，1979年获得图灵奖.
获奖原因：程序设计语言和数学符号，互动系统的设计，运用APL进行教学，程序设计语言的理论与实践。
主要成就：数学表达式和编程语言理论。
哈弗之助教：在哈佛大学当助理教授时，他发展了一套数学表达式来操作阵列，以便教授学生。
人民爱戴：一直活跃于挪威政坛，并曾任威左翼非社会主义政党Venstre的执行委员会成员，该党战略委员会主席。他一生获得无数荣誉，深受挪威人民爱戴。
10.奥利-约翰·达尔（Ole-JohanDahl，1931-10-12~2002-1-29）挪威计算机科学家，2001年与克利斯登·奈加特获得图灵奖。
获奖原因：面向对象编程。
历届图灵奖获得者及获得原因
1.艾兹格·迪科斯彻（1930-5-11~2002-8-6）荷兰计算机科学家，1972年获得图灵奖。
获奖原因：程序设计语言的科学与艺术，
主要成就：提出“goto有害论”，提出信号量和PV原语，解决了“哲学家聚餐”问题，最短路径算法和银行家算法的创造者，第一个Algol60编译器的设计者和实现者，THE操作系统的设计者和开发者。
迪科斯彻的名言：“有效的程序员不应该浪费很多时间用于程序调试，他们应该一开始就不要把故障引入。”“程序测试是表明存在故障的非常有效的方法，但对于证明没有故障，调试是很无能为力的。”
历届图灵奖获得者
历届图灵奖获得者(1966-2010)图灵奖最早设立于1966年，是美国计算机协会在计算机技术方面所授予的最高奖项,被喻为计算机界的诺贝尔奖.它是以英国数学天才AlanTuring先生的名字命名的,AlanTuring先生对早期计算的理论和实践做出了突出的贡献.图灵奖主要授予在计算机技术领域做出突1969MarvinMinsky---PhD,Princeton,Prof,MIT因对人工智能的贡献被授予图灵奖.1970J.H.Wilkinson---BS,Cambridge;staff,NationalPhysicalLaboratory,London因在利用数值分析方法来促进高速数字计算机的应用方面的研究而获奖.1971JohnMcCarthy---PhD,Princeton;Prof,Stanford因对人工智能的贡献被授予图灵奖.1972EdsgerW.Dijkstra---PhD,UAmsterdam;Prof,UTAustin因在编程语言方面的出众表现而获奖.1977JohnBackus---BS,Columbia;staff,IBM 因对可用的高级编程系统设计有深远和重大的影响而获奖.1978RobertW.Floyd---BS,Chicago;Prof,Stanford因其在软件编程的算法方面的影响，并开创了包括剖析理论、编程语言的语义、自动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖.1979KennethE.Iverson因对程序设计语言理论、互动式系统及APL的贡献被授予该奖.1980C.AnthonyR.Hoare---Prof,Oxford(nowatMicrosoft)因对程序设计语言的定义和设计所做的贡献而获奖.快速排序算法发1985RichardM.Karp---PhD,Harvard;Prof,Berkeley因对算法理论的贡献而获奖.1986JohnE.Hopcroft---PhD,Stanford;Prof,CornellandRobertE.Tarjan---PhD,Stanford;Prof,Princeton因在算法及数据结构的设计和分析中所取得的决定性成果而获奖.1987JohnCocke---staff,IBM因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖.1988IvanE.Sutherland---PhD,MIT;staff,Sun因在计算机图形学方面的贡献而获奖.1989WilliamV.Kahan---PhD,UToronto;Prof,Berkeley1994RajReddy---PhD,Stanford;Prof,CMU和EdwardFeigenbaum(PhD,CMU;Prof,Stanford)因对大型人工智能系统的开拓性研究而获奖.1995ManuelBlum---PhD,MIT;Prof,Berkeley因奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获奖.1996AmirPnueli---PhD,WeizmannInstitute;Prof,NYU因在计算中引入Temporal逻辑和对程序及系统检验的贡献被获奖.1997DouglasEngelbart---PhD,Berkeley;staff,SRI因提出互动式计算概念并创造出实现这一概念的重要技术而获奖.t:PhD,Stanford;MITAdiShamir:PhD,Weizmann;Weizmann LeonardM.Adelman:PhD,Berkeley;USC因他们在公共密匙算法上所做的杰出贡献(RSA算法是当前在互联网传输、银行以及信用卡产业中被广泛使用的安全基本机制).2003AlanKay---PhD,Utah;HPLabs(wasatXeroxPARC)因发明第一个完全面向对象的动态计算机程序设计语言Smalltalk.2004VintonG.Cerf、RobertE.Kahn获奖原因：由于在互联网方面开创性的工作，这包括设计和实现了互联网的基础通讯协议，TCP/IP，以及在网络方面卓越的领导。
图灵奖
历届图灵奖获奖者天才科学家詹姆斯-格雷海上神秘失踪如果没有美国科学家詹姆斯·格雷，那么世界大概不会是今天的样子，自动提款机、网上购物、甚至谷歌地图(GoogleEarth)的问世或许都要推迟。
但是这个一生都致力于把人与人连通起来的技术天才却在驾船出海后与所有人失去了联系。
美国海岸警卫队经过几天搜索仍一无所获。
詹姆斯·格雷是图灵奖诞生32年的历史上，继数据库技术的先驱查尔斯·巴赫曼（Charles W．Bachman）和关系数据库之父埃德加·科德（Edgar F．Codd）之后，第3位因在推动数据库技术的发展中做出重大贡献而获此殊荣的学者。
1月28日早上，格雷独自驾驶一条长40英尺的游艇，驶往位于旧金山金门大桥以西25英里的费拉隆岛。
他告诉家人，他要为去年过世的97岁的老母亲撒骨灰，并打算当晚返回。
早上10点左右，他的妻子和女儿接到他的电话，当时一切如常，他赞叹天气很好，有海豚在船周围游来游去，还说接下来有几个小时他将收不到电话信号。
然后，格雷消失了。
到31日为止，海岸警卫队沿着太平洋沿岸，搜索了从蒙特里海湾到俄勒冈的金1.6万平方英里的海域，既没有发现格雷，也没有找到他的船。
令救援人员想不透的是，格雷究竟遭遇了什么？据说，28日天气很好，海上风小浪缓，而且能见度极佳。
格雷的航程来回只有60英里，他从一条商用运河出发，穿过金门大桥后就是宽阔的海面，只需一两小时就能抵达目的地。
如果说他在路上突然出现健康问题，比如心脏病，那么他的船也应该被发现。
如果说游艇遇到水下暗礁或与鲸鱼相撞而翻船沉没，格雷在此前也应该有足够时间发出求救信号，只要附近有一条船在22至23英里的范围内，就能接受到。
然而，格雷就这么消失了，没有留下任何线索。
人物简介：格雷生于1944年，在著名的加州大学伯克利分校计算机科学系获得博士学位。
其博士论文是有关优先文法语法分析理论的。
学成以后，他先后在贝尔实验室、IBM、Tandem、DEC等公司工作。
艾伦·麦席森·图灵PPT课件
• 图灵和同事破译的情报，在盟军诺曼底登陆等重大军事行动中发挥了重要作用， 图灵因此在1946年获得“不列颠帝国勋章”。历史学家认为，他让二战提早了2 年结束，至少拯救了2000万人的生命。
1936年5月，图灵向伦敦权威的数学杂志投了一篇 论文，题为《论数字计算在决断难题中的应用》。 在论文的附录里他描述了一种可以辅助数学研究 的机器，后来被人称为“图灵机”，这个设想最 牛的地方在于，它第一次在纯数学的符号逻辑， 和实体世界之间建立了联系，后来我们所熟知的 电脑，以及还没有实现的“人工智能”，都基于 这个设想。这是他人生第一篇重要论文，也是他 的成名之作。
2013年12月24日，在英国司法部长克里斯·格雷灵（Chris Grayling）的要求下，英国女王向图灵颁发了 皇家赦免。英国司法部长宣布，“图灵的晚年生活因为其同性取向（同性恋）而被迫蒙上了一层阴影，我们 认为当时的判决是不公的，这种歧视现象现在也已经遭到了废除。为此，女王决定为这位伟人送上赦免，以 此向其致敬。”[
克里斯朵夫一样好”，他还说：“他走了，而我却留在世
上，我必须要做些什么”。
•
有人说，多年后图灵一生都着迷于人工智能，这表达
了图灵的一种愿望，希望克里斯朵夫能回到他的生活中，
要把少年时代的爱人重新找回来。当然这只是一个美好的
愿望。。
-
10
他并不在意自己的另一半的性别
• 但在当时的英国，同性之间的亲密感情是违法的，当时的法院给出两个选择： • A：坐牢 • B：化学阉割（使用雌性激素控制） • 为了不终止当时的实验
计算机之父——图灵
图灵实验
• 1945年到1948年，图灵在国家物理实验室，负责自动计算引擎（ACE）的 工作 。1949年，他成为曼彻斯特大学计算机实验室的副主任，负责最早的 真正的计算机---曼彻斯特一号的软件工作。在这段时间，他继续作一些比较 抽象的研究，如“计算机械和智能”。图灵在对人工智能的研究中，提出了 一个叫做图灵试验的实验，尝试定出一个决定机器是否有感觉的标准。 图灵试验由计算机、被测试的人和主持试验人组成。计算机和被测试的人分 别在两个不同的房间里。测试过程由主持人提问，由计算机和被测试的人分 别做出回答。观测者能通过电传打字机与机器和人联系（避免要求机器模拟 人外貌和声音）。被测人在回答问题时尽可能表明他是一个“真正的”人， 而计算机也将尽可能逼真的模仿人的思维方式和思维过程。如果试验主持人 听取他们各自的答案后，分辨不清哪个是人回答的，哪个是机器回答的，则 可以认为该计算机具有了智能。这个试验可能会得到大部分人的认可，但是 却不能使所有的哲学家感到满意。图灵试验虽然形象描绘了计算机智能和人 类智能的模拟关系，但是图灵试验还是片面性的试验。通过试验的机器当然 可以认为具有智能，但是没有通过试验的机器因为对人类了解的不充分而不 能模拟人类仍然可以认为具有智能。图灵试验还有几个值得推敲的地方 ， 比如试验主持人提出问题的标准，在试验中没有明确给出；被测人本身所具 有的智力水平，图灵试验也疏忽了；而且图灵试验仅强调试验结果，而没有 反映智能所具有的思维过程。所以，图灵试验还是不能完全解决机器智能的
Turing Test —人工智能的试金石
• • 1950年图灵提出用来判断计算机是否能够思考的方案。 该年，图灵发表了里程碑式的论文《计算机能思考吗？》， 第一次提出“机器思维”的概念。他逐条反驳了机器不能思维 的
图灵奖历史
图灵奖历史百科名片图灵奖(A.M.Turing Award)，由美国计算机协会(ACM)于1966年设立，又叫"A.M.图灵奖"，有"计算机界诺贝尔奖"之称，专门奖励那些对计算机事业作出重要贡献的个人。
其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。
获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。
大多数获奖者是计算机科学家。
目录由来概况历年图灵奖获得者图灵简介部分获得者介绍由来概况历年图灵奖获得者图灵简介部分获得者介绍展开编辑本段由来阿兰·麦席森·图灵阿兰·麦席森·图灵(Alan Mathison Turing，1912.6.23-1954.6.7)，是英国著名的数学家和逻辑学家，被称为计算机科学之父、人工智能之父，是计算机逻辑的奠基者，提出了"图灵机"和"图灵测试"等重要概念。
人们为纪念其在计算机领域的卓越贡献而设立"图灵奖"。
编辑本段概况图灵奖(又译"杜林奖")是美国计算机协会(ACM)于1966年第一个设立的奖项，专门奖励那些在计算机科学研究中做出创造性贡献、推动了计算机科学技术发展的杰出科学家。
虽然没有明确规定，但从实际执行过程来看，图灵奖偏于在计算机科学理论和软件方面作出贡献的科学家。
奖杯-图灵碗奖金金额不算太高，设奖初期为2万美元，1989年起增到2万5千美元，奖金通常由计算机界的一些大企业提供(通过与ACM签订协议)。
由于图灵奖对获奖条件要求极高，评奖程序又是极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。
因此它是计算机界最负盛名、最崇高的一个奖项，有"计算机界的诺贝尔奖"之称。
目前图灵奖由英特尔公司和google公司赞助，奖金为250,000美元。
历届图灵奖获得者及其获奖原因
历届图灵奖（A.M. Turing Award）获得者及其获奖原因目前图灵奖由英特尔公司和Google公司赞助，奖金为250,000美元。
2010 Leslie Valiant 莱斯利·瓦伦特获奖原因：为人工智能进步提供了理论基础，在改进机器学习方面取得骄人成绩。
在计算科学和数学领域的远见及认知理论与其它技术结合后，开创了机器学习和通信的新时代，如IBM推出的计算系统已经能够挑战人类回答问题的能力。
2009 Charles Thacker获奖原因：对第一台现代个人计算机Xerox PARC Alto的先驱性设计与实现，还有在局域网（包括以太网）、多处理器工作站、窥探高速缓存一致性协议和平板PC等方面的重大发明和贡献。
（现代PC之父——盖茨语）2008 Barbara Liskov 利斯科夫获奖原因：在计算机程序语言设计方面的开创性工作。
她的贡献是让计算机软件更加可靠、安全和更具一致性。
2007 Edmund M. Clarke、Allen Emerson和Joseph Sifakis获奖原因：在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的贡献。
而DDJ则将三人的贡献称为“在发现计算机硬件和软件中设计错误的自动化方法方面的工作”。
2006 Fran Allen获奖原因：对于优化编译器技术的理论和实践做出的先驱性贡献，这些技术为现代优化编译器和自动并行执行打下了基础。
2005 Peter Naur获奖原因：由于在设计Algol60程序设计语言上的贡献。
Algol60语言定义清晰，是许多现代程序设计语言的原型。
2004 Vinton G. Cerf、Robert E. Kahn获奖原因：由于在互联网方面开创性的工作，这包括设计和实现了互联网的基础通讯协议，TCP/IP，以及在网络方面卓越的领导。
2003 Alan Kay获奖原因：由于在面向对象语言方面原创性思想，领导了Smalltalk的开发团队，以及对PC的基础性贡献。
历届图灵奖获得者
历届图灵奖获得者(1966-2010) 图灵奖最早设立于1966年，是美国计算机协会在计算机技术方面所授予的最高奖项, 被喻为计算机界的诺贝尔奖. 它是以英国数学天才Alan Turing先生的名字命名的, Alan Turing先生对早期计算的理论和实践做出了突出的贡献.图灵奖主要授予在计算机技术领域做出突出贡献的个人. 而这些贡献必须对计算机业有长远而重要的影响.图灵奖被称为“计算科学界的诺贝尔奖”，它创立于1960年，现在的奖金10万美元，由Intel公司赞助。
历届图灵奖获得者名单:1966 A. J. Perlis --- PhD, MIT; Prof, Yale (was Prof at CMU) (deceased) 因在新一代编程技术和编译架构方面的贡献而获奖.1967 Maurice V. Wilkes --- PhD, Cambridge; Prof, Cambridge因设计出第一台程序实现完全内存的计算机而获奖.1968 Richard W. Hamming --- PhD, UIUC; Prof, Naval Postgraduate School (was at Bell) (deceased)因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖.1969 Marvin Minsky --- PhD, Princeton, Prof, MIT因对人工智能的贡献被授予图灵奖.1970 J.H. Wilkinson --- BS, Cambridge; staff, National Physical Laboratory, London因在利用数值分析方法来促进高速数字计算机的应用方面的研究而获奖.1971 John McCarthy --- PhD, Princeton; Prof, Stanford因对人工智能的贡献被授予图灵奖.1972 Edsger W. Dijkstra --- PhD, U Amsterdam; Prof, UT Austin因在编程语言方面的出众表现而获奖.1973 Charles W. Bachman --- staff, Honeywell因在数据库方面的杰出贡献而获奖.1974 Donald E. Knuth --- PhD, Caltech; Prof, Stanford因设计和完成TEX(一种创新的具有很高排版质量的文档制作工具)而被授予该奖. 1975 Allen Newell --- PhD, Stanford; Prof, CMU (deceased)和Herbert A. Simon --- PhD, Chicago; Prof, CMU (deceased)因在人工智能、人类识别心理和表处理的基础研究而获奖.1976 Michael O. Rabin --- PhD, Princeton; Prof, Harvard和Dana S. Scott --- PhD, Princeton; Prof, CMU因他们的论文"有限自动机与它们的决策问题"中所提出的非决定性机器这一很有价值的概念而获奖.1977 John Backus --- BS, Columbia; staff, IBM因对可用的高级编程系统设计有深远和重大的影响而获奖.1978 Robert W. Floyd --- BS, Chicago; Prof, Stanford因其在软件编程的算法方面的影响，并开创了包括剖析理论、编程语言的语义、自动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖. 1979 Kenneth E. Iverson因对程序设计语言理论、互动式系统及APL的贡献被授予该奖.1980 C. Anthony R. Hoare --- Prof, Oxford(now at Microsoft)因对程序设计语言的定义和设计所做的贡献而获奖. 快速排序算法发明人1981 Edgar F. Codd --- PhD, Michigan; staff, IBM因在数椐库管理系统的理论和实践方面的贡献而获奖.1982 Steven A. Cook --- PhD, Harvard; Prof, U Toronto因奠定了NP-Completeness理论的基础而获奖.1983 Ken Thompson --- MS, Berkeley; staff, Bell-Labs和Dennis M. Ritchie --- PhD, Harvard; staff, Bell-Labs因在类属操作系统理论，特别是UNIX操作系统的推广而获奖.1984 Niklaus Wirth --- PhD, Berkeley; Prof, ETH Zurich因开发了EULER、 ALGOL-W、 MODULA和PASCAL一系列崭新的计算语言而获奖. 提出了程序 = 算法 + 数据结构1985 Richard M. Karp --- PhD, Harvard; Prof, Berkeley因对算法理论的贡献而获奖.1986 John E. Hopcroft --- PhD, Stanford; Prof, Cornelland Robert E. Tarjan --- PhD, Stanford; Prof, Princeton因在算法及数据结构的设计和分析中所取得的决定性成果而获奖.1987 John Cocke --- staff, IBM因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖.1988 Ivan E. Sutherland --- PhD, MIT; staff, Sun因在计算机图形学方面的贡献而获奖.1989 William V. Kahan --- PhD, U Toronto; Prof, Berkeley因在数值分析方面的贡献而获奖，他是是浮点计算领域的专家.1990 Fernando J. Corbato --- PhD, MIT; Prof, MIT因在开发大型多功能、可实现时间和资源共享的计算系统，如CTSS和Multics方面的贡献而获奖.1991 Robin Milner --- Prof, Cambridge (was at U Edinburgh)因在可计算的函数的逻辑(LCF)、ML和并行理论(CCS)这三个方面的贡献而获奖. 1992 Butler Lampson --- PhD, Berkeley; staff, Microsoft因在个人分布式计算机系统（包括操作系统）方面的贡献而获奖.1993 Juris Hartmanis --- PhD, Caltech; Prof, Cornell和 Richard E. Stearns --- PhD, Princeton; Prof, SUNY Albany因奠定了计算复杂性理论的基础而获奖.1994 Raj Reddy --- PhD, Stanford; Prof, CMU和 Edward Feigenbaum (PhD, CMU; Prof, Stanford)因对大型人工智能系统的开拓性研究而获奖.1995 Manuel Blum --- PhD, MIT; Prof, Berkeley因奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获奖. 1996 Amir Pnueli --- PhD, Weizmann Institute; Prof, NYU因在计算中引入Temporal逻辑和对程序及系统检验的贡献被获奖.1997 Douglas Engelbart --- PhD, Berkeley; staff, SRI因提出互动式计算概念并创造出实现这一概念的重要技术而获奖.1998 James Gray --- PhD, Berkeley; staff, Microsoft因在数据库和事务处理方面的突出贡献而获奖.1999 Frederick P. Brooks, Jr.--- PhD, Harvard; Prof, UNC因对计算机体系结构和操作系统以及软件工程做出了里程碑式的贡献.2000 Andrew Chi-Chih Yao --- PhD, UIUC; Prof, Princeton (now at 清华)因对计算理论做出了诸多根本性的重大贡献. (图灵奖自创立以来获得该奖项的首位华裔学者,全球华人的骄傲)2001 Ole-Johan Dahl, and Kristen Nygaard --- Profs, U Oslo因他们在设计编程语言SIMULA I 和SIMULA 67时产生的基础性想法,这些想法是面向对象技术的肇始.2002 Ronald L. Rivest, Adi Shamir, Leonard M. Adelman-Ronald L. Rivest: PhD, Stanford; MIT Adi Shamir: PhD, Weizmann; WeizmannLeonard M. Adelman: PhD, Berkeley; USC 因他们在公共密匙算法上所做的杰出贡献(RSA算法是当前在互联网传输、银行以及信用卡产业中被广泛使用的安全基本机制).2003 Alan Kay --- PhD, Utah; HP Labs (was at Xerox PARC)因发明第一个完全面向对象的动态计算机程序设计语言Smalltalk.2004 Vinton G. Cerf、Robert E. Kahn获奖原因：由于在互联网方面开创性的工作，这包括设计和实现了互联网的基础通讯协议，TCP/IP，以及在网络方面卓越的领导。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
计算的美丽—图灵奖第一个四十年（上）陈怀临，首席科学家《弯曲评论》huailin@前言：《计算的美丽–图灵奖的第一个40年》(以下简称《计算的美丽》)原成文与2006年5月，并发布于上。
现校订修改独家发表于《弯曲评论》。
计划从2月8日开始，每周星期五介绍一个图灵奖获得者。
如需转载，请参阅《弯曲评论》版权申明。
《计算的美丽》的组织方式如下：*编年题材通过从1966年开始的图灵奖，逐年介绍当年的图灵奖获得者。
到目前为止，是图灵奖的第一个40年(1966–2005)。
总共有50位杰出的科学家获得了此荣誉。
到现在为止（2008年2月8日）近2年过去了。
新的4位图灵奖获得者也产生了（2006年一位，2007年三位）。
笔者在修订此书时，也一并将最新的获奖科学家收录于此。
另外，两年来，也发生了两位图灵奖获得者科学家一位失踪，一位离开人世的悲痛消息。
他们分别是1998年图灵奖获得者、著名的数据库研究领域科学家James Gray和1977年图灵奖获得者、Fortan程序语言和BNF范式的发明人John Backus。
他们的失踪和离世是全人类的损失。
笔者坚信，他们的名字必将与他们在其所在研究领域的发明创造一样，流芳百世。
*内容组织对每一年的图灵奖，组织方式如下：–照片–得奖科学家名称，生肖–图灵奖研究工作引用–图灵奖研究工作引用(中文翻译)–编者注 (关于相关的该学术研究领域介绍)–当年图灵奖演讲文章–图灵奖获得者简介–图灵将获得者照片收集笔者希望通过这样的方式，提供给读者一个快速，综合的渠道，可以展开并了解历届图灵奖获得者的生平、研究贡献和相关领域的发展和历史上的一些重要文献。
该电子书籍可以适用于数学和计算机相关领域的在校学生，研究生作为课外读物。
也可以适用于计算机相关工程技术人员业余时间阅读。
谨以此书献给为中国信息产业和计算机界的人们! 希望不久的将来，中国在计算领域也产生为共享的人类文明做出重要贡献的科学家!1. 计算的美丽–1966年图灵奖获得者Alan PerlisAlan J. Perlis(04/01/1922–02/07/1990)图灵奖获得时间：1966年。
第一位图灵奖 (1966年) 获得者。
图灵奖引用(Turing Award Citation) ：“For his influence in the area of advanced programming techniques and compiler construction”【笔者译：】 “ (授予 Alan J. Perlis 图灵奖以表彰其在) 高级编程技术及其编译器构造领域的影响。
”笔者注：Alan上述的工作主要来源于，作为一个主要研发成员，在ALGOL(ALGOrithmic Language) 编程语言方面的贡献。
ALGOL 语言直接导致了PASCAL 语言的产生。
关于ALGOL语言，可参阅：/CIS/course.des/cis400/algol/algol.html/wiki/ALGOL_programming_language关于编程语言的历史与演变，可参见：计算机语言发展历史/art/9509/sec7/art19.htmTuring Award Lecture(图灵奖演讲文章)：“The Synthesis of Algorithmic Systems”(算法系统的合成), Journal of the ACM,14(1):1-9, January 1967Alan J. Perlis简介 :Alan J. Perlis Wiki: /wiki/Alan_PerlisAlan ，出生于美国宾州 Pittsburgh, Pennsylvania.1943 年获得卡内基梅隆大学（CMU）()的化学学士学位。
1949年和1950年，分别获得MIT的数学硕士与博士学位。
其博士论文题目为 “On Integral Equations, their Solution by Iteration and Analytic Continuation”.Alan是著名的CMU计算机科学系的首位系主任在1965年到1971年。
在1971年，Alan加入耶鲁大学计算机科学系，并在1976年到1980年出任计算机系系主任。
1982年， Alan在耶鲁大学计算机系任职期间，撰写了一篇著名的文章 —”Epigrams on Programming”(编程警言)并发表在ACM SIGPLAN杂志上(Vol. 17, No. 9, September 1982)。
这篇包含130个警言的文章得到了工业界和学术界广泛的注意和引用。
原文可参见：/quotes.htmlrmatik.uni-tuebingen.de/users/klaeren/epigrams.html关于Alan更详细的生平和学术介绍可参见：Alan J. Perlis的生平与学术生涯/collections/inv/cbi00064.htmlAlan的学生及其谱系可以参阅如下：/txie/sefamily.htm#perlisAlan的历史照片:2. 计算的美丽–1967年图灵奖获得者Maurice V. WikesMaurice Vincent Wilkes (06/26/1913—)图灵奖获得时间：1967 年。
第二位图灵奖获得者。
图灵奖引用(Turing Award Citation) ：“Professor Wilkes is best known as the builder and designer of the EDSAC, the first computer with an internally stored program. Built in 1949, the EDSAC used a mercury delay line memory. He is also known as the author, with Wheeler and Gill, of a volume on “Preparation of Programs for Electronic Digital Computers” in 1951, in which program libraries were effectively introduced.”【笔者译：】 “(授予Maurice V. Wilkes图灵奖以表彰其在)Wikes 教授以设计和实现了第一台具有内部存储程序的计算机EDSAC而闻名。
EDSAC在1949年5月成功运行并使用了汞(Mercury Delay Line)的存储器。
与Wheeler和Gill一起，Wilkes 教授在1951年出版了“Preparation of Programming for Electronic Digital Computers”一书。
在这本书中，程序库的概念和用法被首次有效的提出。
”笔者注：EDSAC: Electronic Delay Storage Automatic Calculator EDSAC项目是1946年开始的。
一般而言，学术与工业界认为，世界上第一台通用电子计算机是ENIAC(electronic numerical integrator and computer)。
ENIAC是有美国宾州大学电子系Moore School of Electrical Engineering (University of Pennsylvania)在1943年到1946年设计的。
其主要贡献者是J. Presper Eckert and John Mauchly。
ENIAC不是含有存储器结构的计算机。
1944年8月，John Mauchly和J. Presper Eckert提出了EDVAC(electronic discrete variable automatic computer)项目。
1944年，John Von Neumann(冯. 诺依漫)加入了ENIAC研发小组。
深受图灵(Turing)的Universal Machine的启发，冯. .依漫强调了一个计算机必须具备存储器的结构，在1945年6月撰写了其著名的”"First Draft of a report to the EDVAC”。
这也就是我们常说的冯. 诺依漫机器结构。
可惜的是，虽然EDVAC的设计在1946年就完成了，但直到1952年才完成。
而此时，剑桥大学的Wilkes已经在1949年完成了EDSAC的设计与工程建造。
或者我们说EDSAC是第一台诺依漫机器结构的电子计算机。
目前关于是谁第一个提出存储结构的计算机体系结构，存在着许多不同的声音。
人们认为，在诺依漫加入ENIAC项目之前，John Mauchly和J. Presper Eckert就已经提出用水银来做存储器的想法并写下了一个内部备忘录。
“Around the summer of 1943, Mauchly and Eckert discussed the concept of creating a stored-program computer, in which an internal read-write memory would be used to store both instructions and data. This technique would allow the program to branch to alternate instruction sequences based on the results of previous calculations, as opposed to blindly following a pre-determined sequence of instructions. ”“Eckert’s idea was to use mercury delay lines (which he already knew a great deal about) for the memory. Around the beginning of 1944, Eckert wrote an internal memo on thesubject and, in August 1944, Mauchly and Eckert proposed the building of another machine called the electronic discrete variable automatic computer (EDVAC).历史的许多往事是很难彻底清楚的。