计算机界的诺贝尔奖图灵奖

合集下载

阿兰·麦席森·图灵

阿兰·麦席森·图灵

阿兰·麦席森·图灵百科名片图灵年轻时的照片图灵是英国著名的数学家和逻辑学家,被称为计算机科学之父、人工智能之父,是计算机逻辑的奠基者,提出了“图灵机”和“图灵测试”等重要概念。

人们为纪念其在计算机领域的卓越贡献而设立“图灵奖”。

中文名:阿兰·麦席森·图灵外文名:Alan Mathison Turing 国籍:英国民族:英格兰出生地:英国伦敦出生日期:1912年6月23日逝世日期:1954年6月7日职业:数学家及计算机逻辑学家毕业院校:剑桥大学国王学院信仰:科学主要成就:提出“图灵机”概念提出“图灵测试”概念开创非线性力学破解德国密码系统Enigma 代表作品:《论数字计算在决断难题中的应用》,《机器能思考吗?》目录[隐藏]人物履历人物生平人物大事年表图灵奖图灵机图灵实验人物履历人物生平人物大事年表图灵奖图灵机图灵实验[编辑本段]人物履历阿兰·麦席森·图灵(Alan Mathison Turing,1912.6.23—1954.6.7),英国数学家、逻辑学家,被称为计算机科学之父、人工智能之父。

1931年图灵进入剑桥大学国王学院,毕业后到美国普林斯顿大学攻读博士学位,二战爆发后回到剑桥,后曾协助军方破解德国的著名密码系统Enigma,帮助盟军取得了二战的胜利。

阿兰·麦席森·图灵,1912年生于英国伦敦,1954年死于英国的曼彻斯特,他是计算机逻辑的奠基者,许多人工智能的重要方法也源自于这位伟大的科学家。

他对计算机的重要贡献在于他提出的有限状态自动机也就是图灵机的概念,对于人工智能,它提出了重要的衡量标准“图灵测试”,如果有机器能够通过图灵测试,那他就是一个完全意义上的智能机,和人没有区别了。

他杰出的贡献使他成为计算机界的第一人,现在人们为了纪念这位伟大的科学家将计算机界的最高奖定名为“图灵奖”。

上中学时,他在科学方面的才能就已经显示出来,这种才能仅仅限于非文科的学科上,他的导师希望这位聪明的孩子也能够在历史和文学上有所成就,但是都没有太大的建树。

ACM各类奖项介绍与申请过程

ACM各类奖项介绍与申请过程

ACM各类奖项与申请过程1.图灵奖(A. M. Turing Award)图灵奖为ACM最享有声望的技术奖,奖金为250,000美元。

该奖授予在计算机界做出原创性贡献的个人,每年奖励一名。

这些原创性贡献对计算机领域而言应是可持续的、技术上的重要性是非常巨大的。

图灵奖的由Intel和Google公司提供赞助。

提名过程:任何人都可以成为提名人,提名信息应包括以下内容:(1)提名人的姓名、地址和电话;(2)被提名人的姓名、地址;(3)一段200~500字的陈述,介绍被提名人的主要成就,阐述推荐理由;(4)至少三份签名背书;提名信息通过电子邮件形式发送给图灵奖挑选委员会主席。

2.ACM-Infosys基金会奖(ACM - Infosys Foundation Award)ACM-Infosys基金会奖始于2007年,授予在相关研究领域取得最伟大成就、具有广泛深远影响的当代年轻科学家和系统开发人员。

奖金为150,000美元,由Infosys 基金会捐赠款提供赞助。

提名过程:任何人都可以成为提名人,提名信息应包括以下内容:(1)提名人的姓名、地址和电话;(2)被提名人的简历,包括年龄、出版书籍和已发表论文、专利、其它获奖荣誉等;(3)主要提名人的提名信件,描述被提名人的主要工作以及所做出的主要贡献;(4)至少三份签名背书。

提名信息通过电子邮件形式发送给ACM-Infosys 基金会奖挑选委员会主席。

3.特优服务奖(Distinguished Service Award)该奖项授予基于为计算机界所做的服务的价值和程度。

所做的贡献不限于为ACM所做的服务,可包括为其他计算机组织的活动,但须强调为整个计算机界所做的贡献。

提名过程:任何人都可以成为提名人,该奖项接受自我提名。

提名信息应该包括以下内容:(1)提名人的姓名、地址;(2)被提名人的姓名、地址;(3)一段200~500字的陈述,介绍被提名人的主要成就,阐述提名理由;(4)两份签名背书。

