计算机界诺贝尔奖
图灵奖
图灵奖（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年的图灵奖很自然地授予了埃德 科德—这一 加·科德 这一“关系数据库之父”。 科德 这一“关系数据库之父”
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
计算机界“诺贝尔奖”
“图灵奖”被称为计算机界的“诺贝尔奖”是为纪念英国著名计算机科学家阿兰·图灵而设置的。
阿兰·图灵是著名的英国科学家、数学家和哲学家，被公认为现代计算机科
“图灵机”和“图灵实验”为信息时代
的来临投下了“第一缕曙光”。
时至今日，所有现代计算机的设计思想仍然基于“图灵机”的体系结构，而“图灵实验”则是人工智能领域公认的“证明机器拥有智能的最佳测试方法”。
“图灵奖”是美国计算机协会于1966年设立的计算机科学奖项，每年颁发一次，授予在计算机科学和技术领域内做过突出贡献的个人。
摘自《读者》
1、将文章标题文字“诺贝尔奖”修改为“图灵奖”;
2、将正文各段的文字的行间距设置为1.3倍行距；
3、将图片中的板式设置为“紧密型”；
4、将文章中的最后一段文字“摘自《读者》”，设置为宋体、五
号、加粗、倾斜、右对齐；
5、保存文档；。