计算机科学领域的 46 篇经典论文

在 Google 上看到一本书名字叫 "Ideas That Created the Future: Classic Papers of Computer Science" ，作者叫 Harry R. Lewis。书名起的非常有吸引力，作者 Harry 的维基上介绍他是出生于 40 年代的老计算机科学家，曾经是哈佛的系主任。Bill Gates 和 Mark Zuckerberg 都曾是他课上的学生，可见作者在计算机科学领域的资历和影响力之深。
既然是元老级人物写的论文推荐，那权威性和质量应该是毋庸置疑的。这本书在亚马逊上卖 70 多刀，国内没找到翻译版。但在一篇国外的博客上看到了对这本书的介绍。从博客里面列出的 46 篇经典论文可以看到，这本书主要讲述的其实是计算机科学的起源，选取的论文最晚的发表时间也早在 1979 年，最早甚至追溯到了公元前 350 年，也包含了 17 世纪莱布尼茨的作品。按照博客的介绍，这些论文都比较短，对我们这些阅读理解能力偏弱的人比较友好。
还没来得及一一品读这些，先把论文列举如下，大家可以去 Google 学术上搜搜看。

1. Prior Analytics ( 350 BCE), Aristotle 学术链接
2. The True Method (1677), Gottfried Wilhelm Leibniz 链接
3. Sketch of the Analytical Engine (1843), L. F. Menabrea, with Notes by the Translator, Ada Augusta, Countess of Lovelace 学术链接
4. An Investigation of the Laws of Thought on Which Are Founded the Mathematical Theories of Logic and Probabilities (1854), George Boole 学术链接
5. Mathematical Problems (1900), David Hilbert 学术链接
6. On Computable Numbers, with an Application to the Entscheidungsproblem (1936), Alan Mathison Turing 学术链接
7. A Proposed Automatic Calculating Machine (1937), Howard Hathaway Aiken 学术链接
8. A Symbolic Analysis of Relay and Switching Circuits (1938), Claude Shannon 学术链接
9. A Logical Calculus of the Ideas Immanent in Nervous Activity (1943) Warren McCulloch and Walter Pitts 学术链接
10. First Draft of a Report on the EDVAC (1945), John von Neumann 学术链接
11. As We May Think (1945), Vannevar Bush 学术链接
12. A Mathematical Theory of Communication (1948), Claude Shannon 学术链接
13. Error Detecting and Error Correcting Codes (1950), R. W. Hamming 学术链接
14. Computing Machinery and Intelligence (1950), Alan Mathison Turing 学术链接
15. The Best Way to Design an Automatic Calculating Machine (1951), Maurice Wilkes 学术链接
16. The Education of a Computer (1952), Grace Murray Hopper ACM SIGACT News 15 June 2021, vol. 52, no. 2 学术链接
17. On the Shortest Spanning Subtree of a Graph and the Traveling Salesman Problem (1956), Joseph B. Kruskal, Jr. 学术链接
18. The Perceptron: A Probabilistic Model for Information Storage and Organization (1958), Frank Rosenblatt 学术链接
19. Some Moral and Technical Consequences of Automation (1960), Norbert Wiener 学术链接
20. Man-Computer Symbiosis (1960), J. C. R. Licklider 学术链接
21. Recursive Functions of Symbolic Expressions and Their Computation by Machine (1960), John Mc- Carthy 学术链接
22. Augmenting Human Intellect: A Conceptual Framework (1962), Douglas C. Engelbart 学术链接
23. An Experimental Time-Sharing System (1962), Fernando Corbato, Marjorie Merwin Daggett, and Robert C. Daley 学术链接
24. Sketchpad (1963), Ivan E. Sutherland 学术链接
25. Cramming More Components onto Integrated Circuits (1965), Gordon Moore 学术链接
26. Solution of a Problem in Concurrent Program Control (1965), Edsger Dijkstra 学术链接
27. ELIZA -- A Computer Program for the Study of Natural Language Communication between Man and Machine (1966), Joseph Weizenbaum 学术链接
28. The Structure of the "THE"-Multiprogramming System (1968), Edsger Dijkstra 学术链接
29. Go To Statement Considered Harmful (1968), Edsger Dijkstra 学术链接
30. Gaussian Elimination is Not Optimal (1969), Volker Strassen 学术链接
31. An Axiomatic Basis for Computer Programming (1969), C. A. R. Hoare 学术链接
32. A Relational Model of Large Shared Data Banks (1970), Edgar F. Codd 学术链接
33. Managing the Development of Large Software Systems (1970), Winston W. Royce 学术链接
34. The Complexity of Theorem-Proving Procedures (1971), Stephen A. Cook 学术链接
35. A Statistical Interpretation of Term Specificity and Its Application in Retrieval (1972), Karen Sp¨arck Jones 学术链接
36. Reducibility among Combinatorial Problems (1972), Richard Karp 学术链接
37. The Unix Time-Sharing System (1974), Dennis Ritchie and Kenneth Thompson 学术链接
38. A Protocol for Packet Network Intercommunication (1974), Vinton Cerf and Robert Kahn 学术链接
39. Programming with Abstract Data Types (1974), Barbara Liskov and Stephen Zilles 学术链接
40. The Mythical Man-Month (1975), Frederick C. Brooks 学术链接
41. Ethernet: Distributed Packet Switching for Local Computer Networks (1976), Robert Metcalfe and David R. Boggs ACM SIGACT News 16 June 2021, vol. 52, no. 2 学术链接
42. New Directions in Cryptography (1976), Whitfield Diffie and Martin Hellman 学术链接
43. Big Omicron and Big Omega and Big Theta (1976), Donald E. Knuth 学术链接
44. Social Processes and Proofs of Theorems and Programs (1977), Richard DeMillo, Richard Lipton, and Alan Perlis 学术链接
45. A Method for Obtaining Digital Signatures and Public-Key Cryptosystems (1978), Ronald Rivest, Adi Shamir, and Len Adleman 学术链接
46. How to Share a Secret (1979), Adi Shamir 学术链接