分享

Charles W. Bachman(12/11/1924–)

图灵奖获得时间：

1973 年。  第八位图灵奖(1972年) 获得者 。

图灵奖引用(Turing Award Citation) ：

For his outstanding contributions to database technology.

【笔者译：】

“ ( 授予Charles W. Bachman 图灵奖以表彰其在)数据库技术方面的杰出贡献。”

【笔者注：】

Bachman是图灵奖获得者中比较特殊的一个。Bachman基本上是在工业界里，而没有在学术界里作过研究或教职工作。

关于Bachman在数据处理，数据库方面的研发工作和其职业生涯的一个比较完整的收集可参见：

http://www.cbi.umn.edu/collections/inv/cbi00125.html

http://www.computerhistory.org/events/lectures/bachman_04162002/bachman.shtml

关于数据库的历史与演变，可参见 ：

http://math.hws.edu/vaughn/cpsc/343/2003/history.html

http://en.wikipedia.org/wiki/Database

关系数据库:  http://en.wikipedia.org/wiki/Relational_model

Turing Award Lecture(图灵奖演讲文章)：

The Programmer as Navigator. Commun. ACM 16(11): 635-658(1973)

Charles W. Bachman 简介 :

Charles W. Bachman Wiki:  http://en.wikipedia.org/wiki/Charles_Bachman

关于Charels W. Bachman的生平，可参见：

http://www.computerhistory.org/events/lectures/bachman_04162002/bachman.shtml
 

分享

分享

Edsger Wybe Dijkstra (04/01/1930-08/06/2002)

图灵奖获得时间：

1972 年。 第七位图灵奖(1972年) 获得者。

图 灵 奖 引 用 (Turing Award Citation) ：

Edsger Dijkstra was a principal contributor in the late 1950′s to the development of the ALGOL, a high level programming language which has become a model of clarity and mathematical rigor. He is one of the principal exponents of the science and art of programming languages in general, and has greatly contributed to our understanding of their structure, representation, and implementation. His fifteen years of publications extend from theoretical articles on graph theory to basic manuals, expository texts, and philosophical contemplations in the field of programming languages.

【笔者译：】

Edsger Dijkstra是1950年代ALGOL语言的一个主要贡献者。ALGOL高级编程语言已经成为结构清晰，数学基础严谨的一个典范。E. W. Dijkstra是现代编程语言的主要贡献者之一，为我们理解程序语言的结构，表示方法与实现做出了巨大的贡献。E. W. Dijkstra 15年的学术著作覆盖了图论的理论工作，教育手册，解释文章和编程语言领域的哲学思考。

【笔者注：】

 关 于 ALGOL 语 言 ， 可 参阅 ：

http://www.engin.umd.umich.edu/CIS/course.des/cis400/algol/algol.html

http://en.wikipedia.org/wiki/ALGOL_programming_language  。

关 于 编 程 语 言 的 历 史 与 演 变 ， 可 参 见 ：

计算机语言发展历史

http://www.byte.com/art/9509/sec7/art19.htm

E. W. Dijkstra 设计与实现了第一个ALGOL60编译器。

在现代编程语言方面，E. W. Dijkstra也以他著名的反对(过分)使用GOTO语句的文章而著名。1968年，E. W. Dijkstra撰写了其“GoTo Statement Considered Harmful”一文。这篇文章被认为是现代编程语言逐渐不鼓励使用GOTO 语句，而使用编程控制结构，如while loop等等的一个分水岭。一个有趣的插曲是E. W. Dijkstra的这篇文章的题目其实并不是他自己取得，而是Communications of the ACM的编辑Niklaus Wirth的杰作。

其原文可参见：
http://www.acm.org/classics/oct95/
或
http://en.wikipedia.org/wiki/Go_To_Statement_Considered_Harmful

E. W. Dijkstra也是著名的Dijkstra 最短路径算法的作者。

