Alan Turing

Alan Mathison Turing (23 June 1912 – 7 June 1954) was a British mathematician and logician who defined a formal model of computation (the Turing machine), contributed to wartime cryptanalysis at Bletchley Park, worked on early stored-program computers, and posed the question of machine intelligence in the 1950 paper "Computing Machinery and Intelligence".

Turing's 1936–37 paper on computable numbers supplied the definition of effective computation on which computer science and the theory of computability rest. His 1950 paper reframed the question "Can machines think?" as an operational test, the "imitation game", and anticipated several objections that still structure debate about machine intelligence. This entry treats only documented professional contributions; for the intellectual context see [HIST-001] and for the philosophical debate see [FOUND-005].

Turing was born in Maida Vale, London. He was elected a Fellow of King's College, Cambridge, in 1935 and was awarded the Smith's Prize in 1936 (Wikipedia contributors, 2026a). His paper "On Computable Numbers, with an Application to the Entscheidungsproblem" appeared in the Proceedings of the London Mathematical Society in the volume covering 1936–37 (Turing, 1937). He completed a PhD at Princeton in 1938 with a thesis titled "Systems of Logic Based on Ordinals" under Alonzo Church (Wikipedia contributors, 2026a).

During the Second World War he worked for the Government Code and Cypher School at Bletchley Park, where he headed Hut 8, which worked on German naval Enigma traffic (Hugh Alexander officially took over as head while Turing was in the United States, and Turing returned to Bletchley Park in March 1943); he was appointed OBE in 1946 for wartime services (Wikipedia contributors, 2026a). After the war he worked on the Automatic Computing Engine at the National Physical Laboratory, and from 1948 was a Reader in mathematics at the University of Manchester, where about a year later he became deputy director of the Computing Machine Laboratory and consulted on the Ferranti Mark 1 (Wikipedia contributors, 2026a). He published "Computing Machinery and Intelligence" in Mind in 1950 (Turing, 1950) and "The Chemical Basis of Morphogenesis" in 1952 (Turing, 1952).

In 1952 he was convicted of gross indecency under the law then in force in Britain. He died on 7 June 1954 at Wilmslow, Cheshire, aged 41; the inquest recorded a verdict of suicide by cyanide poisoning, a verdict that some family members and biographers have questioned (Wikipedia contributors, 2026a). Following a public campaign, Prime Minister Gordon Brown issued a government apology in 2009, and a royal pardon was granted in 2013; a 2017 UK law retroactively pardoned other men convicted under the same legislation (Wikipedia contributors, 2026a). The years of the apology and pardon, like the Smith's Prize year, rest on that secondary source and were not checked against primary institutional pages.

Computability. Turing described an abstract machine that reads and writes symbols on an unbounded tape according to a finite table of rules. He argued that such machines capture what a human computer following a mechanical procedure can do, constructed a universal machine able to simulate any other such machine given its description, and used the construction to show that the Entscheidungsproblem (the decision problem for first-order logic) has no general algorithmic solution (Turing, 1937). Church independently reached a negative answer by a different formalism; the equivalence of the formalisms underlies the Church–Turing thesis, which is a thesis about the informal notion of computation, not a theorem.

The imitation game. In 1950 Turing proposed replacing "Can machines think?" with a game in which an interrogator communicates by text with a human and a machine and tries to identify which is which (Turing, 1950). The paper considers nine objections, including the theological objection, the "heads in the sand" objection, the argument from consciousness, and Lady Lovelace's objection, and suggests that a machine might be built by simulating a child's mind and educating it. The paper proposes a criterion of behavioural indistinguishability; it does not claim that passing such a test settles whether a machine understands or is conscious, and that inference remains disputed (see [FOUND-005]).

Morphogenesis. Turing (1952) proposed that reaction–diffusion equations could account for the emergence of patterns in biological development. This is outside AI but is part of his documented scientific record.

Turing's logical work engaged the programme of Hilbert and the results of Gödel and Church. At Bletchley Park his work was collective and the historical record credits many individuals. His 1950 paper stands at the boundary between logic, early computing and cybernetics; for the relation of these traditions to the 1956 Dartmouth workshop see [HIST-002] and Kline (2011).

The A.M. Turing Award of the Association for Computing Machinery is named in his honour and is treated in several other biographies in this volume ([BIO-MCCARTHY-001], [BIO-MINSKY-001], [BIO-NEWELLSIMON-001], [BIO-HINTON-001], [BIO-SUTTON-001]). The "Turing test" is a standard name for the imitation game, although Turing's paper does not use that term.

Common misstatements include treating the 1950 paper as a prediction schedule, treating the imitation game as an engineering benchmark, and equating the Turing machine with a specific design of physical computer. Turing made a conditional prediction about the performance of machines at the imitation game by about the year 2000; it concerns a particular statistical criterion and should be read in the paper itself (Turing, 1950). Whether behavioural indistinguishability is sufficient evidence of thought is contested (Contested).

The Turing machine model and the undecidability of the halting problem and the Entscheidungsproblem are standard results in computability theory (Established). The imitation game remains a reference point in discussions of large language models, though the evidential value of conversational indistinguishability is disputed, and contemporary evaluation practice is covered in [CAP-BENCH-001].

No forecasts are made in this biography. The historiography of Turing's life and work continues to develop as archival material is catalogued; readers should check current scholarship for later biographical findings.

• Foundational Concepts:
  • HIST-001 Precursors to Artificial Intelligence: Context for computability and cybernetics.
  • FOUND-001 Artificial Intelligence: The discipline that took up Turing's question.
• Related Methods & Technologies:
  • FOUND-005 Philosophy of Mind: Debate over what the imitation game does and does not show.
  • HIST-002 The Dartmouth Workshop (1956): The field-founding event two years after Turing's death.
• Advanced Implications & Future Trajectories:
  • BIO-SHANNON-001 Claude Shannon: Contemporary working on information and machine play.
  • BIO-MCCARTHY-001 John McCarthy: Organizer of the Dartmouth proposal.