Alan Turing (1912 – 1954) je bil britanski matematik, logik in kriptograf, ki ga mnogi štejejo za očeta računalništva. Njegov prispevek k razbitju nemške nacistične kode Enigma med drugo svetovno vojno je veljal za ključnega pomena za vojna prizadevanja zaveznikov. Alan Turing je oblikoval več idej, ki zdaj ležijo v temeljih računalništva in teorije izračunljivosti, kot je ideja o Turingovem stroju ali Church-Turingova teza.
Turingov stroj je preprosta matematična konstrukcija, ki si jo lahko predstavljamo kot posneti trak neskončne dolžine, povezan z mehansko enoto z zmožnostjo branja/pisanja. Enota lahko izvede le tri dejanja; preberite delček traku in vrnite rezultat; napišite malo na trak; ali izbrišite že obstoječi del. Turingova Church-Turingova teza, oblikovana z Alonzom Churchom, navaja, da lahko tak Turingov stroj teoretično izračuna kateri koli algoritem, če ima dovolj časa in prostora za shranjevanje. Prav tako navaja, da mora biti vsak praktični računalniški model vrsta Turingovega stroja. V razširitvi to pomeni, da lahko človeške možgane opredelimo kot Turingov stroj, ker obdelujejo informacije na edini način, na katerega se informacije lahko obdelajo; z branjem, pisanjem in manipuliranjem z deli pomnilnika.
Teza Church-Turing tudi trdi, da se lahko kateri koli algoritem izvaja na vsem, kar je kvalificirano kot Turingov stroj. Turing je pomagal oblikovati prvotno definicijo algoritma, ki je približno naslednja: 1) algoritem bo sestavljen iz končnega nabora natančnih navodil, ki jih je treba izvesti; 2) biti izračunljiv v končnem številu korakov (nezmožnost programa, da ugotovi, ali ga je mogoče izvesti v končnem številu korakov ali ne, se imenuje “problem ustavljanja”); 3) biti načeloma izračunljiv samo s peresom, papirjem in neskončnim časom; 4) ne zahtevajo nobenih osnovnih informacij za izvedbo, torej so samostojne.
Alan Turing se je v 30-ih letih izobraževal na Cambridgeu in Princetonu. Leta 1936 je Turing objavil zelo vpliven članek O izračunljivih številkah z aplikacijo za Entscheidungsproblem, ki je odgovoril na odprto vprašanje, ki ga je postavil Kurt Goedel leta 1931, ki je pokazal, da ni algoritemskega načina za določitev, ali je podana izjava prvega reda v simbolna logika je univerzalno veljavna. Leta 1938 je Alan Turing doktoriral na Princetonu pri Alonzo Church.
Alan Turing je svoja povojna leta delal na nekaterih prvih digitalnih računalnikih, ki jih je mogoče reprogramirati, leta 1946 pa je izdelal enega prvih modelov. Prav tako se je ukvarjal s problemom umetne inteligence in oblikoval Turingov test, test za ugotavljanje, ali je stroj ali ne. zasluži, da se imenuje zavesten in inteligenten. V Turingovem testu človek vtipka besede na tipkovnico za komunikacijo z dvema skritima osebama, ena je dejanski človek, druga pa AI. Če človek ne more razlikovati, kateri sogovornik je človek in kateri AI, naj bi AI opravila Turingov test. Nekateri futuristi, kot je dobitnik nacionalne medalje za tehnologijo Ray Kurzweil, so predlagali, da bomo pred letom 2030 imeli računalnik, ki bo opravil Turingov test.
Alan Turing je umrl leta 1954 zaradi jabolka s cianidom. Njegova smrt naj bi bila samomor, ki je posledica sodnega pregona zaradi homoseksualnosti in prisilne vlade k jemanju hormonov.