The Impact of Alan Turing: Formal Methods and Beyond

  title={The Impact of Alan Turing: Formal Methods and Beyond},
  author={Jonathan P. Bowen},
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… 
1 Citations
Communities and Ancestors Associated with Egon Börger and ASM


Turing today
The international celebrations of Alan Turing’s centenary this year mark a profound transformation in status. Thirty years ago, only specialists in computational logic knew of the ‘Turing machine’,
Towards a Historical Notion of ‘Turing—the Father of Computer Science’
In this paper, attempts are made to reconstruct networks of scholars and ideas prevalent in the 1950s, and to identify a specific group of actors interested in theorizing about computations in computers and attracted to the idea of language as a frame in which to understand computation.
Alan Mathison Turing, 1912-1954
  • M. Newman
  • History
    Biographical Memoirs of Fellows of the Royal Society
  • 1955
The sudden death of Alan Turing on 7 June 1954 deprived mathematics and science of a great original mind at the height of its power. After some years of scientific indecision, since the end of the
Alan Turing: Founder of Computer Science
A biographical overview of Alan Turing, the 20th century mathematician, philosopher and early computer scientist, is presented and his subsequent influence is considered, both scientifically and culturally.
Would Turing have won the Turing award?
I N 2017, WE celebrated 50 years of the ACM A.M. Turing Award, known simply as the Turing Award. The list of Turing Award winners (http://amturing.acm. org), starting from Alan Perlis in 1966, “for
Codebreaker: Alan Turing’s Life and Legacy: 21 June 2012–21 October 2013, Science Museum, London
The historical context of Turing’s seminal work in mathematical logic, computer science, computer design, artificial intelligence, and morphogenesis is provided, and the curatorial treatment is assessed.
Life in Code and Digits: When Shannon met Turing
How digital life is increasingly becoming part of real life for more and more people around the world, especially with respect to the arts, culture, and heritage is examined.
Turing and Software Verification
The current paper sets out the challenge to which Turing was responding, compares his proposals to those that came in the late 1960s, reflects on the missing impact, and offers a summary of the state of the art.
A Synopsis of the Book Alan Turing and his Contemporaries: Building the World's First Computers
The book's Editor gives an overall view of the subject, focussing particularly on Alan Turing's special contributions in the first decade of the Information Age.
Turing's 1949 Paper in Context
Understanding the problem faced, Turing's proposal and what followed provides insight into how ideas evolve and comparing three contributions from the 1940s with the current state of the art clarifies a problem that still costs society a fortune each year.