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