Author |
Title |
Publisher/Source |
Aiken, Howard |
Proposed Automatic Calculating Machine [1937] |
Reprinted in Makin' Numbers: Howard Aiken and the Computer
I. B. Cohen, G. Welch, and R. Campbell (eds.)
MIT Press, Cambridge MA 1999 |
Ada Augusta, Countess of Lovelace |
Notes on the Analytical Engine [1842] |
Reprinted in Charles Babbage and his Calculating Engines
Philip and Emily Morrison, eds.
Dover, New York 1961 |
Babbage, Charles |
Of the Analytical Engine [1864]
|
Excerpted from Passages from the Life of a Philosopher
M. Campbell-Kelly (ed.)
Rutgers U. Press (reprint) 1994 |
Boole, George |
An Investigation of the Laws of Thought [1854] |
Dover Books, NY |
Bush, Vannevar |
As We May Think [1945] |
Reprinted in From Memex to Hypertext, J. Nyce (ed.)
Academic Books 1991 |
Brooks, Frederick |
The Mythical Man-Month |
Addison-Wesley, Reading MA 1975 |
Clarke, Arthur C. |
2001: A Space Odyssey [1968] |
Reprinted by New American Library, 1993 |
Dijkstra, E. |
Go To Statement Considered Harmful [1968] |
Reprinted in Communications of the ACM, 26:1 (Jan. 1983) |
Solution of a Problem in Concurrent Programming Control [1965] |
Feynman, Richard |
Feynman Lectures on Computation |
Addison-Wesley, Reading MA 1996 |
There's Plenty of Room at the Bottom [1959] |
In Feynman and Computation, A. Hey, (ed.) Perseus Books, Reading, MA. 1999. |
Gardner, Martin |
Columns on John Conway's game of Life |
Originally inScientific American (1970)
Reprinted in Wheels, Life, and other Mathematical Amusements
W. H. Freeman 1985 |
Goedel, Kurt |
On Formally Undecidable Propositions of Principia Mathematica
and Related Systems [1931] |
Dover Books, 1992 |
Karp, R. |
Reducibility among Combinatorial Problems |
In Complexity of Computer Computations (pp. 85-104)
R.E. Miller and J. W. Thatcher, eds.
Plenum Press, NY 1972 |
Leibniz, G. |
On His Calculating Machine [1685] |
Reprinted in A Source Book of Mathematics, D.E. Smith, ed.
Dover Books, NY 1959 |
Licklider, J.C.R. |
Man-Computer Symbiosis [1960] |
IRE Transactions on Human Factors in Electronics, HFE-1: 411, March |
The Computer as a Communication Device [1968] |
Science and Technology, April. |
Papert, Seymour |
Mindstorms [1980] |
MIT Press, Cambridge MA |
Pascal, B. |
On His Calculating Machine [c. 1650] |
Reprinted in A Source Book of Mathematics, D.E. Smith, ed.
Dover Books, NY 1959 |
Shannon, Claude |
The Mathematical Theory of Communication [1948] |
Reprinted in The Mathematical Theory of Communication
C. Shannon and W. Weaver
University of Illinois Press, 1963 |
Simon, Herbert A. |
The Sciences of the Artificial [1969/1981] |
MIT Press, Cambridge MA (2nd edition) |
Turing, Alan |
Computing Machinery and Intelligence [1950] |
Mind. Reprinted in Readings in Cognitive Science
Morgan Kaufmann, San Mateo, CA |
On Computable Numbers, with an Application to the Entscheidungsproblem [1937] |
Proceedings of the London Mathematical Society, v.42 (1937) |
Von Neumann, J. |
First Draft of a Report on the EDVAC [1945] |
Reprinted in The Origins of Digital Computers: Selected Papers
Brian Randell, ed. Springer-Verlag, 1973 |
The General and Logical Theory of Automata [1951] |
Reprinted in The World of Mathematics
J. Newman, ed. Simon and Schuster, 1956 |
Wiener, Norbert |
Cybernetics [1948/1961] |
MIT Press, 1962 |