« Dans une de ses plus importantes contribution à la logique mathématique, […] il a élaboré le concept théorique d'une machine à calculer « universelle » (la machine de Turing). À partir de 1950, Turing s'intéressa à l'intelligence artificielle. » (Inventeurs et scientifiques : dictionnaire de biographies, Larousse, 1994.)