计算的美丽–1981年图灵奖获得者Edgar Codd
作者 陈怀临 | 2008-03-28 09:05 | 类型 人物评述, 计算的美丽 | Comments Off
|
图灵奖获得时间： 1981年 。 第十六位图灵奖(1981年)获得者。 图灵奖引用(Turing Award Citation)： For his fundamental and continuing contributions to the theory and practice of database management systems. He originated the relational approach to database management in a series of research papers published commencing in 1970. His paper “A Relational Model of Data for Large Shared Data Banks” was a seminal paper, in a continuing and carefully developed series of papers. Dr. Codd built upon this space and in doing so has provided the impetus for widespread research into numerous related areas, including database languages, query subsystems, database semantics, locking and recovery, and inferential subsystems. 【笔者译：】 “ ( 授予Edgar F. Codd图灵奖以表彰其) 在数据库管理系统的理论与实践领域的根本性的，持续的贡献。开始于1970年，Edgar发表了一系列的研究文章关于关系数据模型的数据库管理。其中，他的“A Relational Model of Data for Large Shared Data Banks” 一文是数据库系统研究领域的开创性文章。Codd博士在数据库领域的基础性工作为其他相关领域的广泛研究提供了动力，比如数据库语言，查询子系统，数据库语义，锁和恢复，推理系统等等。” | |
 (没有打分) |
Edgar Frank Codd (08/23/1923—04/18/2003)计算的美丽–1980年图灵奖获得者Tony Hoare
作者 陈怀临 | 2008-03-28 08:28 | 类型 人物评述, 计算的美丽 | Comments Off
|
图灵奖获得时间： 1980年。 第十五位图灵奖(1980年)获得者。 图灵奖引用(Turing Award Citation) ： For his fundamental contributions to the definition and design of programming languages. 【笔者译：】 ( 授予C. Antony R. Hoar图灵奖以表彰其在) 程序语言定义与设计领域的根本性的贡献。 | |
 (2个打分， 平均：5.00 / 5) |
