Selected Works by Turing

• 1936, ‘On computable numbers, with an application to the Entscheidungsproblem’, Proc. London Maths. Soc. (Series 2), 42: 230–265; also in Davis 1965 and Gandy and Yates 2001; [Available online]. (Scholar)
• 1939, ‘Systems of logic defined by ordinals’, Proc. Lond. Math. Soc., Ser. 2, 45: 161–228; This was Turing's Ph.D. thesis, Princeton University (1938), published as Alan Turing's systems of logic: The Princeton thesis, A. W. Appel (ed.), Princeton: Princeton University Press, 2012; also in Davis 1965 and in Gandy and Yates 2001. (Scholar)
• 1946, Proposed Electronic Calculator, report for National Physical Laboratory, Teddington; published in A. M. Turing's ACE report of 1946 and other papers, B. E. Carpenter and R. W. Doran (eds.), Cambridge, Mass.: MIT Press, 1986; also in Collected Works (Volume 1).
• 1947, ‘Lecture to the London Mathematical Society on 20 February 1947’, in A. M. Turing's ACE report of 1946 and other papers, B. E. Carpenter and R. W. Doran (eds.), Cambridge, Mass.: MIT Press, 1986; also in Collected Works (Volume 1).
• 1948, ‘Intelligent Machinery’, report for National Physical Laboratory, in Machine Intelligence 7, B. Meltzer and D. Michie (eds.) 1969; also in Collected Works (Volume 1). (Scholar)
• 1950a, Programmers' Handbook for the Manchester Electronic Computer, Manchester University Computing Laboratory. [Available online in PDF].
• 1950b, ‘Computing machinery and intelligence’, Mind, 50: 433–460; also in Boden 1990, Collected Works (Volume 1), and [Available online]. (Scholar)
• 1951, BBC radio talk, in The Essential Turing, B. J. Copeland (ed.), Oxford: Clarendon Press, 2004.
• 1952, ‘The chemical basis of morphogenesis’, Phil. Trans. R. Soc. London B 237: 37–72; also in The Collected Works of A. M. Turing: Morphogenesis, P. T. Saunders (ed.), Amsterdam: North-Holland, 1992. (Scholar)

The Collected Works of A. M. Turing consists of 4 volumes:

• Volume 1: Mechanical Intelligence, D.C. Ince (ed.), Amsterdam: North-Holland, 1992.
• Volume 2: Morphogenesis, P. T. Saunders (ed.), Amsterdam: North-Holland, 1992.
• Volume 3: Pure Mathematics, J. L. Britton (ed.), Amsterdam: North-Holland, 1992.
• Volume 4: Mathematical Logic, R. O. Gandy and C. E. M. Yates, Amsterdam: North-Holland, 2001.

The following, single-volume work contains much of the Collected Works and adds extensive modern commentary:

• Alan Turing, his work and impact, S. B. Cooper and J. van Leeuwen (eds.), Amsterdam: Elsevier, 2013.

Secondary Literature

