Algorithm 版 (精华区)

发信人: ssos (存在与虚无·守拙), 信区: Algorithm
标  题: 完整的图灵奖获得者名单-附简评
发信站: 哈工大紫丁香 (2003年02月22日11:22:13 星期六), 站内信件

 A.M. Turing Award
大部分是我自己写的，一部分是查的网上资料。所以不负责全部无误。
大一部分应该说的是获奖原因，但有一部分不是。因为我知道他们是干什么的，
但是不见得就是因为这个获奖，比如爱因斯坦，大家都知道他提出了相对论，
获诺贝尔奖原因却是光电效应。你就知道评奖委员会有时候是多么变态。

Award Recipients

1966 A.J. Perlis 编程语言，编译器，Algol60,如果你知道pascal的重要性，
就知道他为什么得奖了，algol是pascal以及后来的类似语言的前身

1967 Maurice V. Wilkes
EDSAC,第一个具备内存运行程序能力的计算机的设计者

1968 Richard Hamming
纠错码，你应该知道Hamming码的重要性

1969 Marvin Minsky
感知机，认知理论，思维的社会。

1970 J.H. Wilkinson
线性代数的数值计算，比如特征值问题

1971 John McCarthy
我想大家都知道，LISP,非单调推理，但是他得奖那么早，我记得那时候他只设计


了LISP语言，估计是他举办会议太多了，大家只好先把他选上了。：）

1972 E.W. Dijkstra
程序设计方法论，软件工程，我想你应该还记得Dijkstra算法。
好像algol也有它的份

1973 Charles W. Bachman
数据库理论

1974 Donald E. Knuth
大部头的计算机程序设计的艺术，好像就是这本书，ft,如果我知道写一本书就可


以获奖，我就不来这里攻读博士学位了。

1975 Allen Newell
GPS?或许吧，和McCarthy,Minsky一样的家伙，写综述文章吃饭的。
认知心理学家
1975 Herbert A. Simon
认知心理学家，对于AI的基 」毕子 多。
上面提到的McCarth,Newell和Simon都是人工智能的创始人

1976 Michael O. Rabin
1976 Dana S. Scott
有限自动机，非确定自动机

1977 John Backus
BNF范式，高级语言规范，Fortran.

1978 Robert W. Floyd
算法分析，程序语义，程序文法分析，软件可靠性

1979 Kenneth E. Iverson
程序设计方法论，APL

1980 C. Antony R. Hoare
程序设计语言规范与设计

1981 Edgar F. Codd
关系数据库就是他提出来的

1982 Stephen A. Cook
提出NP完全性，计算复杂性理论

1983 Ken Thompson
1983 Dennis M. Ritchie
Unix,C语言，我想这就够了。

1984 Niklaus Wirth
algol,modula,还有pascal

1985 Richard M. Karp
组合优化，给出了现代的NP完全性理论的形式

1986 John Hopcroft
1986 Robert Tarjan
算法和数据结构的基础性贡献

1987 John Cocke
RISC,编译器优化，最开始我对于他同时在两个领域工作佩服至极，再仔细一想，

发现两个领域还真是相关联的。

1988 Ivan Sutherland
计算机图形学

1989 William (Velvel) Kahan
数值计算，浮点运算

1990 Fernando J. Corbato'
计算机体系结构

1991 Robin Milner
并发系统，pi演算，ML语言，LCF

1992 Butler W. Lampson
分布式PC机

1993 Juris Hartmanis
1993 Richard E. Stearns
计算复杂性

1994 Edward Feigenbaum
知识工程，专家系统，我认为它是第一个因为作横向项目获奖的人，所以交大还


是有希望的。

1994 Raj Reddy
和前者同时获奖

1995 Manuel Blum
计算复杂性，加密

1996 Amir Pnueli
现代逻辑，系统可靠性

1997 Douglas Engelbart
好像因为虚拟现实获奖

1998 James Gray
数据库

1999 Frederick P. Brooks, Jr.
计算机体系结构，软件工程，好像是机器虫的提出者。

2000 Andrew Chi-Chih Yao
伪随机数生成，加密，通信复杂性

2001 Ole-Johan Dahl
2001 Kristen Nygaard
面向对象程序设计思想，第一个这样的语言Simula

  
--

   
<<社会契约论>>是一本好书,应当多读几遍
风味的肘子味道不错,我还想再吃它      

※ 来源:·哈工大紫丁香 bbs.hit.edu.cn·[FROM: 202.118.230.220]