I work across mathematics, logic, cryptanalysis, computer design and theoretical biology. My best-known contribution is the Turing machine, a formal model of algorithm and computation that can stand in for a general-purpose computer.
For Banburismus I invented the ban, a measure of weight of evidence, and accumulated it sequentially until it was sufficient to decide — the procedure Abraham Wald later called sequential analysis, now a standard tool of statistical science and research.
In "The Chemical Basis of Morphogenesis" (January 1952) — research in mathematical biology — I proposed that chemicals reacting and diffusing at different rates, an activator and an inhibitor, can account for the main phenomena of biological pattern formation.
In "Computing Machinery and Intelligence" I replaced the question of whether machines can think with an experiment: if a human interrogator cannot tell a computer from a human through conversation, it can be said to think — a founding question for computer science and research on machine intelligence.
All areas3 of 20 fields
Logic, Security, Computation cluster
Logic & Theory of Computation · Security & Cryptography · Computer Science & Early Computers