拓展知识:图灵奖简介

拓展知识:图灵奖简介

1973年 查理士·巴赫曼
Charles W. Bachman 数据库技术
历届图灵奖得主
年份
中文译名
1974年 高德纳
1975年
艾伦·纽厄尔 赫伯特·西蒙
1976年
迈克尔·拉宾 达纳·斯科特
1977年 约翰·巴克斯
1978年 罗伯特·弗洛伊德
1979年 肯尼斯·艾佛森
1980年 东尼·霍尔 1981年 埃德加·科德
图灵奖的发展历程
从1966年到2014年的47届图灵奖,共计有62名科学家获此 殊荣,其中美国学者最多,此外还有英国、瑞士、荷兰、以色列 等国少数学者。 截止至2014年,获此 殊荣的华人仅有一位, 他是2000年图灵奖得主 姚期智。 2004年起在清华大学 任全职教授。
姚期智(Andrew Chi-Chih Yao),世界著名计 算机学家,2000年图灵奖得主,美国科学院院士,美 国科学与艺术学院院士,中国科学院外籍院士,清 华大学高等研究中心教授。
姓名
Donald E. Knuth Allen Newell Herbert A. Simon Michael O. Rabin Dana S. Scott John Backus Robert W. Floyd
Kenneth E. Iverson
C. Antony R. Hoare
贡献领域
算法分析、程序设计语言的设计、程 序设计
历届图灵奖得主
年份
中文译名
1982年 史提芬·古克
1983年
肯·汤普逊 丹尼斯·里奇
1984年 尼古 Cook Ken Thompson Dennis M. Ritchie
Niklaus Wirth
贡献领域

图灵与图灵机

图灵与图灵机

图灵与图灵机不少人梦寐以求的国际计算机的最高奖项——图灵奖,为何它如此幸运,真是说来话长。

阿兰·图灵(Alan Turing),1912年6月23日出生于英国伦敦,他被认为成二十世纪最著名的数学家之一,谁也没有想到他的名字会和计算机产业挂钩。

20世纪的数学界正在热烈的讨论本世纪最伟大的科学发现之一——昆特·哥德尔的不完全性定理,在那以前,数学家们总认为,一个数学问题虽然要找到答案也许会很困难,但理论上总有一个确定的答案,一个数学命题,要么是真的,要么是假的。

而哥德尔的不完全定理指出:在一个稍微复杂一点的数学公理系统中,总存在那样的命题,我们既不能证明它是真的,也不能证明它是假的。

数学家们大吃一惊,发现以往大家认为绝对严密的数学中,原来有令人如此不安的不确定性。

每个逻辑学家都在苦苦思索,试图为陷入了危机的数学找到一条出路,这些逻辑学家包括当时在剑桥的贝特朗·罗素( Bertrand Russell ) 、阿尔弗雷德·怀特海(Alfred Whitehead)、路德维格·维特斯根坦( Ludwig Wittgenstein) 等著名的逻辑学家。

这时的图灵正在剑桥求学,他也同样为此问题陷入了困境。

1936年,图灵作出了他一生最重要的科学贡献,他在其著名的论文《论可计算数在判定问题中的应用(On Computer numbers with an Application to the Entscheidungs -problem)》一文中,以布尔代数为基础,将逻辑中的任意命题(即可用数学符号)用一种通用的机器来表示和完成,并能按照一定的规则推导出结论。

这篇论文被誉为现代计算机原理开山之作,它描述了一种假想的可实现通用计算的机器,后人称之为“图灵机”。

图灵的基本思想是用机器来模拟人们用纸笔进行数学运算的过程,他把这样的过程看作下列两种简单的动作:在纸上写上或擦除某个符号;把注意力从纸的一个位置移动到另一个位置;而在每个阶段,人要决定下一步的动作,依赖于(a)此人当前所关注的纸上某个位置的符号和(b)此人当前思维的状态。

图灵的生平简介

图灵的生平简介

图灵的生平简介- -图灵1912年生于英国伦敦,1954年死于英国的曼彻斯特,他是计算机逻辑的奠基者,许多人工智能的重要方法也源自于这位伟大的科学家。

他对计算机的重要贡献在于他提出的有限状态自动机也就是图灵机的概念,对于人工智能,它提出了重要的衡量标准"图灵测试",如果有机器能够通过图灵测试,那他就是一个完全意义上的智能机,和人没有区别了。

他杰出的贡献使他成为计算机界的第一人,现在人们为了纪念这位伟大的科学家将计算机界的最高奖定名为"图灵奖"。

