Alan Turing

Wikipediasta
(Ohjattu sivulta Turing)
Siirry navigaatioon Siirry hakuun
Alan Turing
Alan Turing 1930-luvulla.
Alan Turing 1930-luvulla.
Henkilötiedot
Syntynyt23. kesäkuuta 1912
Lontoo, Englanti
Kuollut7. kesäkuuta 1954 (41 vuotta)
Wilmslow, Cheshire, Englanti
Koulutus ja ura
Tutkinnot Cambridgen yliopisto
Princetonin yliopisto
Väitöstyön ohjaaja Alonzo Church
Instituutti Manchesterin yliopisto
National Physical Laboratory
Cambridgen yliopisto
Oppilaat Robin Gandy
Tutkimusalue Matematiikka, logiikka, kryptoanalyysi, tietojenkäsittelytiede
Tunnetut työt pysähtymisongelma, Turingin kone
Palkinnot Order of the British Empire
Fellow of the Royal Society
Nimikirjoitus
Nimikirjoitus
Aiheesta muualla
www.turingarchive.org

Alan Mathison Turing [ˈt(j)ʊ(ə)rɪŋ] (23. kesäkuuta 1912 Lontoo7. kesäkuuta 1954 Wilmslow)[1] oli brittiläinen matemaatikko ja logiikan tutkija, joka vuonna 1936 julkaisi formalisoimansa algoritmin ja tietojenkäsittelytieteessä käytetyn Turingin kone -käsitteen.[2] Häntä pidetään yhtenä modernin tietojenkäsittelyn merkittävimmistä uranuurtajista. Toisen maailmansodan aikana hän johti Saksan laivaston Enigma-salakirjoituskoneen purkutyötä brittitiedustelun Bletchley Park -tukikohdassa. Tämä työ saattoi lyhentää sotaa Euroopassa kahdesta neljään vuotta.[3] Sodan jälkeen hän suunnitteli yhden ensimmäisistä ohjelmoitavista digitaalisista tietokoneista ja myös rakensi prototyypin siitä Manchesterin yliopistossa. Hän esitti merkittäviä ja luonteenomaisesti provosoivia mielipiteitä keskustelussa koneiden ajattelukyvystä ja kehitti Turingin testin.

Muita hänen tutkimuskohteitaan olivat todennäköisyyslaskenta, kryptografia, lukuteoria ja algebra. Turing loi mainetta morfogeneesiteorian ideoijana. Sen avulla pyritään selittämään, millä tavoin geenit aiheuttavat eliöiden rakenteen ja muodon muodostumisen. Esimerkiksi seeprojen raitojen ja gepardien pilkkujen kehittymiseen liittyvät seikat kuuluvat morfogeneesin piiriin.

Turing oli homoseksuaali, minkä vuoksi häntä vainottiin. Turingille tehtiin kemiallinen kastraatio, ja hänen uskotaan tehneen itsemurhan syanidilla kyllästetyn omenan syömisellä.[4] Hänen ansionsa sotasalakirjoituksen parissa tunnustettiin vasta hänen kuolemansa jälkeen.

Lapsuus ja nuoruus

[muokkaa | muokkaa wikitekstiä]

Alan Turingin vanhemmat olivat Julius Mathison Turing ja Sara o.s. Stoney. Julius työskenteli brittien virkamiehistössä Intiassa (Indian Civil Service). Sara, Madras Railway -rautatieyhtiön pääinsinöörin Edward Waller Stoneyn tytär, tuli raskaaksi heidän asuessaan Chhatrapurissa Orissan osavaltiossa.[5] Koska vanhemmat halusivat lapsensa kasvavan Englannissa, he palasivat Lontoon Maida Valeen, jossa Alan Turing syntyi 23. kesäkuuta 1912.[6] Tapahtumasta todistaa sininen laatta nykyisen Colonnade Hotelin ulkopuolella. [5][7] Alanilla oli isoveli nimeltään John. Turingin isä toimi edelleen virkamiehenä Intiassa, joten Alanin lapsuusvuosina hänen vanhempansa matkustivat Englannin Guildfordin ja Intian välillä jättäen kaksi poikaansa perheen ystävien huostaan Englantiin. Jo hyvin varhain Turing osoitti merkkejä nerokkuudestaan, joka tuli myöhemmin selkeämmin esiin.[8]

Hänen vanhempansa ilmoittivat hänet St Michael'sin päiväkouluun kuuden vuoden ikäisenä. Koulun rehtori huomasi hänen poikkeukselliset lahjansa varhain, kuten myös monet hänen muistakin opettajistaan. 14-vuotiaana vuonna 1926 hän siirtyi Sherborne Schooliin, kuuluisaan ja kalliiseen yksityiseen oppilaitokseen Dorsetissa. Lukuvuoden ensimmäisenä päivänä Englannissa oli yleislakko, mutta Turing halusi olla niin innokkaasti paikalla ensimmäisenä koulupäivänään, että hän ajoi Southamptonista koululleen yksin polkupyörällään liki sadan kilometrin matkan yöpyen välillä majatalossa.[9]

