Advertisement

Alan Turing, Logical and Physical

  • Andrew Hodges

Alan M. Turing (1912–1954), the founder of computability theory, is generally considered a pure logician. But his ideas involved the practical and physical implementation of logical structure, particularly concerned with the relationship between discrete and continuous, and his scientific work both began and ended in theoretical physics.

Keywords

Turing Machine Digital Computer Collect Work National Archive Computable Number 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Anon 1945]
    Anon (1945), General Report on Tunny, p. 327. This internal GCHQ report of 1945 was unsigned but is attributed to I. J. Good, D. Michie and G. Timms. Available in the National Archives, HW 25Google Scholar
  2. [Britton 1992]
    J. L. Britton (1992), Introduction and notes to Turing’s note on normal numbers. In J. L. Britton (ed.) The Collected Works of A. M. Turing: Pure Mathematics. NorthHolland, 1992Google Scholar
  3. [Champernowne 1933]
    D. G. Champernowne (1933), The construction of decimals normal in the scale of ten. J. Lond. Math. Soc. 8:254-260MATHCrossRefGoogle Scholar
  4. [Church 1937]
    A. Church (1937), Review of Turing (1936). J. Symbolic Logic 2:42-3Google Scholar
  5. [Copeland 1999]
    B. J. Copeland (1999), A lecture and two radio broadcasts on machine intelligence by Alan Turing. In K. Furukawa, D. Michie, and S. Muggleton (eds.), Machine Intelligence 15. Oxford University Press, 1999Google Scholar
  6. [Copeland 2000]
    B. J. Copeland (2000), Narrow versus wide mechanisms: including a re-examination of Turing’s views on the mind-machine issue. J. Philos. 96:5-32CrossRefMathSciNetGoogle Scholar
  7. [Davis 2000]
    M. Davis (2000), The Universal Computer. Norton, 2000Google Scholar
  8. [Feferman 2001]
    S. Feferman (2001), Preface to ‘Systems of logic based on ordinals’. In R. O. Gandy and C. E. M. Yates (eds.) The Collected Works of A. M. Turing: Mathematical Logic. North-Holland, 2001Google Scholar
  9. [Gandy 1954]
    R. O. Gandy (1954), letter to M. H. A. Newman, available at www.turingarchive.org, item D/4. Text in R. O. Gandy and C. E. M. Yates (eds.) The Col-lected Works of A. M. Turing: Mathematical Logic. North-Holland, 2001
  10. [Good 1992]
    I. J. Good (1992), Introductory remarks for the article in Biometrika 66 (1979), ‘A. M. Turing’s statistical work in World War II’. In J. L. Britton (ed.) The Collected Works of A. M. Turing: Pure Mathematics. North-Holland, 1992Google Scholar
  11. [Good 1993]
    I. J. Good (1993), Enigma and Fish. In F. H. Hinsley and A. Stripp (eds.) Codebreakers. Oxford University Press, 1993Google Scholar
  12. [Good 2001]
    I. J. Good (2001), Commentary on Turing’s manuscript ‘Minimum cost sequential analysis’. In R. O. Gandy and C. E. M. Yates (eds.) The Collected Works of A. M. Turing: Mathematical Logic. North-Holland, 2001Google Scholar
  13. [Hodges 1983]
    A. Hodges (1983), Alan Turing: the Enigma. Burnett, London; Simon & Schuster; new edition Vintage, 1992MATHGoogle Scholar
  14. [Hodges 2006]
    A. Hodges (2006), The essential Turing, book review. Notices Amer. Math. Soc. 53:1190-1199Google Scholar
  15. [Knox et al. 1939]
    A. D. Knox, P. F. G. Twinn, W. G. Welchman, A. M. Turing and J. R. Jeffreys (1939), Report dated 1 November 1939. In National Archives, HW 14/2Google Scholar
  16. [Newman 1955]
    M. H. A. Newman (1955), Alan Mathison Turing. Biographical memoirs of Fellows of the Royal Society 1:253-263CrossRefGoogle Scholar
  17. [Penrose 1989]
    R. Penrose (1989), The Emperor’s New Mind. Oxford University Press, 1989Google Scholar
  18. [Penrose 1994]
    R. Penrose (1994), Shadows of the Mind. Oxford University Press, 1994Google Scholar
  19. [Teuscher 2000]
    C. Teuscher (2000), Turing’s Connectionism, an Investigation of Neural Net-work Architectures. Springer, 2002. See also C. Teuscher, Turing’s connectionism, in C. Teuscher (ed.) Alan Turing: Life and Legacy of a Great Thinker. Springer, 2004Google Scholar
  20. [Turing c. 1932]
    A. M. Turing (c. 1932), Handwritten essay: Nature of Spirit. Photocopy available in www.turingarchive.org, item C/29. Text in (Hodges 1983, p. 63)
  21. [Turing 1936]
    A. M. Turing (1936), On computable numbers, with an application to the Entscheidungsproblem. Proc. London Math. Soc. (2) 42:230-265MATHGoogle Scholar
  22. [Turing 1936?]
    A. M. Turing (1936?), A note on normal numbers, manuscript and typescript available at www.turingarchive.org, item C/15. Text in J. L. Britton (ed.) The Collected Works of A. M. Turing: Pure Mathematics. North-Holland, 1992
  23. [Turing 1937]
    A. M. Turing (1937), On computable numbers, with an application to the Entscheidungsproblem. A correction. Proc. London Math. Soc. (2) 43:544-546MATHGoogle Scholar
  24. [Turing 1939]
    A. M. Turing (1939) Systems of logic based on ordinals. Proc. London Math. Soc. (2) 45:161-228MATHCrossRefGoogle Scholar
  25. [Turing 1942]
    A. M. Turing (1942), typescript ‘Report on cryptographic machinery available at Navy Department, Washington’, dated 28 November 1942, in the National Archives, HW 57/10Google Scholar
  26. [Turing 1944]
    A. M. Turing (1944), Speech System ’Delilah’ — Report on Progress, type-script dated 6 June 1944. I am indebted to Ralph Erskine for locating this document in the National Archives, HW 62/2. A description of the Delilah, with photographs, was given in (Hodges 1983)Google Scholar
  27. [Turing 1946]
    A. M. Turing (1946), Proposed electronic calculator, copy of typescript avail-able at www.turingarchive.org, item C/32. Text published in various forms, e.g. in D. C. Ince (ed.) The Collected Works of A. M. Turing: Mechanical Intelligence. North-Holland, 1992
  28. [Turing 1947]
    A. M. Turing (1947), Lecture to the London Mathematical Society, 20 February 1947, typescript available at www.turingarchive.org, item B/1. Text published in various forms, e.g. in in D. C. Ince (ed.) The Collected Works of A. M. Turing: Mechanical Intelligence. North-Holland, 1992
  29. [Turing 1948]
    A. M. Turing (1948), Intelligent machinery, National Physical Laboratory re-port, typescript available at www.turingarchive.org, item C/11. Text published in various forms, e.g. in B. J. Copeland (ed.) The Essential Turing. Oxford University Press, 2004
  30. [Turing 1950]
    A. M. Turing (1950), Computing machinery and intelligence. Mind 59:433-460Google Scholar
  31. [Turing 1951]
    A. M. Turing (1951), Can digital computers think? BBC talk, typescript avail-able at www.turingarchive.org, item B/5. Text published in B. J. Copeland (ed.) The Essen-tial Turing. Oxford University Press, 2004
  32. [Turing 1952]
    A. M. Turing (1952), Can automatic calculating machines be said to think?, Radio discussion, typescript available at www.turingarchive.org, item B/6. Text published in B. J. Copeland (ed.) The Essential Turing. Oxford University Press, 2004

Copyright information

© Springer Science+Business Media, LLC 2008

Authors and Affiliations

  • Andrew Hodges
    • 1
  1. 1.Wadham CollegeUniversity of OxfordUK

Personalised recommendations