Ideas that created the future : classic papers of computer science
- Cambridge : MIT Press, 2021
- xxii, 495 p. ; ill. 23 cm
Includes bibliographical references and index.
Ideas That Created the Future collects forty-six classic papers in computer science that map the evolution of the field. It covers all aspects of computer science: theory and practice, architectures and algorithms, and logic and software systems, with an emphasis on the period of 1936–1980 but also including important earlier work. Offering papers by thinkers ranging from Aristotle and Leibniz to Alan Turing and Nobert Wiener, the book documents the discoveries and inventions that created today's digital world. A brief essay by volume editor Harry Lewis, offering historical and intellectual context, accompanies each paper.
Readers will learn that we owe to Aristotle the realization that fixed rules of logic can apply to different phenomena—that logic provides a general framework for reasoning—and that Leibniz recognized the merits of binary notation. They can read Ada Lovelace's notes on L. F. Menabrea's sketch of an analytical engine, George Boole's attempt to capture the rules of reason in mathematical form, David Hilbert's famous 1900 address, “Mathematical Problems,” and Alan Turing's illumination of a metamathematical world. Later papers document the “Cambrian era” of 1950s computer design, Maurice Wilkes's invention of microcode, Grace Hopper's vision of the computer's “education,” Ivan Sutherland's invention of computer graphics at MIT, Whitfield Diffie and Martin Hellman's pioneering work on encryption, and much more. Lewis's guided tour of a burgeoning field is especially welcome at a time when computer education is increasingly specialized.
9780262045308
Computer science AL Gol Brook's law Clock Debugging EDVAC Entscheidungs problem FORTRAN Graphics, computer Hamiltonian circuit Lambda-CALCULUS Logic piano Digital signatures Manhattan project Nondeterministic Turing Machine Operating system Polynomial time Relational model Steiner tree Transistor Vacuum tube Waterfall model ELIZA Ethernet Cryptography