在中学时,他在科学方面的才能就已经显示出来,这种才能仅仅限于非文科的学科上,他的导师希望这位聪明的孩子也能够在历史和文学上有所成就,但是都没有太大的建树。

少年图灵感兴趣的是数学等学科。

在加拿大他开始了他的职业数学生涯,在大学期间这位学生似乎对前人现成的理论并不感兴趣,什么东西都要自己来一次。

大学毕业后,他前往美国普林斯顿大学也正是在那里,他制造出了以后称之为图灵机的东西。

图灵机被公认为现代计算机的原型,这台机器可以读入一系列的零和一,这些数字代表了解决某一问题所需要的步骤,按这个步骤走下去,就可以解决某一特定的问题。

这种观念在当时是具有革命性意义的,因为即使在50年代的时候,大部分的计算机还只能解决某一特定问题,不是通用的,而图灵机从理论上却是通用机。

在图灵看来,这台机器只用保留一些最简单的指令,一个复杂的工作只用把它分解为这几个最简单的操作就可以实现了,在当时他能够具有这样的思想确实是很了不起的。

他相信有一个算法可以解决大部分问题,而困难的部分则是如何确定最简单的指令集,怎么样的指令集才是最少的,而且又能顶用,还有一个难点是如何将复杂问题分解为这些指令的问题。

二战时,图灵在英国通信部工作,他运用他的专业技能破译德国密码,这在当时十分不容易,因为德国人开发出一种用于计算的机器称为Enigma,它能够定期将密码改变,让破译者根本摸不到头绪。

华裔科学家获图灵奖

华裔科学家获图灵奖

电脑时空华裔科学家获图灵奖秦笃烈 计算机科学公认界的最高学术奖是由美国计算机学会(ACM)一年一度颁发的图灵奖(A.M.Turing Award)。

人们经常将它称为计算机诺贝尔奖。

2001年2月1日ACM评奖委员会宣布2000年度图灵奖得主为普林斯顿大学计算机科学系的华裔科学家安德鲁姚教授。

姚博士是1966年颁发图灵奖以来第一位华裔得奖者。

正式授奖仪式将于2001年3月11日在加州ACM授奖宴会上举行。

美国计算机学会(ACM)图灵奖评选委员会对姚博士作了以下评价: 姚博士获奖是对他为计算理论的重大贡献的表彰,他作出贡献的领域包括基于复杂性的伪随机数发生理论、密码学和通信复杂性。

安德鲁姚促进了计算理论的形成。

他在包括计算几何、深度不变的布尔线路复杂性、数据结构分析以及量子通信等许多领域确立了新的方法的理论和有效的技术。

他开创了通信复杂性领域,揭示了分布计算通信开销的实质。

安德鲁姚是普林斯顿大学计算机系教授。

他1965年获得哈佛大学物理学博士,1972年获得伊里诺斯大学计算机科学博士。

毕业以后一直在麻省理工学院、斯坦福、伯克利等著名大学任教,1986年到普林斯顿大学。

安德鲁姚是博学多才的跨领域科学家,研究兴趣包括计算机有效算法设计以及理论计算机科学新兴领域(例如量子通信和计算)中的复杂性理论。

他设计了快速量子算法以及量子密码协议安全性分析的数学工具。

鉴于安德鲁姚在理论计算机科学中多方面的杰出贡献,1998年当选为美国国家科学院院士。

1998年香港城市大学为祝贺1995年图灵奖得主勃鲁姆60寿辰而举行理论计算机科学国际会议,安德鲁姚教授应邀作了报告,(如图)。

姚博士是美国计算机学会的高级会员、美国技术及科学院院士以及学术科学院(Academia Sinica)院士。

他也是SIAM George Polya奖和ACM SIGACT-IEEE TCMFCS Donald E.Knuth奖得主。

从1966年开始颁发的图灵(A.M.Turing)奖,奖金2.5万美元。

计算机发展史中的重要人物和重大事件(新)

