Linked bibliography for the SEP article "Alan Turing" by Andrew Hodges

This is an automatically generated and experimental page

If everything goes well, this page should display the bibliography of the aforementioned article as it appears in the Stanford Encyclopedia of Philosophy, but with links added to PhilPapers records and Google Scholar for your convenience. Some bibliographies are not going to be represented correctly or fully up to date. In general, bibliographies of recent works are going to be much better linked than bibliographies of primary literature and older works. Entries with PhilPapers records have links on their titles. A green link indicates that the item is available online at least partially.

This experiment has been authorized by the editors of the Stanford Encyclopedia of Philosophy. The original article and bibliography can be found here.

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

Generated Sun Mar 19 10:10:02 2017