Alan Turing
Computability and universal machines
Formalized a universal model of computation in 1936 and later reframed the question of machine intelligence.
Formalized a universal model of computation in 1936 and later reframed the question of machine intelligence.
Why this matters
Computability and universal machines belongs in the archive because it changed how people could express, organize, execute, or reason about software. CodeHistory treats this profile as a knowledge node rather than a plaque: the surrounding links connect this person to related people, systems, events and research.
Evidence note
The key source for this edition is classified as primary. That classification matters: contemporaneous primary records, later first-person recollections and independent retrospective reporting carry different evidentiary weight.
Turing — On Computable Numbers (1936) ↗
How CodeHistory treats the record
This is a living profile. Dates, priority claims and interpretations can be revised when stronger evidence appears. Corrections should preserve the distinction between what a source directly documents and what the archive infers from it.