Tietokonehuone King's Collegessa on nykyään nimetty Turingin mukaan. Hän aloitti opiskelun koulussa vuonna 1931 ja hänestä tuli fellow vuonna 1935.

Jotkut Sherbornen opettajat eivät arvostaneet Turingin luontaista kiinnostusta matematiikkaan ja tieteisiin. He painottivat pikemminkin klassista koulutusta. Hänen rehtorinsa kirjoitti hänen vanhemmilleen: ”Toivon, että hän ei putoa kahden koulun väliin. Jos hän haluaa jatkaa yksityiskoulussa, hänen täytyy tähdätä koulutetuksi. Jos hän aikoo olla vain tieteellinen spesialisti, hän tuhlaa yksityiskoulussa aikaansa.”[10]

Tästä huolimatta Turing menestyi edelleen erinomaisesti aineissa, joista hän piti, ja ratkaisi vuonna 1927 monimutkaisia ongelmia opiskelematta lainkaan laskuopin perusteita. 16-vuotiaana vuonna 1928 Turing tutustui Albert Einsteinin teoksiin; hän ei ainoastaan käsittänyt niitä, vaan päätteli Einsteinin teorian kyseenalaistavan Newtonin lait tekstistä, jossa tätä ei eksplisiittisesti ilmaistu.[11]

Turingin toiveet ja kunnianhimo koulussa lisääntyivät, kun hänen ja hieman vanhemman opiskelijan Christopher Morcomin välille kehittyi läheinen ystävyys. Morcom oli myös Turingin ensimmäinen romanttinen kiinnostus. Hän kuoli yhtäkkisesti vain muutama viikko heidän viimeisen Sherbornen-lukukautensa alkamisen jälkeen naudan tuberkuloosin aiheuttamiin komplikaatioihin. Hän oli saanut taudin juotuaan lapsena tartunnan saaneen lehmän maitoa.[12] Turingin usko särkyi, ja hänestä tuli ateisti[13][14]. Hänen vakaumuksensa oli, että kaikkien ilmiöiden, myös ihmisen aivotoiminnan, täytyi olla materiaalisia.[15]

Yliopisto ja työ laskettavuuden parissa

[muokkaa | muokkaa wikitekstiä]

Koska Turing ei halunnut opiskella klassisia aineita yhtä ahkerasti kuin tiedettä ja matematiikkaa, hän ei saanut stipendiä Cambridgen Trinity Collegeen vaan päätyi King's Collegeen, toiseen vaihtoehtoonsa. Hän opiskeli siellä vuosina 1931–1934 ja valmistui hyvin arvosanoin. Vuonna 1935 hänet otettiin King's Collegen jäseneksi (fellow) keskeistä raja-arvolausetta koskevan tutkielmansa perusteella.

Keskeisessä artikkelissaan "On Computable Numbers, with an Application to the Entscheidungsproblem" (jätetty 28. toukokuuta 1936[16]) Turing muotoili uudelleen Kurt Gödelin vuonna 1931 saamat matemaattista todistusta ja laskettavuutta käsittelevät tulokset.[17] Hän korvasi Gödelin universaalin, aritmetiikkaan pohjautuvan formaalin kielen Turingin koneilla, yksinkertaisilla formaaleilla malleilla. Hän todisti, että jonkinlainen niiden kaltainen kone voisi ratkaista minkä tahansa matemaattisen ongelman, jos se voitaisiin esittää algoritmina, vaikka todellisella Turingin koneella tuskin olisikaan käytännön sovellutuksia, sillä se olisi huomattavasti hitaampi kuin käytännöllisemmät vaihtoehdot.

Laskennan teoria tutkii nykyäänkin erityisesti Turingin koneita. Turing todisti edelleen, että Entscheidungsproblemiin ei ollut ratkaisua. Ensin hän osoitti, ettei pysähtymisongelmaa voitu ratkaista Turingin koneilla: ei ole mahdollista saada algoritmisesti selville, pysähtyykö tietty Turingin kone koskaan. Vaikka hänen todistuksensa julkaistiinkin vasta sen jälkeen, kun Alonzo Church oli tehnyt vastaavan todistuksen lambdakalkyylinsä suhteen, Turingin teos on huomattavasti helpommin lähestyttävissä ja intuitiivisempi. Myös siinä esitelty käsite "universaalista (Turingin) koneesta", koneesta joka kykenisi toimimaan minkä tahansa muun koneen tavoin, oli uudenlainen.

