Ideas That Created the Future

2026-05-09 · 1 min read

Notes on Harry R. Lewis's Ideas That Created the Future: Classic Papers of Computer Science.

This parent page is a table of contents for chapter notes. The child pages follow the book's forty-six selected papers.

• 1. Prior Analytics
• 2. The True Method
• 3. Sketch of the Analytical Engine
• 4. An Investigation of the Laws of Thought
• 5. Mathematical Problems
• 6. On Computable Numbers
• 7. A Proposed Automatic Calculating Machine
• 8. A Symbolic Analysis of Relay and Switching Circuits
• 9. A Logical Calculus of the Ideas Immanent in Nervous Activity
• 10. First Draft of a Report on the EDVAC
• 11. As We May Think
• 12. A Mathematical Theory of Communication
• 13. Error Detecting and Error Correcting Codes
• 14. Computing Machinery and Intelligence
• 15. The Best Way to Design an Automatic Calculating Machine
• 16. The Education of a Computer
• 17. On the Shortest Spanning Subtree of a Graph and the Traveling Salesman Problem
• 18. The Perceptron
• 19. Some Moral and Technical Consequences of Automation
• 20. Man-Computer Symbiosis
• 21. Recursive Functions of Symbolic Expressions and Their Computation by Machine
• 22. Augmenting Human Intellect
• 23. An Experimental Time-Sharing System
• 24. Sketchpad
• 25. Cramming More Components onto Integrated Circuits
• 26. Solution of a Problem in Concurrent Program Control
• 27. ELIZA
• 28. The Structure of the THE-Multiprogramming System
• 29. Go To Statement Considered Harmful
• 30. Gaussian Elimination is Not Optimal
• 31. An Axiomatic Basis for Computer Programming
• 32. A Relational Model of Large Shared Data Banks
• 33. Managing the Development of Large Software Systems
• 34. The Complexity of Theorem-Proving Procedures
• 35. A Statistical Interpretation of Term Specificity and Its Application in Retrieval
• 36. Reducibility among Combinatorial Problems
• 37. The Unix Time-Sharing System
• 38. A Protocol for Packet Network Intercommunication
• 39. Programming with Abstract Data Types
• 40. The Mythical Man-Month
• 41. Ethernet
• 42. New Directions in Cryptography
• 43. Big Omicron and Big Omega and Big Theta
• 44. Social Processes and Proofs of Theorems and Programs
• 45. A Method for Obtaining Digital Signatures and Public-Key Cryptosystems
• 46. How to Share a Secret