# Ideas that created the future: Classic papers of computer science

> Ideas that created the future: Classic papers of computer science

Ideas that created the future: Classic papers of [computer science](https://wiki.g15e.com/pages/Computer%20science.txt)

## Preface

## Introduction: The Roots and Growth of Computer Science

## Chapter 1. Prior Analytics: Aristotle (-<350 BCE>)

## Chapter 2. The True Method: Gottfried Wilhelm Leibniz (<1677>)

## Chapter 3. Sketch of the Analytical Engine: Ada Augusta (<1843>)

## Chapter 4. An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities: George Boole (<1854>)

## Chapter 5. Mathematical Problems: David Hilbert (<1900>)

## Chapter 6. On Computable Numbers, with an Application to the Entscheidungsproblem: Alan Turing (<1936>)

## Chapter 7. A Proposed Automatic Calculating Machine: Howard Hathaway Aiken (<1937>)

## Chapter 8. A Symbolic Analysis of Relay and Switching Circuits: Claude Shannon (<1938>)

## Chapter 9. A Logical Calculus of the Ideas Immanent in Norvous Activity: Warren McCulloch and Walter Pitts (<1943>)

## Chapter 10. First Draft of a Report on the EDVAC: John von Neumann (<1945>)

## Chapter 11. As We May Think: Vannevar Bush (<1945>)

## Chapter 12. A Mathematical Theory of Communication: Claude Shannon (<1948>)

## Chapter 13. Error Detecting and Error Correcting Codes: R. W. Hamming (<1950>)

## Chapter 14. Computing Machinery and Intelligence: Alan Turing (<1950>)

## Chapter 15. The Best Was to Design an Automatic Calculating Machine: Maurice Wilkes (<1950>)

## Chapter 16. The Education of a Computer: Grace Murray Hopper (<1952>)

## Chapter 17. On the Shortest Spanning Subtree of a Graph and the Traveling Salesman Problem: Joseph B. Kruskal, Kr (<1956>)

## Chapter 18. The Perceptron: A Probabilistic Model for Information Storage and Organization: Frank Rosenblatt (<1958>)

## Chapter 19. Some Moral and Technical Consequences of Automation: Nobert Wiener (<1960>)

## Chapter 20. Man-Computer Symbiosis: J. C. R. Licklider (<1960>)

See [Man-computer symbiosis](https://wiki.g15e.com/pages/Man-computer%20symbiosis.txt)

## Chapter 21. Recursive Functions of Symbolic Expression and Their Computation by Machine: John McCarthy (<1960>)

## Chapter 22. Augmenting Human Intellect: A Conceptual Framework: Douglas C. Engelbart (<1962>)

## Chapter 23. An Experimental Time-Sharing System: Fernando Corbató, Marjorie Merwin Daggett, and Robert C. Daley (<1962>)

## Chapter 24. Sketchpad: Ivan E. Sutherland (<1963>)

## Chapter 25. Cramming More Components onto Integrated Circuits: Gordon Moore (<1965>)

## Chapter 26. Solution of a Problem in Concurrent Program Control: [Edsger Dijkstra](https://wiki.g15e.com/pages/Edsger%20Dijkstra.txt) (<1965>)

## Chapter 27. ELIZA - A Computer Program for the Study of Natural Language Communication between Man and Machine: Joseph Weizenbaum (<1966>)

## Chapter 28. The Structure of the "THE" - Multiprogramming System: [Edsger Dijkstra](https://wiki.g15e.com/pages/Edsger%20Dijkstra.txt) (<1968>)

## Chapter 29. Go To Statement Considered Harmful: [Edsger Dijkstra](https://wiki.g15e.com/pages/Edsger%20Dijkstra.txt) (<1968>)

## Chapter 30. Gaussian Elimination is not Optimal: Volker Strassen (<1969>)

## Chapter 31. An Axiomatic Basis for Computer Programming: C. A. R. Hoare (<1969>)

## Chapter 32. A Relational Model of Large Shared Data Banks: Edgar F. Codd (<1970>)

## Chapter 33. Managing the Development of Large Software Systems: Winston W. Royce (<1970>)

## Chapter 34. The Complexity of Theorem-Proving Procedures: Stephen A. Cook (<1971>)

## Chapter 35. A Statistical Interpretation of Term Specificity and Its Application in Retrieval: Karen Spärck Jones (<1972>)

## Chapter 36. Reducibility among Combinatorial Problems: Richard Karp (<1972>)

## Chapter 37. The Unix Time-Sharing System: Dennis Ritchie and Kenneth Thompson (<1974>)

## Chapter 38. A Protocol for Packet Network Intercommunication: Vinton Cerf and Robert Kahn (<1974>)

## Chapter 39. Programming with Abstract Data Types: Barbara Liskov and Stephen Zilles (<1974>)

## Chapter 40. The Mythical Man-Month: Frederick C. Brooks (<1975>)

## Chapter 41. Ethernet: Distributed Packet Switching for Local Computer Networks: Robert Metcalfe and David. R. Boggs (<1976>)

## Chapter 42. New Directions in Cryptography: Whitfield Diffie and Martin Hellman (<1976>)

## Chapter 43. Big Omicron and Big Omega and Big Theta: Donald E. Knuth (<1976>)

## Chapter 44. Social Processes and Proofs of Theorems and Programs: Richard DeMillo, Richard Lipton, and Alan Perlis (<1977>)

## Chapter 45. A Method for Obtaining Digital Signatures and Public-Key Cryptosystems: Ronald Rivest, Adi Shamir, and Len Adleman (<1978>)

## Chapter 46. How to Share a Secret: Adi Shamir (<1979>)