Turingin koneessa on tila, jotta kone muistaa mitä se on tekemässä, sekä tietyt toiminnot, joilla se toimii.[18] Turing määritteli minimaalisen joukon toimintoja, joka riittää laskemaan kaiken mikä on laskettavissa (Turing-täydellinen käskysarja).[18] Turingin koneilla on yhä merkitys, koska jos voidaan todeta ettei asiaa voida ratkaista Turingin koneella sitä ei voida ratkaista millään tietokoneella.[18]

Suurimman osan vuosista 1937 ja 1938 hän vietti Princetonin yliopistossa opiskellen Alonzo Churchin ohjauksessa. Vuonna 1938 hän suoritti tohtorintutkintonsa (Ph.D.) Princetonissa; hänen tutkielmassaan esiteltiin suhteellisen laskennan käsite (engl. relative computing), jossa Turingin koneiden lisäksi käytetään niin kutsuttuja oraakkelikoneita. Niiden avulla voidaan tutkia ongelmia, joita ei Turingin koneella voi ratkaista.

Palattuaan Cambridgeen vuonna 1939 hän osallistui Ludwig Wittgensteinin matematiikan perusteita koskeville luennoille.[19] Wittgenstein ja Turing väittelivät ja olivat erimielisiä: Turing puolusti formalismia ja Wittgenstein väitti, ettei matematiikka löydä mitään absoluuttisia totuuksia vaan pikemminkin keksii niitä.[20]

Kryptoanalyysi

[muokkaa | muokkaa wikitekstiä]
Kaksi mökkiä Bletchley Parkissa. Turing työskenteli täällä vuosina 1939–1940, ennen kuin siirtyi Hut 8:aan.

Toisen maailmansodan aikana Turing osallistui saksalaisten käyttämien salakirjoitusjärjestelmien murtamiseen Bletchley Parkissa. Hän tukeutui ennen sotaa Puolan Biuro Szyfrówissa työskennelleiden Marian Rejewskin, Jerzy Różyckin ja Henryk Zygalskin kryptoanalyyttiseen tutkimukseen. Hän teki useita oivalluksia, jotka auttoivat murtamaan Enigma-koneen ja Lorenz SZ-40/42:n (kaukokirjoittimissa käytetty salauslaite, jolle britit antoivat koodinimen "Tunny") koodit. Jonkin aikaa hän johti Hut 8:aa, joka oli vastuussa Saksan laivaston viestinnän tulkitsemisesta.

Syyskuusta 1938 lähtien Turing oli työskennellyt osa-aikaisesti Government Code and Cypher Schoolissa (GCCS), brittien koodinmurtojärjestössä. Hän työskenteli Saksan Enigma-salauksen murtamisen parissa ja teki yhteistyötä GCCS:n vanhemman koodinmurtajan Dilly Knoxin kanssa.[21] 4. syyskuuta 1939, päivä sen jälkeen kun Yhdistynyt kuningaskunta oli julistanut sodan Saksalle, Turing ilmoittautui GCCS:n sodanajan tiloihin Bletchley Parkiin.[22]

Turingin–Welchmanin bombe

[muokkaa | muokkaa wikitekstiä]
Kopio bombe-koneesta

Viikkojen kuluessa saapumisestaan Bletchley Parkiin[22] Turing oli suunnitellut sähkömekaanisen laitteen, jonka avulla Enigma voitaisiin murtaa nopeammin kuin vuoden 1932 bomba-koneella. Uusi bombe-kone nimettiin aiemman puolalaisen bomban mukaan, johon se perustui. Matemaatikko Gordon Welchmanin ehdottamalla parannuksella varustetusta bombesta tuli yksi tärkeimmistä työvälineistä, ja tärkein automatisoitu väline, hyökkäyksessä Enigma-koodin suojaamaa viestintää vastaan.

Turingin kanssa Bletchley Parkissa työskennellyt kryptoanalyytikko Jack Good sanoi myöhemmin: "Turingin tärkein kontribuutio, omasta mielestäni, oli kryptoanalyyttisen bombe-koneen suunnittelussa. Hänellä oli ajatus, että voitaisiin soveltaa käytännössä loogista teoreemaa, joka kuulostaa harjaantumattomaan korvaan suhteellisen absurdilta; nimittäin sitä, että ristiriidasta voidaan päätellä kaikki."[23]

Bombe etsi Enigma-viestissä käytettyjä, mahdollisesti oikeita asetuksia (eli kiekkojen järjestystä, kiekkojen asetuksia jne.) käyttäen sopivaa "lunttia", osaa todennäköisestä selkotekstistä. Jokaiselle mahdolliselle kiekkojen asetukselle (joita oli 1019, tai sukellusveneiden Enigma-koneiden tapauksessa 1022, sillä niissä käytettiin lopulta neljää kiekkoa kolmen tavallisen sijaan)[24] bombe suoritti sähköisesti sarjan loogisia päätelmiä luntin perusteella. Bombe havaitsi mahdollisen ristiriidan ja hylkäsi asetuksen siirtyen seuraavaan. Suurin osa mahdollisista asetuksista aiheutti ristiriitoja, ja vain muutama jäi jäljelle tutkittavaksi yksityiskohtaisesti. Turingin ensimmäinen bombe otettiin käyttöön 18. maaliskuuta 1940.[25] Sodan loppuun mennessä oli käytössä useita satoja bombe-koneita.[26]

