Ideas That Created the Future: Classic Papers of Computer Science

by Harry R. Lewis (Editor)

Overview

Classic papers by thinkers ranging from from Aristotle and Leibniz to Norbert Wiener and Gordon Moore that chart the evolution of computer science.

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 early 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. Each paper is accompanied by a brief essay by Harry Lewis, the volume's editor, offering historical and intellectual context.

Product Details

ISBN-13:	9780262045308
Publisher:	MIT Press
Publication date:	02/02/2021
Pages:	520
Product dimensions:	7.06(w) x 9.00(h) x 0.88(d)

About the Author

Harry R. Lewis is Gordon McKay Research Professor of Computer Science at Harvard University.

Table of Contents

Preface xiii

Introduction: The Roots and Growth of Computer Science xv

1 Prior Analytics (∼350 BCE) Aristotle 1

2 The True Method (1677) Gottfried Wilhelm Leibniz 5

3 Sketch of the Analytical Engine (1843) L. F. Menabrea with Notes by the Translator, Ada Augusta, Countess of Lovelace 9

4 An Investigation of the Laws of Thought on Which Are Founded the Mathematical Theories of Logic and Probabilities (1854) George Boole 27

5 Mathematical Problems (1900) David Hilbert 45

6 On Computable Numbers, with an Application to the Entscheidungsproblem (1936) Alan Mathison Turing 51

7 A Proposed Automatic Calculating Machine (1937) Howard Hathaway Aiken 61

8 A Symbolic Analysis of Relay and Switching Circuits (1938) Claude Shannon 71

9 A Logical Calculus of the Ideas Immanent in Nervous Activity (1943) Warren McCulloch Walter Pitts 79

10 First Draft of a Report on the EDVAC (1945) John von Neumann 89

11 As We May Think (1945) Vannevar Bush 107

12 A Mathematical Theory of Communication (1948) Claude Shannon 121

13 Error Detecting and Error Correcting Codes (1950) R. W. Hamming 135

14 Computing Machinery and Intelligence (1950) Alan Mathison Turing 147

15 The Best Way to Design an Automatic Calculating Machine (1951) Maurice Wilkes 165

16 The Education of a Computer (1952) Grace Murray Hopper 169

17 On the Shortest Spanning Subtree of a Graph and the Traveling Salesman Problem (1956) Joseph B. Kruskal, Jr. 179

18 The Perceptron: A Probabilistic Model for Information Storage and Organization (1958) Frank Rosenblatt 183

19 Some Moral and Technical Consequences of Automation (1960) Norbert Wiener 191

20 Man-Computer Symbiosis (1960) J. C. R. Licklider 201

21 Recursive Functions of Symbolic Expressions and Their Computation by Machine (1960) John McCarthy 213

22 Augmenting Human Intellect: A Conceptual Framework (1962) Douglas C. Engelbart 225

23 An Experimental Time-Sharing System (1962) Fernando Corbató Marjorie Merwin Daggett Robert C. Daley 237

24 Sketchpad (1963) Ivan E. Sutherland 251

25 Cramming More Components onto Integrated Circuits (1965) Gordon Moore 261

26 Solution of a Problem in Concurrent Program Control (1965) Edsger Dijkstra 267

27 ELIZA-A Computer Program for the Study of Natural Language Communication between Man and Machine (1966) Joseph Weizenbaum 271

28 The Structure of the "THE"-Multiprogramming System (1968) Edsger Dijkstra 279

29 Go To Statement Considered Harmful (1968) Edsger Dijkstra 289

30 Gaussian Elimination is Not Optimal (1969) Volker Strassen 293

31 An Axiomatic Basis for Computer Programming (1969) C. A. R. Hoare 297

32 A Relational Model of Large Shared Data Banks (1970) Edgar F. Codd 307

33 Managing the Development of Large Software Systems (1970) Winston W. Royce 321

34 The Complexity of Theorem-Proving Procedures (1971) Stephen A. Cook 333

35 A Statistical Interpretation of Term Specificity and Its Application in Retrieval (1972) Karen Spärck Jones 339

36 Reducibility among Combinatorial Problems (1972) Richard Karp 349

37 The Unix Time-Sharing System (1974) Dennis Ritchie Kenneth Thompson 357

38 A Protocol for Packet Network Intercommunication (1974) Vinton Cerf Robert Kahn 373

39 Programming with Abstract Data Types (1974) Barbara Liskov Stephen Zilles 387

40 The Mythical Man-Month (1975) Frederick C. Brooks 399

41 Ethernet: Distributed Packet Switching for Local Computer Networks (1976) Robert Metcalfe David R. Boggs 407

42 New Directions in Cryptography (1976) Whitfield Diffie Martin Hellman 421

43 Big Omicron and Big Omega and Big Theta (1976) Donald E. Knuth 441

44 Social Processes and Proofs of Theorems and Programs (1977) Richard DeMillo Richard Lipton Alan Perlis 447

45 A Method for Obtaining Digital Signatures and Public-Key Cryptosystems (1978) Ronald Rivest Adi Shamir Len Adleman 463

46 How to Share a Secret (1979) Adi Shamir 475

Bibliography 479

Index 491