Turing (1912-1954) fu un matematico e logico inglese. I suoi contributi alla fondazione della logica matematica dell'informatica moderna sono di rilievo assoluto. Fu un precursore della moderna teoria dell'intelligenza artificiale: le sue macchine (oggi dette macchine di Turing) sono il modello di ogni algoritmo computazionale. Attraverso i suoi risultati sulla indecidibilità di alcuni problemi emergenti dallo studio di macchine elementari fu il primo a mostrare l'incredibile profondità che si nasconde nel personal computer che tutti abbiamo sopra la scrivania.
Durante la II guerra mondiale diresse un team di ricercatori che riuscì a spezzare il codice crittografico Enigma che i tedeschi ritenevano inviolabile.