作者：g9yuayon
from：http://blog.csdn.net/g9yuayon/article/details/1512851
从Jao的Programming Musing 看到的：Babar Kazar 整理了一堆经典论文。Jao强烈建议每个严肃的程序员读每篇论文，说它们都或多或少有意思。粗粗扫了一下，很多论文都没读过。挑了些俺多少知道一点的介绍。
IEEE 约翰·冯诺依曼奖由IEEE成立于1990年，目的是表彰在计算机科学和技术上具有杰出成就的科学家。虽不如图灵奖那样有名，但也绝对是计算机科学界非常重量级的奖项了，获奖者也都是世界上举足轻重的计算机科学家，其中很多人也同时是图灵奖得主。
from： http://blog.sina.com.cn/s/blog_5c57b5190102e0dx.html
英文版： http://www.wired.com/wiredenterprise/2012/08/google-as-xerox-parc/2/
从某种意义上讲，谷歌就是施乐PARC研究中心的当代继承人，只是在PARC理念基础上迈出了更远步伐。谷歌所制定的管理措施，能够使该公司在完成技术开发后迅速投入使用。
【原题】COMPUTING MACHINERY AND INTELLIGENCE
【译题】计算机器和智能
【作者】阿兰图灵
1. 模仿游戏（The Imitation Game）
我提出来考虑个问题“计算机可以思考么？”这个句子需要对“机器”和“思考”的意义作出定义。这种定义可能受到了框制以反映出到目前为止一般意义上的使用之或然性（The definitions might be framed so as to reflect so far as possible the normal use of the words），但是这种态度是危险的，如果“机器”和“思考”这些单词的意义是通过“检测它们一般是被怎么使用的（examining how they are commonly used）”来找到话，“计算机可以思考么？”这个问题的意义和答案就很难逃出这样的结论：需要从一种统计意义上的审视去寻找，例如一次盖洛普民意测验（a Gallup poll）。不过这很荒唐。代替这样一种定义的尝试，我要把问题作另一个替换，其和问题很接近，而且是可以以相对不含糊的单词来表达。
【原题】 The Paradigms of Programming
【译题】 编程范式
【作者】 Robert W.Floyd
【题注】
Paradigm … [a. F. paradigme, ad.L. paradigma, a. Gr. παραδειγμα, pattern, example, fπαραδεικγν ? γαι to exhibit beside, show side by side …]
【译题】谦卑的程序员
经过一系列巧合，我在1952年春天的第一个早上正式开始了职业编程领域，而且就我所了解，我是第一个在我们国家做这一行的荷兰人。在回顾最叫人惊奇的事上，就是编程职业缓慢的涌现出来，至少在我那部分的世界中是如此，一种于今让人难以想象的缓慢。但是我很感谢来自那个“建立了不容置疑的缓慢的”时期的两个生动回忆。
【原文】 One Man’s View of Computer Science
【作者】R.W.HAMMING
Bell Telephone Laboratories,
【原刊】Journal of the Association for Computing Machinery Vol l6, No1. Juauary 1969, pp. 3-12.
一系列的观察以及评论直接对“考虑到计算机科学的普通工程学的品位”提出建议。工程学的角度之所以重要，是因为当前该领域大多数难点都还没有涉及到“特定的事情是否可以完成”的理论问题，但更实际的问题是它们可以怎样即简洁有有效的完成。
【原题】Finite Automata and Their Decision Problems
【译题】有限自动机及其判定问题
【作者】Michael O. Robin ，D scott
摘要：这篇文章中把有限状态机（Finite automata）当作对有限磁带的分类设备来考虑。每个一磁带自动机定义了一个磁带集（Each onetape automaton defines a set of tapes），一个两磁带自动机定义了一对集，诸如此类。将研究被定义的集之结构。介绍了一自动机的各种一般概念，而且它们到经典自动机的关系被决定了。一些关注自动机的判定问题显示可通过有效算法来解决；其它则显示为通过算法不可解决。
【原题】Reflections on Software Research
【译题】对软件研究的反思
【题注】孕育了UNIX项目的贝尔实验室环境是可以再次产生的么？
UNIX1操作系统突然之间变成新闻了，不过它不是新闻。它始自1969年，当 Ken Thompson 发现了一台很少使用的 PDP-7 计算机，并着手鼓捣出一个他喜欢的计算机环境。他的工作很快就吸引了我；我加入到了该事业，关于那件事的大多数想法和大多数工作都要归于他。不久以后，来自AT&T贝尔实验室的我们研究领域组织的其他人开始使用该系统；Joe Ossanna, Doug McIlroy, 和Bob Morris 做出了特别突出的贡献。在1971年，我们搞到了一台PDP-11，而且在该年年末我们就开始支持我们第一个真实用户了：授予专利应用的三个打字员。在1973年，系统用C语言重写了，也是在那一年，系统第一次公开的在操作系统 原理会议（the Operating Systems Principles conference）上被做出描述；结果文献【参见8】就出现在下一年的ACM通讯上了。
“大多数科学家是因为惧怕生活而成为科学家的。在科学中有所成就是非常诱人的，因为不必与人发生冲突，不必感受人际关系的痛苦，不必在世界上艰难前进就可以成就这些东西。脱离尘世是多么地诱人——这个有几分清净的世界，你可以全力施展你的才华，而没有任何痛苦。解决问题的痛苦和生活中的痛苦比起来是微不足道的。” –约翰.巴库斯
转载请注明作者：phylips@bmy
哥德尔完备性定理
希尔伯特在20世纪20年代介绍了他的元数学纲领：一致性有待证明的公理将被包含在一个形式逻辑系统之内，而证明仅仅是有限数目的符号的一种排列而已。当希尔伯特开始思考希尔伯特纲领时，希尔伯特的学生阿克曼和冯诺依曼似乎正在朝着用有限性方法证明PA的一致性的方向大步迈进。他们二人都已经为PA的一个有限的子系统找到了这样的证明，成功似乎指日可待。
转载请注明作者：phylips@bmy
弗雷格的突破与绝望
弗雷格的一生主要发表了这样三本著作：《概念演算–一种模仿算术语言构造的纯思维的符号语言》（1879）、《算术的基础–对数概念的逻辑数学研究》（1884）《算术的基本规律》（l卷 1893，2卷1903）。
序
人类的历史可以看做一部关于解放的历史。也有这样的说法，懒惰是人类进步的动力。为了偷懒，人类不断的做着各种努力，发明了各种机器工具，将自己从繁重的劳动解放出来，另一方面，每一次大的进步，都需要解放思想，同时也带来了全人类思想的大解放。在这样的历程中，计算机的出现无疑将人类从很多繁重的作业中解放了出来。与此同时，有些人开始思考能否制造出可以像人类一样进行思考的机器，以将人类从创造性的劳动和逻辑思考中解放出来，交给机器去完成。
John E. Hopcroft and Robert Tarjan
Citation
For fundamental achievements in the design and analysis of algorithms and data structures.
———————————————————————-
1986年的图灵奖由康乃尔大学机器人实验室主任约翰·霍普克洛夫特（John Edward Hopcroft）和普林斯顿大学计算机科学系教授罗伯特·陶尔扬（Robert Endre Tarjan）共享，而陶尔扬曾是霍普克洛夫特的学生。这师生两人由于在数据结构和算法的设计和分析方面的众多创造性贡献而共同获此殊荣，在业界传为美谈。