Advertisement

The Impact of Alan Turing: Formal Methods and Beyond

  • Jonathan P. BowenEmail author
Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11430)

Abstract

In this paper, we discuss the influence and reputation of Alan Turing since his death in 1954, specifically in the field of formal methods, especially for program proving, but also in a much wider context. Although he received some recognition during his lifetime, this image was tarnished by the controversy at the time of his death. While he was known and appreciated in scientific circles, he did not enter the public’s consciousness for several decades. A turning point was the definitive biography produced by Andrew Hodges in 1983 but, even then, the tide did not turn very rapidly. More recent events, such as the celebrations of his birth centenary in 2012 and the official British royal pardon in 2013, have raised Turing’s fame and popularity among the informed general public in the United Kingdom and elsewhere. Cultural works in the arts featuring Turing have enhanced his profile still further. Thus, the paper discusses not only Turing’s scientific impact, especially for formal methods, but in addition his historical, cultural, and even political significance. Turing’s academic ‘family tree’ in terms of heritage and legacy is also covered.

Notes

Acknowledgments

Parts of this paper are based on an earlier version of a book chapter [33]. Thank you especially to Troy Astarte, and also to Andrew Robinson and Tula Giannini, for comments on earlier drafts. The author is grateful to Southwest University and Museophile Limited for financial support in attending the SETSS 2018 Spring School (see Fig. 7).

