The invention of the universal electronic computer--how the Electronic Computer Revolution began

This is the story of the causal sequence of the three programmable digital electronic computers that launched the Electronic Computer Revolution: the ENIAC (Electronic Numerical Integrator and Computer); the EDVAC (Electronic Discrete Variable Computer); and the Von Neumann, or IAS (Institute for Advanced Study), Computer. All were designed and built from 1943 to 1951. The chief designers were Presper Eckert, John Mauchly, John Von Neumann, Arthur Burks, and Herman Goldstine.The interacting roles of truth-functional and memory logic with digital electronics are explained, together with the relation of these electronic computers to the theoretical calculating systems of Kurt Godel and Alan Turing.

[1]  G. TEMPLE,et al.  Relaxation Methods in Engineering Science , 1942, Nature.

[2]  Kurt Gödel,et al.  On undecidable propositions of formal mathematical systems , 1934 .

[3]  Vannevar Bush,et al.  The differential analyzer. A new machine for solving differential equations , 1931 .

[4]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[5]  Brian Randell,et al.  The origins of digital computers: Selected papers , 1975 .

[6]  K. Gödel Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .

[7]  Herman H. Goldstine,et al.  Planning and coding of problems for an Electronic Computing Instrument , 1947 .

[8]  B. Randell,et al.  The Origins of Digital Computers: Selected Papers (Monographs in Computer Science) , 1982 .

[9]  A. Burks Icon, Index, and Symbol , 1949 .

[10]  R. V. Southwell,et al.  Relaxation Methods in Theoretical Physics , 1947 .

[11]  William Aspray,et al.  Papers of John Von Neumann on computing and computer theory, Vol 12 , 1986 .

[12]  Arthur W. Burks,et al.  The logical design of an idealized general-purpose computer , 1956 .

[13]  W. G. Bickley,et al.  Relaxation Methods in Theoretical Physics , 1947 .

[14]  Arthur W. Burks,et al.  From ENIAC to the Stored-Program Computer: Two Revolutions in Computers , 1978 .

[15]  Bletchley Park,et al.  The Colossus , 1990, The Journal of African History.

[16]  Alice R. Burks,et al.  First General-Purpose Electronic Computer , 1981, Annals of the History of Computing.

[17]  John von Neumann,et al.  First draft of a report on the EDVAC , 1993, IEEE Annals of the History of Computing.

[18]  Donald E. Knuth,et al.  Von Neumann's First Computer Program , 1970, CSUR.

[19]  Henry E. Kyburg,et al.  Chance , 1976, J. Philos. Log..

[20]  John W. Mauchly The Use of High Speed Vacuum Tube Devices for Calculating , 1982 .

[21]  John V. Atanasoff,et al.  Computing Machine for the Solution of large Systems of Linear Algebraic Equations , 1982 .

[22]  D. R. Hartree,et al.  Calculating Instruments and Machines , 1951 .

[23]  W. Pitts,et al.  A Logical Calculus of the Ideas Immanent in Nervous Activity (1943) , 2021, Ideas That Created the Future.

[24]  Arthur W. Burks,et al.  VON NEUMANN'S SELF-REPRODUCING AUTOMATA , 1969 .

[25]  A. Church Review: A. M. Turing, On Computable Numbers, with an Application to the Entscheidungsproblem , 1937 .

[26]  Gian-Carlo Rota,et al.  History of Computing in the Twentieth Century , 1980 .

[27]  C. Fischer The differential analyzer , 2003 .

[28]  A. Burks,et al.  Theory of Logical Nets , 1953, Proceedings of the IRE.

[29]  Jean,et al.  The Computer and the Brain , 1989, Annals of the History of Computing.

[30]  Alice R. Burks,et al.  The First Electronic Computer: The Atanasoff Story , 1988 .

[31]  J. Schwartz,et al.  Theory of Self-Reproducing Automata , 1967 .

[32]  Aarthur W. Burks,et al.  Turing's Theory of Infinite Computing Machines (1936-1937) and its Relation to the Invention of Finite Electronic Computers (1939-1949) , 2000, ACRI.

[33]  A. Turing On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[34]  A.W. Burks Electronic Computing Circuits Of The ENIAC , 1947, Proceedings of the IEEE.

[35]  F. C. Williams Early computers at Manchester University , 1975 .

[36]  Herman H. Goldstine,et al.  Preliminary discussion of the logical design of an electronic computing instrument (1946) , 1989 .

[37]  Herbert W. Franke,et al.  A Computer Perspective , 1973 .

[38]  J. Neumann Eine Axiomatisierung der Mengenlehre. , 1925 .

[39]  J. Neumann,et al.  Die Axiomatisierung der Mengenlehre , 1928 .

[40]  H. Goldstine,et al.  The Computer from Pascal to von Neumann , 1974 .

[41]  J. Neumann Zur Hilbertschen Beweistheorie , 1927 .

[42]  Perry Orson Crawford,et al.  Automatic control by arithmetical operations , 1942 .

[43]  Robert McNaughton Review: Arthur W. Burks, Irving M. Copi, The Logical Design of an Idealized General-Purpose Computer , 1957 .

[44]  Tom Kilburn,et al.  A storage system for use with binary digital computing machines , 1949 .

[45]  Arthur W. Burks,et al.  Peirce's Theory of Abduction , 1946, Philosophy of Science.

[46]  Arthur W. Burks,et al.  Essays on cellular automata , 1970 .