有关图灵奖得主的详细介绍，包括生平、轶事、贡献、及生活中发生在他们身上的故事有哪些呀？越具体越好！
有关图灵奖得主的详细介绍，包括生平、轶事、贡献、及生活中发生在他们身上的故事有哪些呀？越具体越好！
图灵奖得主具体介绍
不区分大小写匿名
图灵奖，是美国计算机协会（ACM）于1966年设立的，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家阿兰·图灵，这个奖设立目的之一是纪念这位科学家。获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。大多数获奖者是计算机科学家。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。图灵奖对获奖者的要求极高，评奖程序也极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。目前图灵奖由英特尔公司赞助，奖金为100,000美元。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。
截止至2005年，获此殊荣的华人仅有一位，他是2000年图灵奖得主姚期智。编辑本段历年图灵奖获得者
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的基础性贡献。
至理名言：预测未来的最好方法是创造它。
2002 Ronald L. Rivest、Adi Shamir、Leonard M. Adleman
获奖原因：由于在公共密钥理论和实践方面的基础性工作。
2001 Ole-Johan Dahl、Kristen Nygaard
获奖原因：由于面向对象编程始发于他们基础性的构想，这些构想集中体现在他们所设计的编程语言SIMULA I 和SIMULA 67中。
2000 Andrew Chi-Chih Yao(姚期智)
获奖原因：由于在计算理论方面的贡献而获奖，包括伪随机数的生成算法、加密算法和通讯复杂性。
1999 Frederick P. Brooks, Jr.
获奖原因：由于在计算机体系架构、操作系统以及软件工程方面所做出的具有里程碑式意义的贡献。人月神话的作者。
1998 James Gray
获奖原因：由于在数据库、事务处理研究和相关系统实现的技术领导工作。
1997 Douglas Engelbart
获奖原因：由于提出了激动人心的交互式计算机未来构想，以及发明了实现这一构想的关键技术。
1996 Amir Pnueli
获奖原因：由于在计算科学中引入temporal逻辑以及对编程和系统认证方面的杰出贡献。
1995 Manuel Blum
获奖原因：由于在计算复杂性理论、密码学以及程序校验方面的基础性贡献。
1994 Edward Feigenbaum、Raj Reddy
获奖原因：由于他们所设计和建造的大规模人工智能系统，证明了人工智能技术的重要性和其潜在的商业价值。
1993 Juris Hartmanis、Richard E. Stearns
获奖原因：由于他们的论文奠定了计算复杂性理论的基础。
1992 Butler W. Lampson
获奖原因：由于在个人分布式计算机系统及其实现技术上的贡献，这包括：工作站、网络、操作系统、编程系统、显示、安全和文档发布。
1991 Robin Milner
获奖原因：由于在可计算函数逻辑(LCF)、ML和并行理论(CCS)这三个方面突出和完美的贡献。
1990 Fernando J. Corbato'
获奖原因：由于组织和领导了多功能、大规模、时间和资源共享的计算机系统的开发。
1989 William (Velvel) Kahan
获奖原因：由于在数值分析方面的基础性贡献。
1988 Ivan Sutherland
获奖原因：由于在计算机图形学方面开创性和远见性的贡献，其所建立的技术历经二、三十年依然有效。
1987 John Cocke
获奖原因：由于在编译器设计和理论、大规模系统架构以及开发RISC等方面的重要贡献。
1986 John Hopcroft、Robert Tarjan
获奖原因：由于在算法及数据结构设计和分析方面的基础性成就。
1985 Richard M. Karp
获奖原因：由于在算法理论方面，特别是NP-completeness理论方面，连续不断的贡献。
1984 Niklaus Wirth
获奖原因：由于开发了EULER、 ALGOL-W、 MODULA和PASCAL一系列崭新的计算语言。
1983 Ken Thompson、Dennis M. Ritchie
获奖原因：由于在通用操作系统理论研究，特别是UNIX操作系统的实现上的贡献。
1982 Stephen A. Cook
获奖原因：由于其于1971年发表的论文，奠定了NP-Completeness理论的基础。
1981 Edgar F. Codd
获奖原因：由于在数椐库管理系统的理论和实践方面基础性和连续不断的贡献，关系数据库之父。
1980 C. Antony R. Hoare
获奖原因：由于在编程语言的定义和设计方面的基础性贡献。
1979 Kenneth E. Iverson
获奖原因：由于在编程语言的理论和实践方面，特别是APL，所进行的开创性的工作。
1978 Robert W. Floyd
获奖原因：由于在如何开发高效、可靠的软件方法论方面的贡献，这包括：建立分析理论、编程语言的语义学、自动程序检验、自动程序综合和算法分析在内的多项
计算机子学科。
1977 John Backus
获奖原因：由于在高级语言方面所做出的具有广泛和深远意义的贡献，特别是其在Fortran语言方面。
1976 Michael O. Rabin、Dana S. Scott
获奖原因：由于他们的论文"有限自动机与它们的决策问题"，被证明具有巨大的价值。
1975 Allen Newell、Herbert A. Simon
获奖原因：由于在人工智能、人类识别心理和表处理的基础贡献。
1974 Donald E. Knuth
获奖原因：由于在算法分析和程序语言设计方面的重要贡献，计算机程序设计艺术的作者。
1973 Charles W. Bachman
获奖原因：由于在数据库方面的杰出贡献。
1972 E.W. Dijkstra
获奖原因：由于对开发ALGOL做出了原理性贡献。
1971 John McCarthy
获奖原因：由于其讲稿"The Present State of Research on Artificial
Intellegence"，对人工智能领域的贡献。
1970 J.H. Wilkinson
获奖原因：由于其在数值分析方面的研究工作。
1969 Marvin Minsky
获奖原因：人工智能理论及软件
1968 Richard Hamming
获奖原因：由于其在计数方法、自动编码系统、检测及纠正错码方面的工作。
1967 Maurice V. Wilkes
获奖原因：由于设计和制造了第一台内部存储程序的计算机EDSAC。
1966 A.J. Perlis
获奖原因：由于其在先进编程技术和编译架构方面的贡献。
计算世界的奇妙探险——第一位图灵奖女得主Frances E. Allen
她，是IBM历史上第一位女院士。
她，是现代计算机编译器领域最杰出的女科学家。
她，是图灵奖历史上第一位女性获奖者，叫Frances E. Allen。
时间定格在1933年的美国纽约北部，Allen 出生在一个没有电、没有暖气、没有自来水的农场，那是一个计算机诞生之前的时代。因为家里很穷，6个孩子都要下地干活，种田持家。但艰苦的童年却给了她一笔财富，那就是全家住在一起的安全感与快乐、自由。她觉得：“童年的经历让我觉得自己很有能力，而且安全感很强，因为一直有家人的陪伴。”在这样的环境中，乐观豁达的Allen逐渐形成坚强自信的性格，正是农场的经历给了她许多痴迷于解决问题的自由。
1954年，Allen在阿尔班尼州立师范获得数学学士学位，而后去密歇根大学读数学硕士，1957 年毕业后成为纽约Peru 的一名高中数学老师。但不久后偶然遇到的IBM校园招聘让她怦然心动，因为这份工作可以尽快偿还她读书时欠下的贷款，于是Allen 进入IBM Watson 研究中心。当时Allen 以为还完贷款后马上就会离开IBM，但没想到，这一待就是45年。
自加入IBM开始，Allen 50年来一直从事一个研究领域——并行计算编译器研究。20世纪80年代早期，她创立IBM并行翻译研究组，致力于通过并行计算来实现的编译技术研究。她开发的并行处理技术，是一种在多个微处理器上同时运行程序的能力，这使得今日的高速计算机得以运行。
专注的力量是无比强大的。在Allen的领导下，PTRAN项目中的工作一次次革新商业编译器中的程序优化算法和技术，研究成果被广泛的应用在各种工业产品中。Allen 作为这个领域的先驱，在编译器优化领域取得非凡的成就，如编译器的基本原理、代码优化和并行编译等，奠定了现代优化编译器和自动并行化执行的基础。
2007年2月，图灵奖第一次授予女性科学家，以表彰Allen编译器设计和机器架构方面做出了开创性贡献。图灵奖评委会主席Ruzena Bajcsy说：“她的研究几乎影响了计算机科学发展的整个历程，使我们今天在商业和科技领域内使用的许多计算技术成为可能。”
坚强与坚持
20世纪60年代，计算机科学刚刚成为一种职业，这个极有组织性的行业几乎全由男性垄断，科研环境对女性来说是相当的寒冷，一切成就的取得都来之不易。甚至有过这么一件尴尬事：那是一个超大机型软件程序的开发，第一次去运行机器时Allen愣住了——必须穿过男厕所才能进入计算机房。因为那间放置计算机的楼层太大，而相关工作人员绝大多数是男士，因此男厕所正好设在中间以求方便。
职业生涯里不顺心的事情还有很多，有一度部门来了个不很懂专业事务的经理，经常取笑她说IBM不应该做这样的项目，然而，要知道那时Allen在这个项目上已经做了10年。屋漏偏逢连夜雨，工作方面的行进之路也极为坎坷，曾经一段时间里Allen做的几个项目由于风险太大都失败了。但她立即调整心态：“失败也是一个学习的过程”，她坚持在这个领域进行研究而从未放弃。
探索奇妙之旅
Allen 在科学的道路上探索奇妙之旅，获得荣誉无数。1989年Allen当选为IBM院士，这是IBM历史上第一个女性获得此殊荣。1995 年，她被任命为IBM技术研究院院长。1997 年被选入WITI 名人堂，2000年IBM设立了以她的名字命名的“Frances E. Allen科技女性导师奖”。作为美国国家工程学院院士、美国计算机学会会士，获得过AWC颁发的Augusta Ada Lovelace奖，2006年度图灵奖等诸多荣誉。
这位邻家老奶奶一般亲切的女科学家今年77 岁了，2002 年正式退休。尽管仍活跃地编写程序，但已将重心从研究转移到社会活动，致力于鼓励女性从事计算机科学研究的教育培训项目。生活中，Allen热爱登山和探险，她说：“我特别喜欢探索一些新的未知领域，不管它是新的研究方法，还是新的想法。这如同我喜欢探索一座我没有去过的山一样。我喜欢观察身边的这些奇妙之地。” （本文来自《程序员》杂志0909期，更多精彩内容敬请关注0909期杂志。）
图灵奖得主——姚期智院士
姚期智，祖藉湖北孝感，日出生于上海，幼年随父母移居台湾。1967年，姚期智毕业于台湾大学，之后赴美国深造。1972年获哈佛大学物理学博士学位，1975年获伊利诺大学香槟分校计算机科学博士学位。之后，他曾先后在麻省理工学院、斯坦福大学、加州大学伯克利分校等美国高等学府从事教学和研究，1986年至2004年6月任普林斯顿大学计算机科学系教授。2004年9月正式加盟清华大学高等研究中心任全职教授。他是美国国家科学院院士、中国科学院外籍院士、美国人文及科学院院士。 2000年，因为姚期智对计算理论的诸多贡献，美国计算机学会把该年度的图灵奖（公认为计算机领域诺贝尔奖）授予他，使他成为自图灵奖创立以来首位获奖的华裔学者。
众所周知，诺贝尔奖从未设立过有关计算机科学的奖项，而创立于1966年的图灵奖则可等同于计算机学界的诺贝尔奖，只有国际计算机学领域最具权威资格和卓著成就的科学家才能够获得由美国计算机学会(ACM)颁发的这一奖项——2000年，因为姚期智对计算理论做出了诸多“根本性的、意义重大的”贡献，美国计算机学会(ACM)决定把该年度的图灵奖授予他——这是图灵奖自创立以来首次授予一位华裔学者，姚期智为全世界华人争得了荣誉。
最初姚期智选择的专业是物理，但在学习与钻研的过程中，当时方兴未艾的计算机技术很快吸引住了他的注意力——他感觉到，这一新兴学科肯定会对人类的生活方式产生深远而持久的影响，因此，尽管当时仅26岁的姚期智感觉自己“已经很老”，“一定要很用功才能补回失去的几年”，但他还是毅然决定放弃物理学研究，把研读的方向转移到计算机科学领域来。正是基于这样的考虑，在1972年取得哈佛大学物理学博士学位以后，姚期智来到伊利诺大学研究生院继续学习——而伊利诺大学是向以计算机科学研究领域的深厚积淀而闻名全美的。仅过了三年，姚期智便在伊利诺大学拿到了他的第二个博士学位——计算机科学博士学位。之后，他曾先后在麻省理工学院()、斯坦福大学(，)、加州大学伯克利分校()等美国一流高等学府从事教学和研究，1986年至今则一直任普林斯顿大学计算机科学系教授。此外，姚期智还是美国国家科学院院士、美国人文及科学院院士以及IBM EC系统研究中心和Xerox Palo Alto研究中心的顾问。
“要大胆、创新，想法才不会很‘原始’”，姚期智在哈佛大学的导师、1979年诺贝尔物理学奖得主格拉肖·S·L(Sheldon Lee Glashow)这样教导他。这种从导师身上传承下来的做学问的基本精神驱使着姚期智不断向新的学术领域发起冲击——在数据组织、基于复杂性的伪随机数生成理论、密码学、通信复杂性乃至量子通信和计算等多个尖端科研领域，姚期智都做出了巨大的、独到的贡献——多年来姚期智所发表的近百篇学术论文，几乎覆盖了计算复杂性的所有方面，而且早在获图灵奖之前，姚期智就已经在不同的科研领域屡获殊荣，例如1987年获得乔治·波利亚(George Polya)奖，1996年获得以算法设计大师克努特(Donald Ervin Knuth,1994年图灵奖获得者)命名的首届克努特奖。
姚期智是那种把艰苦工作视作无上乐趣的科学家，对于做学问和搞研究，他有两个观点颇为耐人寻味：首先是做学问要有“Sense of beauty”(美感)，他认为无论物理学还是计算机学的研究，都可以从研究中体会到美丽；其次，姚期智表示，在钻研的过程中，每当他想到一个富于创造力的、与众不同的观点时，“Happiest moment”(最快乐的瞬间)旋即来临，作为科研工作者，最大的幸福莫过于此。
工作之余，姚期智喜欢欣赏古典音乐、博览经史子集。他的夫人储枫(Frances F.Yao)也是来自中国台湾省(原籍江苏如皋)的华裔科学家，夫妻俩经常联名发表科研论文。
谈起自己获图灵奖的经历和感受，姚期智并没有表现出某种意气风发、顾盼自雄——相反地，虽然他也承认图灵奖是一个“比较重要”的荣誉，是他“一生中最成功的两件事之一”(另一件事是娶到了太太储枫)。但他更重视这一奖项对于所有海外中国人的激励意义，于他自己而言，图灵奖的影响“并不很大”——姚期智就是这样，总是以自己的儒雅谦逊让仰慕者时刻感受着一种真正的“大师气质”。
1936年,图灵向伦敦权威的数学杂志投了一篇论文,题为"论数字计算在决断难题中的应用"。在这篇开创性的论文中,图灵给"可计算性"下了一个严?br /& 的数学定义,并提出著名的图灵机"(Turing Machine)的设想。"图灵机"不是一种具体的机器,而是一种思想模型,可制造一种十分简单但运算能力极强的计算装置,用来计算所有能想像得到的可计算函数。"图灵机"与"冯.诺伊曼机"齐名,被永远载入计算机的发展史中。1950年10月,图灵又发表了另一篇题为"机器能思考吗"的论文,成为划时代之作。也正是这篇文章,为图灵赢得了"人工智能之父"的桂冠。
故事从谜开始
英国现代计算机的起步是从德国的密码电报机——Enigma(谜)开始的,而解开这个谜的不是别人,正是阿兰·图灵,一个在计算机界响当当的人物,可与美国的冯·诺依曼相媲美的电脑天才。在他短暂的生涯中,图灵在量子力学、数理逻辑、生物学、化学方面都有深入的研究,在晚年还开创了一门新学科——非线性力学。
图灵英年早逝。在他42年的人生历程中,他的创造力是丰富多彩的,他是天才的数学家和计算机理论专家。24岁提出图灵机理论,31岁参与COLOSSUS的研制,33岁设想仿真系统,35岁提出自动程序设计概念,38岁设计"图灵测验"。这一朵朵灵感浪花无不闪耀着他在计算机发展史上的预见性。特别是在60年代后
当然,图灵最高的成就还是在电脑和人工智能方面,他是这一领域开天辟地的大师。为表彰他的贡献,专门设有一个一年一度的"图灵奖",颁发给最优秀的电脑科学家。这枚奖章就像"诺贝尔奖"一样,为计算机界的获奖者带来至高无上的荣誉。而阿兰·图灵本人,更被人们推崇为人工智能之父,在计算机业十倍速变化的历史画卷中永远占有一席之地。他的惊世才华和盛年夭折,也给他的个人生活涂上了谜一样的传奇色彩。
阿兰·图灵,日出生于英国伦敦。其祖父曾获得剑桥大学数学荣誉学位,但他父亲的数学才能平平。因此,图灵的家庭教育,对他以后在数学及计算机方面的成就并没有多少帮助。
小时侯的图灵生性活泼好动,很早就表现出对科学的探索精神。据他母亲回忆,3岁时,小图灵就进行了他的首次实验,尝试把一个玩具木头人的小胳膊、小腿掰下来栽到花园里,等待长出更多的木头人。到了8岁,他更开始尝试写一部科学著作,题目为《关于一种显微镜》。在这部很短的书中,天才儿童图灵拼错了很多单词,句法也有些问题,但写得还能让人看懂,很像那么一回事儿。在书的开头和结尾,他都用同一句话"首先你必须知道光是直的"作前后呼应,但中间的内容却很短,短得破了科学著作的记录。图灵曾说 :"我似乎总想从最普通的东西中弄出些名堂。"就连和小朋友们玩足球,他也能放弃当前锋进球这样出风头的事,只喜欢在场外巡边,因为这样能有机会去计算球飞出边界的角度。他的老师认为 :"图灵的头脑思维可以像袋鼠一样进行跳跃。"
图灵是个天才。他16岁就开始研究爱因斯坦的相对论。1931年,图灵考入剑桥大学国王学院,开始他的数学生涯,研究量子力学、概率论和逻辑学。在校期间,图灵还是现代语言哲学大师维特根斯坦班上最出色的学生。他对由剑桥大学的罗素和怀特海创立的数理逻辑很感兴趣。数理逻辑的创建,主要源于古希腊克里特岛上有个叫爱皮梅尼特的"智者",他说 :"所有的克里特岛人都说谎"。我们可以把它简化为:"我说的这句话是假话"。这就出现一种两面都无法自圆的怪圈:如果他没有说谎,那他这句话是错的,他是在说谎 ;如果他真的在说谎,那他说自己在说谎是对的,所以他又没有说谎。罗素和怀特海把它从逻辑、集合论以及数论中驱逐出去,最后又想尽办法归入《数学原理》之中。
图灵一上大学,就迷上了《数学原理》。在1931年,著名的"哥德尔定理"出现后(该定理认为没有一种公理系统可以导出数论中所有的真实命题,除非这种系统本身就有悖论),天才的图灵在数理逻辑大本营的剑桥大学提出一个设想 :能否有这样一台机器,通过某种一般的机械步骤,能在原则上一个接一个地解决所有的数学问题。
大学毕业后,图灵去美国普林斯顿大学攻读博士学位,还顺手发明过一个解码器。在那里,他遇见了冯·诺依曼,后者对他的论文击节赞赏,并随后由此提出了"存储程序"概念。图灵学成后又回到他的母校任教。在短短的时间里,图灵就发表了几篇很有份量的数学论文,为他赢得了很大的声誉。
在剑桥,图灵可称得上是一个怪才,一举一动常常出人意料。他是个单身汉和长跑运动员。在他的同事和学生中间,这位衣着随便、不打领带的著名教授,不善言辞,有些木讷、害羞,常咬指甲,但他更多地以自己杰出的才智赢得了人们的敬意。图灵每天骑自行车上班,因为患过敏性鼻炎,一遇到花粉,就会鼻涕不止,大打喷嚏。于是,他就常常在上班途中戴防毒面具,招摇过市,这早已成为剑桥的一大奇观。图灵的自行车经常半路掉链子,但他就是不肯去车铺修理。每次骑车时,他总是嘴里念念有词,在心里细细计算,这链条也怪,总是转到一定的圈数就滑落了,而图灵竟然能够做到在链条下滑前一刹那停车,让旁观者佩服不已,以为图灵在玩杂技。后来图灵又居然在脚踏车旁装了一个小巧的机械记数器,到圈数时就停,歇口气换换脑子,再重新运动起来。
1936年,图灵向伦敦权威的数学杂志投了一篇论文,题为《论数字计算在决断难题中的应用》。在这篇开创性的论文中,图灵给"可计算性"下了一个严格的数学定义,并提出著名的"图灵机"(Turing Machine)的设想。"图灵机"不是一种具体的机器,而是一种思想模型,可制造一种十分简单但运算能力极强的计算机装置,用来计算所有能想像得到的可计算函数。装置由一个控制器和一根假设两端无界的工作带(起存储器的作用)组成。工作带被划分为大小相同的方格,每一格上可书写一个给定字母表上的符号。控制器可以在带上左右移动,它带有一个读写出一个你期待的结果。外行人看了会坠入云里雾里,而内行人则称它是"阐明现代电脑原理的开山之作",并冠以"理想计算机"的名称。这篇论文在纸上谈了一把兵,创造出一个"图灵机"来。但现代通用电脑确实是用相应的程序来完成任何设定好的任务。这一理论奠定了整个现代计算机的理论基础。"图灵机"更在电脑史上与"冯·诺依曼机"齐名,被永远载入计算机的发展史中。
图灵机理论不仅解决了纯数学基础理论问题,一个巨大的"意外"收获则是,理论上证明了研制通用数字计算机的可行性。虽然早在100年前的1834年,巴贝奇(Chark Babbage,)就设计制造了"分析机"以说明具体的数字计算,但他的失败之处是没能证明"必然可行"。图灵机理论不仅证明了研制"通用机"的可行性,而且比世界上第一台由德国人朱斯(K·Zuze)于1941年制造的通用程序控制计算机Z-3整整早5年。这不得不使人惊叹这一理论的深刻意义。
正当图灵的理论研究工作进一步深入时,战争爆发了。他被派往布雷契莱庄园承担"超级机密"研究。当时的布雷契莱庄园是一所"政府密码学校",即战时的英国情报破译中心。在这座幽静的维多利亚式建筑里,表面上鸟语花香、人迹罕见,其实每天都有12000多名志愿者在这里夜以继日地工作,截获、整理、破译德国的军事情报,有些结果甚至直达丘吉尔首相本人手中。在这里,图灵被人们称为"教授",没有人知道他的真名。当时德国有一个名为"Enigma"(谜)的通信密码机,破译高手们绞尽脑汁也难以破解。这个难题交到了图灵手中,他率领着大约200多名精干人员进行密码分析,其中甚至还包括象棋冠军亚历山大。分析和计算工作非常复杂,26个字母在"Enigma"机中能替代8万亿个谜文字母。如果改动接线,变化会超过2.5千万亿亿。最后多亏波兰同行们提供了一台真正的"Enigma",图灵才凭借着他的天才设想设计出一种破译机。这台机器主要由继电器构成,还用了80个电子管,由光电阅读器直接读入密码,每秒可读字符2000个,运行起来咔嚓咔嚓直响。它被图灵戏称为"罗宾逊",至今没人能搞懂图灵究竟如何指挥它工作。但"罗宾逊"的确神通广大,在它的密报下,德国飞机一再落入圈套,死无葬身之地。
1945年,图灵带着大英帝国授予的荣誉勋章,来到英国国家物理研究所担任高级研究员。两年后,图灵写了一份内部报告,提出了"自动程序"的概念,但由于英国政府严密、死板的保密法令,这份报告一直不见天日。1969年,美国的瓦丁格(Woldingger)发表了同样成果,英国才连忙亮出压在箱底的宝贝,终于在1970年给图灵的报告"解密"。图灵的这份报告后来收入爱丁堡大学编的《机器智能》论文集中。由于有了布雷契莱的经验,图灵提交了一份"自动计算机"的设计方案,领导一批优秀的电子工程师,着手制造一种名叫ACE的新型电脑。它大约用了800个电子管,成本约为4万英镑。1950年,ACE电脑就横空出世,开始公开露面,为感兴趣的人们玩一些"小把戏",赢得阵阵喝彩。图灵在介绍ACE的内存装置时说:"它可以很容易把一本书的10页内容记住。"显然,ACE是当时世界上最快、最强劲的电子计算机之一。
1946年,在纽曼博士的动议下,皇家学会成立电脑实验室。纽曼博士是皇家学会会员,又是当年破译小组的成员,正是他对"赫斯·鲁宾逊"的制造起了关键作用。皇家学会的这一新实验室不在伦敦,而是设在曼彻斯特大学,由纽曼博士牵头负责。1946年7月,研制基金到位,纽曼博士开始招募人选。
阿兰·图灵也在次年9月加盟电脑实验室。一时间,曼彻斯特大学群英会萃。实验室设在一幢维多利亚时代的老房子里,条件十分简陋,但因图灵他们的到来,也算是蓬荜生辉了。在1948年6月,这里造出了一台小的模型机,大家都爱叫它"婴儿"(Baby)。这台模型机用阴极射线管来解决存储问题,能存储32个字,每一字有32位字长。这是第一台能完全执行存储程序的电子计算机的模型。
到了1949年10月,各项改进工作都已展开,夹在两层存储器之间的自动控制系统已正常运转,并能在程序的控制下,实现磁鼓和阴极射线管存储单元间信息交互。图灵设计出一些协同电路来做输入和输出的外设。有关电动打字设备也是图灵通过老关系从他战时供职的外交部通信部门弄过来的,其中甚至包括一个战后从德国人那里收缴来的穿孔纸带键盘。这样,整个模型机已大功告成。在整个试验阶段,大家忙上忙下。1949年底,模型机交付给曼彻斯特当地的一家叫弗兰尼蒂(Ferranti)的电子公司,开始正式建造。1951年2月完工,通称"迈可1型"。它有4000个电子管,72000个电阻器,2500个电容器,能在0.1秒内开平方根、求对数和三角函数的运算。比起先前的模型机,"迈可1型"功能更为齐全,静电存储器的内存容量已翻倍,能存256个40位字长字,分别存在8个阴极射线管中,而磁鼓的容量能扩容到16384个字,真是一项了不起的工程。
与冯·诺依曼同时代的富兰克尔(Frankel,冯氏同事)在回忆中说:冯·诺依曼没有说过"存储程序"型计算机的概念是他的发明,却不止一次地说过,图灵是现代计算机设计思想的创始人。当有人将"电子计算机之父"的头衔戴在冯·诺依曼头上时,他谦逊地说,真正的计算机之父应该是图灵。当然,冯·诺依曼问之无愧,而图灵也有"人工智能之父"的桂冠。他俩是计算机历史浩瀚星空中相互映照的两颗巨星。
早在1945年,图灵就提出"仿真系统"的思想,并有一份详细的报告,想建造 一台没有固定指令系统的电脑。它能够模拟其他不同指令系统的电脑的功能,但这份报告直到1972年才公布。这说明图灵在二战结束后就开始了后来被称为"人工智能"领域的探索,他开始关注人的神经网络和电脑计算之间的关联。
1950年,图灵又来到曼彻斯特大学任教,同时还担任该大学自动计算机项目的负责人。就在这一年的十月,他又发表了另一篇题为《机器能思考吗?》的论文,成为划时代之作。也正是这篇文章,为图灵赢得了一顶桂冠--"人工智能之父"。在这篇论文里,图灵第一次提出"机器思维"的概念。他逐条反驳了机器不能思维的论调,做出了肯定的回答。他还对智能问题从行为主义的角度给出了定义,由此提出一假想:即一个人在不接触对方的情况下,通过一种特殊的方式,和对方进行一系列的问答,如果在相当长时间内,他无法根据这些问题判断对方是人还是计算机,那么,就可以认为这个计算机具有同人相当的智力,即这台计算机是能思维的。这就是著名的"图灵测试"(Turing Testing)。当时全世界只有几台电脑,根本无法通过这一测试。但图灵预言,在本世纪末,一定会有电脑通过"图灵测试"。终于他的预言在IBM的"深蓝"身上得到彻底实现。当然,卡斯帕罗夫和"深蓝"之间不是猜谜式的泛泛而谈,而是你输我赢的彼此较量。
故事以谜结束
1951年,图灵以他杰出的贡献被当选为英国皇家学会会员。就在他事业步入辉煌之际,灾难降临了。1952年,图灵遭到警方拘捕,原因是他是一个同性恋者。与其他一些智慧超群的人物一样,图灵在个人生活方式上也"与众不同"。当时,人们对同性恋还没有像现在这样宽容,而是把这种行为当作一桩伤风败俗的罪孽。事情的败露是这样的,当时有一位叫琼·克拉克(Joan Clarke)的姑娘爱上了图灵,图灵也对对方很有好感,并向对方求婚,琼欣然接受。但不久,图灵自己退缩了,告诉琼,他是同性恋者。在1948年,图灵就由于同性恋倾向,离开了当时属于高度保密的英国国家物理实验室(NPL)。但也有人说,图灵是被英国军事情报部门"开除"出去的,对于这位天才的离去,许多人怅惜不已。
日,图灵更因为和曼彻斯特当地一位青年有染,被警方逮捕。在法庭上,图灵既不否认,也不为自己辨解。在庄严的法庭上,他郑重其事地告诉人们:他的行为没有错,结果被判有罪。在入狱和治疗两者中间,图灵选择了注射激素,来治疗所谓的"性欲倒错"。此后图灵开始研究生物学、化学,还和一位心理医生有很深的交往。那时,他的脾气已变得躁怒不安,性格更为阴沉怪僻。1953年3月,他因为接待过一位被英国警方注意的挪威客人,成为警方的目标,甚至去希腊度假时也被跟踪。
日,图灵42岁,正逢进入他生命中最辉煌的创造顶峰。一天早晨,女管家走进他的卧室,发现台灯还亮着,床头上还有个苹果,只咬了一小半,图灵
沉睡在床上,一切都和往常一样。但这一次,图灵是永远地睡着了,不会再醒来……经过解剖,法医断定是剧毒氰化物致死,那个苹果是在氰化物溶液中浸泡过的。图灵的母亲则说他是在做化学实验时,不小心沾上的,她的"艾伦"从小就有咬指甲的习惯。但外界的说法是服毒自杀,一代天才就这样走完了人生。//******************************************************图灵奖，是国际计算机协会（ACM）于1966年设立的，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家阿兰·图灵，这个奖设立目的之一是纪念这位科学家。获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。大多数获奖者是计算机科学家。图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。图灵奖对获奖者的要求极高，评奖程序也极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。目前图灵奖由英特尔公司赞助，奖金为100,000美元。每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。截止至2005年，获此殊荣的华人仅有一位，他是2000年图灵奖得主姚期智。
年度照片简介获奖缘由2005pic罗伯特·奥曼现年75岁，出生于德国法兰克福，1955年在美国麻省理工学院获得数学博士学位。现任耶路撒冷希伯来大学理性分析中心教授、纽约州立大学斯坦尼分校经济系和决策科学院教授、以色列数学俱乐部主席、美国经济联合会荣誉会员等。他还担任《国际对策论杂志》、《数理经济学杂志》、《经济学理论杂志》、《运筹学数学》等多家专业杂志舍得编辑。因通过博弈论分析加强了我们对冲突和合作的理解。75岁的罗伯特-奥曼和84岁的托马斯-谢林的研究成果有助于“解释价格战和贸易战这样的经济冲突以及为何一些社区在运营共同拥有的资源方面更具成效。”pic托马斯·谢林现年84岁，美国公民。他1951年获得哈佛大学经济学博士学位。后曾在美国哈佛大学的肯尼迪学院教学长达20年，担任政治经济学教授，并获得退休名誉教授的称号。之后他还在美国马里兰大学公共政策学院和经济系担任教授，并获得退休名誉教授称号。他教授的课程除包括经济学理论外，还涉及外交、国家安全、核战略以及军控等多方面。2004Finn E. Kydland基德兰德1943年出生于挪威，现年60岁，是挪威公民。1973年从匹兹堡的卡内基梅隆大学获得博士学位。他现在是卡内基梅隆大学和加利福尼亚圣巴巴拉校区的教授。他们对动态宏观经济学所作出的贡献：经济政策的时间连贯性和商业周期的驱动力量......Edward C. Prescott普雷斯科特1940年出生在美国的纽约州，现年63岁，美国公民。1967年从匹兹堡的卡内基梅隆大学获得博士学位。他现在是亚利桑那大学教授 、联邦储备银行明尼阿波利斯分行的研究员。2003格兰杰1934年生于英国威尔士的斯旺西，现为英国公民。他1959年获英国诺丁汉大学博士学位，现是美国圣迭戈加利福尼亚大学荣誉经济学教授。他们分别用“随着时间变化的易变性”和“共同趋势”两种新方法分析经济时间数列，从而给经济学研究和经济发展带来巨大影响。研究人员在进行估量关系、作出预测以及检验经济学理论中的假设时，往往以时间数列，即以按时间排列的观察周期的形式来使用数据。这种时间数列显示了国内生产总值、价格、利率、股票价格等的演变。在上个世纪80年代，两位获奖者发明了新的统计方法来处理许多经济时间数列中两个关键属性：随时间变化的易变性和非稳定性。在金融市场上，随着时间的随机波动，即易变性，具有特殊重要的意义，因为股票和各类有价证券的价值取决于易变性的风险。波动可以随着时间发生很大变化：一个波动很大的动荡期后总是一个波动很小的平静期。恩格尔所发明的“自动递减条件下的异方差性”（ARCH）理论能精确地获取很多时间数列的特征，并对能把随时间变化的易变性进行统计模型化的方法进行了发展。现在，他的ARCH模型已经不仅是研究人员不可缺少的工具，金融市场上的分析家也用它来进行资产定价和证券投资风险评估。大部分整体经济时间数列都有一个随机趋势，一次暂时的失调会产生长期持续的影响。这些时间数列被叫做“非稳定的”数列。格兰杰论证出，当用于稳定时间数列的统计方法运用于非稳定的数据分析时，人们很容易做出安全错误的判断。他的重大发现是，把两个以上非稳定的时间数列进行特殊组合后可能呈现稳定性。格兰杰把这种现象叫作“共和体”。他这一方法在对诸如储蓄和消费的关系、汇率和物价的关系以及短期和长期利率的关系等经济学领域的研究中有着意义非凡的作用。。。。。。恩格尔1942年生于美国纽约的锡拉丘兹，1969年获美国CORNELL大学博士学位，现为美国纽约大学金融服务管理学教授。2002丹尼尔·卡纳曼(DanielKahneman)1934年出生，美国普林斯顿大学心理学和公共事务教授。传统上,经济学研究主要建立在人们受自身利益驱动并能作出理性决策的假设基础之上。长期以来,经济学被普遍视为是一种依赖于实际观察的经验科学, 或者是建立在演绎、推理方法基础之上的思辩性哲学,而不是在可控实验室中进行检测的实验性科学。然而,现在经济学研究越来越重视修正和测试基础经济理论的前提假设,并越来越依赖于在实验室里而不是从实地获得的数据。这种研究源于两个截然不同但目前正在相互融合的领域:一个是用认知心理学分析方法研究人类的判断和决策行为的领域；另一个是通过实验室实验来测试或检验根据经济学理论作出预测的未知或不确定性领域。卡纳曼和史密斯正是这两个研究领域的先驱。卡纳曼因卓有成效地把心理学分析方法与经济学研究融合在一起,而为创立一个新的经济学研究领域奠定了基础,其主要研究成果是,他发现了人类决策的不确定性,即发现人类决策常常与根据标准经济理论假设所作出的预测大相径庭。他与已故的阿莫斯·特维尔斯基合作,提出了一种能够更好地说明人类行为的期望理论。。。。。。。弗农·史密斯( VernonL.Smith)1927年出生,美国乔治·梅森大学经济学和法律教授。2001阿克洛夫（George A. Akerlof ）生于1940年，美国加州大学伯克莱分校教授为不对称信息市场的一般理论奠定了基石。他们的理论迅速得到了应用，从传统的农业市场到现代的金融市场。他们的贡献来自于现代信息经济学的核心部分......斯宾塞（A. Michael Spence ）生于1943年，美国加州斯坦福大学教授斯蒂格利兹（Joseph E. Stiglitz ）生于1943年，美国纽约哥伦比亚大学教授2000詹姆斯· 赫克曼1944 年生于美国芝加哥，曾就读于科罗拉多学院。1971年获普林斯顿大学经济系博士学位。现为芝加哥大学的教授。 ……在微观计量经济学领域，他们发展了广泛应用于个体和 家庭行为实证分析的理论和方法……丹尼尔·麦克法登1937 年生于美国北卡罗来那州的瑞雷，曾就读于明尼苏达大学。1962年获得明尼苏达大学博士学位。现为加州大学伯克莱分校教授。 ……1999罗伯特·蒙德尔1932生于加拿大安大略省金斯顿，曾就读于不列颠哥伦比亚大学、华盛顿大学、麻省理工学院和伦敦经济学院1956年获得麻省理工学院博士学位。对不同汇率体制下货币与财政政策以及最适宜的货币流通区域进行了分析 ……1998阿马蒂亚·森1933年生于印度桑蒂克尼坦曾就读于加尔各答大学、剑桥大学。1959年获得剑桥大学博士学位。对福利经济学几个重大问题做出了贡献，包括社会选择理论、对福利和贫穷标准的定义、对匮乏的研究等……1997罗伯特·默顿1944年生于美国纽约，曾就读于哥伦比亚大学、加州理工学院。1977年获麻省理工学院经济学博士学位。对布莱克－斯科尔斯公式所依赖的假设条件做了进一步减弱，在许多方面对其做了推广 ……迈伦·斯科尔斯1941年-1961年获McMasler大学工程学学士学位、芝加哥MBA学位1969年获芝加哥大学经济学博士学位。给出了著名的布莱克－斯科尔斯期权定价公式，该法则已成为金融机构涉及金融新产品的思想方法 ……1996詹姆斯·莫里斯1936年生于英国在信息经济学理论领域做出了重大贡献，尤其是不对称信息条件下的经济激励理论威廉·维克瑞，生于美国在信息经济学、激励理论、博弈论等方面都做出了重大贡献1995罗伯特·卢卡斯1937年生于美国倡导和发展了理性预期与宏观经济学研究的运用理论，深化了人们对经济政策的理解，并对经济周期理论提出了独到的见解年度照片简介获奖缘由1994约翰·纳什1928年生于美国在非合作博弈的均衡分析理论方面做出了开创性德贡献对博弈论和经济学产生了重大影响约翰·海萨尼1920年生于美国莱因哈德·泽尔腾1930年生于德国1993道格拉斯·诺斯1920年生于美国……建立了包括产权理论、国家理论和意识形态理论在内的“制度变迁理论”罗伯特·福格尔1926年生于美国用经济史的新理论及数理工具重新诠释了过去的经济发展过程1992加里·贝克1930年生于美国将微观经济理论扩展到对人类相互行为的分析，包括市场行为
能否重点介绍一下阿兰图灵的生平事迹呀？
相关知识等待您来回答
外国文学领域专家}