References

  1. 1.
    Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)CrossRefGoogle Scholar
  2. 2.
    ACM: ACM A.M. Turing centenary celebration. Association for Computing Machinery (2012). http://turing100.acm.org
  3. 3.
    ACM: ACM Turing Celebration Conference – China (ACM TURC 2018, ACM Open image in new window ). Association for Computing Machinery (2018). http://china.acm.org/TURC/2018/
  4. 4.
    ACM: A.M. Turing Award. Association for Computing Machinery. http://amturing.acm.org
  5. 5.
    ACM: Chronological listing of A.M. Turing Award winners by year. Association for Computing Machinery. http://amturing.acm.org/byyear.cfm
  6. 6.
    Adams, L: Gay men to receive ‘Turing Law’ pardons. BBC News, BBC Scotland, 31 August 2017. http://www.bbc.com/news/uk-scotland-41108768
  7. 7.
    Alton, J., Weiskittel, H., Latham-Jackson, J.: Catalogue of the papers and correspondence of Christopher Strachey, 1930–1983. Department of Special Collections, Bodleian Library, University of Oxford, UK (2016). http://www.bodley.ox.ac.uk/dept/scwmss/wmss/online/modern/strachey-c/strachey-c.html
  8. 8.
    Augarten, S.: Bit by Bit: An Illustrated History of Computers, pp. 142–148. Ticknor & Fields (1984)Google Scholar
  9. 9.
    BBC: PM apology after Turing petition, BBC News, 11 September 2009. http://news.bbc.co.uk/1/hi/technology/8249792.stm
  10. 10.
    BBC: Government rejects pardon request for Alan Turing. BBC News, 8 March 2012. http://www.bbc.co.uk/news/technology-16919012
  11. 11.
    BBC: Royal pardon for codebreaker Alan Turing. BBC News, 24 December 2013. http://www.bbc.co.uk/news/technology-25495315
  12. 12.
    BBC: Computer AI passes Turing test in ‘world first’. BBC News, 9 June 2014. http://www.bbc.co.uk/news/technology-27762088
  13. 13.
    BBC: ‘Alan Turing law’: Thousands of gay men to be pardoned. BBC News, 20 October 2016. http://www.bbc.co.uk/news/uk-37711518
  14. 14.
    BBC: Thousands of gay men pardoned for past convictions. BBC News, 31 January 2017. http://www.bbc.co.uk/news/uk-38814338
  15. 15.
    BBC: Turing letters found in old filing cabinet. BBC News, 19 August 2017. http://www.bbc.co.uk/news/technology-41082391
  16. 16.
    BBC: ICONS. BBC Two (2019). http://www.bbc.co.uk/programmes/b0by86tp
  17. 17.
    BBC: Chris Packham on Alan Turing. ICONS, BBC Two, 6 February 2019. http://www.bbc.co.uk/programmes/p0704h04
  18. 18.
    Berma, P., Doolen, G.D., Mainieri, R., Tsifrinovich, V.I.: Turing machines. In: Introduction to Quantum Computers, chap. 2, pp. 8–12. World Scientific (1998)Google Scholar
  19. 19.
    Beth, E.W.: Semantic Entailment and Formal Derivability. Noord-Hollandsche (1955)Google Scholar
  20. 20.
    Beth, E.W.: Formal Methods. Gordon & Breach, New York (1962)zbMATHGoogle Scholar
  21. 21.
    Blyth, T. (ed.): Information Age: Six Networks that Changed the World. Scala Arts & Heritage Publishers (2014)Google Scholar
  22. 22.
    Boca, P.P., Bowen, J.P., Siddiqi, J.I.: Formal Methods: State of the Art and New Directions. Springer, London (2010).  https://doi.org/10.1007/978-1-84882-736-3CrossRefzbMATHGoogle Scholar
  23. 23.
    Bonhams: Lot 103 - Turing (Alan). Fine Books, Atlases, Manuscripts and Photographs. Bonhams, London, 15 November 2017Google Scholar
  24. 24.
    Bostrom, N.: Superintelligence: Paths, Dangers, Strategies. Oxford University Press, Oxford (2014)Google Scholar
  25. 25.
    Boughey, C.L.F., et al.: Upper School, Form V a (Group III), Name Turing, Age 16. School report. Sherborne School, UK (Michaelmas Term (1928)Google Scholar
  26. 26.
    Bowen, J.P.: Introductory and opening remarks. In: Bowen, J.P., Hall, J.A. (eds.) [34], pp. v–vii (1994)Google Scholar
  27. 27.
    Bowen, J.P.: Computer science. In: Heilbron, J.L. (ed.) [85], pp. 171–174 (2003)Google Scholar
  28. 28.
    Bowen, J.P.: The Z notation: whence the cause and whither the course? In: Liu, Z., Zhang, Z. (eds.) SETSS 2014. LNCS, vol. 9506, pp. 103–151. Springer, Cham (2016).  https://doi.org/10.1007/978-3-319-29628-9_3CrossRefGoogle Scholar
  29. 29.
    Bowen, J.P.: Alan Turing: virtuosity and visualisation. In: Bowen, J.P., Diprose, G., Lambert, N. (eds.) EVA London 2016: Electronic Visualisation and the Arts, pp. 197–205. BCS, Electronic Workshops in Computing (eWiC) (2016).  https://doi.org/10.14236/EVA2016.40
  30. 30.
    Bowen, J.P.: Alan Turing: founder of computer science. In: Bowen, J.P., Liu, Z., Zhang, Z. (eds.) SETSS 2016. LNCS, vol. 10215, pp. 1–15. Springer, Cham (2017).  https://doi.org/10.1007/978-3-319-56841-6_1CrossRefGoogle Scholar
  31. 31.
    Bowen, J.P.: Provably correct systems: community, connections, and citations. In: Hinchey, M.G., et al. (eds.) [91], pp. 313–328 (2017)Google Scholar
  32. 32.
    Bowen, J.P., et al.: The development of science museum websites: case studies. In: Hin, L.T.W., Subramaniam, R. (eds.) E-learning and Virtual Science Centers, chap. XVIII, pp. 366–392. Idea Group Publishing (2005)Google Scholar
  33. 33.
    Bowen, J.P., Copeland, B.J.: Turing’s legacy. In: Copeland, J., et al. [58], chap. 42, pp. 463–474 (2017)Google Scholar
  34. 34.
    Bowen, J.P., Hall, J.A. (eds.): Z User Workshop, Cambridge 1994. Workshops in Computing. Springer, London (1994).  https://doi.org/10.1007/978-1-4471-3452-7CrossRefGoogle Scholar
  35. 35.
    Bowen, J.P., Hinchey, M.G., Glass, R.L.: Formal methods: point-counterpoint. Computer 29(4), 18–19 (1996)CrossRefGoogle Scholar
  36. 36.
    Bowen, J.P., Hinchey, M.G.: Formal methods. In: Gonzalez, T., et al. (eds.) [152], part VIII, Programming Languages, chap. 71, pp. 71-1–71-25 (2014)Google Scholar
  37. 37.
    Bowen, J.P., Hinchey, M.G., Janicke, H., Ward, M., Zedan, H.: Formality, agility, security, and evolution in software engineering. In: Software Technology: 10 Years of Innovation in IEEE Computer, chap. 16, pp. 282–292. Wiley/IEEE Computer Society Press (2018)Google Scholar
  38. 38.
    Bowen, J.P., Reeves, S.: From a community of practice to a body of knowledge: a case study of the formal methods community. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol. 6664, pp. 308–322. Springer, Heidelberg (2011).  https://doi.org/10.1007/978-3-642-21437-0_24CrossRefGoogle Scholar
  39. 39.
    Bowen, J.P., Trickett, T., Green, J.B.A., Lomas, A.: Turing’s genius – defining an apt microcosm. In: Bowen, J.P., Weinel, J., Diprose, G., Lambert, N. (eds.) EVA London 2018: Electronic Visualisation and the Arts, pp. 155–162. BCS, Electronic Workshops in Computing (eWiC) (2018).  https://doi.org/10.14236/EVA2018.31
  40. 40.
    Brattka, V.: Computability and analysis, a historical approach. In: Beckmann, A., Bienvenu, L., Jonoska, N. (eds.) CiE 2016. LNCS, vol. 9709, pp. 45–57. Springer, Cham (2016).  https://doi.org/10.1007/978-3-319-40189-8_5CrossRefGoogle Scholar
  41. 41.
    Brown, G.: I’m proud to say sorry to a real war hero. The Telegraph, 10 September 2009Google Scholar
  42. 42.
    Bullynck, M., Daylight, E.G., De Mol, L.: Why did computer science make a hero out of Turing? Commun. ACM 58(3), 37–39 (2015).  https://doi.org/10.1145/2658985CrossRefGoogle Scholar
  43. 43.
    Campagna, R., Cuomo, S., Giannino, F., Severino, G., Toraldo, G.: A semi-automatic numerical algorithm for Turing patterns formation in a reaction-diffusion model. IEEE Access 6, 4720–4724 (2017).  https://doi.org/10.1109/ACCESS.2017.2780324CrossRefGoogle Scholar
  44. 44.
    Campbell, S.: Beatrice Helen Worsley: Canada’s female computer pioneer. IEEE Ann. Hist. Comput. 25(4), 51–62 (2003).  https://doi.org/10.1109/MAHC.2003.1253890MathSciNetCrossRefGoogle Scholar
  45. 45.
    Campbell-Kelly, M., Aspray, W., Ensmenger, N., Yost, J.R.: Computer: A History of the Information Machine, 3rd edn. Westview Press, Boulder (2014)Google Scholar
  46. 46.
    Carroll, L.: The Game of Logic. Macmillan & Co., London (1886). http://archive.org/details/gameoflogic00carrrich
  47. 47.
    Carus, P.: Formal thought the basis of kenlore. The Monist 20(4), 574–584 (1910).  https://doi.org/10.5840/monist191020428CrossRefGoogle Scholar
  48. 48.
    Cerf, V.: The man behind the machine. Physics World, pp. 38–39 (2018). http://physicsworld.com/a/the-man-behind-the-machine/CrossRefGoogle Scholar
  49. 49.
    Collins, R.: Steve Jobs review: ‘manically entertaining’. The Telegraph, 12 November 2015. http://www.telegraph.co.uk/film/steve-jobs/review
  50. 50.
    Cooper, S.B.: Turing’s titanic machine? Commun. ACM 55(3), 74–83 (2012).  https://doi.org/10.1145/2093548.2093569CrossRefGoogle Scholar
  51. 51.
    Cooper, S.B.: The Alan Turing Year: A Centenary Celebration of the Life and Work of Alan Turing. School of Mathematics, University of Leeds, UK (2012). http://www.turingcentenary.eu
  52. 52.
    Cooper, S.B., van Leeuwen, J. (eds.): Alan Turing: His Work and Impact. Elsevier Science (2013)Google Scholar
  53. 53.
    Copeland, B.J. (ed.): Colossus: The Secrets of Bletchley Park’s Codebreaking Computers. Oxford University Press, Oxford (2006)Google Scholar
  54. 54.
    Copeland, B.J. (ed.): The Essential Turing. Oxford University Press, Oxford (2004)zbMATHGoogle Scholar
  55. 55.
    Copeland, B.J.: Artificial intelligence. In: Copeland, B.J. (ed.) [54], pp. 353–361 (2004)Google Scholar
  56. 56.
    Copeland, B.J.: Turing: Pioneer of the Information Age. Oxford University Press, Oxford (2012)zbMATHGoogle Scholar
  57. 57.
    Copeland, B.J.: Alan Turing: The codebreaker who saved ‘millions of lives’. BBC News, 19 June 2012. http://www.bbc.co.uk/news/technology-18419691
  58. 58.
    Copeland, B.J., Bowen, J.P., Sprevak, M., Wilson, R., et al.: The Turing Guide. Oxford University Press, Oxford (2017)zbMATHGoogle Scholar
  59. 59.
    Copeland, B.J., Posy, C.J., Shagrir, O.: Computability: Turing, Gödel, Church, and Beyond. MIT Press, Cambridge (2013)CrossRefGoogle Scholar
  60. 60.
    Copeland, B.J., Proudfoot, D.: The Turing Archive for the History of Computing. http://www.alanturing.net
  61. 61.
    Dahl, O.-J., Dijkstra, E.W., Hoare, C.A.R.: Structured Programing. Academic Press, Cambridge (1972)zbMATHGoogle Scholar
  62. 62.
    Dasgupta, S.: It Began with Babbage: The Genesis of Computer Science. Oxford University Press, Oxford (2014)zbMATHGoogle Scholar
  63. 63.
    Davis, M.: Turing’s vision and deep learning. In: Manea, F., Miller, R.G., Nowotka, D. (eds.) CiE 2018. LNCS, vol. 10936, pp. 146–155. Springer, Cham (2018).  https://doi.org/10.1007/978-3-319-94418-0_15CrossRefGoogle Scholar
  64. 64.
    Dawkins, R.: The God Delusion, p. 289. Bantam Press, London (2006)Google Scholar
  65. 65.
    Daylight, E.G.: Towards a historical notion of ‘Turing–the father of computer science’. Hist. Philos. Logic 36(3), 205–228 (2015).  https://doi.org/10.1080/01445340.2015.1082050MathSciNetCrossRefzbMATHGoogle Scholar
  66. 66.
    De Mol, L.: Turing machines. In: Zalta, E.N. (ed.) Stanford Encyclopedia of Philosophy. Stanford University, USA, 24 September 2018. http://plato.stanford.edu/entries/turing-machine
  67. 67.
    Deutsch, D.: Quantum theory, the Church-Turing principle and the universal quantum computer. Proc. R. Soc. London A 400, 97–117 (1985).  https://doi.org/10.1098/rspa.1985.0070MathSciNetCrossRefzbMATHGoogle Scholar
  68. 68.
    Dijkstra, E.W.: A Discipline of Programming. Prentice Hall, Upper Saddle River (1976)zbMATHGoogle Scholar
  69. 69.
    Dunham, W.: Euler: The Master of Us All. Mathematical Association of America (1999)Google Scholar
  70. 70.
    Dyson, G.: Darwin Among the Machines. The Penguin Press (1997)Google Scholar
  71. 71.
    Edwards, J.R.: An early history of computing at Princeton. Priceton Alumni Weekly, 4 April 2012. http://paw.princeton.edu/article/early-history-computing-princeton
  72. 72.
    Eperson, D.B: The Lewis Carroll Puzzle Book: Containing over 1,000 posers from Alice in Wonderland and other books by Lewis Carroll. Appeal Office (1948)Google Scholar
  73. 73.
    Evans, C.: The Mighty Micro: The Impact of the Computer Revolution. Victor Gollancz (1979)Google Scholar
  74. 74.
    Feigenbaum, E.A., McCorduck, P.: The Fifth Generation: Artificial Intelligence and Japan’s Computer Challenge to the World. Addison Wesley, Boston (1983)Google Scholar
  75. 75.
    Floyd, R.W.: Assigning meaning to programs. In: Schwartz, S.T. (ed.) Mathematical Aspects of Computer Science. American Mathematical Society (1967).  https://doi.org/10.1007/978-94-011-1793-7_4CrossRefGoogle Scholar
  76. 76.
    Frith, H.: Unraveling the tale behind the Apple logo. CNN, 7 October 2011. http://edition.cnn.com/2011/10/06/opinion/apple-logo
  77. 77.
    Giannini, T., Bowen, J.P.: Life in code and digits: when Shannon met Turing. In: Bowen, J.P., Diprose, G., Lambert, N. (eds.) EVA London 2017: Electronic Visualisation and the Arts, pp. 51–58. BCS, Electronic Workshops in Computing (eWiC) (2017).  https://doi.org/10.14236/EVA2017.9
  78. 78.
    Google: Alan Turing. Google Scholar. http://scholar.google.com/citations?user=VWCHlwkAAAAJ
  79. 79.
    Grattan-Guinness, I.: Turing’s mentor, Max Newman. In: Copeland, B.J., et al. [58], chap. 40, pp. 437–442 (2017)Google Scholar
  80. 80.
    Gray, P.: Computer scientist: Alan Turing. Time 153(12) (1999). http://content.time.com/time/subscriber/article/0,33009,990624-2,00.html
  81. 81.
    Gries, D.: The Science of Programming. Texts and Monographs in Computer Science. Springer, New York (1981).  https://doi.org/10.1007/978-1-4612-5983-1CrossRefzbMATHGoogle Scholar
  82. 82.
    Han, B.: Open image in new window [trans.: Shackles and gifts – Know the real Turing, a mystery puzzler]. WeChat, 3 April 2018. http://mp.weixin.qq.com/s/JcdromoslivadmFmEf8SVQ
  83. 83.
    Harel, D.: Computers Ltd.: What They Really Can’t Do. Oxford University Press, Oxford (2000)zbMATHGoogle Scholar
  84. 84.
    Hayes, P.J., Morgenstern, L.: On John McCarthy’s 80th birthday, in honor of his contributions. AI Mag. 28(4), 93–102 (2007).  https://doi.org/10.1609/aimag.v28i4.2063CrossRefGoogle Scholar
  85. 85.
    Heilbron, J.L. (ed.): The Oxford Companion to the History of Modern Science. Oxford University Press, Oxford (2003)Google Scholar
  86. 86.
    Hickey, S.: Alan Turing notebook sells for more than \$1m at New York auction. The Guardian, 13 April 2015Google Scholar
  87. 87.
    Highfield, R.: Codebreaker wins Great Exhibition Award. Science Museum, London, 17 December 2012. http://blog.sciencemuseum.org.uk/codebreaker-wins-great-exhibition-award
  88. 88.
    Highfield, R.: What to think about machines that think. Science Museum, London, 11 December 2015. http://blog.sciencemuseum.org.uk/what-to-think-about-machines-that-think
  89. 89.
    Hillis, D., et al.: In honor of Marvin Minsky’s contributions on his 80th birthday. AI Mag. 28(4), 103–110 (2007).  https://doi.org/10.1609/aimag.v28i4.2064CrossRefGoogle Scholar
  90. 90.
    Hilton, P.: Meeting a genius. In: Copeland, J., et al. [58], chap. 3, pp. 31–34 (2017)Google Scholar
  91. 91.
    Hinchey, M.G., Bowen, J.P., Olderog, E.-R. (eds.): Provably Correct Systems. NASA Monographs in Systems and Software Engineering. Springer, Cham (2017).  https://doi.org/10.1007/978-3-319-48628-4CrossRefGoogle Scholar
  92. 92.
    Hinchey, M.G., Coyle, L. (eds.): Conquering Complexity. Springer, London (2012).  https://doi.org/10.1007/978-1-4471-2297-5CrossRefGoogle Scholar
  93. 93.
    Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576–580 (1969).  https://doi.org/10.1145/363235.363259CrossRefzbMATHGoogle Scholar
  94. 94.
    Hoare, C.A.R., et al.: Laws of programming. Commun. ACM 30(8), 672–686 (1987).  https://doi.org/10.1145/27651.27653MathSciNetCrossRefzbMATHGoogle Scholar
  95. 95.
    Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice Hall International Series in Computer Science (1998)Google Scholar
  96. 96.
    Hodges, A.: Alan Turing: The Enigma. Burnett/Simon and Schuster (1983); Centenary edition, Princeton University Press (2012)Google Scholar
  97. 97.
    Hodges, A.: Oration at Alan Turing’s birthplace. Alan Turing: The Enigma, 23 June 1998. http://www.turing.org.uk/publications/oration.html
  98. 98.
    Hodges, A.: Alan Turing: The Enigma. http://www.turing.org.uk
  99. 99.
    IMDb: The Imitation Game. IMDb (2014). http://www.imdb.com/title/tt2084970
  100. 100.
    Isaacson, W.: Steve Jobs, p. xvi. Simon & Schuster/Little, Brown (2011)Google Scholar
  101. 101.
    Jones, A.: Five 1951 BBC broadcasts on automatic calculating machines. IEEE Ann. Hist. Comput. 26(2), 3–15 (2004).  https://doi.org/10.1109/MAHC.2004.1299654MathSciNetCrossRefGoogle Scholar
  102. 102.
    Jones, A.: Brains, tortoises, and octopuses: postwar interpretations of mechanical intelligence on the BBC. Inf. & Cult. 51(1), 81–101 (2016).  https://doi.org/10.7560/IC51104CrossRefGoogle Scholar
  103. 103.
    Jones, C.B: Systematic Software Development Using VDM. Prentice Hall International Series in Computer Science (1986)Google Scholar
  104. 104.
    Jones, C.B.: Turing’s “checking a large routine”. In: Cooper, S.B., van Leeuwen, J. (eds.) Alan Turing - His Work and Impact, pp. 455–461. Elsevier (2013)Google Scholar
  105. 105.
    Jones, C.B.: Turing and Software Verification. Technical report CS-TR-1441, Newcastle University, December 2014. http://homepages.cs.ncl.ac.uk/cliff.jones/publications/NU-TRs/CS-TR-1441.pdf
  106. 106.
    Jones, C.B.: Turing’s 1949 paper in context. In: Kari, J., Manea, F., Petre, I. (eds.) CiE 2017. LNCS, vol. 10307, pp. 32–41. Springer, Cham (2017).  https://doi.org/10.1007/978-3-319-58741-7_4CrossRefGoogle Scholar
  107. 107.
    Jones, C.B.: The Turing guide. Formal Aspects Comput. 29, 1121–1122 (2017).  https://doi.org/10.1007/s00165-017-0446-yCrossRefGoogle Scholar
  108. 108.
  109. 109.
    King’s College: The Turing Digital Archive. King’s College, Cambridge, UK. http://www.turingarchive.org
  110. 110.
    Lavington, S.: The ACE, the ‘British National Computer’. Early British Computers, chap. 5, pp. 23–30. Manchester University Press (1980)Google Scholar
  111. 111.
    Lavington, S. (ed.): Alan Turing and his Contemporaries: Building the World’s First Computers. BCS, The Chartered Institute for IT (2012)zbMATHGoogle Scholar
  112. 112.
    Lavington, S: Hindsight and foresight: the legacy of Turing and his contemporaries. In: Lavington, S., (ed.) [111], chap. 8, pp. 79–84 (2012)Google Scholar
  113. 113.
    Lewin, R.: Ultra Goes to War, p. 64. Grafton (1978)Google Scholar
  114. 114.
    Manchester University: Lost Turing letters give unique insight into his academic life prior to death. Discover/News. The University of Manchester, UK, 25 August 2017. http://www.manchester.ac.uk/discover/news/
  115. 115.
    McCarthy, J.: A basis for a mathematical theory of computation. In: Braffort P., Hirschberg, D. (eds.) Computer Programming and Formal Systems, pp. 33–70. North-Holland (1963).  https://doi.org/10.1016/S0049-237X(08)72018-4CrossRefGoogle Scholar
  116. 116.
    McKay S.: The Secret Life of Bletchley Park. Aurum (2011)Google Scholar
  117. 117.
    McKay, S.: How Alan Turing’s secret papers were saved for the nation. The Telegraph, 30 July 2011Google Scholar
  118. 118.
    MGP: Alan Mathison Turing. Mathematics Genealogy Project. Department of Mathematics, North Dakota State University, USA. http://www.genealogy.ams.org/id.php?id=8014
  119. 119.
    Millican, P.J.A., Clark, A. (eds.): The Legacy of Alan Turing. Oxford University Press. Volume I: Machines and Thought; Volume II: Connectionism, Concepts and Folk Psychology (1996)Google Scholar
  120. 120.
    Ministry of Justice, Gyimah, S.: Thousands officially pardoned under ‘Turing’s Law’. UK Government, 31 January 2017. http://www.gov.uk/government/news/thousands-officially-pardoned-under-turings-law
  121. 121.
    Morgan, C.C.: Programming from Specifications. Prentice Hall International Series in Computer Science (1990). 2nd edition (1994)Google Scholar
  122. 122.
    Morris, F.L., Jones, C.B.: An early program proof by Alan Turing. IEEE Ann. Hist. Comput. 6(2), 139–143 (1984).  https://doi.org/10.1109/MAHC.1984.10017MathSciNetCrossRefzbMATHGoogle Scholar
  123. 123.
    Nature: Alan Turing at 100. Nature 482, 450–465 (2012). http://www.nature.com/news/specials/turing
  124. 124.
    Naur, P.: Proof of algorithms by general snapshots. BIT 6, 310–316 (1966).  https://doi.org/10.1007/BF01CrossRefGoogle Scholar
  125. 125.
    Newman, M.H.A.: Alan Mathison Turing, 1912–1954. Biogr. Mem. Fellows R. Soc. 1, 253–263 (1955).  https://doi.org/10.1098/rsbm.1955.0019CrossRefGoogle Scholar
  126. 126.
    Newman, W.: Max Newman-Mathematician, codebreaker, and computer pioneer. In: Copeland, B.J. (ed.) [53], chap. 14, pp. 176–188 (2006)Google Scholar
  127. 127.
    O’Connor, J.J., Robertson, E.F.: Donald Birkby Eperson. MacTutor. School of Mathematics and Statistics, University of St Andrews, Scotland, May 2017. http://www-history.mcs.st-and.ac.uk/Biographies/Eperson.html
  128. 128.
    Page, C., Richards, M.: A letter from Christopher Strachey. Resurrection: J. Comput. Conserv. Soc. 73, 22–24 (2016). http://www.computerconservationsociety.org/resurrection/res73.htm#d
  129. 129.
    Palfreman, J., Swade, D.: The Dream Machine: Exploring the Computer Age. BBC Books (1991)Google Scholar
  130. 130.
    Penrose, R.: The Emperor’s New Mind: Concerning Computer, Minds, and the Laws of Physics. Oxford University Press, Oxford (1989)zbMATHGoogle Scholar
  131. 131.
    Penrose, R.: Shadows of the Mind: A Search for the Missing Science of Consciousness. Oxford University Press, Oxford (1994)zbMATHGoogle Scholar
  132. 132.
    Petrocelli, C.: The Turing Guide, by Jack Copeland, Jonathan Bowen, Mark Sprevak, and Robin Wilson. Nuncius 33(1), 166–168 (2018).  https://doi.org/10.1163/18253911-03301015
  133. 133.
    Princeton: Alan M. Turing. Office of the Executive Vice President, Princeton University, USA (2018). http://evp.princeton.edu/people/alan-m-turing
  134. 134.
    Randell, B.: On Alan Turing and the origins of digital computers. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol. 7, pp. 3–20. Edinburgh University Press (1972). http://www.cs.ncl.ac.uk/research/pubs/books/papers/126.pdf
  135. 135.
    Rendell, P.: Game of Life - Universal Turing Machine, YouTube (2010, uploaded 2012). http://www.youtube.com/watch?v=My8AsV7bA94
  136. 136.
    Robinson, A.: Sudden Genius: The Gradual Path to Creative Breakthroughs. Oxford University Press, Oxford (2010)Google Scholar
  137. 137.
    Robinson, A. (ed.): The Scientists: An Epic of Discovery. Thames & Hudson (2012)Google Scholar
  138. 138.
    Robinson, A.: Film: reality and check. The Lancet 386, 2048 (2015)CrossRefGoogle Scholar
  139. 139.
    Robinson, A.: The Turing Guide: last words on an enigmatic codebreaker? New Sci. 3107, 42–43 (2017). http://www.newscientist.com/article/mg23331072-700
  140. 140.
    Rooney, D.: Codebreaker - Alan Turing’s life and legacy. Science Museum, London. YouTube, 19 June 2012. http://www.youtube.com/watch?v=I3NkVMHh0_Q
  141. 141.
    Rooney, D.: Mathematics: How it Shaped our World. Scala Arts & Heritage Publishers (2016)Google Scholar
  142. 142.
    Russell, B.: What is logic. In: The Collected Papers of Bertrand Russell, vol. 6: Logical and Philosophical Papers, 1909–13. Part I: Logic and the Philosophy of Mathematics. Routledge (1912)Google Scholar
  143. 143.
    Shallis, M.: The Silicon Idol: The Micro Revolution and its Social Implications. Oxford University Press, Oxford (1984)Google Scholar
  144. 144.
    Singh, S.: The Code Book: The Science of Secrecy from Ancient Egypt to Quantum Cryptography. Forth Estate, London (1999)Google Scholar
  145. 145.
    Smith, C.N., et al.: Form IV b (i), Name Turing, Average Age 14.6, Age 14.8. School report. Sherborne School, UK (1927)Google Scholar
  146. 146.
    Soare, R.I.: History of computability. In: Soare, R.I. (ed.) Turing Computability. TAC, pp. 227–249. Springer, Heidelberg (2016).  https://doi.org/10.1007/978-3-642-31933-4_17CrossRefzbMATHGoogle Scholar
  147. 147.
    Srinivasan, A. (ed.): Donald Michie: On Machine Intelligence. Biology & More. Oxford University Press, Oxford (2009)Google Scholar
  148. 148.
    Stoy, J.E.: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, Cambridge (1977)zbMATHGoogle Scholar
  149. 149.
    Sumner, J.: Turing today. Notes Rec. R. Soc. Lond. 66(3), 295–300 (2012). http://www.jstor.org/stable/41723310CrossRefGoogle Scholar
  150. 150.
    Swinford, S.: Alan Turing granted Royal pardon by the Queen. The Telegraph, 24 September 2013Google Scholar
  151. 151.
    Time: The great minds of the century. Time 153(12) (1999). http://content.time.com/time/magazine/article/0,9171,990608,00.html
  152. 152.
    Gonzalez, T., Diaz-Herrera, J., Tucker, A.B. (eds.): Computing Handbook, 3rd edn. Volume I: Computer Science and Software Engineering. Chapman and Hall/CRC Press (2014)Google Scholar
  153. 153.
    Turing, A.M.: Précis of the Theory of Relativity by Albert Einstein. In: The Turing Digital Archive [109], AMT/K/2 (1927). http://www.turingarchive.org/viewer/?id=449&title=1
  154. 154.
    Turing, A.M.: On computable numbers with an application to the Entscheidungsproblem. Proc. Lond. Math. Soc. (Ser. 2) 42(1), 230–265 (1936).  https://doi.org/10.1112/plms/s2-42.1.230MathSciNetCrossRefGoogle Scholar
  155. 155.
    Turing, A.M.: The purpose of ordinal logics. Ph.D. thesis, Princeton University, USA (1938)Google Scholar
  156. 156.
    Turing, A.M.: Checking a large routine. In: Report of a Conference on High Speed Automatic Calculating Machines, pp. 67–69. Mathematical Laboratory, University of Cambridge, UK (1949). http://www.turingarchive.org/browse.php/b/8
  157. 157.
    Turing, A.M.: Computing machinery and intelligence. Mind 59(236), 433–460 (1950).  https://doi.org/10.1093/mind/LIX.236.433MathSciNetCrossRefGoogle Scholar
  158. 158.
    Turing, A.M.: Can digital computers think? In: The Turing Digital Archive [109], AMT/B/5, May 1951. http://www.turingarchive.org/viewer/?id=449&title=1 (see also 2018 transcription under http://aperiodical.com/wp-content/uploads/2018/01/Turing-Can-Computers-Think.pdf)
  159. 159.
    Turing, A.M.: The chemical basis of morphogenesis. Philos. Trans. R. Soc. Lond. 237(641), 37–72 (1952).  https://doi.org/10.1098/rstb.1952.0012MathSciNetCrossRefzbMATHGoogle Scholar
  160. 160.
    Turing, A.M., Braithwaite, R.B., Jefferson, G., Newman, M.: Can automatic calculating machines be said to think? (1952). In: Copeland, B.J. (ed.) [54], chap. 14, pp. 487–506 (2004)Google Scholar
  161. 161.
    Turing, D.: Prof Alan Turing Decoded: A Biography. The History Press (2015)Google Scholar
  162. 162.
    Turing, S.: Alan M. Turing: Centenary Edition. Cambridge University Press, Cambridge (2012)Google Scholar
  163. 163.
    Uhlig, R.: Genius of Britain: The Scientists who Changed the World. HarperCollins (2010)Google Scholar
  164. 164.
    van Doren, C.: A History of Knowledge: Past, Present, and Future. Ballantine Books (1991)Google Scholar
  165. 165.
    Vardi, M.Y.: Would turing have won the turing award? Commun. ACM 60(11), 7 (2017).  https://doi.org/10.1145/3144590CrossRefGoogle Scholar
  166. 166.
    Veblen, O.: Letter to M. H. A. Newman, esq. Janus Catalogue Item 2-1-13. The Max Newman Digital Archive, University of Brighton, UK, 4 May 1928. http://www.cdpa.co.uk/Newman/MHAN
  167. 167.
    Wikipedia: List of things named after Alan Turing. Wikipedia, Wikimedia Foundation. http://en.wikipedia.org/wiki/List_of_things_named_after_Alan_Turing
  168. 168.
    Wilkes, M.V.: Automatic calculating machines. J. R. Soc. Arts 100(4862), 56–90 (1951). http://www.jstor.org/stable/41365298
  169. 169.
    Wolfram, S.: A New Kind of Science. Wolfram Media (2002)Google Scholar
  170. 170.
    Worsley, B.H.: Serial programming for real and idealised digital calculating machines. Ph.D. thesis, University of Cambridge, UK, May 1952. Also. In: Archives Center, National Museum of American History, Smithsonian Institution, USA. http://sova.si.edu/details/NMAH.AC.0237#ref29
  171. 171.
    Yates, D.M.: Turing’s Legacy: A history of computing at the National Physical Laboratory 1945–1995. Science Museum, London (1997)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Faculty of Computer and Information Science, Centre for Research and Innovation in Software Engineering (RISE)Southwest UniversityChongqingChina
  2. 2.School of EngineeringLondon South Bank UniversityLondonUK

Personalised recommendations