计算的美丽–图灵奖的第一个40年(前言)

Sina WeiboBaiduLinkedInQQGoogle+RedditEvernote分享




前言:

《计算的美丽–图灵奖的第一个40年》(以下简称《计算的美丽》)原成文与2006年5月,并发布于www.xtrj.org 上。现校订修改独家发表于《弯曲评论》。计划从2月8日开始,每周星期五介绍一个图灵奖获得者。如需转载,请参阅《弯曲评论》版权申明。

《计算的美丽》的组织方式如下:

*编年题材

通过从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, 59

40-49(15):40, 42, 42, 42, 42, 43, 44, 44, 44, 45, 46, 47, 48, 49, 49

30-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) — 第一台具有内部存储程序的计算机EDSAC
John Cocke (1987) — RISC&编译优化

程序设计语言(11)

Alan J. Perlis (1966) — ALGOL
Edsger Wybe Dijkstra (1972) — ALGOL
John W. Backus (1977) — FORTRAN
Kenneth Eugene Iverson (1979) — APL程序语言
Niklaus Wirth (1984) — PASCAL
John 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, CSP
Robin Milner (1991) — LCF,ML,CCS,PI-calculus
Amir 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 Programming
John 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) — LISP
Allen 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) — 图形技术,CAD
Douglas Engelbart(1998) — 交互式系统,鼠标发明人

网络通讯(2) 

Vinton Gray Cerf (2004) — Internet TCP/IP协议
Robert Kahn(2004) — Internet TCP/IP协议

(1个打分, 平均:5.00 / 5)

雁过留声

“计算的美丽–图灵奖的第一个40年(前言)”有2个回复

  1. 陈怀临 于 2009-02-03 8:12 下午

    去年的2月4日,ACM宣布了2007年的图灵奖获得者。不知今年将花落何家。

    我个人希望是图灵奖能朝Applied Research靠一点。毕竟计算机科学与工程还是Applied Research的味道浓厚一点。

    我觉得应该折腾一个模式识别/语音识别的人拿一次奖。否则一点不鼓励这个圈子。

    可惜当年普渡大学的付京孙了。否则,绝对能够拿到图灵奖。

    付京孙仙去,基本上是普渡EE和CS的Turn Point.从此日落西山。。。

    估计普渡的小孩现在知道付京孙的都没有几个了。。。

  2. 2008年图灵奖获得者揭晓– Barbara Liskov : 弯曲评论 于 2009-03-29 6:15 下午

    [...] ×图灵奖获得者国籍,院校,学术专业分类,陈怀临,2006 [...]