# Alan Turing **Domain:** Computation / Artificial Intelligence / Mathematics **Doc Type:** Thinker Node **Maturity:** Developed **Related:** [[Artificial Intelligence]], [[Machine Intelligence Continuum]], [[Cybernetics]], [[Machine Learning]] ## Definition **Alan Turing (1912–1954)** was a British mathematician whose work helped establish the formal theory of computation and whose 1950 paper “Computing Machinery and Intelligence” directly framed the problem of machine intelligence. ## Contributions Turing’s 1936 analysis of computable procedures introduced an abstract machine model capable of expressing general computation. His wartime cryptanalytic work demonstrated the strategic power of mechanized reasoning, while later writings treated learning machines, adaptation, and the problem of evaluating intelligent behavior. ## Corpus Function Turing is a central hinge in the [[Machine Intelligence Continuum]]: earlier dreams of mechanical or symbolic reasoning became a formal account of what a general computing process could be. His imitation game is a behavioral test, not proof of consciousness or personal continuity. ## Sources / Provenance - Turing Digital Archive, “Computing machinery and intelligence”: https://turingarchive.kings.cam.ac.uk/computing-machinery-and-intelligence - Turing Digital Archive, “Intelligent machinery”: https://turingarchive.kings.cam.ac.uk/intelligent-machinery