Dijkstra 最短路径算法

 http://en.wikipedia.org/wiki/Dijkstra%27s_algorithm

Dijkstra 最短路径算法被广泛的应用在网络协议方面，如OSPF。

另外，Dijkstra也是操作系统中Semaphore的提出者。

阅读全文»

分享

分享

John McCarthy ( 09/04/1927–)

图灵奖获得时间：

1971 年 。 第六位图灵奖获得者 。

图灵奖引用(Turing Award Citation) ：

Dr. McCarthy’s lecture “The Present State of Research on Artificial Intelligence” is a topic that covers the area in which he has achieved considerable recognition for his work.

【笔者译：】

“ ( 授 予 John MacCarthy图 灵 奖 ) MacCarthy博士的”人工智能研究的现状“一文充分体现了其在人工智能领域有目共睹的杰出的贡献。”

【笔者 注：】

关于人工智能的一些介绍可参见：

Artificial Intelligence: http://en.wikipedia.org/wiki/Artificial_intelligence
Brief History of Artificial Intelligence:
http://www.aaai.org/AITopics/bbhist.html
http://www.answers.com/topic/history-of-artificial-intelligence

例外，McCarthy也是著名人工智能语言Lisp的发明者。关于Lisp的一些基本介绍可参见：

Lisp语言的主站： www.lisp.org
Lisp的历史介绍(Brief History of the Lisp Language): 
http://www.lisp.org/table/Lisp-History.html

Lisp的人们及其他一些教育资料：

http://www.lisp.org/alu/res-lisp-education
http://www.engin.umd.umich.edu/CIS/course.des/cis400/lisp/lisp.html 

阅读全文»

分享

分享

James Hardy Wilkinson (09/27/1919–10/05/1986)

图灵奖获得时间：
1970年。第五位图灵奖获得者 。

图灵奖引用(Turing Award Citation) ：

“For his research in numerical analysis to facilitate the use of the high-speed digital computer, having received special recognition for his work in computations in linear algebra and “backward” error analysis. ”

【笔者译：】

“ ( 授 予 James H. Wilkinson 图 灵 奖 以 表 彰 其 在 )数值分析(numberical analysis)研究领域的杰出贡献。其工作加速了数字计算机(在科学计算中)的使用。Wilkinson在线性代数和向后误差分析(backward error analysis)的创造性工作也获得了非常大的成功。”

【笔者注：】

在数值分析中，我们知道著名的James H. Wilkinson多项式:

which has k roots: 1, 2, …, k.

The problem of finding the roots is ill-conditioned: A small change in one coefficient can lead to drastic changes in the roots. Wilkinson’s polynomial of degree 20 has 20 roots, but, as the graph below shows, the function becomes almost horizontal near the x-axis.

数值分析简介 :

http://en.wikipedia.org/wiki/Numerical_analysis

http://ocw.mit.edu/OcwWeb/Mathematics/18-330Spring-2004/CourseHome/index.htm

http://www.baidu.com/s?wd=%CA%FD%D6%B5%B7%D6%CE%F6&cl=3

另外，James Milkinson也是Pilot ACE计算机的主要贡献者之一。Pilot ACE是英国最早期的计算机之一。

Pilot ACE的资料可见：

http://en.wikipedia.org/wiki/Pilot_ACE
http://www.answers.com/topic/pilot-ace
http://www.sciencemuseum.org.uk/on-line/treasure/objects/1956-152.asp

Turing Award Lecture(图灵奖演讲文章)：

“Some Comments from a Numerical Analyst”. J. ACM 18(2): 137-147(1971)

James H. Wilkinson 简 介 :

James H. wilkinson1919年9月27日生于Strood, 英国。1936Wilkinson 在Trinity College, Cambridge以优异的成绩毕业。1946年，Wilkinson加入了National Physical Laboratory 并与Aln Turing(图灵)一起设计ACE计算机,成为Turing的助手。。

关于著名的Trinity College, Cambridge, 可参见：

