Alan Turing (1912 – 1954) oli brittiläinen matemaatikko, logiikka ja salakirjoittaja, jota monet pitivät tietotekniikan isänä. Hänen osuutensa Saksan natsien Enigma -koodin rikkomisessa pidettiin keskeisenä liittoutuneiden sotatoimissa. Alan Turing muotoili useita ajatuksia, jotka ovat nyt tietotekniikan ja laskettavuusteorian perustalla, kuten ajatus Turingin koneesta tai Church-Turingin opinnäytetyöstä.
Turingin kone on yksinkertainen matemaattinen rakenne, joka voidaan kuvitella äärettömän pituiseksi tallennettavaksi nauhaksi, joka on kytketty mekaaniseen yksikköön, jolla on luku-/kirjoitusominaisuus. Yksikkö voi suorittaa vain kolme toimintoa; lue vähän nauhaa ja palauta tulos; kirjoita vähän nauhalle; tai poista olemassa oleva bitti. Turingin kirkon ja Turingin väitöskirja, joka on muotoiltu Alonzon kirkon kanssa, toteaa, että tällainen Turingin kone voi teoreettisesti laskea minkä tahansa algoritmin, kun sille annetaan riittävästi aikaa ja tallennustilaa. Siinä todetaan myös, että minkä tahansa käytännön laskentamallin on oltava Turingin koneen tyyppi. Tämä tarkoittaa sitä, että ihmisen aivot voidaan määritellä Turingin koneeksi, koska ne käsittelevät tietoa ainoalla tavalla, jolla tietoa voidaan käsitellä; lukemalla, kirjoittamalla ja manipuloimalla muistinpalasia.
Church-Turingin väitöskirjassa väitetään myös, että mikä tahansa algoritmi voidaan ajaa millä tahansa Turingin koneella. Turing auttoi muotoilemaan algoritmin alkuperäisen määritelmän, joka on suunnilleen seuraava: 1) algoritmi koostuu äärellisestä joukosta tarkkoja suoritettavia ohjeita; 2) oltava laskettavissa rajallisessa määrin vaiheita (ohjelman kyvyttömyyttä määrittää, voidaanko se suorittaa rajallisessa määrin vaiheita, kutsutaan “pysäytysongelmaksi”); 3) oltava periaatteessa laskettavissa vain kynällä, paperilla ja loputtomasti; 4) eivät vaadi suoritettavaksi mitään taustatietoja, eli ovat itsenäisiä.
Alan Turing opiskeli Cambridgessa ja Princetonissa koko 30 -luvun ajan. Vuonna 1936 Turing julkaisi erittäin vaikutusvaltaisen artikkelin Laskettavista numeroista, jossa oli hakemus Entscheidungsproblem-ongelmaan, ja vastasi Kurt Goedelin vuonna 1931 esittämään avoimeen kysymykseen. symbolinen logiikka on yleisesti pätevä. Vuonna 1938 Alan Turing väitteli tohtoriksi Princetonista Alonzon kirkon alaisuudessa.
Alan Turing käytti sodanjälkeisiä vuosia työskennellessään joidenkin ensimmäisten uudelleenohjelmoitavien digitaalisten tietokoneiden parissa ja tuotti yhden ensimmäisistä malleista vuonna 1946. Hän käsitteli myös tekoälyn ongelmaa ja muotoili Turingin testin, testin sen määrittämiseksi, onko kone vai ei. ansaitsee tulla tietoiseksi ja älykkääksi. Turingin testissä ihminen kirjoittaa sanoja näppäimistöön kommunikoidakseen kahden piilotetun henkilön kanssa, joista toinen on todellinen ihminen ja toinen tekoäly. Jos ihminen ei pysty erottamaan, mikä kommunikaattori on ihminen ja mikä AI, tekoälyn sanotaan läpäisseen Turingin testin. Jotkut futuristit, kuten National Medal of Technology -voittaja Ray Kurzweil, ovat ehdottaneet, että meillä on Turing-testin läpäisevä tietokone ennen vuotta 2030.
Alan Turing kuoli syanidipitoisen omenan takia vuonna 1954. Hänen kuolemansa sanotaan olevan itsemurha, joka johtuu siitä, että hallinto on tuominnut hänet homoseksuaalisuudesta ja pakottanut ottamaan hormoneja.