The Impact of Alan Turing: Formal Methods and Beyond

Book chapter


Bowen, J. (2019). The Impact of Alan Turing: Formal Methods and Beyond. in: Bowen, J., Liu, Z and Zhang, Z (ed.) Engineering Trustworthy Software Systems Springer, Cham.
AuthorsBowen, J.
EditorsBowen, J., Liu, Z and Zhang, Z
Abstract

© 2019, Springer Nature Switzerland AG. 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.

Year2019
Book titleEngineering Trustworthy Software Systems
PublisherSpringer, Cham
Edition1
SeriesProgramming and Software Engineering
ISBN9783030176006
ISSN0302-9743
Publication dates
Print14 Apr 2019
Publication process dates
Deposited31 May 2019
Accepted14 Mar 2019
Digital Object Identifier (DOI)doi:10.1007/978-3-030-17601-3_5
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Journal citation11430 (11430), pp. 202-235
Accepted author manuscript
License
CC BY 4.0
Permalink -

https://openresearch.lsbu.ac.uk/item/866y4

Accepted author manuscript

  • 7
    total views
  • 0
    total downloads
  • 0
    views this month
  • 0
    downloads this month