http://www.trin.cam.ac.uk/
http://en.wikipedia.org/wiki/Trinity_College,_Cambridge

阅读全文»

分享

分享

Marvin Lee Minsky(08/09/1927─)
图灵奖获得时间：
1969 年。 第四位图灵奖获得者 。

图灵奖引用(Turing Award Citation) ：
The citation for this award winner is not currently available.

【笔者注：】在ACM的官方网站 上，没有对Marvin Minsky的图灵奖的Citation。但通常我们说Marvin Minsky是通过其在人工智能研究方面的杰出成就而获得1969年的图灵奖的。当年他才42岁。 　

Minsky被认为是20世纪人工智能(AI)研究的奠基人之一。1961年，Minsky发表了其著名的文章：Steps Toward Artificial Intelligence。原文可参见：
http://web.media.mit.edu/~minsky/papers/steps.html

1951年，Minsky建构了世界上第一个神经元网络模拟器–SNARC

更多的关于神经元网络:  http://www.aaai.org/AITopics/html/neural.html

关于人工智能的一些介绍可参见：

Artificial Intelligence: http://en.wikipedia.org/wiki/Artificial_intelligence
Brief History of Artificial Intelligence:

http://www.aaai.org/AITopics/bbhist.html
http://www.answers.com/topic/history-of-artificial-intelligence

阅读全文»

分享

分享

Richard Wesley Hamming (02/11/1915—01/07/1998)
图 灵 奖 获 得 时 间 ：

1968 年。 第三位图灵奖获得者 。

图 灵 奖 引 用 (Turing Award Citation) ：

For his work on numerical methods, automatic coding systems, and error-detecting and error-correcting codes.
【笔者译：】“ ( 授 予 Richard Hamming 图 灵 奖 以 表 彰 其 在 ) 数字方法，自动编码系统和错误检测和错误纠正编码领域的杰出贡献。”
 
【笔者注：】

Richard Hamming是著名的汉明码的发明人。汉明码是一种多重（复式）奇偶检错系统。它将信息用逻辑形式编码，以便能够检错和纠错。用在汉明码中的全部传输码字是由原来的信息和附加的奇偶监督位组成的。每一个这种奇偶位被编在传输码字的特定比特位置上。实现得合适时，这个系统对于错误的数位无论是原有信息位中的，还是附加监督位中的都能把它分离出来。汉明码被广泛应用在数据通讯领域中。

关于汉明码和编码理论中的检错和纠错，可参见：

检错和纠错： http://oldchild.nbc.net.cn/jsjsj/asm/jchjc.htm

编码理论：http://www.math.cuhk.edu.hk/publect/lecture6/Publec.ppt

Hamming Code: http://en.wikipedia.org/wiki/Hamming_code

通常，编码理论(Coding Theory)属于信息理论(Information Theory)的范畴

Coding Theory: http://en.wikipedia.org/wiki/Information_theory

Information Theory: http://en.wikipedia.org/wiki/Information_theory

关于编码理论的更多收集可参见：http://math.usask.ca/fvk/CodingTheory.html

Turing Award Lecture(图灵奖演讲文章)：
“One Man’s View of Computer Science”, Journal of the ACM, 16(1):3-12, January 1969
“ABSTRACT : A number of observations and comments are directed toward suggesting that more than the usual engineering flavor be given to computer science. The engineering aspect is important because most present difficulties in this field do not involve the theoretical question of whether certain things can be done, but rather the practical question of how can they be accomplished well and simply. The teaching of computer science could be made more effective by various alterations, for example, the inclusion of a laboratory course in programming, the requirement for a strong minor in something other than mathematics, and more practical coding and less abstract theory, as well as more seriousness and less game playing. ”

Richard W. Hamming 简介:

Richard W. Hamming 1915年2月11日出生于美国芝加哥，1998年1月7日去世与加州Monterey。Hamming博士是一位杰出的数学家，他对计算机科学和通讯领域的贡献包括：Hamming Code(汉明码)， Hamming Window, Hamming numbers, Sphere-packing(或称之为Hamming Bound)和Hamming Distance。
Richard W. Hamming1937年于芝加哥大学(University of Chicago)获得其学士学位，1939年于University of Nebraska获得其硕士学位， 1942年在UIUC(University of Illinois at Urbana-Champaign)获得其数学博士学位。其博士论文题目是：“Problems in the Boundary Value Theory of Linear Differential Equations”。汉明码(Hamming Code)的工作主要是在1950年完成的.

阅读全文»

分享

分享

Maurice Vincent Wilkes (06/26/1913—)

图灵奖获得时间 ：

1967 年。 第二位图灵奖获得者 。

图灵奖引用(Turing Award Citation) ：

“Professor Wilkes is best known as the builder and designer of the EDSAC, the first computer with an internally stored program. Built in 1949, the EDSAC used a mercury delay line memory. He is also known as the author, with Wheeler and Gill, of a volume on “Preparation of Programs for Electronic Digital Computers” in 1951, in which program libraries were effectively introduced.”

【笔者译：】 “(授予Maurice V. Wilkes图灵奖以表彰其在)Wikes 教授以设计和实现了第一台具有内部存储程序的计算机EDSAC而闻名。EDSAC在1949年5月成功运行并使用了汞(Mercury Delay Line)的存储器。与Wheeler和Gill一起，Wilkes教授在1951年出版了“Preparation of Programming for Electronic Digital Computers”一书。在这本书中，程序库的概念和用法被首次有效的提出。”

笔者注：

EDSAC: Electronic Delay Storage Automatic Calculator EDSAC项目是1946年开始的。

一般而言，学术与工业界认为，世界上第一台通用电子计算机是ENIAC(electronic numerical integrator and computer)。ENIAC是有美国宾州大学电子系Moore School of Electrical Engineering (University of Pennsylvania)在1943年到1946年设计的。其主要贡献者是J. Presper Eckert and John Mauchly。ENIAC不是含有存储器结构的计算机。1944年8月，John Mauchly和J. Presper  Eckert提出了EDVAC(electronic discrete variable automatic computer)项目。

1944年，John Von Neumann(冯. 诺依漫)加入了ENIAC研发小组。深受图灵(Turing)的Universal Machine的启发，冯. .依漫强调了一个计算机必须具备存储器的结构，在1945年6月撰写了其著名的”"First Draft of a report to the EDVAC”。这也就是我们常说的冯. 诺依漫机器结构。可惜的是，虽然EDVAC的设计在1946年就完成了，但直到1952年才完成。而此时，剑桥大学的Wilkes已经在1949年完成了EDSAC的设计与工程建造。或者我们说EDSAC是第一台诺依漫机器结构的电子计算机。

  阅读全文»

分享

分享

Alan J. Perlis(04/01/1922–02/07/1990)

图灵奖获得时间 ：

1966年 。 第一位图灵奖 (1966年) 获得者 。

图灵奖引用 (Turing Award Citation) ：

“For his influence in the area of advanced programming techniques and compiler construction”

【笔者译：】 “ (授予 Alan J. Perlis 图灵奖以表彰其在) 高级编程技术及其编译器构造领域的影响 。 ”

笔者注：

Alan上述的工作主要来源于 ， 作为一个主要研发 成 员 ， 在 ALGOL(ALGOrithmic Language) 编程语言方面的贡献 。 ALGOL 语言直接导致了PASCAL 语言的产生 。 关于ALGOL语言， 可参阅 ：

http://www.engin.umd.umich.edu/CIS/course.des/cis400/algol/algol.html

http://en.wikipedia.org/wiki/ALGOL_programming_language

关于编程语言的历史与演变， 可参见 ：

计算机语言发展历史

http://www.byte.com/art/9509/sec7/art19.htm

Turing Award Lecture(图灵奖演讲文章)：

