A. M. Turing's ACE Report of 1946 and Other Papers

Volume 10 in the Babbage Reprint Series contains two archival papers by Alan Turing-the ACE report (1945), a seminal paper detailing the design for an electronic universal machine called the Automatic Computing Engine (ACE), and Turing's Lecture to the London Mathematical Society (1947) amplifying the ideas outlined in the ACE report. Turing's report was the first time that the notion of artificial intelligence was discussed as a real possibility and Turing went on to devote the next decade to AI. Michael Woodger's paper, The History and Present Use of Digital Computers at the National Physical Laboratory (1958) gives a brief history of the construction of the pilot ACE, the first functional version of Turing's universal machine.

[1]  Alan M. Turing,et al.  The use of dots as brackets in Church's system , 1942, Journal of Symbolic Logic.

[2]  Alan M. Turing,et al.  Systems of Logic Based on Ordinals , 2012, Alan Turing's Systems of Logic.

[3]  A. M. Turing,et al.  Review: Arthur W. Burks, The Logic of Programming Electronic Digital Computers , 1953 .

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

[5]  Alan M. Turing,et al.  Practical forms of type theory , 1948, Journal of Symbolic Logic.

[6]  A. Turing.  Artificial Intelligence : Usfssg Computers to Think about Thinking . Part 1 , 1983 .

[7]  Collected Works: Mathematical Logic (RO Gandy and CEM Yates Editors) , 2022 .

[8]  A. Turing.  ROUNDING-OFF ERRORS IN MATRIX PROCESSES , 1948 .

[9]  Programmers ’ handbook for Manchester electronic computer Universal Turing Machine , 2022 .

[10]  A. Turing.  Finite Approximations to Lie Groups , 1938 .

[11]  Universal Turing,et al.  Can Digital Computers Think?; Reprinted in (copeland 2004) , 2022 .

[12]  A. Turing.  THE WORD PROBLEM IN SEMI-GROUPS WITH CANCELLATION , 1950 .

[13]  Martin Davis,et al.  The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions , 2004 .

[14]  Universal Turing,et al.  The chemical basis of morphogenesis reprinted from Philosophical Transactions of the Royal Society ( Part B ) 237 37-72 ( 1953 ) Universal Turing Machine , 2022 .

[15]  Rounding off-emfs in matr dotsxp mcesses dagger Quart Universal Turing Machine , 2022 .

[16]  Proposed Electronic Calculator report for National Physical Laboratory Teddington Universal Turing Machine , 2022 .

[17]  A Diffusion Reaction Theory of Morphogenesis , 1952, Nature.

[18]  A. Turing.  The chemical basis of morphogenesis , 1952, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences.

[19]  A. M. Turing.  The $\mathfrak{p}$-Function in $\lambda-K$-Conversion , 1937 .

[20]  Alan Mathison Turing.  Intelligence service : Schriften , 1987 .

[21]  A. Turing.  A method for the calculation of the zeta-function Universal Turing Machine , 2011 .

[22]  Logic based on Inclusion and Abstraction WV Quine , 2022 .

[23]  A. Turing.  Equivalence of Left and Right almost Periodicity , 1935 .

[24]  Charles Hutton,et al.  Philosophical Transactions of the Royal Society of London , 1781, The London Medical Journal.

[25]  E. Griffor,et al.  Computational Complexity Theory , 2022 .