Hut 8 ja laivaston Enigma

[muokkaa | muokkaa wikitekstiä]

Joulukuussa 1940 Turing ratkaisi laivaston Enigman indikaattorijärjestelmän, joka oli matemaattisesti monimutkaisempi kuin muut vastaavat järjestelmät. Turing keksi myös bayeslaisen tilastollisen tekniikan, jolle annettiin nimeksi "Banburismus", auttamaan laivaston Enigman murtamisessa. Banburismus-tekniikan avulla voitiin sulkea pois laskuista tiettyjä Enigman kiekkojen asetuksia, mikä vähensi bombe-koneiden käyttöön tarvittavaa aikaa.

Keväällä 1941 Turing ehdotti avioliittoa Joan Clarkelle, kollegalleen Hut 8:ssa, mutta kihlaus purettiin yhteisestä sopimuksesta kesällä.

Heinäkuussa 1942 Turing kehitti nimillä Turingismus tai Turingery tunnetun tekniikan sovellettavaksi Lorenz-salaimen murtamiseen. Sitä käytettiin saksalaisten uudessa Geheimschreiber-koneessa ("salakirjoittaja", yksi koodinimellä "Fish" tunnetuista koneista). Hän myös esitteli Fish-tiimin Tommy Flowersille, joka rakensi myöhemmin Max Newmanin ohjauksessa Colossus-tietokoneen. Colossus oli maailman ensimmäinen ohjelmoitava digitaalinen elektroninen tietokone. Se korvasi aiemmat yksinkertaisemmat koneet (kuten "Heath Robinsonin") ja sen suuremman nopeuden ansiosta päivittäin vaihtuvia salaimia voitiin murtaa.[27] Usein virheellisesti luullaan, että Turingilla oli keskeinen rooli Colossuksen suunnittelussa; näin ei kuitenkaan ollut.[28]

Turing matkusti Yhdysvaltoihin marraskuussa 1942 ja työskenteli yhdessä Yhdysvaltain laivaston kryptoanalyytikkojen kanssa laivaston Enigman ja bombe-koneiden parissa Washingtonissa. Hän avusti Bell Labsissa puheen salaukseen tarkoitettujen laitteiden kehittämistä. Hän palasi Bletchley Parkiin maaliskuussa 1943. Turingin poissaolon aikana Hugh Alexander oli noussut virallisesti Hut 8:n johtoon, ja hän olikin johtanut yksikköä käytännössä jo jonkin aikaa, sillä Turing ei juuri ollut kiinnostunut sen päivittäisistä ylläpitotehtävistä. Turingista tuli Bletchley Parkin kryptoanalyysikonsultti.

Sodan loppupuolella Turing aloitti koodinimellä Delilah tunnetun kannettavan puheensalauskoneen suunnittelun insinööri Donald Bayleyn avustamana ja opiskeli samaan aikaan elektroniikkaa. Koneelle oli suunniteltu erilaisia käyttötarkoituksia, sitä ei voitu käyttää pitkän matkan radiolähetyksissä eikä se valmistunut ajoissa käytettäväksi sodassa. Vaikka Turing esittelikin sitä virkamiehille salaamalla ja purkamalla tallenteen Winston Churchillin puheesta, Delilah-konetta ei otettu käyttöön.

Vuonna 1945 Turingille myönnettiin brittiläisen imperiumin upseerin (OBE) arvo, mutta hänen työnsä pysyi salaisena useiden vuosien ajan. Royal Societyn hieman hänen kuolemansa jälkeen julkaisema elämäkerta kertoi:

Kolme juuri ennen sotaa kirjoitettua huomattavaa artikkelia kolmesta erilaisesta matemaattisesta aiheesta osoittavat, miten laadukasta työtä hän olisi voinut tehdä jos hän olisi asettunut tutkimaan jotakin suurta ongelmaa tuona kriittisenä aikana. Työstään ulkoministeriössä hänelle myönnettiin OBE.[29]

Varhaiset tietokoneet ja Turingin testi

[muokkaa | muokkaa wikitekstiä]
Alan Turingia esittävä liuskekivipatsas Bletchley Parkissa. Taustalla valokuva hänestä.