“The Synthesis of Algorithmic Systems”(算法系统的合成), Journal of the ACM, 14(1):1-9, January 1967

Alan J. Perlis简介 :

Alan J. Perlis Wiki: http://en.wikipedia.org/wiki/Alan_Perlis

Alan ，出生于美国宾州 Pittsburgh, Pennsylvania.1943 年 获得卡内基梅隆大学（CMU）(www.cmu.edu)的化学学士学 位 。 1949年和1950年， 分别获得MIT的数学硕士与博士学位。其博士论文题目 为 “On Integral Equations, their Solution by Iteration and Analytic Continuation”.

Alan是著名的CMU计算机科学系的首位系主任在1965年到1971年。 在1971年，Alan加入耶鲁大学计算机科学系，并在1976年到1980年出任计算机系系主任。 1982年， Alan在耶鲁大学计算机系任职期间，撰写了一篇著名的文章 — ”Epigrams on Programming”(编程警言)并发表在ACM SIGPLAN杂志上(Vol. 17, No. 9, September 1982)。 这篇包含130个警言的文章得到了工业界和学术界广泛的注意和引用。 原文可参见 ：

http://www.cs.yale.edu/quotes.html

http://www-pu.informatik.uni-tuebingen.de/users/klaeren/epigrams.html

关于Alan更详细的生平和学术介绍可参见 ：

Alan J. Perlis的生平与学术生涯

http://www.cbi.umn.edu/collections/inv/cbi00064.html

Alan的学生及其谱系可以参阅如下：

http://people.engr.ncsu.edu/txie/sefamily.htm#perlis

Alan的历史照片:

分享

分享

前言：

《计算的美丽–图灵奖的第一个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。他们的失踪和离世是全人类的损失。笔者坚信，他们的名字必将与他们在其所在研究领域的发明创造一样，流芳百世。

*内容组织

对每一年的图灵奖，组织方式如下：

–照片
–得奖科学家名称，生肖
–图灵奖研究工作引用
–图灵奖研究工作引用(中文翻译)
–编者注 (关于相关的该学术研究领域介绍)
–当年图灵奖演讲文章
–图灵奖获得者简介
–图灵将获得者照片收集

笔者希望通过这样的方式，提供给读者一个快速，综合的渠道，可以展开并了解历届图灵奖获得者的生平、研究贡献和相关领域的发展和历史上的一些重要文献。 该电子书籍可以适用于数学和计算机相关领域的在校学生，研究生作为课外读物。也可以适用于计算机相关工程技术人员业余时间阅读。

谨以此书献给为中国信息产业和计算机界的人们! 希望不久的将来，中国在计算领域也产生为共享的人类文明做出重要贡献的科学家!

附录： 

笔者分析整理的关于图灵奖获得者的一些相关数据,其中包括:

国籍分布，学位分布，年龄分布，研究方向分布等等：

阅读全文»

分享

分享

二月四日，ACM宣布2007年计算机界最高荣誉奖–图灵奖，评选揭晓。来自美国卡内基梅隆大学（CMU）计算机系的Edmund M. Clarke， 来自美国得克萨斯大学奥斯汀分校（University of Texas at Austin)计算机系的E. Allen Emerson，和来自法国University of Grenoble的Joseph Sifakis共同获得此计算机界的“诺贝尔”奖。

 在ACM的官方网站上，对上述三位杰出科学家的学术贡献评价如下：

“For his role in developing Model-Checking into a highly effective verification technology, widely adopted in the hardware and software industries. ”

【笔者译：】

” 授以2007年ACM图灵奖，以表彰其在研发模型检查并使之成为一个非常有效的算法验证技术，并被广泛的应用在硬件和软件工业中。“

 【笔者注：】：

× ACM从1966年评选图灵奖，到目前为止，总共已经有五十四位科学家获得了此殊荣。更多的信息可参阅陈怀临的“计算的美丽–图灵奖的第一个四十年”一书。

分享