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.

## References

- [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
- [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
- [Champernowne 1933]D. G. Champernowne (1933), The construction of decimals normal in the scale of ten. J. Lond. Math. Soc. 8:254-260zbMATHCrossRefGoogle Scholar
- [Church 1937]A. Church (1937), Review of Turing (1936). J. Symbolic Logic 2:42-3Google Scholar
- [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
- [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
- [Davis 2000]M. Davis (2000), The Universal Computer. Norton, 2000Google Scholar
- [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
- [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
- [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
- [Good 1993]I. J. Good (1993), Enigma and Fish. In F. H. Hinsley and A. Stripp (eds.) Codebreakers. Oxford University Press, 1993Google Scholar
- [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
- [Hodges 1983]A. Hodges (1983), Alan Turing: the Enigma. Burnett, London; Simon & Schuster; new edition Vintage, 1992zbMATHGoogle Scholar
- [Hodges 2006]A. Hodges (2006), The essential Turing, book review. Notices Amer. Math. Soc. 53:1190-1199Google Scholar
- [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
- [Newman 1955]M. H. A. Newman (1955), Alan Mathison Turing. Biographical memoirs of Fellows of the Royal Society 1:253-263CrossRefGoogle Scholar
- [Penrose 1989]R. Penrose (1989), The Emperor’s New Mind. Oxford University Press, 1989Google Scholar
- [Penrose 1994]R. Penrose (1994), Shadows of the Mind. Oxford University Press, 1994Google Scholar
- [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
- [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)
- [Turing 1936]A. M. Turing (1936), On computable numbers, with an application to the Entscheidungsproblem. Proc. London Math. Soc. (2) 42:230-265zbMATHGoogle Scholar
- [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
- [Turing 1937]A. M. Turing (1937), On computable numbers, with an application to the Entscheidungsproblem. A correction. Proc. London Math. Soc. (2) 43:544-546zbMATHGoogle Scholar
- [Turing 1939]A. M. Turing (1939) Systems of logic based on ordinals. Proc. London Math. Soc. (2) 45:161-228zbMATHCrossRefGoogle Scholar
- [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
- [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
- [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
- [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
- [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
- [Turing 1950]A. M. Turing (1950), Computing machinery and intelligence. Mind 59:433-460Google Scholar
- [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
- [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