Logic and the Invention of the Computer

  • Mark PriestleyEmail author
Part of the History of Computing book series (HC)


The logical investigation of the concept of effective computability and the development of the first automatic computing machines, described in the previous two chapters, were largely independent of each other. This chapter examines the development of the stored-program concept, the dominant feature of computer design since 1945, and in particular the interaction between logic and engineering in the development of the stored-program computer. The chapter takes a critical stance towards the widespread account that sees that development as a straightforward practical application of logical ideas, and offers an alternative account of the relationship between theory and practice.


Turing Machine National Physical Laboratory Arithmetic Circuit Arithmetic Unit Draft Report 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. Agar, J.: The Government Machine: A Revolutionary History of the Computer. MIT Press, Cambridge (2003) Google Scholar
  2. Anonymous: Automatic high-speed computing: a progress report on the EDVAC, 30 September 1945. Quoted in Metropolis and Worlton, p. 55 (1980), and Aspray, p. 38 (1990b) Google Scholar
  3. Archibald, R.C.: Conference on advanced computation techniques. Math. Tables Other Aids Comput. II(13), 65–68 (1946) Google Scholar
  4. Aspray, W.F.: From mathematical constructivity to computer science: Alan Turing, John von Neumann, and the origins of computer science in mathematical logic. Ph.D. thesis, University of Wisconsin-Madison (1980) Google Scholar
  5. Aspray, W. (ed.): Computing Before Computers. Iowa State University Press, Ames (1990a) Google Scholar
  6. Aspray, W.: John Von Neumann and the Origins of Modern Computing. MIT Press, Cambridge (1990b) Google Scholar
  7. Berkeley, E.C.: Giant Brains, or Machines that Think. Wiley, New York (1949) zbMATHGoogle Scholar
  8. Boring, E.G.: Mind and mechanism. Am. J. Psychol. LIX(2), 184 (1946). Quoted in Edwards, p. 188 (1996) Google Scholar
  9. Briggs, L.J.: Impact of the war on science. Electr. Eng. 65(1), 8–10 (1946) CrossRefGoogle Scholar
  10. Burks, A.W., Goldstine, H.H., von Neumann, J.: Preliminary discussion of the logical design of an electronic computing instrument. Technical Report, Institute of Advanced Study (1946). 2nd edn. (2 September 1947) reprinted in Aspray and Burks, pp. 97–142 (1987) Google Scholar
  11. Campbell-Kelly, M., Aspray, W.: Computer: A History of the Information Machine. Basic Books, New York (1996) Google Scholar
  12. Campbell-Kelly, M., Williams, M.R. (eds.): The Moore School Lectures: Theory and Techniques for Design of Electronic Digital Computers. Charles Babbage Institute Reprint Series for the History of Computing, vol. 9. MIT Press, Cambridge (1985) Google Scholar
  13. Carpenter, B.E., Doran, R.W.: The other Turing machine. Comput. J. 20(3), 269–279 (1977) MathSciNetCrossRefzbMATHGoogle Scholar
  14. Ceruzzi, P.E.: A History of Modern Computing. MIT Press, Cambridge (1998) Google Scholar
  15. Ceruzzi, P.E.: A view from 20 years as a historian of computing. IEEE Ann. Hist. Comput. 23(4), 49–55 (2001) MathSciNetCrossRefGoogle Scholar
  16. Ceruzzi, P.E.: A History of Modern Computing, 2nd edn. MIT Press, Cambridge (2003) Google Scholar
  17. Cherry, E.C.: A history of the theory of information (1950). In: Symposium on Information Theory: Report of Proceedings, pp. 22–43. Ministry of Supply, London (1950) Google Scholar
  18. Davis, M.: The Universal Computer. Norton, New York (2000) Google Scholar
  19. Department of Scientific and Industrial Research: A.C.E. the automatic computing machine. Electr. Eng. 18(12), 372–373 (1946) Google Scholar
  20. Eckert, J.P. Jr.: Disclosure of magnetic calculating machine. Typescript dated 29 January 1944. Reprinted in Lukoff, pp. 207–209 (1979) Google Scholar
  21. Eckert, J.P. Jr.: A preview of a digital computing machine (1946). In: Campbell-Kelly, M., Williams, M.R. (eds.) The Moore School Lectures: Theory and Techniques for Design of Electronic Digital Computers. Charles Babbage Institute Reprint Series for the History of Computing, vol. 9, pp. 109–126. MIT Press, Cambridge (1985). Lecture delivered 15 July 1946 Google Scholar
  22. Eckert, J.P., Mauchly, J.W., Warren, S.R.: PY Summary Report No. 1, 31 March 1945. Quoted in Aspray, p. 38 (1990b) Google Scholar
  23. ENIAC: ENIAC progress report, 31 December 1943. Quoted in Stern (1981) Google Scholar
  24. Goldstine, H.H.: The Computer from Pascal to Von Neumann. Princeton University Press, Princeton (1972) zbMATHGoogle Scholar
  25. Goldstine, H.H., von Neumann, J.: On the principles of large scale computing machines (1946). Unpublished. Reproduced in Aspray and Burks, pp. 317–348 (1987) Google Scholar
  26. Hartree, D.R.: Letter to the Times (1946a) Google Scholar
  27. Hartree, D.R.: The ENIAC, an electronic computing machine. Nature 158(4015), 500–506 (1946b) MathSciNetCrossRefzbMATHGoogle Scholar
  28. Hartree, D.R.: Calculating Instruments and Machines. University of Illinois Press, Champaign (1949) Google Scholar
  29. Heims, S.J.: John Von Neumann and Norbert Wiener: From Mathematics to the Technologies of Life and Death. MIT Press, Cambridge (1980) zbMATHGoogle Scholar
  30. Hodges, A.: Alan Turing: The Engima. Vintage, New York (1983) Google Scholar
  31. Huskey, H.D.: The status of high-speed digital computing systems. Mech. Eng. 70(12), 975–978 (1948) Google Scholar
  32. Knuth, D.E.: Von Neumann’s first computer program. ACM Comput. Surv. 2(4), 247–260 (1970) CrossRefzbMATHGoogle Scholar
  33. Mahoney, M.S.: The history of computing in the history of technology. Ann. Hist. Comput. 10, 113–125 (1988) CrossRefzbMATHGoogle Scholar
  34. Mahoney, M.S.: Cybernetics and information technology. In: Olby, R.C. (ed.) Companion to the History of Modern Science. Chapman and Hall, London (1989). Chap. 34 Google Scholar
  35. Martin, C.D.: The myth of the awesome thinking machine. Commun. ACM 36(4), 120–133 (1993) CrossRefGoogle Scholar
  36. McCulloch, W.S.: Contribution to discussion following von Neumann 1948 (1948). In: Jeffress, L. (ed.) Cerebral Mechanisms in Behavior, pp. 32–41. Wiley, New York (1951) Google Scholar
  37. McCulloch, W.S., Pitts, W.: A logical calculus of the ideas immanent in nervous activity. Bull. Math. Biophys. 5, 115–133 (1943) MathSciNetCrossRefzbMATHGoogle Scholar
  38. Metropolis, N., Worlton, J.: A trilogy of errors in the history of computing. Ann. Hist. Comput. (1980) Google Scholar
  39. Newman, M.H.A.: General principles of the design of all-purpose computing machines. Proc. R. Soc. Lond. Ser. A, Math. Phys. Sci. 195, 271–274 (1949). Record of a discussion held on 4 March 1948 Google Scholar
  40. Oettinger, A.G.: Programming a digital computer to learn. Philos. Mag., 7th. Ser. 43, 1243–1263 (1952) MathSciNetzbMATHGoogle Scholar
  41. Peláez, E.: The stored-program computer: Two conceptions. Soc. Stud. Sci. 29(3), 359–389 (1999) CrossRefGoogle Scholar
  42. Pickering, A.: Cybernetics and the mangle: Ashby, Beer and Pask. Soc. Stud. Sci. 32(3), 413–437 (2002) CrossRefGoogle Scholar
  43. Prinz, D.G.: Robot chess. Res. Sci. Appl. Ind. 5, 261–266 (1952) Google Scholar
  44. Randell, B.: On Alan Turing and the origins of digital computers. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol. 7, pp. 3–20. Edinburgh University Press, Edinburg (1972) Google Scholar
  45. Redmond, K.C., Smith, T.M.: Project Whirlwind: The History of a Pioneer Computer. Digital Press, Paris (1980) Google Scholar
  46. Rope, C.: ENIAC as a stored-program computer: a new look at the old records. IEEE Ann. Hist. Comput. 29(4), 82–87 (2007) CrossRefGoogle Scholar
  47. Rosenblueth, A., Wiener, N., Bigelow, J.: Behaviour, purpose and teleology. Philos. Sci. 10(1), 18–24 (1943) CrossRefGoogle Scholar
  48. Shannon, C.E.: A symbolic analysis of relay and switching circuits. Trans. Am. Inst. Electr. Eng. 57, 713–723 (1938) CrossRefGoogle Scholar
  49. Shannon, C.E.: Programming a computer for playing chess. Philos. Mag., 7th Ser. 41, 256–275 (1950). Paper first presented at National IRE Convention, 9 March 1949 MathSciNetzbMATHGoogle Scholar
  50. Shannon, C.E.: Computers and automata. Proc. IRE 41(10), 1234–1241 (1953) MathSciNetCrossRefGoogle Scholar
  51. Stern, N.: John von Neumann’s influence on electronic digital computing, 1944–1946. Ann. Hist. Comput. 2(4), 349–362 (1980) MathSciNetCrossRefzbMATHGoogle Scholar
  52. Stern, N.: From ENIAC to UNIVAC: An Appraisal of the Eckert-Mauchly Computers. Digital Press, Paris (1981) Google Scholar
  53. Todd, J.: John von Neumann and the national accounting machine. SIAM Rev. 16(4), 526–530 (1974) MathSciNetCrossRefzbMATHGoogle Scholar
  54. Turing, A.M.: Proposal for development in the mathematics department of an automatic computing engine (ACE). Technical Report, National Physical Laboratory, Teddington, UK (1946). Reprinted in Carpenter and Doran, pp. 20–105 (1986) Google Scholar
  55. Turing, A.M.: Intelligent machinery. Technical Report, National Physical Laboratory (1948). Reprinted in Copeland (2004b) Google Scholar
  56. Turing, A.M.: Computing machinery and intelligence. Mind 59, 433–60 (1950a) MathSciNetCrossRefGoogle Scholar
  57. Turing, A.M.: Discussion on Dr. E. Slater’s paper on “Statistics for the chess computer and the factor of mobility” (1950b). In: Symposium on Information Theory: Report of Proceedings, pp. 198–200. Ministry of Supply, London (1950) Google Scholar
  58. Turing, A.M.: Lecture to the London Mathematical Society on 20 February 1947. In: Carpenter, B.E., Doran, R.W. (eds.) A.M. Turing’s ACE Report of 1946 and Other Papers. Charles Babbage Institute Reprint Series for the History of Computing, vol. 10, pp. 106–124. MIT Press, Cambridge (1986) Google Scholar
  59. Ulam, S.M.: Von Neumann: the interaction of mathematics and computing (1980). In: Metropolis, N., Howlett, J., Rota, G.-C. (eds.) A History of Computing in the Twentieth Century, pp. 93–99. Academic Press, San Diego (1980) Google Scholar
  60. von Neumann, J.: First draft of a report on the EDVAC. Technical Report, Moore School of Electrical Engineering, University of Pennsylvania (1945). Reprinted as von Neumann (1993) with corrections by Michael D. Godfrey Google Scholar
  61. von Neumann, J.: The general and logical theory of automata (1948). In: Jeffress, L. (ed.) Cerebral Mechanisms in Behavior, pp. 1–41. Wiley, New York (1951) Google Scholar
  62. Wang, H.: A variant to Turing’s theory of computable numbers. J. Assoc. Comput. Mach. 4(1), 63–92 (1957) CrossRefGoogle Scholar
  63. Wiener, N.: Memorandum on the mechanical solution of partial differential equations (1940). Printed in Masani et al. (1987) Google Scholar
  64. Wiener, N.: Letter to Arturo Rosenblueth, 24 January 1945. Quoted in Heims, pp. 185–186 (1980) Google Scholar
  65. Wiener, N.: Cybernetics. Technology Press, Wiley, New York (1948) Google Scholar
  66. Wilkes, M.V.: The design of a practical high-speed computing machine. The EDSAC. Proc. R. Soc. Lond. Ser. A 195, 274–279 (1949). Record of a discussion held on 4 March 1948 Google Scholar
  67. Wilkes, M.V.: Automatic calculating machines. J. R. Soc. Arts C(4862), 56–90 (1951a) Google Scholar
  68. Wilkes, M.V.: Can machines think? Spectator 6424, 177–178 (1951b) Google Scholar
  69. Wilkes, M.V.: Can machines think? Proc. IRE 41(10), 1230–1234 (1953a) MathSciNetCrossRefGoogle Scholar
  70. Wisdom, J.O.: The hypothesis of cybernetics. Br. J. Philos. Sci. II(5), 1–24 (1951) CrossRefGoogle Scholar
  71. Zuse, K.: The Computer—My Life. Springer, Berlin (1993) CrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag London Limited 2011

Authors and Affiliations

  1. 1.LondonUK

Personalised recommendations