Copeland B.J. (ed.) The Essential Turing

Oxford University Press, 2004. — 613 p. — ISBN: 0–19–825079–7, 0–19–825080–0.Alan Turing, pioneer of computing and WWII codebreaker, is one of the most important and influential thinkers of the twentieth century. In this volume for the first time his key writings are made available to a broad, non-specialist readership. They make fascinating reading both in their own right and for their historic significance: contemporary computational theory, cognitive science, artificial intelligence, and artificial life all spring from this ground-breaking work, which is also rich in philosophical and logical insight. An introduction by leading Turing expert Jack Copeland provides the background and guides the reader through the selection.Alan Turing 1912–1954 (by Jack Copeland).
Computable Numbers: A Guide (by Jack Copeland).
On Computable Numbers, with an Application to the Entscheidungsproblem (1936).
On Computable Numbers: Corrections and Critiques (by Alan Turing, Emil Post, and Donald W. Davies).
Systems of Logic Based on Ordinals (1938), including excerpts from Turing’s correspondence, 1936–1938.
Letters on Logic to Max Newman (c.1940).
Enigma (by Jack Copeland).
History of Hut 8 to December 1941 (1945), featuring an excerpt from Turing’s ‘Treatise on the Enigma’ (by Patrick Mahon).
Bombe and Spider (1940).
Letter to Winston Churchill (1941).
Memorandum to OP-20-G on Naval Enigma (c.1941).
Artificial Intelligence (by Jack Copeland).
Lecture on the Automatic Computing Engine (1947).
Intelligent Machinery (1948).
Computing Machinery and Intelligence (1950).
Intelligent Machinery, A Heretical Theory (c.1951).
Can Digital Computers Think? (1951).
Can Automatic Calculating Machines Be Said to Think? (1952, by Alan Turing, Richard Braithwaite, Geoffrey Jefferson, and Max Newman).
Artificial Life (by Jack Copeland).
The Chemical Basis of Morphogenesis (1952).
Chess (1953).
Solvable and Unsolvable Problems (1954).