The Impact of Alan Turing: Formal Methods and Beyond
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.
|Editors||Bowen, J., Liu, Z and Zhang, Z|
© 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.
|Book title||Engineering Trustworthy Software Systems|
|Series||Programming and Software Engineering|
|14 Apr 2019|
|Publication process dates|
|Deposited||31 May 2019|
|Accepted||14 Mar 2019|
|Digital Object Identifier (DOI)||https://doi.org/10.1007/978-3-030-17601-3_5|
|Journal||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Journal citation||11430 (11430), pp. 202-235|
|Accepted author manuscript|
3views this month
47downloads this month