Matematico ed informatico inglese (1912-1954). Ideò la "macchina di Turing" che sono delle regole che determinano come deve essere un elaboratore per essere capace a risolvere gli Algoritmi (vedi). In pratica, un elaboratore deve avere già un progetto efficiente (quindi, non è necessario che esista realmente), deve avere capacità decisionale, di lettura, di scrittura, etc...