计算机界诺贝尔奖
图灵奖
图灵奖（A.M. Turing Award，又译“杜林奖”），由美国计算机协会（ACM）于1966年设立，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。
其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。
由于图灵奖对获奖条件要求极高，评奖程序又是极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。
因此它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称。
目前图灵奖由英特尔公司以及Google公司赞助，奖金为250,000美元。
第一个：艾伦·佩利(Alan J．Perlis)，（1922-1990）毕业于麻省理工学院，博士。
ALCOL语言和计算机科学的“催生者”，由于在ALGOL语言的定义和扩充上所作出的重大贡献，以及在创始计算机科学教育，使计算机科学成为一门独立的学科上所发挥的巨大作用而成为首届图灵奖当之无愧的获得者。
佩利1973年当选为美国艺术和科学院院士，1976年当选为美国工程院院士。
除了获得图灵奖外，他还在1984年获得AFIPS的教育奖，曾被普渡大学、滑铁卢大学等多所大学授予名誉博士学位。
1966年成为首届图灵奖的获得者，其图灵奖演讲稿为：“The Synthesis of Algorithmic Systems”(算法系统的合成)。
第二个：莫里斯·文森特·威尔克斯爵士，FREng，FRS（Sir Maurice Vincent Wilkes，1913年6月23日－），英国计算机科学家。
设计和制造了世界上第一台存储程序式电子计算机EDSAC，在“工程和软件等计算机领域都有许多开创性成果”。
1956年，他当选为皇家学会院士；英国计算机学会的创始人之一，并担任第一任主席（1957年-1960年）；1977年和1980年先后当选为美国工程院和美国科学院外籍院士；是国际信息处理联盟（IFIP）的主要发起人之一。
图灵奖
图灵奖（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美元。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。
从1966年到2009年的44届图灵奖，共计有56名科学家获此殊荣，其中美国学者最多，此外还有英国、瑞士、荷兰、以色列等国少数学者。
图灵奖
图灵奖（Turing Award，又译杜林奖），是计算机协会（ACM）于1966年设立的，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。
其名称取自世界计算机科学的先驱、英国科学家，英国曼彻斯特大学教授艾伦·图灵（Professor Alan Turing），这个奖设立目的之一是纪念这位现代电脑、计算机奠基者。
获奖者必须是在计算机领域具有持久而重大的先进性的技术贡献。
大多数获奖者是计算机科学家。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。
图灵奖对获奖者的要求极高，评奖程序也极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。
目前图灵奖由英特尔公司以及Google公司赞助，奖金为250,000美元。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。
目录[隐藏]∙ 1 图灵奖获得者∙ 2 参考文献∙ 3 参见∙ 4 外部链接[编辑]图灵奖获得者1966年艾伦·佩利Alan J. Perlis高级程序设计技巧，编译器构造1967年莫里斯·威尔克斯Maurice V.Wilkes存储程序式计算机EDSAC, 程序库1968年理查德·卫斯里·汉明RichardHamming数值方法，自动编码系统，错误检测和纠错码1969年马文·闵斯基Marvin Minsky人工智能1970年詹姆斯·维尔金森James H.Wilkinson数值分析，线性代数，倒退错误分析1971约翰·麦卡锡John McCarthy人工智能年1972年艾兹格·迪科斯彻Edsger Dijkstra程序设计语言的科学与艺术1973年查理士·巴赫曼Charles W.Bachman数据库技术1974年高德纳Donald E. Knuth算法分析、程序设计语言的设计、程序设计1975年艾伦·纽厄尔赫伯特·西蒙Allen NewellHerbert A. Simon人工智能，人类认知心理学和列表处理(listprocessing)1976年迈克尔·拉宾达纳·斯科特Michael O.RabinDana S. Scott非确定性自动机1977年约翰·巴克斯John Backus高级编程系统，程序设计语言规范的形式化定义1978年罗伯特·弗洛伊德Robert W. Floyd设计高效可靠软件的方法学1979年肯尼斯·艾佛森Kenneth E.Iverson程序设计语言和数学符号，互动系统的设计，运用APL进行教学，程序设计语言的理论与实践1980年东尼·霍尔C. Antony R.Hoare程序设计语言的定义与设计1981年埃德加·科德Edgar F. Codd数据库系统，尤其是关系型数据库1982年史提芬·古克Stephen A. Cook计算复杂度1983年肯·汤普逊丹尼斯·里奇Ken ThompsonDennis M.RitchieUNIX操作系统和C语言1984年尼克劳斯·维尔特Niklaus Wirth程序设计语言设计、程序设计1985年理查德·卡普Richard M. Karp算法理论，尤其是NP-完全性理论1986年约翰·霍普克罗夫特罗伯特·塔扬John HopcroftRobert Tarjan算法和数据结构的设计与分析1987年约翰·科克John Cocke编译理论，大型系统的体系结构，及精简指令集（RISC）计算机的开发1988年伊凡·苏泽兰Ivan Sutherland计算机图形学1989年威廉·卡亨William MortonKahan数值分析1990年费尔南多·考巴托Fernando J.CorbatóCTSS和Multics1991年罗宾·米尔纳Robin Milner LCF，ML语言，CCS1992年巴特勒·兰普森Butler W.Lampson分布式，个人计算环境1993年尤里斯·哈特马尼斯理查德·斯特恩斯Juris HartmanisRichard E.Stearns计算复杂度理论1994年爱德华·费根鲍姆拉吉·瑞迪EdwardFeigenbaumRaj Reddy大规模人工智能系统1995年曼纽尔·布卢姆Manuel Blum计算复杂度理论，及其在密码学和程序校验上的应用1996年阿米尔·伯努利Amir Pnueli时序逻辑，程序与系统验证1997年道格拉斯·恩格尔巴特DouglasEngelbart互动计算1998年詹姆斯·尼古拉·格雷James Gray数据库与事务处理1999年弗雷德里克·布鲁克斯Frederick P.Brooks, Jr.计算机体系结构，操作系统，软件工程2000年姚期智AndrewChi-Chih Yao计算理论，包括伪随机数生成，密码学与通信复杂度2001年奥利-约翰·达尔克利斯登·奈加特Ole-Johan DahlKristen Nygaard面向对象编程2002年罗纳德·李维斯特阿迪·萨莫尔伦纳德·阿德曼Ronald L. RivestAdi ShamirLeonard M.Adleman公钥密码学（RSA加密算法）2003年艾伦·凯Alan Kay面向对象编程2004年文特·瑟夫罗伯特·卡恩Vinton G. CerfRobert E. KahnTCP/IP协议2005年彼得·诺尔Peter Naur Algol 60语言2006法兰西斯·艾Frances E. Allen优化编译器年伦2007年[1]爱德蒙·克拉克艾伦·爱默生约瑟夫·斯发基斯Edmund M.ClarkeAllen EmersonJoseph Sifakis开发自动化方法检测计算机硬件和软件中的设计错误2008年芭芭拉·利斯科夫Barbara Liskov编程语言和系统设计的实践与理论2009年查尔斯·萨克尔Charles Thacker帮助设计、制造第一款现代PC2010年莱斯利·瓦伦特Leslie Valiant对众多计算理论所做的变革性的贡献2011年朱迪亚·珀尔Judea Pearl通过概率论和因果推理对人工智能领域作出的根本性贡献。
917469-大学计算机基础-图灵奖获得者
1.图灵奖简介图灵奖最早设立于1966年，是美国计算机协会在计算机技术方面所授予的最高奖项，被喻为计算机界的诺贝尔奖。
它是以英国数学天才Alan Turing先生的名字命名的，Alan Turing先生对早期计算的理论和实践做出了突出的贡献。
图灵奖主要授予在计算机技术领域做出突出贡献的个人。
而这些贡献必须对计算机业有长远而重要的影响。
迄今为止已有34位在计算机领域做出突出贡献的科学家获此殊荣。
1966年，A.J.Perlis因其在新一代编程技术和编译架构方面的贡献成为图灵奖的第一个得主。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的审核，并最终确定当年的获奖者。
2．历届图灵奖获得者1．1966年图灵奖获得者：艾伦•佩利（A.J.Perlis）PhD,MIT;Prof,Yale(was Prof at CMU)(deceased)——ALCOL语言和计算机科学的“催生者”2．1967年图灵奖获得者：莫里斯•威尔克斯（Maurice V.Wilkes）PhD,Cambridge;Prof,Cambridge——世界上第一台存储程序式计算机EDSAC的研制者3．1968年图灵奖获得者：理查德•哈明（Richard W.Hammin）Prof,Naval Postgraduate School(was at Bell)(deceased)——发明纠错码的大数学家和信息学专家4．1969年图灵奖获得者：马文•明斯基（Marvin Minsky）PhD,Princeton,Prof,MIT——“人工智能之父”和框架理论的创立者5．1970年图灵奖获得者：詹姆斯•威尔金森（J.H.Wilkinson）BS,Cambridge;staff,National Physical Laboratory,London——数值分析专家和研制ACE计算机的功臣6．1971年图灵奖获得者：约翰•麦卡锡（John McCarthy）PhD,Princeton;Prof,Stanford——“人工智能之父”和LISP语言的发明人7．1972年图灵奖获得者：埃德斯加•狄克斯特拉（Edsger W.Dijkstra）PhD,U Amsterdam;Prof,UT Austin——最先察觉“goto有害”的计算机科学大师8．1973年图灵奖获得者：查尔斯•巴赫曼（Charles W.Bachman）staff,Honeywell——“网状数据库之父”9．1974年图灵奖获得者：唐纳德•克努（Donald E.Knuth）PhD,Caltech;Prof,Stanford——经典巨著《计算机程序设计的艺术》的年轻作者10．1975年图灵奖获得者：赫伯特•西蒙和艾伦•纽厄尔Allen Newell---PhD,Stanford;Prof,CMU(deceased)Herbert A.Simon---PhD,Chicago;Prof,CMU(deceased)——人工智能符号主义学派的创始人11．1976年图灵奖获得者：米凯尔•拉宾和达纳•斯科特Michael O.Rabin---PhD,Princeton;Prof,HarvardDana S.Scott---PhD,Princeton;Prof,CMU——非确定性有限状态自动机理论的开创者12．1977年图灵奖获得者：约翰•巴克斯（John Backus）BS,Columbia;staff,IBM——FORTRAN和BNF的发明者13．1978年图灵奖获得者：罗伯特•弗洛伊德（Robert W.Floyd）BS,Chicago;Prof,Stanford——前后断言法的创始人14．1979年图灵奖获得者：肯尼思•艾弗森（Kenneth E.Iverson）——大器晚成的科学家，APL的发明人15．1980年图灵奖获得者：查尔斯•霍尔（C.Anthony R.Hoare）Prof,Oxford(now at Microsoft)——从QUICKSORT、CASE到程序设计语言的公理化16．1981年图灵奖获得者：埃德加•科德（Edgar F.Codd）PhD,Michigan;staff,IBM——“关系数据库之父”17．1982年图灵奖获得者：斯蒂芬•库克（Steven A.Cook）PhD,Harvard;Prof,U Toronto——NP完全性理论的奠基人18．1983年图灵奖获得者：肯尼思•汤普森和丹尼斯•里奇Ken Thompson---MS,Berkeley;staff,Bell-LabsDennis M.Ritchie---PhD,Harvard;staff,Bell-Labs——C和UNIX的发明者19．1984年图灵奖获得者：尼克劳斯•沃思（Niklaus Wirth）PhD,Berkeley;Prof,ETH Zurich——PASCAL之父及结构化程序设计的首创者20．1985年图灵奖获得者：理查德•卡普（Richard M.Karp）PhD,Harvard;Prof,Berkeley——发明“分枝限界法”的三栖学者21．1986年图灵奖获得者：约翰•霍普克洛夫特和罗伯特•陶尔扬John E.Hopcroft---PhD,Stanford;Prof,CornellRobert E.Tarjan---PhD,Stanford;Prof,Princeton——硕果累累的算法设计大师22．1987年图灵奖获得者：约翰•科克（John Cocke）staff,IBM——RISC概念的首创者23．1988年图灵奖获得者：伊万•萨瑟兰（Ivan E.Sutherland）IPhD,MIT;staff,Sun——计算机图形学之父24．1989年图灵奖获得者：威廉•卡亨（William V.Kahan）PhD,U Toronto;Prof,Berkeley——浮点计算的先驱25．1991年图灵奖获得者：罗宾•米尔纳（Robin Milner）Prof,Cambridge(was at U Edinburgh)PhD,MIT;Prof,MIT——标准元语言ML的开发者26．1992年图灵奖获得者：巴特勒•兰普森（Butler Lampson）PhD,Berkeley;staff,Microsoft——从Alto系统的首席科学家到微软的首席技术官27．1993年图灵奖获得者：尤里斯•哈特马尼斯和理查德•斯特恩斯PhD,Caltech;Prof,CornellRichard E.Stearns---PhD,Princeton;Prof,SUNY Albany——计算复杂性理论的主要奠基人28．1994年图灵奖获得者：爱德华•费根鲍姆和劳伊•雷迪Raj Reddy---PhD,Stanford;Prof,CMUEdward Feigenbaum(PhD,CMU;Prof,Stanford)——大型人工智能系统的开拓者29．1995年图灵奖获得者：曼纽尔•布卢姆（Manuel Blum）PhD,MIT;Prof,Berkeley——计算复杂性理论的主要奠基人之一30．1996年图灵奖获得者：阿米尔•伯努利（Amir Pnueli）PhD,Weizmann Institute;Prof,NYU——把时态逻辑引入计算机科学31．1997年图灵奖获得者：道格拉斯•恩格尔巴特（Douglas Engelbart）PhD,Berkeley;staff,SRI——鼠标器的发明人和超文本研究的先驱32．1998年图灵奖获得者：詹姆斯•格雷（James Gray）PhD,Berkeley;staff,Microsoft——数据库技术和“事务处理”专家33．1999年图灵奖获得者：弗雷德里克•布鲁克斯（Frederick P.Brooks,Jr.）PhD,Harvard;Prof,UNC——IBM360系列计算机的总设计师和总指挥34．2000年图灵奖获得者：姚期智（Andrew Chi-Chih Yao）PhD,UIUC;Prof,Princeton(now at清华)——对计算理论做出了诸多“根本性的、意义重大的”贡献图灵奖自创立以来获得该奖项的首位华裔学者35．2001年图灵奖获得者：Ole-Johan DahlKristen Nygaard---Profs,U Oslo——在设计编程语言SIMULA I和SIMULA67时产生的基础性想法是面向对象技术的肇始。
图灵奖
图灵奖简介图灵奖（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）创立者。
计算机界的重要奖项
一、图灵奖图灵奖，是国际计算机协会（ACM）于1966年设立的，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。
其名称取自计算机科学的先驱、英国科学家阿兰·图灵，这个奖设立目的之一是纪念这位科学家。
获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。
大多数获奖者是计算机科学家。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。
图灵奖对获奖者的要求极高，评奖程序也极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。
目前图灵奖由英特尔公司赞助，奖金为100,000美元。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。
截止至2005年，获此殊荣的华人仅有一位，他是2000年图灵奖得主姚期智。
2011年获得该奖项的是犹大·伯尔，他在人工智能方面有突出研究。
二、计算机先驱奖IEEE-CS的计算机先驱奖（Computer Pioneer Award)设立于1980年。
兼顾了理论与实践，设计与工程实现，硬件与软件，系统与部件。
计算机先驱奖打破了社会制度和意识形态的限制，一批前苏联和东欧国家的计算机科学家获得了表彰。
中国的计算机科学家至今无人获奖(只有一名美籍华裔学者杰弗里·朱于1981年获此殊荣)。
三、高德纳奖高德纳奖（Donald E. Knuth Prize），授予为计算机科学基础做出杰出贡献的人，以计算机科学家高德纳（Donald E. Knuth）命名。
高德纳奖始于1996年，每1.5年颁发一次，包括5000美元奖金。
现在奖项由ACM计算机理论研讨会和IEEE计算机科学基础研讨会交替颁发。
高德纳奖的获得者由颁奖委员会选出。
三位在数据库领域作出杰出贡献的图灵奖获得者简介
三位在数据库领域作出杰出贡献的图灵奖获得者简介2010-12-08 17:25图灵奖最早设立于1966年，是美国计算机协会在计算机技术方面所授予的最高奖项，被喻为计算机界的诺贝尔奖。
它是以英国数学天才Alan Turing先生的名字命名的，Alan Turing先生对早期计算的理论和实践做出了突出的贡献。
图灵奖主要授予在计算机技术领域做出突出贡献的个人。
而这些贡献必须对计算机技术有长远而重要的影响。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的审核，并最终确定当年的获奖者。
迄今为止已有3位在数据库领域做出突出贡献的科学家获此殊荣。
查尔斯·巴赫曼20世纪60年代中期以来，数据库技术的形成、发展和日趋成熟，使计算机数据处理技术跃上了一个新台阶，并且极大的推动了计算机的普及与应用。
因此，1973年的图灵奖首次授予在这方面作出杰出贡献的数据库先驱查尔斯·巴赫曼（Charles W.Bachman）。
巴赫曼1924年12月11日生于堪萨斯州的曼哈顿。
1948年在密歇根州立大学取得工学学士学位，1950年在宾夕法尼亚大学取得硕士学位。
20世纪50年代在Dow 化工公司工作，1961－1970年在通用电气公司任程序设计部门经理，1970－1981年在Honeywell公司任总工程师，同时兼任Culllinet软件公司的副总裁和产品经理。
1983年巴赫曼创办了自己的公司Bachman Information System，Inc.。
巴赫曼在数据库方面的主要贡献有两项，第一就是在通用电气公司任程序设计部门经理期间，主持设计与开发了最早的网状数据库管理系统IDS。
IDS于1964年推出以后，成为最受欢迎的数据库产品之一，而且它的设计思想和实现技术被后来的许多数据库产品所仿效。
计算机界的最高荣誉
计算机界的最高荣誉图灵（Turing）奖是美国计算机协会（ACM，Association for Computer Machinery）干 1966年设立的，专门奖励那些对计算机科学研究与推动计算机技术发展有卓越贡献的杰出科学家。
设立的初衷是因为计算机技术的飞速发展，尤其到20世纪60年代，其已成为一个独立的有影响的学科，信息产业亦逐步形成，但在这一产业中却一直没有一项类似“诺贝尔”、“普利策”等的奖项来促进该学科的进一步发展，为了弥补这一缺陷，于是“图灵”奖便应运而生，它被公认为计算机界的“诺贝尔”奖。
“图灵”为何如此幸运不少人梦寐以求的国际计算机的最高奖项——图灵奖，为何它如此幸运，真是说来话长。
阿兰·图灵（Alan Turing），1912年6月23日出生于英国伦敦，他被认为成二十世纪最著名的数学家之一，谁也没有想到他的名字会和计算机产业挂钩。
20世纪的数学界正在热烈的讨论本世纪最伟大的科学发现之一——昆特.哥德尔的不完全性定理，在那以前，数学家们总认为，一个数学问题虽然要找到答案也许会很困难，但理论上总有一个确定的答案，一个数学命题，要么是真的，要么是假的。
而哥德尔的不完全定理指出：在一个稍微复杂一点的的数学公理系统中，总存在那样的命题，我们既不能证明它是真的，也不能证明它是假的。
数学家们大吃一惊，发现以往大家认为绝对严密的数学中，原来有令人如此不安的不确定性。
每个逻辑学家都在苦苦思索，试图为陷入了危机的数学找到一条出路，这些逻辑学家包括当时在剑桥的贝特朗.罗素( Bertrand Russell ) 、阿尔弗雷德.怀特海（Alfred Whitehead）、路德维格.维特斯根坦 ( Ludwig Wittgenstein) 等著名的逻辑学家。
这时的图灵正在剑桥求学，他也同样为此问题陷入了困境。
1936年，图灵作出了他一生最重要的科学贡献，他在其著名的论文《论可计算数在判定问题中的应用（On Computer numbers with an Application to the Entscheidungs -problem）》一文中，以布尔代数[i]为基础，将逻辑中的任意命题（即可用数学符号）用一种通用的机器来表示和完成，并能按照一定的规则推导出结论。
图灵奖
图灵奖（A.M. Turing Award） 由美国计算机协会（ACM）于1966年设立，其名称取自 计算机科学的先驱、英国科学家阿兰· 麦席森· 图灵。有 “计算机界的诺贝尔奖”之称。 从1966年到2010年的45届图灵奖，共计有57名科学家获 此殊荣 。 2010年莱斯利· 瓦伦特（Leslie Valiant） ，人工智能方面。 获此殊荣的华人仅有一位，2000年姚期智（在计算理论方 面的贡献而获奖，包括伪随机数的生成算法、加密算法和 通讯处理方式仍以分散、互相独立的数据文件为基础，数据冗余、 数据不一致性、处理效率低等问题仍不可避免。这些缺点在较大规模的系 统中尤为突出。以美国在20世纪60年代初制定的阿波罗登月计划为例，阿 波罗飞船由约200万个零部件组成，它们分散在世界各地制造生产。为了掌 握计划进度及协调工程进展，阿波罗计划的主要合约者Rock-well公司曾研 制、开发了一个基于磁带的零部件生产计算机管理系统，系统共用了18盘 磁带，虽然可以工作，但效率极低，18盘磁带中60%是冗余数据，维护十 分困难。这个系统的状况曾一度成为实现阿波罗计划的重大障碍之一。
与数据库有关的三位图灵奖获得者
——埃德加.科德
Edgar Frank Codd 1923年8月19日生于英格兰。 二战中应征入伍，在皇家空军服役，1942-1945年间任 机长，参与了许多惊心动魄的空战。 二战后进入牛津大学数学系，1948年取得学士学位。 随后在美国和加拿大工作，参加了IBM 第一台科学计 算机7 0 1 以及第一台大型晶体管计算机 STRETCH的 逻辑设计，主持了第一个有多道程序设计能力的操作系 统的开发 。 60年代初，到密歇根大学进修计算机与通信专业 ，并 于1963年获得硕士学位， 1965 年取得博士学位 。 关系数据库之父。 1981年被授予图灵奖。
图灵奖简介
吉姆·格雷 “ 之父” 吉姆 格雷—“SQL之父” 格雷 之父
SQL是一种用来从关系数据库中获取信息 的语言，它使人们在使用数据库的过程 中可以更便捷地组织、恢复和调用信息。 同样它在计算机系统网络技术中也发挥 着广泛的作用。它为Oracle 、Sybase、 Informix等美国著名的数据库公司提供 了核心技术，帮助他们在上个世纪80年 代跟上了网络的发展步伐。有了SQL，它 们没有被淘汰出局！
图灵奖简介
“图灵奖”最早设立于1966年， 是美国计算机协会在计算机技 术方面所授予的最高奖项，被 誉为“计算机界的诺贝尔奖”， 主要授予那些在计算机技术领 域做出突出贡献、对计算机产 业发展有长远和重要影响的个 人。迄今为止(2003)已有36位 科学家获此殊荣。
图灵（1912～1954）Turing，Alan Mathiso 图灵
查尔斯·巴赫曼 “ 查尔斯 巴赫曼—“网状数据库 巴赫曼 之父” 之父”
20世纪60年代中期以来，数据库技术的 形成、发展和日趋成熟，使计算机数据 处理技术跃上了一个新台阶，并从而极 大地推动了计算机的普及与应用。因此， 1973年的图灵奖首次授予在这方面作出 杰出贡献的数据库先驱查尔斯·巴赫曼 （Chares W．Bachman）。
在计算机科学中，关系的概念也十分普遍， 在计算机科学中，关系的概念也十分普遍，计算 机的逻辑设计，编译程序设计，算法分析和程序 机的逻辑设计，编译程序设计， 结构，信息检索等，都应用了关系的概念。 结构，信息检索等，都应用了关系的概念。而用 关系的概念来建立数据模型，用以描述、 关系的概念来建立数据模型，用以描述、设计与 操纵数据库，则是科德这篇论文的创举。 操纵数据库，则是科德这篇论文的创举。由于关 系模型简单明了，有坚实的数学基础，一经提出， 系模型简单明了，有坚实的数学基础，一经提出， 立即引起学术界和产业界的广泛重视和响应，从 立即引起学术界和产业界的广泛重视和响应， 理论与实践两个方面都对数据库技术产生了强烈 的冲击。 的冲击。基于层次模型和网状模型的数据库产品 很快走向衰败， 很快走向衰败，一大批关系数据库系统很快被开 发出来并迅速商品化，占领了市场， 发出来并迅速商品化，占领了市场，其交替速度 之快是软件历史上所罕见的。基于这一十分引人 之快是软件历史上所罕见的。 注目的现象，1981年的图灵奖很自然地授予了埃德 注目的现象，1981年的图灵奖很自然地授予了埃德 科德—这一 加·科德 这一“关系数据库之父”。 科德 这一“关系数据库之父”
计算机界的诺贝尔奖图灵奖
计算机界的诺贝尔奖图灵奖电脑报/2010年/10月/11日/第A07版趋势计算机界的“诺贝尔奖”——图灵奖徐兵图灵奖最早设立于1996年，是美国计算机协会在计算机技术方面所授予的最高奖项，被誉为计算机界的诺贝尔奖。
其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。
获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。
1966年图灵奖得主:艾伦·佩利获奖理由:对Algol语言进行定义和扩充佩利和史密斯、佐轮、伊万斯等人一起开发了新的代数语言Algol 60。
Algol60是程序设计语言发展史上的一个里程碑，它标志着程序设计语言由一种“技艺”转而成为一门“科学”，开拓了程序设计语言的研究领域。
1969年图灵奖得主:马文·明斯基获奖理由:创立了最初的人工智能理论明斯基创建了世界上第一个人工智能实验室。
1975年他首创框架理论。
框架理论的核心是以框架这种形式来表示知识。
明斯基还把人工智能技术和机器人技术结合起来，开发出了世界上最早的能够模拟人活动的机器人Robot C，使机器人技术跃上了一个新台阶。
1992年图灵奖得主:巴特勒·莱普森获奖理由:对个人分布式计算机做出重大贡献60年代，莱普森加入了加州大学伯克利分校的GENIE项目。
1965年，与Peter Deutsch一道，开发了SDS 940操作系统。
1970年，莱普森参与组建了著名的施乐帕克研究中心。
1972年，莱普森写下一个备忘录“Why Alto?”，被认为是个人计算机的一个早期的前瞻性的文献。
2000年图灵奖得主:姚期智获奖理由:对计算机理论有重大贡献1967年，姚期智毕业于台湾大学，之后赴美国深造。
姚期智以其敏锐的科学思维，不断向新的学术领域发起冲击，在数据组织、密码学、通信复杂性乃至量子通信和计算等多个尖端科研领域，都做出了巨大而独到的贡献。
姚期智成为图灵奖创立以来首位获奖的亚裔学者。
直到2008年,利斯科夫获得了计算机界的“诺贝尔奖”——图灵奖,计算机界
直到2008年,利斯科夫获得了计算机界的“诺贝尔奖”——图灵奖,计算机界答案：芭芭拉·利斯科夫（Barbara Liskov）是美国第一个计算机科学女博士，也是2008年图灵奖得主，她一生致力于程序设计的研究，研究成果给计算机编程领域带来了巨大的变革，极大地推动了计算机行业的发展。
美国第一个计算机科学女博士利斯科夫于1939年出生在美国洛杉矶，1961年在加州大学伯克利分校取得学士学位。
读书期间，利斯科夫是班里100名同学中仅有的两名女生之一，勤奋好学的她不顾周遭的眼光修完了所有和数学、科学相关的课程。
毕业后，利斯科夫进入哈佛大学工作成为一名程序媛，方向是自然语言翻译，难度比她预想中的大得多。
之后，她向斯坦福大学申请读研究生，师从1971年图灵奖得主约翰·麦卡锡（John McCarthy）教授。
1968年，利斯科夫以一篇题为《一个可以处理国际象棋残局的计算机程序》的论文获得博士学位，成为美国有史以来第一个计算机科学女博士。
从被MIT拒绝到主动邀请博士毕业后，利斯科夫先向麻省理工学院（MIT）发去求职申请，但得到的反馈无法给予教职。
紧接着她进入MITRE公司工作，公司让她到研究部门从事计算机操作系统的开发，她开始深入的研究编程方法。
利斯科夫领导研究小组开发出了一个交互式的小型分时操作系统“维纳斯（Venus）”。
1971年，利斯科夫基于Venus的开发经验撰写了一篇论文，被“操作系统原理学术讨论会”所录用，并被安排在一个分组讨论会上报告，在学术界引起不小的关注。
主持分组讨论的是MIT的杰瑞·萨尔茨（Jerry Saltzer），他非常欣赏利斯科夫表现出来的对计算机的深刻理解和探索精神，极力动员利斯科夫到MIT工作。
1972年，利斯科夫进入MIT工作，成为整个MIT的第二位女教授、计算机系的第一位女教授，主管研究工作。
改变编程的女教授上个世纪50年代，goto语句由于语法简单而被广泛运用到实际操作中去。
历届图灵奖获得者
历届图灵奖获得者(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 . 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, 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，以及在网络方面卓越的领导。
克拉福德奖
克拉福德奖
克拉福德奖是由美国计算机协会（ACM）设立的一项重要奖项，旨在表彰对计算机科学的重大贡献。
该奖项设立于1966年，每年颁发一次，被誉为计算机科学领域的“诺贝尔奖”。
克拉福德奖是计算机科学领域中最负盛名的奖项之一，每年颁发给那些为计算机科学的发展作出突出贡献的个人或团队。
这些贡献可以是在理论、算法、软件开发、硬件设计、网络安全等方面，对计算机科学的推动起到了重要作用。
获得克拉福德奖的个人或团队被认为在其领域取得了突破性的成果，对整个计算机科学领域产生了深远的影响。
他们的工作可能改变了计算机科学的面貌，推动了计算机技术的发展，为社会带来了巨大的利益。
在过去的几十年中，克拉福德奖的获奖者包括了许多计算机科学领域的杰出人物。
他们中的一些人致力于推动计算机科学的理论研究，开拓了新的思路和方法；另一些人专注于开发创新的计算机软件和硬件技术，为计算机领域的发展做出了突出贡献。
克拉福德奖的评选是由ACM的评选委员会负责进行的，他们经过严格审查和评估，选择出最有价值的贡献者。
获奖者将获得一枚特别设计的奖章和一笔奖金，以表彰他们在计算机科学领域的卓越成就。
克拉福德奖的创立旨在鼓励计算机科学的发展，激励更多的科学家和工程师投身于计算机领域的研究和创新。
通过表
彰那些取得重大突破的人们，克拉福德奖也希望能够推动计算机科学的进一步发展，为人类社会带来更多的福祉。
总的来说，克拉福德奖是计算机科学领域的最高荣誉之一，它的设立激励着计算机科学家们的创新与追求。
通过一次次的颁奖，克拉福德奖将那些为计算机科学作出杰出贡献的人们凸显出来，为他们的成就和努力点赞，并将他们的名字铭刻在计算机科学史的丰碑上。
计算机界的最高奖项是什么_大学计算机基础——实践与提高_[共6页]
![计算机界的最高奖项是什么_大学计算机基础——实践与提高_[共6页]](https://img.taocdn.com/s3/m/7e6d1e116137ee06eef9183c.png)
1第1章计算理论基础与计算思维计算是计算机科学的最初起源，如今的计算涵盖了演算、推理、变换、操作等丰富的含义。
如何理解计算的复杂性以及计算思维的广泛应用性，本章从不同的角度扩展知识视野，引导读者在科学研究与生活实践中积极树立计算思维的科学思想。
1.1 扩展知识1.1.1 计算机界的最高奖项是什么“图灵奖”是计算机界最负盛名的奖项，也称为计算机界的诺贝尔奖，图1.1所示为图灵奖杯。
“图灵奖”由国际计算机协会（ACM ）于1966年设立，又名“A.M.图灵奖（A.M.Turing Award ）”，用于奖励那些对计算机事业做出杰出贡献的人们。
“图灵奖”的名称取自计算机科学的先驱、英国科学家阿兰·图灵，奖项的设立目的之一就是为了纪念这位杰出的科学家。
“图灵奖”是世界计算机科学领域的最高奖项，与物理、化学、医学、经济学领域的诺贝尔奖齐名。
图灵奖的大多数获奖者是计算机科学家。
图灵奖对获奖者的要求极高，评奖程序也极其严格，一般每年只奖励一名计算机科学家，只有极少数年度有两名、或两名以上的在同一方向上做出杰出贡献的科学家同时获奖。
图灵奖的奖金金额不算太高，设奖初期为2万美元，1989年起增到2.5万美元，奖金通常由计算机界的一些大企业提供（通过与ACM 签订协议）。
目前图灵奖由英特尔公司和Google 公司赞助，奖金为25万美元。
2014年11月13日，虽然英特尔公司退出了赞助，Google 公司反将奖金提高到1 000 000美元，和诺贝尔奖金相近。
从1966年起，到2013年的48届图灵奖评选中，共计有61名科学家获此殊荣，其中美国学者最多，此外还有英国、瑞士、荷兰、以色列等国少数学者。
截至2013年，获此殊荣的华人仅有一位，他是2000年图灵奖得主姚期智。
2015年3月25日，国际计算机协会（ACM ）宣布计算机数据库专家Michael Stonebraker 获得2014年图灵奖。
ACM 在通告中称Stonebraker 发明了许多几乎应用在所有现代数据库系统中的概念，并且创立多家公司，成功地商业化了他关于数据库技术的开创性工作。
与科技技术奖相当的奖项
与科技技术奖相当的奖项引言科技技术的进步对于人类社会的发展起着至关重要的作用。
为了鼓励和表彰在科技技术领域做出杰出贡献的个人和团体，各国纷纷设立了科技技术奖项。
这些奖项不仅是对科技创新的认可，也是激励更多人投入科技研究与开发的动力。
本文将介绍与科技技术奖相当的奖项，并探讨其在鼓励科技创新和推动社会进步方面的作用。
1. 诺贝尔奖诺贝尔奖是世界上最负盛名的科学奖项之一，由瑞典皇家科学院颁发。
设立诺贝尔奖的目的是为了表彰在物理学、化学、生理学或医学、文学和和平方面做出杰出贡献的个人和团体。
诺贝尔奖的设立激励了全球科研人员的创新和探索精神，推动了科学研究的发展。
获得诺贝尔奖的科学家们的成果往往在科学界产生广泛的影响，为人类社会的进步做出了重要贡献。
2. 图灵奖图灵奖是计算机科学领域最高荣誉之一，由国际计算机科学协会（ACM）颁发。
设立图灵奖的目的是为了表彰在计算机科学和计算机工程领域做出杰出贡献的个人和团体。
图灵奖的获得者往往是对计算机科学产生深远影响的先驱，他们的研究成果推动了计算机技术的发展和应用，为现代信息社会的建设做出了重要贡献。
3. 艾伦·纳图尔奖艾伦·纳图尔奖是人工智能领域的重要奖项，由艾伦·纳图尔研究所颁发。
设立艾伦·纳图尔奖的目的是为了表彰在人工智能领域做出杰出贡献的个人和团体。
人工智能作为当今科技领域的热点，已经在各个领域产生了广泛的应用。
获得艾伦·纳图尔奖的科学家们的研究成果推动了人工智能技术的发展，为人工智能时代的到来奠定了基础。
4. 美国国家技术奖美国国家技术奖是美国政府设立的最高科技奖项，旨在表彰在技术创新和工程领域做出杰出贡献的个人和团体。
该奖项的设立激励了美国科技人员的创新和发展，推动了美国科技实力的提升。
获得美国国家技术奖的个人和团体的成果往往在科技领域产生重要影响，为美国的科技发展和经济增长做出了重要贡献。
5. 欧洲发明奖欧洲发明奖是欧洲专利局设立的奖项，旨在表彰在技术创新和发明领域做出杰出贡献的个人和团体。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
计算机界“诺贝尔奖”
“图灵奖”被称为计算机界的“诺贝尔奖”是为纪念英国著名计算机科学家阿兰·图灵而设置的。
阿兰·图灵是著名的英国科学家、数学家和哲学家，被公认为现代计算机科
“图灵机”和“图灵实验”为信息时代
的来临投下了“第一缕曙光”。
时至今日，所有现代计算机的设计思想仍然基于“图灵机”的体系结构，而“图灵实验”则是人工智能领域公认的“证明机器拥有智能的最佳测试方法”。
“图灵奖”是美国计算机协会于1966年设立的计算机科学奖项，每年颁发一次，授予在计算机科学和技术领域内做过突出贡献的个人。
摘自《读者》
1、将文章标题文字“诺贝尔奖”修改为“图灵奖”;
2、将正文各段的文字的行间距设置为1.3倍行距；
3、将图片中的板式设置为“紧密型”；
4、将文章中的最后一段文字“摘自《读者》”，设置为宋体、五
号、加粗、倾斜、右对齐；
5、保存文档；。