Vuosina 1945–1947 hän työskenteli National Physical Laboratoryssa ja suunnitteli Automatic Computing Engine -tietokonetta (ACE). Hän esitteli artikkelissaan 19. helmikuuta 1946 Yhdistyneen kuningaskunnan ensimmäisen valmiin suunnitelman tietokoneesta, jossa sekä käskyt että data olivat samassa muistissa. Vaikka Turing onnistuikin ACE:n suunnittelussa, hankkeen aloittaminen viivästyi ja hän pettyi. Vuoden 1947 lopussa hän palasi Cambridgeen viettämään sapattivuotta. Sillä välin tietokoneen pilottimalli rakennettiin valmiiksi ilman häntä ja se ajoi ensimmäisen ohjelmansa 10. toukokuuta 1950.[30] Pilottimalli myös kaupallistettiin (English Electric DEUCE) ja ACE-suunnitelman pohjalta tehtiin MOSAIC.[30]

Vuosina 1946–1948 Max Newman kertoi Turingin konsepteista Tom Kilburnille ja Freddie Williamsille, jotka kehittivät Small-Scale Experimental Machine (SSEM) -tietokoneen.[31][32] Newman kertoi Turingin kolmen osoitteen konseptista (lähde 1, lähde 2, kohde, toiminto) sekä ohjelmien tallentamisesta sekä ehdollisesta haarautumisesta.[31] SSEM johti Manchester Mark I:n kehittämiseen.[33]

Vuonna 1948 Turing nimitettiin luennoitsijaksi Manchesterin yliopiston matematiikan osastolle, ja vuonna 1949 hänestä tuli yliopiston tietotekniikan laboratorion apulaisjohtaja. Hän kehitti ohjelmia eräälle varhaisimmista todellisista tietokoneista, Manchester Mark I:lle. Samaan aikaan hän työskenteli abstraktimpien kysymysten parissa ja käsitteli artikkelissaan "Computing machinery and intelligence" (Mind, lokakuu 1950) tekoälyn ongelmaa. Hän ehdotti nykyisin Turingin testinä tunnettua koetta määrittämään tason, jonka ylittävää konetta voitaisiin kutsua ajattelevaksi. Jos tietokone onnistuisi huijaamaan kuulustelijaansa niin, että kuulustelija luulisi keskustelevansa ihmisen kanssa, koneen voitaisiin sanoa "ajattelevan".

Vuonna 1945 Turing ennusti, että jonain päivänä tietokoneet pelaisivat shakkia erittäin hyvin.[34] Vuonna 1948 hän alkoi laatia aiemman opiskelijakollegansa D.G. Champernownen kanssa shakkiohjelmaa tietokoneelle, jota ei ollut vielä olemassa. Tarpeeksi tehokasta konetta ohjelman suorittamiseen ei ollut, joten vuonna 1952 Turing pelasi shakkipelin simuloiden itse tietokonetta. Jokainen siirto kesti noin puoli tuntia. Peli tallennettiin;[35] ohjelma hävisi Turingin kollegalle Alick Glennielle, vaikka sen sanotaankin voittaneen pelin Champernownen vaimoa vastaan.[36]

Kaavoittuminen ja matemaattinen biologia

[muokkaa | muokkaa wikitekstiä]

Turing työskenteli vuodesta 1952 kuolemaansa saakka vuonna 1954 matemaattisen biologian, erityisesti morfogeneesin parissa. Hän julkaisi aiheesta yhden artikkelin vuonna 1952, "The Chemical Basis of Morphogenesis", jossa hän esitteli hypoteesinsa kaavoittumisesta (engl. pattern formation).[37] Hän oli erityisen kiinnostunut Fibonaccin lehtiasennosta, Fibonaccin lukujen esiintyvyydestä kasvien rakenteessa. Hän käytti reaktio-diffuusiokaavoja, jotka ovat nykyisin keskeisessä asemassa kaavoittumisen tutkimuksessa. Hänen myöhempiä artikkeleitaan ei julkaistu ennen kuin vuoden 1992 teoksessa Collected Works of A.M. Turing.

Syyte homoseksuaalisuudesta ja kuolema

[muokkaa | muokkaa wikitekstiä]
Sininen muistolaatta.

Turing oli homoseksuaali, ja hänen aikanaan homoseksuaaliset teot olivat Yhdistyneessä kuningaskunnassa laittomia.[5][38] Homoseksuaalisuutta pidettiin mielenterveyden häiriönä ja sen harjoittamisesta voitiin tuomita oikeudessa. Vuonna 1952 Turingin 19-vuotias uusi tuttava Arnold Murray[39] auttoi rikostoveriaan murtautumaan Turingin asuntoon, ja Turing ilmoitti rikoksen poliisille. Poliisitutkinnan aikana Turing tunnusti olleensa suhteessa Murrayn kanssa, ja heitä syytettiin törkeästä siveettömyydestä Criminal Law Amendment Act 1885:n pykälän 11 nojalla. Turing ei katunut, ja hänet tuomittiin samasta rikoksesta kuin Oscar Wilde oli tuomittu yli 50 vuotta aikaisemmin.[40]