• Boden, M. (ed.), 1990, The Philosophy of Artificial Intelligence, Oxford: Oxford University Press. (Scholar)
• Church, A., 1937, Review of Turing 1936–7, Journal of Symbolic Logic, 2: 42. (Scholar)
• –––, 1940, ‘On the concept of a random sequence’, Bull. Amer. Math. Soc., 46: 130–135. (Scholar)
• Copeland, B. J., 1998, ‘Turing's o-machines, Searle, Penrose and the brain’, Analysis, 58(2): 128–138. (Scholar)
• –––, 1999, ‘A lecture and two radio broadcasts on machine intelligence by Alan Turing’, in Machine Intelligence 15, K. Furukawa, D. Michie, and S. Muggleton (eds.), Oxford: Oxford University Press. (Scholar)
• ––– (ed.), 2004, The Essential Turing, Oxford: Clarendon Press. (Scholar)
• Copeland, B. J. and D. Proudfoot, 1996, ‘On Alan Turing's anticipation of connectionism’, Synthese, 108: 361–377. (Scholar)
• Davies, E. B., 2001, ‘Building infinite machines’, British Journal for the Philosophy of Science, 52 (4): 671–682. (Scholar)
• Davis, M., 2000, The Universal Computer, New York: Norton. (Scholar)
• ––– (ed.), 1958, Computability and Unsolvability, New York: McGraw-Hill; New York: Dover (1982). (Scholar)
• ––– (ed.), 1965, The Undecidable, New York: Raven. (Scholar)
• Dawson, J. W., 1985, Review of Hodges (1983), Journal of Symbolic Logic, 50: 1065–1067. (Scholar)
• Deutsch, D., 1985, ‘Quantum theory, the Church-Turing principle and the universal quantum computer’, Proc. Roy. Soc. A, 400: 97–115. (Scholar)
• Diamond, C. (ed.), 1976, Wittgenstein's Lectures on the Foundations of Mathematics, Cambridge, 1939, Hassocks: Harvester Press. (Scholar)
• Dreyfus, H. L. and S. E. Dreyfus, 1990, ‘Making a mind versus modelling the brain: artificial intelligence back at a branch-point’, in Boden 1990. (Scholar)
• Feferman, S., 1988, ‘Turing in the Land of O(Z)’, in (Herken 1988); also in Gandy and Yates (eds.) 2001. (Scholar)
• Feynman, R. P., 1982, ‘Simulating physics with computers’, Int. Journal of Theoretical Physics, 21: 467–488. (Scholar)
• Gandy, R. O., 1954, Letter to M. H. A. Newman, in Gandy and Yates, 2001. (Scholar)
• –––, 1980, ‘Principles of Mechanisms’, in The Kleene Symposium, J. Barwise, H. J. Keisler and K. Kunen (eds.), Amsterdam: North-Holland. (Scholar)
• –––, 1988, ‘The confluence of ideas in 1936’, in Herken 1988. (Scholar)
• Gandy, R. O. and C. E. M. Yates (eds.), 2001, The Collected Works of A M. Turing: Mathematical Logic, Amsterdam: North-Holland. (Scholar)
• Gödel, K., 1946, ‘Remarks before the Princeton Bicentennial Conference on problems in mathematics’, in Davis 1965. (Scholar)
• Herken R., (ed.), 1988, The Universal Turing Machine: A Half-Century Survey, Berlin: Kammerer und Unverzagt; Oxford: Oxford University Press. (Scholar)
• Hodges, A., 1983, Alan Turing: the Enigma, London: Burnett; New York: Simon & Schuster; London: Vintage, 1992, 2012; Princeton University Press, 2012. (Scholar)
• –––, 1997, Turing, a natural philosopher, London: Phoenix; New York: Routledge (1999); included in The great philosophers, R. Monk and F. Raphael (eds.), London: Weidenfeld and Nicolson (2000). (Scholar)
• –––, 2004, What would Alan Turing have done after 1954, in Alan Turing: life and legacy of a great thinker, C. Teuscher (ed.), Berlin: Springer Verlag. (Scholar)
• –––, 2006, Review of Copeland 2004, Notices of the American Mathematical Society, 53: 1190–1199. (Scholar)
• Ince, D. C., 1989, Preface to Turing 1948, in Ince (ed.) 1992. (Scholar)
• Lassègue, J., 1998, Turing, Paris: les Belles Lettres. (Scholar)
• Minsky, M. L., 1967, Computation: Finite and Infinite Machines, Englewood Cliffs, N.J.: Prentice-Hall. (Scholar)
• Newman, M. H. A., 1955, ‘Alan Mathison Turing’, Biographical memoirs of the Royal Society (1955), 253–263. (Scholar)
• Penrose, R., 1989, The Emperor's New Mind, Oxford: Oxford University Press. (Scholar)
• –––, 1990, Précis of The Emperor's New Mind, Behavioral and Brain Sciences, 13: 643–655. (Scholar)
• –––, 1994, Shadows of the Mind, Oxford: Oxford University Press. (Scholar)
• ––– 1996, ‘Beyond the doubting of a shadow: A Reply to Commentaries on Shadows of the Mind’, in Psyche: An Interdisciplinary Journal of Research on Consciousness, Volume 2. (Scholar)
• Sayers, D., 1941, The Mind of the Maker, London: Methuen. (Scholar)
• Teuscher, C., 2001, Turing's Connectionism, London: Springer-Verlag UK. (Scholar)
• ––– (ed.), 2004, Alan Turing: Life and Legacy of a Great Thinker, Berlin: Springer-Verlag. (Scholar)
• Turing, E. S., 1959, Alan M. Turing, Cambridge: Heffers; republished by Cambridge University Press, 2012. (Scholar)
• von Neumann, J., 1945, ‘First draft of a report on the EDVAC’, University of Pennsylvania; first printed in N. Stern, From Eniac to Univac: an appraisal of the Eckert-Mauchly machines, Bedford MA: Digital Press, 1981. (Scholar)
• Whitemore, H., 1986, Breaking the Code, London: S. French. (Scholar)