C. Antony R. Hoare (1/11/1934–)计算的美丽–1979年图灵奖获得者Kenneth Iverson
作者 陈怀临 | 2008-03-23 09:06 | 类型 人物评述, 计算的美丽 | Comments Off
|
图灵奖获得时间： 1979年。 第十四位图灵奖(1979年)获得者 。 图灵奖引用(Turing Award Citation) ： For his pioneering effort in programming languages and mathematical notation resulting in what the computing field now knows as APL, for his contributions to the implementation of interactive systems, to educational uses of APL, and to programming language theory and practice. 【笔者译：】 ( 授 予 Kenneth E. Iverson 图 灵 奖 以 表 彰 其 ) 在APL程序语言和(计算机)数学符号方面的先驱性的工作；表彰其在教育和普及APL语言和程序语言理论和实践方面的交互式系统的实现工作。 | |
|
(没有打分) |
Kenneth Eugene Iverson (12/17/1920—10/19/2004)计算的美丽–1978年图灵奖获得者Robert Floyd
作者 陈怀临 | 2008-03-23 09:00 | 类型 人物评述, 计算的美丽 | Comments Off
|
图灵奖获得时间： 1978年。 第十三位图灵奖(1978年)获得者。 图灵奖引用(Turing Award Citation) ： For having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms. 【笔者译：】 “ ( 授 予 Robert W. Floyd 图 灵 奖 以 表 彰 其 ) 在高效和可靠性软件设计方法学领域的显著影响；表彰其在下列计算机科学重要分支的奠基性的贡献：(词法)分析理论，编程语言语义，自动程序验证，自动程序综合生成和算法分析。” | |
|
(没有打分) |
Robert W. Floyd (06/08/1936—09/25/2001)计算的美丽–1977年图灵奖获得者John Backus
作者 陈怀临 | 2008-03-21 06:10 | 类型 人物评述, 计算的美丽 | Comments Off
|
图灵奖获得时间： 1977 年 。 第十二位图灵奖(1977年)获得者。 图灵奖引用(Turing Award Citation)： For profound, influential, and lasting contributions to the design of practical high-level programming systems, notably through his work on FORTRAN, and for seminal publication of formal procedures for the specification of programming languages. 【笔者译：】 “ ( 授 予John Backus 图 灵 奖 以表 彰其在) 可实用高级编程系统设计，特别是其在FORTRAN语言方面的设计，以及其在编程语言规约的形式化描述方面的，深奥的，杰出影响力的和持续的贡献。” | |
|
(没有打分) |
John W. Backus(12/3/1924–3/17/2007)计算的美丽–1976年图灵奖获得者Michael Rabin
作者 陈怀临 | 2008-03-20 05:58 | 类型 人物评述, 计算的美丽 | Comments Off
|
图灵奖获得时间： 1976年。 第十一位图灵奖(1976年)获得者。 图灵奖引用(Turing Award Citation) ： For their joint paper “Finite Automata and Their Decision Problem,” which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept. Their (Scott & Rabin) classic paper has been a continuous source of inspiration for subsequent work in this field. 【笔者译：】 “( 授 予 Michael O. Rabin图 灵 奖 以 表 彰 其 )( (与Dana Steward Scott合作撰写的研究论文)有限自动机与其判定性问题。在该研究论文中，提出了非确定性(自动机)机器的观点。(在计算理论科学研究中，)非确定性被证明是一个非常重要的概念。Rabin和Scott的这篇经典文章成为这个领域后续研究的基石。” 【笔者注：】 Rabin著名论文可参见：有限自动机与其判定性问题（PDF 格式） | |
|
(没有打分) |
Michael Oser Rabin (1931–)计算的美丽–1976年图灵奖获得者Dana Scott
作者 陈怀临 | 2008-03-20 05:44 | 类型 人物评述, 计算的美丽 | Comments Off
|
图灵奖获得时间： 1976年。 第十一位图灵奖(1976年)获得者。 图灵奖引用(Turing Award Citation) ： For their joint paper “Finite Automata and Their Decision Problem,” which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept. Their (Scott & Rabin) classic paper has been a continuous source of inspiration for subsequent work in this field. 【笔者译：】 “ ( 授 予 Dana S. Scott图 灵 奖 以 表 彰 其 )( (与Michael O. Rabin合作撰写的研究论文)有限自动机与其判定性问题。在该研究论文中，提出了非确定性(自动机)机器的观点。(在计算理论科学研究中，)非确定性被证明是一个非常重要的概念。Scott和Rabin的这篇经典文章成为这个领域后续研究的基石。” 【笔者注：】 Scott的著名论文可参见：有限自动机与其判定性问题（PDF 格式） | |
|
(没有打分) |
Dana Stewart Scott (1932–)计算的美丽–1975年图灵奖获得者Herbert Simon
作者 陈怀临 | 2008-03-15 18:20 | 类型 人物评述, 计算的美丽 | Comments Off
|
图灵奖获得时间： 1975年。 第十位图灵奖(1975年)获得者(与Allen Newell联合获得) 。 图灵奖引用(Turing Award Citation) ： In joint scientific efforts extending over twenty years, initially in collaboration with J. C. Shaw at the RAND Corporation, and subsequentially with numerous faculty and student collegues at Carnegie-Mellon University, they have made basic contributions to artificial intelligence, the psychology of human cognition, and list processing. 【笔者译：】 “(授予Herbert Simon图灵奖以表彰其在)开始于与在RAND(兰德)公司的与J. C. Shaw的合作，然后与Carnegie-Mellon Unviersity(CMU)的众多教授和学生的合作的二十多年的科学生涯中，他们在人工智能，认知科学，编目处理方面作出了(卓越的)基础研究。” 笔者注： Hebert同时也是1978年诺贝尔经济学奖的获得者。其诺贝尔奖的引用是： “for his pioneering research into the decision-making process within economic organizations” RAND Cooperation(兰德公司): http://www.rand.org/ 兰德公司有美国政府智库一称。是一个非营利性质的研究结构。 Herbert在信息处理语言(Information Processing Language)方面，最早的两个AI(人工智能)语言 Logic Theory Machine和General Problem Solver做出了杰出的贡献。 | |
|
(1个打分， 平均：5.00 / 5) |
Herbert Simon(06/15/1916—02/09/2001)计算的美丽–1975年图灵奖获得者Allen Newell
作者 陈怀临 | 2008-03-15 17:08 | 类型 人物评述, 计算的美丽 | Comments Off
|
图灵奖获得时间： 1975 年。第十位图灵奖(1975年)获得者(与Herbert Simon共同获得) 。 图灵奖引用 (Turing Award Citation)： In joint scientific efforts extending over twenty years, initially in collaboration with J. C. Shaw at the RAND Corporation, and subsequentially with numerous faculty and student collegues at Carnegie-Mellon University, they have made basic contributions to artificial intelligence, the psychology of human cognition, and list processing. 【笔者译：】 “(授予Allen Newell图灵奖以表彰其在)开始于与在RAND(兰德)公司的与J. C. Shaw的合作，然后与Carnegie-Mellon Unviersity (CMU) 的众多教授和学生的合作的二十多年的科学生涯中，他们在人工智能，认知科学，编目处理方面作出了(卓越的)基础研究。” 【笔者注：】 RAND Cooperation(兰德公司): http://www.rand.org 兰德公司有美国政府智库一称。是一个非营利性质的研究结构。Allen在信息处理语言(Information Processing Language)方面，最早的两个AI(人工智能)语言 Logic Theory Machine和General Problem Solver做出了杰出的贡献。 | |
|
(1个打分， 平均：2.00 / 5) |
Allen Newell(03/19/1927–07/19/1992)计算的美丽–1974年图灵奖获得者Donald Knuth
作者 陈怀临 | 2008-03-14 21:06 | 类型 人物评述, 计算的美丽 | 3条用户评论 »
|
图灵奖获得时间： 1974 年。 第九位图灵奖(1974年)获得者 。 图灵奖引用(Turing Award Citation) ： For his major contributions to the analysis of algorithms and the design of programming languages, and in particular for his contributions to the “art of computer programming” through his well-known books in a continuous series by this title. 【笔者译：】 “ ( 授予Donald E. Knuth图灵奖以表彰其在) 算法分析和程序语言设计领域的杰出贡献，特别是其著名的“Art of Computer Programming”系列丛书。” 【笔者注：】 计算机历史官方网站对Knuth的介绍： http://www.computerhistory.org/events/index.php?spkid=0&ssid=1090020922 Knuth在Stanford University的主页： http://www-cs-faculty.stanford.edu/~knuth/ 关于“计算机编程的艺术”丛书的介绍，可参见： http://www-cs-faculty.stanford.edu/~knuth/taocp.html Turing Award Lecture(图灵奖演讲文章)： Computer Programming as an Art. Commun. ACM 17(12): 667-673(1974) Donald Knuth简介: Knuth Wiki: http://en.wikipedia.org/wiki/Donald_Knuth Knuth1938年1月10日出生于Milwaukee, Wisconsin, USA. 1960年，Knuth以其本科论文的工作同时获得其学士与硕士学位在Case Institute of Technology(Case Insitute of Technology于1960年与Western Reserve University合并为Case Western REserve University,位於 Cleveland, Ohio, USA. www.case.edu )
1963年，Knuth在加州理工学院获得其数学博士学位，同时并留校任教并开始着手撰写其著名的“计算机编程的艺术(The Art of Computer Programming”一书。Knuth最开始打算写7卷。1968年，Knuth完成了第一卷。同年，Knuth获得了斯坦福大学的教职位置，并一直工作到退休。1969年，Knuth完成了第二卷，1973年完成了第三卷。关于“计算机编程的艺术”丛书的介绍，可参见： http://en.wikipedia.org/wiki/The_Art_of_Computer_Programming 1976年，当Knuth准备其书的第二卷的第二版时，非常沮丧当时的书籍排版技术，於是Knuth自己发明了著名的TEX和METAFONT排版软件。 一个关于Knuth和其书籍的有趣的故事是，Knuth给任何如果能找出并证明其书中的错误的人256美分的报酬。关于为什么是256美分，原因是： 256 pennies is one hexadecimal dollar。
| |
|
(4个打分， 平均：4.00 / 5) |
Donald E. Knuth(01/10/1938–)
