Skip to main content
SpringerLink
Log in

The Impact of Alan Turing: Formal Methods and Beyond

  • Chapter
  • First Online:
Engineering Trustworthy Software Systems (SETSS 2018)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
eBook
USD 16.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 16.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)

    Book  Google Scholar 

  2. ACM: ACM A.M. Turing centenary celebration. Association for Computing Machinery (2012). http://turing100.acm.org

  3. ACM: ACM Turing Celebration Conference – China (ACM TURC 2018, ACM ). Association for Computing Machinery (2018). http://china.acm.org/TURC/2018/

  4. ACM: A.M. Turing Award. Association for Computing Machinery. http://amturing.acm.org

  5. ACM: Chronological listing of A.M. Turing Award winners by year. Association for Computing Machinery. http://amturing.acm.org/byyear.cfm

  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. 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. Augarten, S.: Bit by Bit: An Illustrated History of Computers, pp. 142–148. Ticknor & Fields (1984)

    Google Scholar 

  9. BBC: PM apology after Turing petition, BBC News, 11 September 2009. http://news.bbc.co.uk/1/hi/technology/8249792.stm

  10. BBC: Government rejects pardon request for Alan Turing. BBC News, 8 March 2012. http://www.bbc.co.uk/news/technology-16919012

  11. BBC: Royal pardon for codebreaker Alan Turing. BBC News, 24 December 2013. http://www.bbc.co.uk/news/technology-25495315

  12. BBC: Computer AI passes Turing test in ‘world first’. BBC News, 9 June 2014. http://www.bbc.co.uk/news/technology-27762088

  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. BBC: Thousands of gay men pardoned for past convictions. BBC News, 31 January 2017. http://www.bbc.co.uk/news/uk-38814338

  15. BBC: Turing letters found in old filing cabinet. BBC News, 19 August 2017. http://www.bbc.co.uk/news/technology-41082391

  16. BBC: ICONS. BBC Two (2019). http://www.bbc.co.uk/programmes/b0by86tp

  17. BBC: Chris Packham on Alan Turing. ICONS, BBC Two, 6 February 2019. http://www.bbc.co.uk/programmes/p0704h04

  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. Beth, E.W.: Semantic Entailment and Formal Derivability. Noord-Hollandsche (1955)

    Google Scholar 

  20. Beth, E.W.: Formal Methods. Gordon & Breach, New York (1962)

    MATH  Google Scholar 

  21. Blyth, T. (ed.): Information Age: Six Networks that Changed the World. Scala Arts & Heritage Publishers (2014)

    Google Scholar 

  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-3

    Book  MATH  Google Scholar 

  23. Bonhams: Lot 103 - Turing (Alan). Fine Books, Atlases, Manuscripts and Photographs. Bonhams, London, 15 November 2017

    Google Scholar 

  24. Bostrom, N.: Superintelligence: Paths, Dangers, Strategies. Oxford University Press, Oxford (2014)

    Google Scholar 

  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. Bowen, J.P.: Introductory and opening remarks. In: Bowen, J.P., Hall, J.A. (eds.) [34], pp. v–vii (1994)

    Google Scholar 

  27. Bowen, J.P.: Computer science. In: Heilbron, J.L. (ed.) [85], pp. 171–174 (2003)

    Google Scholar 

  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_3

    Chapter  Google Scholar 

  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. 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_1

    Chapter  Google Scholar 

  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. 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. Bowen, J.P., Copeland, B.J.: Turing’s legacy. In: Copeland, J., et al. [58], chap. 42, pp. 463–474 (2017)

    Google Scholar 

  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-7

    Book  Google Scholar 

  35. Bowen, J.P., Hinchey, M.G., Glass, R.L.: Formal methods: point-counterpoint. Computer 29(4), 18–19 (1996)

    Article  Google Scholar 

  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. 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. 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_24

    Chapter  Google Scholar 

  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. 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_5

    Chapter  Google Scholar 

  41. Brown, G.: I’m proud to say sorry to a real war hero. The Telegraph, 10 September 2009

    Google Scholar 

  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/2658985

    Article  Google Scholar 

  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.2780324

    Article  Google Scholar 

  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.1253890

    Article  MathSciNet  Google Scholar 

  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. Carroll, L.: The Game of Logic. Macmillan & Co., London (1886). http://archive.org/details/gameoflogic00carrrich

  47. Carus, P.: Formal thought the basis of kenlore. The Monist 20(4), 574–584 (1910). https://doi.org/10.5840/monist191020428

    Article  Google Scholar 

  48. Cerf, V.: The man behind the machine. Physics World, pp. 38–39 (2018). http://physicsworld.com/a/the-man-behind-the-machine/

    Article  Google Scholar 

  49. Collins, R.: Steve Jobs review: ‘manically entertaining’. The Telegraph, 12 November 2015. http://www.telegraph.co.uk/film/steve-jobs/review

  50. Cooper, S.B.: Turing’s titanic machine? Commun. ACM 55(3), 74–83 (2012). https://doi.org/10.1145/2093548.2093569

    Article  Google Scholar 

  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. Cooper, S.B., van Leeuwen, J. (eds.): Alan Turing: His Work and Impact. Elsevier Science (2013)

    Google Scholar 

  53. Copeland, B.J. (ed.): Colossus: The Secrets of Bletchley Park’s Codebreaking Computers. Oxford University Press, Oxford (2006)

    Google Scholar 

  54. Copeland, B.J. (ed.): The Essential Turing. Oxford University Press, Oxford (2004)

    MATH  Google Scholar 

  55. Copeland, B.J.: Artificial intelligence. In: Copeland, B.J. (ed.) [54], pp. 353–361 (2004)

    Google Scholar 

  56. Copeland, B.J.: Turing: Pioneer of the Information Age. Oxford University Press, Oxford (2012)

    MATH  Google Scholar 

  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. Copeland, B.J., Bowen, J.P., Sprevak, M., Wilson, R., et al.: The Turing Guide. Oxford University Press, Oxford (2017)

    MATH  Google Scholar 

  59. Copeland, B.J., Posy, C.J., Shagrir, O.: Computability: Turing, Gödel, Church, and Beyond. MIT Press, Cambridge (2013)

    Book  Google Scholar 

  60. Copeland, B.J., Proudfoot, D.: The Turing Archive for the History of Computing. http://www.alanturing.net

  61. Dahl, O.-J., Dijkstra, E.W., Hoare, C.A.R.: Structured Programing. Academic Press, Cambridge (1972)

    MATH  Google Scholar 

  62. Dasgupta, S.: It Began with Babbage: The Genesis of Computer Science. Oxford University Press, Oxford (2014)

    MATH  Google Scholar 

  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_15

    Chapter  Google Scholar 

  64. Dawkins, R.: The God Delusion, p. 289. Bantam Press, London (2006)

    Google Scholar 

  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.1082050

    Article  MathSciNet  MATH  Google Scholar 

  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. 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.0070

    Article  MathSciNet  MATH  Google Scholar 

  68. Dijkstra, E.W.: A Discipline of Programming. Prentice Hall, Upper Saddle River (1976)

    MATH  Google Scholar 

  69. Dunham, W.: Euler: The Master of Us All. Mathematical Association of America (1999)

    Google Scholar 

  70. Dyson, G.: Darwin Among the Machines. The Penguin Press (1997)

    Google Scholar 

  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. 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. Evans, C.: The Mighty Micro: The Impact of the Computer Revolution. Victor Gollancz (1979)

    Google Scholar 

  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. 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_4

    Chapter  Google Scholar 

  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. 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. Google: Alan Turing. Google Scholar. http://scholar.google.com/citations?user=VWCHlwkAAAAJ

  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. Gray, P.: Computer scientist: Alan Turing. Time 153(12) (1999). http://content.time.com/time/subscriber/article/0,33009,990624-2,00.html

  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-1

    Book  MATH  Google Scholar 

  82. Han, B.: [trans.: Shackles and gifts – Know the real Turing, a mystery puzzler]. WeChat, 3 April 2018. http://mp.weixin.qq.com/s/JcdromoslivadmFmEf8SVQ

  83. Harel, D.: Computers Ltd.: What They Really Can’t Do. Oxford University Press, Oxford (2000)

    MATH  Google Scholar 

  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.2063

    Article  Google Scholar 

  85. Heilbron, J.L. (ed.): The Oxford Companion to the History of Modern Science. Oxford University Press, Oxford (2003)

    Google Scholar 

  86. Hickey, S.: Alan Turing notebook sells for more than \$1m at New York auction. The Guardian, 13 April 2015

    Google Scholar 

  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. 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. 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.2064

    Article  Google Scholar 

  90. Hilton, P.: Meeting a genius. In: Copeland, J., et al. [58], chap. 3, pp. 31–34 (2017)

    Google Scholar 

  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-4

    Book  Google Scholar 

  92. Hinchey, M.G., Coyle, L. (eds.): Conquering Complexity. Springer, London (2012). https://doi.org/10.1007/978-1-4471-2297-5

    Book  Google Scholar 

  93. Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576–580 (1969). https://doi.org/10.1145/363235.363259

    Article  MATH  Google Scholar 

  94. Hoare, C.A.R., et al.: Laws of programming. Commun. ACM 30(8), 672–686 (1987). https://doi.org/10.1145/27651.27653

    Article  MathSciNet  MATH  Google Scholar 

  95. Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice Hall International Series in Computer Science (1998)

    Google Scholar 

  96. Hodges, A.: Alan Turing: The Enigma. Burnett/Simon and Schuster (1983); Centenary edition, Princeton University Press (2012)

    Google Scholar 

  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. Hodges, A.: Alan Turing: The Enigma. http://www.turing.org.uk

  99. IMDb: The Imitation Game. IMDb (2014). http://www.imdb.com/title/tt2084970

  100. Isaacson, W.: Steve Jobs, p. xvi. Simon & Schuster/Little, Brown (2011)

    Google Scholar 

  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.1299654

    Article  MathSciNet  Google Scholar 

  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/IC51104

    Article  Google Scholar 

  103. Jones, C.B: Systematic Software Development Using VDM. Prentice Hall International Series in Computer Science (1986)

    Google Scholar 

  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. 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. 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_4

    Chapter  Google Scholar 

  107. Jones, C.B.: The Turing guide. Formal Aspects Comput. 29, 1121–1122 (2017). https://doi.org/10.1007/s00165-017-0446-y

    Article  Google Scholar 

  108. Kettle, S.: Alan Turing. http://www.stephenkettle.co.uk/turing.html

  109. King’s College: The Turing Digital Archive. King’s College, Cambridge, UK. http://www.turingarchive.org

  110. Lavington, S.: The ACE, the ‘British National Computer’. Early British Computers, chap. 5, pp. 23–30. Manchester University Press (1980)

    Google Scholar 

  111. Lavington, S. (ed.): Alan Turing and his Contemporaries: Building the World’s First Computers. BCS, The Chartered Institute for IT (2012)

    MATH  Google Scholar 

  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. Lewin, R.: Ultra Goes to War, p. 64. Grafton (1978)

    Google Scholar 

  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. 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-4

    Chapter  Google Scholar 

  116. McKay S.: The Secret Life of Bletchley Park. Aurum (2011)

    Google Scholar 

  117. McKay, S.: How Alan Turing’s secret papers were saved for the nation. The Telegraph, 30 July 2011

    Google Scholar 

  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. 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. 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. Morgan, C.C.: Programming from Specifications. Prentice Hall International Series in Computer Science (1990). 2nd edition (1994)

    Google Scholar 

  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.10017

    Article  MathSciNet  MATH  Google Scholar 

  123. Nature: Alan Turing at 100. Nature 482, 450–465 (2012). http://www.nature.com/news/specials/turing

  124. Naur, P.: Proof of algorithms by general snapshots. BIT 6, 310–316 (1966). https://doi.org/10.1007/BF01

    Article  Google Scholar 

  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.0019

    Article  Google Scholar 

  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. 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. 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. Palfreman, J., Swade, D.: The Dream Machine: Exploring the Computer Age. BBC Books (1991)

    Google Scholar 

  130. Penrose, R.: The Emperor’s New Mind: Concerning Computer, Minds, and the Laws of Physics. Oxford University Press, Oxford (1989)

    MATH  Google Scholar 

  131. Penrose, R.: Shadows of the Mind: A Search for the Missing Science of Consciousness. Oxford University Press, Oxford (1994)

    MATH  Google Scholar 

  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. Princeton: Alan M. Turing. Office of the Executive Vice President, Princeton University, USA (2018). http://evp.princeton.edu/people/alan-m-turing

  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. Rendell, P.: Game of Life - Universal Turing Machine, YouTube (2010, uploaded 2012). http://www.youtube.com/watch?v=My8AsV7bA94

  136. Robinson, A.: Sudden Genius: The Gradual Path to Creative Breakthroughs. Oxford University Press, Oxford (2010)

    Google Scholar 

  137. Robinson, A. (ed.): The Scientists: An Epic of Discovery. Thames & Hudson (2012)

    Google Scholar 

  138. Robinson, A.: Film: reality and check. The Lancet 386, 2048 (2015)

    Article  Google Scholar 

  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. 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. Rooney, D.: Mathematics: How it Shaped our World. Scala Arts & Heritage Publishers (2016)

    Google Scholar 

  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. Shallis, M.: The Silicon Idol: The Micro Revolution and its Social Implications. Oxford University Press, Oxford (1984)

    Google Scholar 

  144. Singh, S.: The Code Book: The Science of Secrecy from Ancient Egypt to Quantum Cryptography. Forth Estate, London (1999)

    Google Scholar 

  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. 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_17

    Chapter  MATH  Google Scholar 

  147. Srinivasan, A. (ed.): Donald Michie: On Machine Intelligence. Biology & More. Oxford University Press, Oxford (2009)

    Google Scholar 

  148. Stoy, J.E.: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, Cambridge (1977)

    MATH  Google Scholar 

  149. Sumner, J.: Turing today. Notes Rec. R. Soc. Lond. 66(3), 295–300 (2012). http://www.jstor.org/stable/41723310

    Article  Google Scholar 

  150. Swinford, S.: Alan Turing granted Royal pardon by the Queen. The Telegraph, 24 September 2013

    Google Scholar 

  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. 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. 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. 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.230

    Article  MathSciNet  Google Scholar 

  155. Turing, A.M.: The purpose of ordinal logics. Ph.D. thesis, Princeton University, USA (1938)

    Google Scholar 

  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. Turing, A.M.: Computing machinery and intelligence. Mind 59(236), 433–460 (1950). https://doi.org/10.1093/mind/LIX.236.433

    Article  MathSciNet  Google Scholar 

  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. 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.0012

    Article  MathSciNet  MATH  Google Scholar 

  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. Turing, D.: Prof Alan Turing Decoded: A Biography. The History Press (2015)

    Google Scholar 

  162. Turing, S.: Alan M. Turing: Centenary Edition. Cambridge University Press, Cambridge (2012)

    Google Scholar 

  163. Uhlig, R.: Genius of Britain: The Scientists who Changed the World. HarperCollins (2010)

    Google Scholar 

  164. van Doren, C.: A History of Knowledge: Past, Present, and Future. Ballantine Books (1991)

    Google Scholar 

  165. Vardi, M.Y.: Would turing have won the turing award? Commun. ACM 60(11), 7 (2017). https://doi.org/10.1145/3144590

    Article  Google Scholar 

  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. Wikipedia: List of things named after Alan Turing. Wikipedia, Wikimedia Foundation. http://en.wikipedia.org/wiki/List_of_things_named_after_Alan_Turing

  168. Wilkes, M.V.: Automatic calculating machines. J. R. Soc. Arts 100(4862), 56–90 (1951). http://www.jstor.org/stable/41365298

  169. Wolfram, S.: A New Kind of Science. Wolfram Media (2002)

    Google Scholar 

  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. Yates, D.M.: Turing’s Legacy: A history of computing at the National Physical Laboratory 1945–1995. Science Museum, London (1997)

    Google Scholar 

Download references

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).

Author information

Authors and Affiliations

  1. Faculty of Computer and Information Science, Centre for Research and Innovation in Software Engineering (RISE), Southwest University, Chongqing, 400715, China

    Jonathan P. Bowen

  2. School of Engineering, London South Bank University, Borough Road, London, SE1 1AA, UK

    Jonathan P. Bowen

Authors
  1. Jonathan P. Bowen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jonathan P. Bowen .

Editor information

Editors and Affiliations

  1. London South Bank University, London, UK

    Jonathan P. Bowen

  2. Southwest University, Chongqing, China

    Zhiming Liu

  3. Southwest University, Chongqing, China

    Zili Zhang

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Bowen, J.P. (2019). The Impact of Alan Turing: Formal Methods and Beyond. In: Bowen, J., Liu, Z., Zhang, Z. (eds) Engineering Trustworthy Software Systems. SETSS 2018. Lecture Notes in Computer Science(), vol 11430. Springer, Cham. https://doi.org/10.1007/978-3-030-17601-3_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-17601-3_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-17600-6

  • Online ISBN: 978-3-030-17601-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation