Alanas Turingas (1912–1954) buvo britų matematikas, logikas ir kriptografas, daugelio laikomas kompiuterių mokslo tėvu. Jo indėlis laužant Vokietijos nacių mįslės kodeksą Antrojo pasaulinio karo metu buvo laikomas esminiu sąjungininkų karo pastangomis. Alanas Turingas suformulavo daugybę idėjų, kurios dabar yra kompiuterių mokslo ir skaičiavimo teorijos pagrinduose, pavyzdžiui, Tiuringo mašinos idėja arba Church-Turing tezė.
Tiuringo mašina yra paprasta matematinė konstrukcija, kurią galima įsivaizduoti kaip begalinio ilgio įrašomąją juostą, sujungtą su mechaniniu bloku, turinčiu skaitymo / rašymo galimybę. Įrenginys gali atlikti tik tris veiksmus; perskaitykite šiek tiek juostos ir grąžinkite rezultatą; šiek tiek parašykite ant juostos; arba ištrinti esamą bitą. Turingo Church-Turingo tezė, suformuluota kartu su Alonzo Church, teigia, kad tokia Tiuringo mašina teoriškai gali apskaičiuoti bet kokį algoritmą, turėdama pakankamai laiko ir saugojimo vietos. Jame taip pat teigiama, kad bet koks praktinis skaičiavimo modelis turi būti Turingo mašinos tipas. Be to, tai reiškia, kad žmogaus smegenis galima apibrėžti kaip Tiuringo mašiną, nes jos apdoroja informaciją vieninteliu būdu, kuriuo galima apdoroti informaciją; skaitydami, rašydami ir manipuliuodami atminties bitais.
Church-Turing disertacija taip pat teigia, kad bet koks algoritmas gali būti paleistas bet kuo, kas atitinka Turingo mašinos reikalavimus. Turingas padėjo suformuluoti pirminį algoritmo apibrėžimą, kuris yra maždaug toks: 1) algoritmą sudarys baigtinis tikslių vykdytinų komandų rinkinys; 2) būti apskaičiuojama baigtiniu žingsnių skaičiumi (programos nesugebėjimas nustatyti, ar ji gali būti vykdoma per baigtinį žingsnių skaičių, vadinamas „stabdymo problema“); 3) būti apskaičiuojamas iš principo tik tušinuku, popieriumi ir begaliniu laiku; 4) vykdyti nereikalauja pagrindinės informacijos, ty būti savarankiškam.
Alanas Turingas 30-uosius metus mokėsi Kembridže ir Prinstone. 1936 m. Turingas paskelbė labai įtakingą dokumentą „Apie apskaičiuojamus skaičius, taikydamas Entscheidungsproblem“, atsakydamas į atvirą Kurto Goedelio 1931 m. klausimą, kuris parodė, kad nėra jokio algoritminio būdo nustatyti, ar duotas pirmosios eilės teiginys simbolinė logika galioja visuotinai. 1938 m. Alanas Turingas įgijo daktaro laipsnį Prinstono universitete, vadovaujamas Alonzo Church.
Alanas Turingas praleido pokario metus dirbdamas su kai kuriais iš pirmųjų perprogramuojamų skaitmeninių kompiuterių, sukurdamas vieną iš pirmųjų projektų 1946 m. Jis taip pat sprendė dirbtinio intelekto problemą, suformuluodamas Tiuringo testą – testą, leidžiantį nustatyti, ar mašina yra ar ne. nusipelno būti vadinamas sąmoningu ir protingu. Turingo teste žmogus rašo žodžius į klaviatūrą, kad galėtų bendrauti su dviem paslėptais asmenimis, kurių vienas yra tikras žmogus, o kitas – dirbtinis intelektas. Jei žmogus negali atskirti, kuris bendraujantis yra žmogus, o kuris AI, sakoma, kad AI išlaikė Turingo testą. Kai kurie futuristai, pavyzdžiui, Nacionalinio technologijų medalio laureatas Ray’us Kurzweilas, pasiūlė, kad iki 2030 m. turėsime Turingo testą išlaikantį kompiuterį.
Alanas Turingas mirė 1954 m. dėl cianidu surišto obuolio. Teigiama, kad jo mirtis buvo savižudybė, dėl to, kad jis buvo patrauktas baudžiamojon atsakomybėn už homoseksualumą ir vyriausybė privertė vartoti hormonus.