Turingin annettiin valita vankilan ja ehdonalaisen välillä, mutta jälkimmäisen ehtona oli libidoa vähentävien hormonihoitojen aloittaminen. Välttääkseen vankilatuomion hän hyväksyi estrogeenihormoni-injektiot, joita annettiin vuoden ajan. Niiden sivuvaikutuksiin kuului gynekomastia (rintojen suureneminen). Tuomion vuoksi hänen turvallisuusluokituksensa poistettiin eikä hän voinut enää konsultoida GCHQ:ta kryptografisissa kysymyksissä. Samaan aikaan julkisuudessa oltiin huolestuneita vakoilusta ja siitä, että homoseksuaalit olisivat alttiina neuvostoagenttien ansoille.

Turingin siivooja löysi Turingin 8. kesäkuuta 1954 kuolleena; hän oli kuollut edellisenä päivänä syanidimyrkytykseen. Myrkyn hän oli ilmeisesti saanut syanidilla kyllästetystä omenasta, joka lojui puoliksi syötynä hänen sänkynsä vieressä. Itse omenaa ei koskaan testattu, ja syanidimyrkytys määritettiin kuolinsyyksi ruumiinavauksessa. Yleensä hänen kuolemansa uskotaan olleen tahallinen, ja se tuomittiin itsemurhaksi. Hänen äitinsä kuitenkin väitti sinnikkäästi, että kuolema oli vahinko ja johtui laboratoriokemikaalien huolimattomasta säilytyksestä. Elämäkertakirjailija Andrew Hodges ehdottaa, että Turing saattoi surmata itsensä tulkinnanvaraisella tavalla antaakseen äidilleen mahdollisuuden pitää kuolemaa onnettomuutena.[41] Muut ovat ehdottaneet, että Turing lavasti kohtauksen Lumikista, joka oli hänen lempisatunsa.[42] Koska Turingin homoseksuaalisuutta lienee pidetty turvallisuusriskinä, hänen on myös ehdotettu joutuneen salamurhatuksi.[43] Hänen ruumiinsa tuhkattiin Wokingin krematoriossa 12. kesäkuuta 1954.

Tunnustus kuoleman jälkeen

[muokkaa | muokkaa wikitekstiä]
Alan Turingin muistopatsas Sackville Parkissa.

Vuodesta 1966 lähtien Association for Computing Machinery on myöntänyt vuosittain Turing-palkinnon henkilölle, jolla on ollut merkittävä vaikutus tietotekniikan kehitykseen. Sitä on pidetty laajalti tietotekniikan vastineena Nobel-palkinnolle.

Turingille on annettu erityyppisiä kunnianosoituksia Manchesterissä, jossa hän työskenteli elämänsä loppupuolella. Vuonna 1994 osalle A6010-tiestä (kaupungin sisempi kehätie) annettiin nimi Alan Turing Way. Manchesterissä paljastettiin 23. kesäkuuta 2001 Turingin muistopatsas. Se sijaitsee Sackville Parkissa Manchesterin yliopiston Whitworth Streetin rakennuksen ja Canal Streetin ”homokorttelin” välissä. British Logic Colloquium ja British Society for the History of Mathematics pitivät 5. kesäkuuta 2004 yliopistolla juhlat Turingin elämän ja saavutusten kunniaksi, ja samana kesänä avattiin yliopiston Alan Turing -instituutti. Heinäkuussa 2007 avattiin Alan Turing Building, jossa sijaitsevat yliopiston matematiikan tiedekunta, Photon Sciences Institute ja Jodrell Bank Centre for Astrophysics.

23. kesäkuuta 1998, Turingin 86. syntymäpäivänä, hänen elämäkertansa kirjoittaja Andrew Hodges paljasti English Heritagen virallisen sinisen muistolaatan hänen lapsuudenkodissaan Warrington Crescentissä Lontoossa, nykyisessä Colonnade Hotelissa.[44][6] Turingin kuoleman 50-vuotispäivänä 7. kesäkuuta 2004 hänen entisellä asunnollaan Hollymeadessa, Wilmslow'ssa paljastettiin muistolaatta.

Useat yliopistot ovat kunnioittaneet hänen tietoteknisiä saavutuksiaan. 28. lokakuuta 2004 paljastettiin John W. Millsin valama pronssipatsas Surreyn yliopistossa Guildfordissa.[45] Patsaalla muistettiin sitä, että Turingin kuolemasta oli kulunut 50 vuotta. Se esittää häntä kantamassa kirjoja kampuksen halki. Myös Bletchley Parkissa paljastettiin 19. kesäkuuta 2007 luonnollisen kokoinen Turingin patsas, joka painaa 1,5 tonnia. Stephen Kettle veisti sen puolesta miljoonasta walesilaisen saviliuskeen palasesta.[46]