1980年首届计算机先驱奖共有32位获奖者。 从1980年设奖到2000年,这20届(其中 1983年空缺)共108 人获奖 。
2021/5/18
1
重要获奖人物介绍
1967年图灵奖获得者:莫里斯·威尔克斯 (Maurice Vincent Wilkes) ——世界上第一台存 储程序计算机EDSAC的研制者
1967年获得第二届图灵 奖,1980年获得首届计算机 先驱奖。
2021/5/18
1
理查德·哈明
发明纠错码的大数学家 和信息学专家
哈明1915年生于美国芝加哥。 1937年在芝加哥大学获得数学学 士学位,1939年在内布拉斯加大 学获得硕士学位,1942年在伊利 诺伊大学获得博士学位。
1947年哈明发明了一种能纠 错的编码,这种码就叫“纠错码” 或“哈明码”。哈明码的发明是 为了解决通信中的误码问题,但 对计算机同样有用。
冯·诺依曼——数学奇才、计算机之父
约翰·冯·诺依曼 ( 1903—1957 ),美藉匈 牙利人。美国普林斯顿大学 终身教授。
冯·诺依曼对人类的最大 贡献是对计算机科学、计算 机技术和数值分析的开拓性 工作。提出了著名的"冯·诺 依曼机",其中心就是存储 程序原则——指令和数据一 起存储。这个概念被誉为 “计算机发展史上的一个里 程碑”。它标志着电子计算 机时代的真正开始,指导着 以后的计算机设计。
Huffman) 小型机之父切斯特·贝尔(C.Gordon Bell) 巨型机之父西摩·克雷(S.R.Cray) ENIAC的发明人约翰·莫奇利(John W.Mauchly) ENIAC的发明人约翰·埃克特(J.Presper Eckert)
2021/5/18
1
吉纳·阿姆达尔

历届图灵奖得主简介ACM图灵奖1999计算机发展史的缩影

中国大学教学27书林撷英历届图灵奖得主简介———《ACM 图灵奖(1966—1999)———计算机发展史的缩影》○高等教育出版社刘建元康兆华计算机与计算技术可以说是20世纪最有影响的一门科学技术。

今天的信息技术、知识经济、电子商务、互联网络没有哪一项不是以计算机技术为基础的。

而获得过被誉为计算机界Nobel 奖———ACM 图灵奖的20世纪40位计算机科学家,正是影响计算机科学技术发展最有影响的杰出代表。

由高等教育出版社组织出版的《ACM 图灵奖(1966-1999)———计算机发展史的缩影》一书,逐一对历届图灵奖得主的生平、研究成果、科研和工作风格、创新思想、论著等作了详细介绍,并配有相应人物、事件的历史照片。

附录中还有“计算技术发展大事记”等。

在本书所介绍的40位图灵奖获得者当中,有不少人的工作对计算机产业的发展产生了深远的影响。

例如,明斯基与麦卡锡共同创建了世界上第一个人工智能实验室;巴赫曼主持设计与开发了最早的网状数据库管理系统,并推动与促成了数据库标准的制定;巴克斯发明了世界上第一个高级程序设计语言FORTR AN ,之后又首次提出了元语言“巴克斯范式”BNF ;科德首次明确而清晰地为数据库系统提出了关系模型;汤普森和里奇设计、开发了应用广泛和影响深远的操作系统UNIX 和程序设计语言C ;科克因主持IBM 801项目而成为RISC 概念的首创者,今天RISC 技术已成为计算机体系结构的主流技术;萨瑟兰开发成功著名的Sketchpad 系统,奠定了他作为“计算机图形学之父”的基础,他的工作对后来的计算机模拟技术、计算机辅助设计技术都产生了积极的影响;布鲁克斯主持与领导了被称为人类从原子能时代进入信息时代标志的IBM 360系列计算机的开发工作。

近年来信息产业的发展,及其对人们的生活、工作所产生的影响,对社会发展和国民经济所起的作用,都和这些计算机界先辈们的付出有着密不可分的联系。

这些计算机科学技术界的佼佼者所提出的一些具有前瞻性的设想或思路对我国的科技人员、学者和教育工作者有一定的启迪,虽然不能把他们的想法完全套用在我国的产业实践中,但是对其进行审慎地思考后进行有选择性地吸收,对生产技术的进步、人才的培养是大有裨益的。

图灵及图灵奖

本文内容:1. 图灵生平2. 图灵奖简介3. 历届图灵获得者1.图灵生平阿兰.图灵(Alan Turing)1912年生于英国伦敦,1954年死于英国的曼彻斯特,他是计算机逻辑的奠基者,许多人工智能的重要方法也源自于这位伟大的科学家。

他对计算机的重要贡献在于他提出的有限状态自动机也就是图灵机的概念,对于人工智能,它提出了重要的衡量标准"图灵测试",如果有机器能够通过图灵测试,那他就是一个完全意义上的智能机,和人没有区别了。

他杰出的贡献使他成为计算机界的第一人,现在人们为了纪念这位伟大的科学家将计算机界的最高奖定名为"图灵奖"。

