Alan Turing (1912. – 1954.) bio je britanski matematičar, logičar i kriptograf koji mnogi smatraju ocem računalne znanosti. Njegov doprinos razbijanju njemačke nacističke Enigme tijekom Drugog svjetskog rata smatran je ključnim za savezničke ratne napore. Alan Turing je formulirao više ideja koje sada leže u temeljima računalne znanosti i teorije izračunljivosti, kao što je ideja Turingovog stroja ili Church-Turingova teza.
Turingov stroj jednostavan je matematički konstrukt koji se može zamisliti kao traka za snimanje beskonačne duljine spojena s mehaničkom jedinicom s mogućnošću čitanja/pisanja. Jedinica može izvesti samo tri radnje; pročitajte malo vrpce i vratite rezultat; napišite malo na vrpci; ili izbrisati već postojeći bit. Turingova Church-Turingova teza, formulirana s Alonzom Churchom, kaže da takav Turingov stroj teoretski može izračunati bilo koji algoritam s dovoljno vremena i prostora za pohranu. Također navodi da svaki praktični računalni model mora biti vrsta Turingovog stroja. Prošireno, to znači da se ljudski mozak može definirati kao Turingov stroj, jer obrađuje informacije na jedini način na koji se informacije mogu obraditi; čitanjem, pisanjem i manipuliranjem dijelovima memorije.
Church-Turingova teza također tvrdi da se bilo koji algoritam može pokrenuti na bilo čemu što se kvalificira kao Turingov stroj. Turing je pomogao u formuliranju izvorne definicije algoritma, koja je otprilike sljedeća: 1) algoritam će se sastojati od konačnog skupa preciznih instrukcija koje treba izvršiti; 2) biti izračunljiv u konačnom broju koraka (nemogućnost programa da odredi može li se izvršiti ili ne u konačnom broju koraka naziva se “problem zaustavljanja”); 3) biti u principu izračunljiv samo s olovkom, papirom i beskonačnim vremenom; 4) ne zahtijevaju nikakve pozadinske informacije za izvršenje, odnosno biti samostalan.
Alan Turing školovao se na Cambridgeu i Princetonu tijekom 30-ih godina. Godine 1936. Turing je objavio vrlo utjecajan rad, O izračunljivim brojevima, s primjenom na Entscheidungsproblem, odgovarajući na otvoreno pitanje koje je postavio Kurt Goedel 1931., koji je pokazao da ne postoji algoritamski način da se utvrdi je li data izjava prvog reda u simbolička logika je univerzalno valjana. Godine 1938. Alan Turing je doktorirao na Princetonu u Alonzo Churchu.
Alan Turing proveo je svoje poslijeratne godine radeći na nekim od prvih reprogramabilnih digitalnih računala, proizvodeći jedan od prvih dizajna 1946. Također se bavio problemom umjetne inteligencije, formulirajući Turingov test, test za određivanje je li stroj ili ne zaslužuje da se nazove svjesnim i inteligentnim. U Turingovom testu, ljudsko biće upisuje riječi na tipkovnicu kako bi komuniciralo s dvije skrivene osobe, jedna je stvarno ljudsko biće, druga AI. Ako ljudsko biće ne može razlikovati koji je komunikant čovjek, a koji AI, kaže se da je AI prošao Turingov test. Neki futuristi, kao što je dobitnik Nacionalne medalje za tehnologiju Ray Kurzweil, sugerirali su da ćemo imati računalo koje prolazi Turing test prije 2030. godine.
Alan Turing umro je 1954. od jabuke prošarane cijanidom. Kaže se da je njegova smrt samoubojstvo, rezultat kaznenog progona zbog homoseksualizma i prisilnog uzimanja hormona od strane vlade.