Yhdistyneen kuningaskunnan pääministeri Gordon Brown pyysi 10. syyskuuta 2009 hallituksensa puolesta kirjallisesti anteeksi Turingin kohtelua:[47][48][49]

Turingin saama tuomio kumottiin lopullisesti vuonna 2013,[50] ja virallinen armahdusesitys hyväksyttäneen Britannian hallituksessa.[38]

Vuonna 2014 sai ensi-iltansa Turingista kertova elokuva The Imitation Game. Elokuvan on ohjannut Morten Tyldum, ja Turingia näyttelee Benedict Cumberbatch.

Heinäkuussa 2019 Englannin keskuspankki julkisti, että uusiin 50 punnan seteleihin tulee kääntöpuolelle Alan Turingin kuva.[51]

Turing juoksijana

[muokkaa | muokkaa wikitekstiä]

Alan Turing oli kansallisen tason maratoonari. Hän sijoittui viidenneksi Britannian vuoden 1948 olympiakarsinnoissa.[52] Turing Relay -juoksukilpailu[53] on kuusiosainen viestijuoksu joen rantaa pitkin Elystä Cambridgeen ja takaisin. Turing käytti reittiä juostessaan Cambridgessä; hänen paras aikansa maratonilla oli 2.46.[46]

  1. Alan Mathison Turing
  2. Boyer, Carl B. & Merzbach, Uta C.: Tieteiden kuningatar – Matematiikan historia, osa II, s. 880–881. Suomentanut Kimmo Pietiläinen. Helsinki: Art House, 1994. ISBN 951-884-158-6
  3. Copeland, Jack: Alan Turing: The codebreaker who saved 'millions of lives' 18.6.2012. BBC News Technology. Viitattu 23.6.2018. (englanniksi)
  4. Broomfield, Matt: GCHQ apologises for 'horrifying' treatment of Alan Turing and discrimination against other LGBT people 16.4.2016. Independent. Viitattu 23.6.2018 (englanniksi).
  5. a b c Hodges 1983, s. 5
  6. a b London Blue Plaques – Turing, Alan (1912–1954) english-heritage.org.uk. English Heritage. Viitattu 23.6.2018. (englanniksi)
  7. Andrew Hodges: The Alan Turing Internet Scrapbook turing.org.uk. Andrew Hodges. Viitattu 23.6.2018. (englanniksi)
  8. Jones, G James: A Pioneer for a New Century -- Alan Turing, part 1. Linux Gazette..., 2002, nro 75. Artikkelin verkkoversio. Viitattu 23.6.2018. Originally published at System Toolbox. Reprinted with permission. (englanniksi)
  9. Hofstadter, Douglas R.: Metamagical Themas: Questing for the Essence of Mind and Pattern. Basic Books, 1985. ISBN 0465045669 (englanniksi)
  10. Hodges 1983, s. 26.
  11. Hodges 1983, s. 34.
  12. Christof Teuscher: Alan Turing: Life and Legacy of a Great Thinker. Springer-Verlag, 2004. ISBN 3-540-20020-7 (englanniksi)
  13. "This loss shattered Turing's religious faith and led him into atheism..." Time 100 profile of Alan Turing s. 2. time.com. Arkistoitu 22.8.2008. Viitattu 23.6.2018 (englanniksi).
  14. Alan Turing: Father of the computer BBC News. ”He was an atheist...” Viitattu 23.6.2018 (englanniksi).
  15. Paul Gray: TIME 100: Alan Turing time.com. 29.3.1999. Time Inc. Arkistoitu 30.4.2009. Viitattu 23.6.2018. (englanniksi)
  16. A.M.Turing: On Computable Numbers, With An Application To The Entscheidungsproblem (PDF) cs.virginia.edu. Viitattu 17.4.2022. (englanniksi)
  17. Turing's Landmark Paper of 1936 philocomp.net. Viitattu 17.4.2022. (englanniksi)
  18. a b c Turing's Landmark Paper of 1936 philocomp.net. Viitattu 12.7.2022. (englanniksi)
  19. Hodges 1983, s. 152
  20. Hodges 1983, s. 153–154
  21. Copeland, Jack: Colossus and the Dawning of the Computer Age, s. 352. Action This Day, 2001 (englanniksi).
  22. a b Copeland 2006, s. 378
  23. "The Men Who Cracked Enigma", 2003
  24. Professori Jack Good dokumentissa "The Men Who Cracked Enigma", 2003: varoituksellaan "if my memory is correct"
  25. Hodges 1983, s. 191
  26. Copeland, Jack & Proudfoot, Diane: Alan Turing, Codebreaker and Computer Pioneer alanturing.net. Toukokuu 2004. Viitattu 23.6.2018 (englanniksi).
  27. Copeland 2006, s. 72.
  28. Copeland 2006, s. 382–383.
  29. Three remarkable papers written just before the war, on three diverse mathematical subjects, show the quality of the work that might have been produced if he had settled down to work on some big problem at that critical time. For his work at the Foreign Office he was awarded the OBE. Newman, M. H. A.: Alan Mathison Turing. (Biographical Memoirs of Fellows of the Royal Society, 1955, Volume 1) The Royal Society, 1955.
  30. a b Turing's Automatic Computing Engine alanturing.net. Viitattu 2.9.2021. (englanniksi)
  31. a b The Manchester Machine plato.stanford.edu. Viitattu 17.4.2022. (englanniksi)
  32. The Manchester Small Scale Experimental Machine -- "The Baby" curation.cs.manchester.ac.uk. Viitattu 25.8.2017.
  33. The Manchester Mark 1 curation.cs.manchester.ac.uk. Viitattu 17.4.2022. (englanniksi)
  34. Copeland, Jack: What is Artificial Intelligence? toukokuu 2000. AlanTuring.net. Viitattu 23.6.2018. (englanniksi)
  35. Viewable chess game Alan Turing vs Alick Glennie, 1952, with discussion forum and chess analysis features Chessgames.com. Chessgames Services LLC. Viitattu 23.6.2018 (englanniksi).
  36. David Shenk: The Immortal Game: A History of Chess, s. 196–. Knopf Doubleday Publishing Group, 4.9.2007. ISBN 978-0-307-38766-0 Teoksen verkkoversio.
  37. Control Mechanism For Biological Pattern Formation Decoded 30.11.2006. ScienceDaily. (englanniksi)
  38. a b Tieteen kuvalehti Historia 3/2014, s. 5.
  39. Vrt. Hodges, s. 449–455.
  40. Leavitt, David: The Man Who Knew Too Much, s. 268. W. W. Norton & Co., 2006. ISBN 0-393-05236-2 (englanniksi)
  41. Hodges 1983, s. 488–489.
  42. Ferris, Timothy: Seeing in the Dark, 2002, s. 250.
  43. Leavitt 2006.
  44. Unveiling the official Blue Plaque on Alan Turing's Birthplace turing.org.uk. Viitattu 23.6.2018 (englanniksi).
  45. The Earl of Wessex unveils statue of Alan Turing M2 PressWIRE. Arkistoitu 23.6.2018. Viitattu 23.6.2018 (englanniksi).
  46. a b Bletchley Park Unveils Statue Commemorating Alan Turing 20.6.2007. Bletchley Park press release. Arkistoitu 2.10.2012. Viitattu 23.6.2018 (englanniksi).
  47. Brown, Gordon: Treatment of Alan Turing was “appalling” – PM Number10.gov.uk – The official site of the Prime Minister's Office. 10.9.2009. Arkistoitu 12.9.2009. Viitattu 23.6.2018 (englanniksi).
  48. Brown pyysi anteeksi koodinmurtajan leimaamista säädyttömäksi Ilta-sanomat. 11.9.2009. Viitattu 23.6.2018.
  49. Britannialta virallinen anteeksipyyntö sotasankarin kohtelusta Yle – Uutiset. 11.9.2009. Viitattu 23.06.2018.
  50. Mielonen, Matti: Tietokoneen isän Alan Turingin tuomio homoseksuaalisuudesta kumottiin Helsingin Sanomat. 24.12.2013. Viitattu 23.06.2018.
  51. Koodinpurkaja Alan Turingin kasvot tulevat uusiin 50 punnan seteleihin – ”Merkittävä matemaatikko, jonka työ on vaikuttanut valtavasti siihen, kuinka elämme nykyään” tekniikkatalous.fi. 16.7.2019. Viitattu 16.7.2019.
  52. Pomeroy, Ross: Alan Turing Receives Olympic Honoring – RealClearScience realclearscience.com. 2012. Viitattu 23.6.2018 (englanniksi).
  53. Welcome to the Turing Trail Relay – Ely – Cambridge – Ely Turing Trail Relay. kesäkuu 2011. Viitattu 23.6.2018 (englanniksi).

Kirjallisuutta

[muokkaa | muokkaa wikitekstiä]
  • Hodges, Andrew: Alan Turing, arvoitus. (Alkuteos: Alan Turing: The Enigma, 1992.) Suomentanut Kimmo Pietiläinen. Helsinki: Terra Cognita, 2000. ISBN 952-5202-14-3
  • Copeland, B. Jack (ed.): The Essential Turing. Oxford University Press, 2004. ISBN 0-19-825079-7 (englanniksi)
  • Copeland, B. Jack (ed.): Alan Turing's Automatic Computing Engine. Oxford University Press, 2005. ISBN 0-19-856593-3 (englanniksi)
  • Yates, David M.: Turing's Legacy: A history of computing at the National Physical Laboratory 1945–1995. London Science Museum, 1997. ISBN 0-901805-94-7 (englanniksi)

Aiheesta muualla

[muokkaa | muokkaa wikitekstiä]