在中学时,他在科学方面的才能就已经显示出来,这种才能仅仅限于非文科的学科上,他的导师希望这位聪明的孩子也能够在历史和文学上有所成就,但是都没有太大的建树。

少年图灵感兴趣的是数学等学科。

在加拿大他开始了他的职业数学生涯,在大学期间这位学生似乎对前人现成的理论并不感兴趣,什么东西都要自己来一次。

大学毕业后,他前往美国普林斯顿大学也正是在那里,他制造出了以后称之为图灵机的东西。

图灵机被公认为现代计算机的原型,这台机器可以读入一系列的零和一,这些数字代表了解决某一问题所需要的步骤,按这个步骤走下去,就可以解决某一特定的问题。

这种观念在当时是具有革命性意义的,因为即使在50年代的时候,大部分的计算机还只能解决某一特定问题,不是通用的,而图灵机从理论上却是通用机。

在图灵看来,这台机器只用保留一些最简单的指令,一个复杂的工作只用把它分解为这几个最简单的操作就可以实现了,在当时他能够具有这样的思想确实是很了不起的。

他相信有一个算法可以解决大部分问题,而困难的部分则是如何确定最简单的指令集,怎么样的指令集才是最少的,而且又能顶用,还有一个难点是如何将复杂问题分解为这些指令的问题。

二战时,图灵在英国通信部工作,他运用他的专业技能破译德国密码,这在当时十分不容易,因为德国人开发出一种用于计算的机器称为Enigma,它能够定期将密码改变,让破译者根本摸不到头绪。

图灵简介

简介:阿兰·麦席森·图灵(AlanMathisonTuring,1912.6.23—1954.6.7),英国数学家、逻辑学家,被称为计算机科学之父、人工智能之父。

1931年图灵进入剑桥大学国王学院,毕业后到美国普林斯顿大学攻读博士学位,二战爆发后回到剑桥,后曾协助军方破解德国的著名密码系统Enigma,帮助盟军取得了二战的胜利。

阿兰·麦席森·图灵,1912年生于英国伦敦,1954年死于英国的曼彻斯特,他是计算机逻辑的奠基者,许多人工智能的重要方法也源自于这位伟大的科学家。

他对计算机的重要贡献在于他提出的有限状态自动机也就是图灵机的概念,对于人工智能,它提出了重要的衡量标准“图灵测试”,如果有机器能够通过图灵测试,那他就是一个完全意义上的智能机,和人没有区别了。

他杰出的贡献使他成为计算机界的第一人,现在人们为了纪念这位伟大的科学家将计算机界的最高奖定名为“图灵奖”。

上中学时,他在科学方面的才能就已经显示出来,这种才能仅仅限于非文科的学科上,他的导师希望这位聪明的孩子也能够在历史和文学上有所成就,但是都没有太大的建树。

少年图灵感兴趣的是数学等学科。

在加拿大他开始了他的职业数学生涯,在大学期间这位学生似乎对前人现成的理论并不感兴趣,什么东西都要自己来一次。

大学毕业后,他前往美国普林斯顿大学也正是在那里,他制造出了以后称之为图灵机的东西。

图灵机被公认为现代计算机的原型,这台机器可以读入一系列的零和一,这些数字代表了解决某一问题所需要的步骤,按这个步骤走下去,就可以解决某一特定的问题。

这种观念在当时是具有革命性意义的,因为即使在50年代的时候,大部分的计算机还只能解决某一特定问题,不是通用的,而图灵机从理论上却是通用机。

在图灵看来,这台机器只用保留一些最简单的指令,一个复杂的工作只用把它分解为这几个最简单的操作就可以实现了,在当时他能够具有这样的思想确实是很了不起的。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

第1页 共1页
电脑报/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年,姚期智毕业于台湾大学,之后赴美国深造。姚期智以其敏锐的科学思维,不断向新
的学术领域发起冲击,在数据组织、密码学、通信复杂性乃至量子通信和计算等多个尖端科研领
域,都做出了巨大而独到的贡献。姚期智成为图灵奖创立以来首位获奖的亚裔学者。
2009年图灵奖得主:查尔斯·泰克
获奖理由:对现代计算机架构产生深远影响
2009年,图灵奖颁发给查尔斯·泰克,以表彰他对第一台现代个人计算机——施乐帕克(Xerox
PAlRC)Alto的先驱性设计,以及在局域网(包括以太网)、多处理器工作站、窥探高速缓存一致性
协议和平板PC等方面的杰出成就与贡献。

相关文档
最新文档