Syntymä |
23. kesäkuuta 1912 Maida Vale ( Lontoo ) ( Iso-Britannia ) |
---|---|
Kuolema |
7. kesäkuuta 1954 Wilmslow ( Cheshire ) (Iso-Britannia) |
Koti | Wilmslow (Cheshire, Englanti ) |
Kansalaisuus | brittiläinen |
Alueet | Tietojenkäsittelytiede , matematiikka , logiikka , kryptanalyysi |
Laitokset | Manchesterin yliopisto Kansallinen fyysinen laboratorio Cambridgen yliopisto |
Tutkintotodistus | Manchesterin yliopisto Princetonin yliopisto |
Tunnettu | Lopeta ongelma Turing-kone Enigma-kryptanalyysi ÄSSÄ Turingin palkinto Turingin testi |
Palkinnot | Brittiläisen imperiumin ritarikunnan upseeri Jäsen Royal Societyn |
Allekirjoitus
Alan Mathison Turing , syntynyt23. kesäkuuta 1912vuonna Lontoossa ja kuoli7. kesäkuuta 1954in Wilmslow , on brittiläinen matemaatikko ja kryptologi laatija teoksia, jotka tieteellisesti perustetaan tietojenkäsittelytiede .
Ratkaisemaan perusongelma ratkeavuuden aritmeettinen, vuonna 1936 hän esitteli ajatuskokeen joka oli myöhemmin nimeltään Turingin kone ja käsitteet ohjelman ja ohjelmoinnin , joka otti täyden merkityksen kanssa levittäminen tietokoneiden , toisella puoliskolla XX th luvulla. Hänen mallinsa auttoi laatimaan kirkon opinnäytetyön , joka määrittelee laskettavan funktion intuitiivisen matemaattisen käsitteen .
Aikana toisen maailmansodan , hän oli merkittävä rooli salausanalyysin n Enigma käytetty Saksan armeijat. Tämä salainen työ on yleisön tiedossa vasta 1970-luvulla. Sodan jälkeen hän työskenteli yhdellä ensimmäisistä tietokoneista ja osallistui sitten keskusteluun tekoälyn mahdollisuudesta ehdottamalla Turingin testiä . Elämänsä loppupuolella hän kiinnostui elävien organismien morfogeneesimalleista , jotka johtivat ” Turingin rakenteisiin ”.
Hänet syytettiin vuonna 1952 homoseksuaalisuudesta ja valitsi vankilan välttämiseksi kemiallisen kastraation ottamalla estrogeenia . Hänet löydettiin kuolleena syanidi myrkytykset päällä8. kesäkuuta 1954talonsa makuuhuoneessa Wilmslow'ssa . Kuningatar Elizabeth II tunnusti hänet sodan sankariksi ja anteeksi postuumisti hänelle vuonna 2013.
Alan Turing syntyi Maida Valessa (Lontoon piiri) siirtomaahallinnon virkamiehelle Julius Mathison Turingille (11. syyskuuta 1873–3 / 8./1947) ja hänen vaimolleen Ethel Sarah Turingille (os. Stoney the18. marraskuuta 1881in Coimbatore ja kuoli6. maaliskuuta 1976, Madrasin rautatieyhtiön pääinsinöörin tytär ). Turingin perheen ystävät kasvattivat nuoren Alanin vuoden iästä lähtien Isossa- Britanniassa , kun hänen äitinsä liittyi Intian virkamieskunnassa päivystävän isänsä luo . He palasivat Yhdistyneeseen kuningaskuntaan, kun Julius jäi eläkkeelle vuonna 1926. Nuorella Turingilla oli varhaisessa vaiheessa merkkejä neroistaan. Sanotaan, että hän oppi lukemaan yksin kolmessa viikossa. Samoin hän osoitti varhaisen affiniteetin numeroihin ja pulmiin.
Hänen vanhempansa kirjoittivat hänet Pyhän Mikaelin kouluun kuuden vuoden iässä. Rehtori tunnisti nopeasti hänen lahjakkuutensa, kuten monet professorit Marlborough Collegen opintojensa aikana , ilman että sillä olisi vain vähän vaikutusta hänen kouluraansa. Marlborough'ssa yksinäinen, introvertti lapsi kohtaa ensin kasvotusten itseään vanhempien toverien kanssa ja hänestä tulee yksi heidän turkkilaisista päänsä. 13-vuotiaana hän liittyi Sherborne-kouluun . Hänen ensimmäinen koulupäivänsä ei mennyt huomaamatta, paikallinen lehdistö jopa ilmoitti: lukuvuoden ensimmäinen päivä oli vuoden 1926 yleislakko , mutta nuori Turing päätti palata takaisin kaikilla kertoimilla ja matkusti tähän. pyöräile yksin 90 km, joka erottaa kodin koulustaan, jopa pysähtyen yöksi hotellissa.
Turingin taipumus tieteisiin ei tuonut hänelle kunnioitusta kumpikaan professoreista eikä Sherborne'n hallinnon jäsenistä, joiden koulutuksen määritelmä painotti klassisia tieteenaloja ( kirjallisuus , taide , fyysinen kulttuuri ) enemmän kuin tiedettä. Tästä huolimatta Turing jatkaa menestystään rakastamissa aiheissa ratkaistakseen ikänsä kannalta erittäin vaikeita ongelmia. Vuonna 1928 hän löysi Albert Einsteinin työn ja ymmärsi, kun hän oli tuskin 16-vuotias, että he kyseenalaistivat Eukleidesin aksioomat sekä Galileon ja Newtonin taivaallisen mekaniikan lait , alkaen 'popularisointitekstistä, jossa sen seuraukset eivät ole nimenomaisesti.
Sherborne-koulussa Turing ystävystyi vuonna 1927 ystävyyssuhteensa toverinsa Christopher Morcomin kanssa, intohimoisesti luonnontieteisiin ja matematiikkaan nähden, jota on kuvattu Turingin "ensimmäiseksi rakkaudeksi". Kun Morcom kuolee sisäänHelmikuu 1930naudan tuberkuloosin komplikaatiot, jotka ovat saaneet tartunnan saaneen lehmänmaidon juomisen jälkeen, Turing, vaikka se onkin materialisti ja ateisti, ei myönnä tällaisen loistavan mielen täydellistä katoamista. Vakuuttuneena siitä, että Morcomin henki on edelleen olemassa, hän päättää ilmentää Morcomin olisi pitänyt olla tieteellinen kohtalo.
Hänen mieltymyksensä tieteellisiin aiheisiin sai Turingin epäonnistumaan tenttinsä useita kertoja klassisten aiheiden ponnistelun puutteen vuoksi. Hän myönsi Kingin College of Cambridgen yliopisto , kun häneltä kysyttiin Trinity College ensimmäinen valinta. Hän opiskeli vuosina 1931–1934 matemaatikon Godfrey Harold Hardyn johdolla, joka sitten toimi Sadleirian tuolin haltijana ja sitten matematiikan tutkimus- ja tutkimuskeskuksen johtajana. Hän otti myös oppitunteja Arthur Eddingtonilta ja viimeisenä vuonna Max Newmanilta, joka esitteli hänet matemaattiseen logiikkaan. Vuonna 1935 Turing valittiin stipendiaatti Kingin College, vastaa opinnäytetyön stipendin, koska hän todiste keskeinen raja-arvolause .
Saksalainen David Hilbert esitti vuonna 1928 päätöksen ongelman, joka tunnettiin saksalaisella nimellä " Entscheidungsproblem " . Siksi hän asettaa itsensä aksiomaattisiin teorioihin ja kysyy, onko mahdollista löytää " tehokkaasti laskettava " menetelmä päättää, onko ehdotus todistettavissa. Tämän ongelman ratkaisemiseksi on välttämätöntä luonnehtia mikä on tehokkaasti laskettava prosessi. Näin tekee Turing vuonna 1936 tekemässään merkittävässä artikkelissa " Laskettavista numeroista, sovelluksella Entscheidungsproblemiin " kuvittelemalla, ettei materiaalikone, vaan "laskeva olento", joka voi yhtä hyvin olla hyvin looginen laite. tai hyvin kurinalaista ihmisoikeussääntöjen noudattamista - kuten tietotekniikan toimistotyöntekijät tai tykistömiehet tekivät tuolloin. Aikana hänen perustelut, hän osoittaa, että ongelma pysäyttäminen Turingin kone ei voida ratkaista algoritmi: se ei ole mahdollista päättää kanssa algoritmi (toisin sanoen Turingin kone), jos tietty Turingin kone pysähtyy. Vaikka hänen todistuksensa julkaistiin Alonzo Churchin todistuksen jälkeen , Turingin työ on helpompaa ja intuitiivisempaa. Hän on myös täysin uusi esittelemällä "universaalikoneen" (Turingin) käsitteen ajatuksella, että tällainen kone pystyy suorittamaan minkä tahansa muun koneen tehtävät. Artikkelissa esitetään myös käsite todellisesta laskettavasta luvusta . Hän päättelee undecidability Pysäytyslaitteen ongelma, että voidaan määritellä todellisia lukuja, jotka eivät ole laskettavissa . Se esittelee ohjelman ja ohjelmoinnin käsitteet.
Turing käytti suurimman osan 1937 ja 1938 työskentelee eri aiheista klo Princetonin yliopistossa , johdolla logician Alonzo Church jotka aiemmin mentored työn Stephen Kleenen päälle rekursio ja John Rosser päälle lambda laskentaan . Hän menee sisäänToukokuu 1938hänen tohtorin Princetonin yliopistossa; hänen käsikirjoituksessaan esitetään hyperlaskennan käsite , jossa Turingin koneita täydennetään sanoilla, joita hän kutsuu oraakkeleiksi , jolloin voidaan tutkia ongelmia, joita ei voida ratkaista algoritmisesti. Kirkko käyttää ensin ilmaisua "Turingin kone" opiskelijansa arvostelussa opinnäytetyöstään Journal of Symbolic Logic -lehdessä .
Turing saa tärkeitä tuloksia lambda-laskennasta , erityisesti osoittamalla sen vastaavuuden oman laskentamallinsa kanssa, keksimällä hänen nimensä kantavan kiinteän pisteen yhdistimen ja ehdottamalla tyypillisen lambda-laskelman normalisoinnin ensimmäistä esitystä.
Palattuaan Cambridgeen vuonna 1939 hän osallistui Ludwig Wittgensteinin julkisiin oppitunneihin matematiikan perusteista. Nämä kaksi väittävät kiivaasti ja näkevät erimielisyytensä, Turing puolustaa formalismi, kun taas Wittgensteinin mielestä matematiikka on yliarvostettu eikä voi paljastaa mitään absoluuttista totuutta.
Usean historioitsijan mukaan Turingin työ saksalaisen lähetyksen koodin purkamiseksi lyhensi toista maailmansotaa kahdella vuodella.
Vuoden 1938 lopussa, Münchenin sopimusten jälkeen, Iso-Britannia ymmärsi natsismin vaaran ja kehitti aseistuksensa. Turing on yksi nuorista aivot kutsui viemään salakirjoitus ja kryptoanalyysikonsultti kursseja on hallituksen Code ja Cypher School (GC & CS). Juuri ennen sodan julistamista hän liittyi GC&CS: n salakeskukseen Bletchley Parkiin . Siellä hänet määrättiin vastaaville yksiköille selvittämisessä koodattuja viestejä Enigma koneita jota Saksan asevoimien . Tämä työ hyötyy aluksi Biuro Szyfrówin ja Ranskan tiedustelupalvelun puolalaisen salaisen palvelun läpimurtoista PC Brunossa , jonka Turing vieraileeJoulukuu 1939ja vuoden 1940 ensimmäiset kuukaudet ja mistä hän tuo takaisin kopiot Zygalskin arkeista . Mutta sisäänToukokuu 1940, saksalaiset täydentävät salaustekniikkaansa. Turing osallistuu tutkimukseen, joka tunkeutuu armeijan ja ilmavoimien verkostoihin . Hän suunnittelee matemaattisia menetelmiä ja parannettuja versioita puolalaisesta " pommista " , sähkömekaanisesta koneesta, jolla testataan nopeasti mahdollisten avainten sarjat Enigma-tietoliikennelohkoissa. Kun tapaus oli aloitettu, Turing otti johdon tiimistä, jonka tehtävänä oli löytää paljon hermeettisemmät avaimet Naval Enigman verkkoihin. Nämä ratkaisevat läpimurrot antoivat Britannialle väliaikaisen edun Englannin, Libyan ja Atlantin taisteluissa.
1970-luvun puoliväliin asti vain harvat entiset ranskalaiset ja puolalaiset kryptanalyytikot olivat julkaisseet tietoja Enigman torjunnasta omassa maassaan. Bletchley Parkin salauksen purkuominaisuudet ja Operaatio Ultra pysyivät ehdottomana sotilaallisena salaisuutena Britanniassa. Sitten Ison-Britannian viranomaiset purkivat vähitellen Enigman salauksen purkutekniikat vuoteen 2000 asti.
ÄänikoodausTuring lähti Yhdysvaltoihin vuonna 1943 yhteistyöoperaatiossa amerikkalaisten kryptanalyytikkojen kanssa. Siellä hän löysi sähköisen tekniikan kehityksen ja suunnitteli äänikoodauskoneen, koodinimeltään "Delilah". Hän osallistuu moniin muihin matemaattisiin tutkimuksiin, kuten William Tutteen tekemiin tutkimuksiin, jotka johtavat Lorenzin ja Siemensin yhteistyössä rakentaman Fish-tunnuksen tuottaman koodin rikkomiseen . Tämä uusi saksalainen kone, joka on varattu henkilöstön viestinnän salaamiseen, eroaa hyvin Enigma-järjestelmästä ja on pitkään vastustanut liittoutuneiden kryptanalyytikoiden hyökkäyksiä. He onnistuvat lopulta murtautumaan kalakoodeihin uusien matemaattisten menetelmien ja uusien koneiden ansiosta, Heath Robinson sitten Colossus . Tämän koneen, historian ensimmäisen suuren elektronisen laskimen, on suunnitellut Max Newman, ja Thomas Flowersin johtama ryhmä rakensi sen Dollis Hill Post Office -tutkimuslaboratorioon vuonna 1943. Toisin kuin legenda, Turing ei ollut millään tavalla mukana. Kolossuksen käsitys. Mutta hän näki sen toimivan, mikä auttoi varmasti ohjaamaan Turingia suunnittelemaan tietokonetta sodan jälkeen.
Enigma-kryptanalyysiAlkaen Syyskuu 1938, Turing työskentelee osa-aikaisesti hallituksen säännöstössä ja Cypher Schoolissa (GC&CS). Koodin rikkomisesta vastaavan asiantuntijan Dilly Knoxin avulla hän keskittyy Enigman kryptoanalyysiin . Pian Varsovassa (heinäkuu 1939 ) pidetyn kokouksen jälkeen, jossa Puolan salaustoimisto selitti ranskalaisille ja englantilaisille Enigma-roottoreiden yksityiskohtaista johdotusta ja puolalaisten menetelmää liitettyjen viestien salauksen purkamiseksi, Turing ja Knox ryhtyivät toimimaan lähestymistavalla. ongelma. Puolan menetelmä perustui tosiasiassa viestin alussa toistetun avaimen salauksen purkamiseen, mutta tämä toisto todennäköisesti poistettiin, koska se oli liian haavoittuva , mikä tapahtuiToukokuu 1940. Bletchley Parkin ulkopuolella pidettävät puolalaiset kryptanalyytikot, jotka pakenevat Britanniassa, määrätään purkamaan pienet koodit, kun taas Ranskan salainen palvelu jatkaa salakuljetusta liittolaisille.
Yleisemmin Turingin lähestymistapa muuttaa kryptanalyysin monimutkaisesta tekniikasta, jossa se on pitkään ollut, matematiikan haaraksi. Kyse ei ole enää 159 miljardin miljardin käytettävissä olevan asetuksen joukosta valitun asetuksen arvelemisesta, vaan logiikan toteuttamisesta, joka perustuu tietämykseen Enigma-koneen sisäisestä toiminnasta, ja saksalaisten salaajien huolimattomuuden hyödyntämisestä, jotta voidaan päätellä tietyn verkon kaikkien Enigma-koneiden asetus päivälle: roottoreiden alkujärjestely (80 käytettävissä olevan alkujärjestelyn joukossa), roottoreiden alkuasetus (336 käytettävissä olevan alkuasetuksen joukossa), liitäntäkortin tulppien permutaatiot (17 500 pistokkeen joukossa) saatavilla) jne. Silloin Turing kirjoitti ensimmäisen toiminnallisen eritelmän uudelle "pommille", sähkömekaaniselle koneelle, joka pystyy teurastamaan kymmenen tuhannen ihmisen työn päivittäin.
Tämän "pommin" määrittely on ensimmäinen viidestä merkittävästä edistyksestä, jotka Turing johti sodan aikana. Muut ovat: tunnistamismenettely vähentämällä Kriegsmarinen eri verkkojen päivittäinen avain ; tilastollisen menettelyn kehittäminen pommien tehokkuuden parantamiseksi ( Banburismus (en) ); menetelmän ("Turingerie") kehittäminen Lorenz SZ 40/42 -koneen pyörien asetusten määrittämiseksi; lopuksi sodan loppupuolella kehitettiin radio-häirintälaite.
Turing ja Knox työskentelevät Bletchley Parkissa , joka on Ison-Britannian tärkein salauksen purkupaikka , Government Code and Cypher School (GC&CS). Keväällä 1941 Alan tuli lähemmäksi Joan Clarkea , yhtä harvoista naispuolisista kryptologeista Bletchley Parkissa. Huolimatta platonisesta rakkaudesta, joka ei koskaan ylitä ystävyyttä, hän kihlautuu hänen kanssaan sosiaalisesta velvollisuudesta, kun Clarken vanhemmat pyytävät häntä menemään naimisiin. Turing rikkoo sitoutumisen kesällä paljastettuaan hänelle homoseksuaalisuutensa . Tästä huolimatta heidän suhteensa ovat edelleen erinomaiset.
Käyttämällä tiettyjä tilastollisia tekniikoita salauksenpurkuprosessin eri mahdollisuuksien testaamisen optimoimiseksi Turing antaa innovatiivisen panoksen. Kaksi hänen sitten kirjoittamaansa asiakirjaa ( raportti salauksen todennäköisyyden sovelluksista ja toistotilastoja koskeva asiakirja ) alennetaan ja palautetaan vain Yhdistyneen kuningaskunnan kansalliseen arkistoon.huhtikuu 2012.
Turing, Welchman ja Pendered BombMuutaman viikon kuluttua saapumisestaan Bletchley Parkiin Turing laati eritelmät sähkömekaaniselle koneelle, joka oli tehokkaampi kuin puolalainen bomba . Turingin pommin kapasiteetti kaksinkertaistuu toisen Cambridge- matemaatikon , Gordon Welchmanin ansiosta . Richard Pendered paransi edelleen Cambridgen toivoa, että pommi, jonka insinöörit valmistivat British Tabulating Company -yrityksessä, oli silloin kaikkein automatisoitu perustyökalu, joka pystyi purkamaan Enigman salaamien viestien salauksen.
Todennäköisen selkeän tekstin fragmentin avulla pommi etsii oikeat mahdolliset asetukset, joita jokainen saksalainen verkko käyttää 24 tunnin ajan (roottorien järjestys, roottorien asetukset ja liitäntäkortin liittäminen). Kuhunkin mahdolliseen roottorien säätöön pommi tekee sähköisesti loogisten päätelmien ketjun todennäköisten sanojen perusteella. Jokaisessa ristiriidassa pommi ohittaa tämän asetuksen ja siirtyy seuraavaan. Suurin osa kokeiltuista asetuksista herättää ristiriitoja, ne hylätään ja niitä, joita on jäljellä vain vähän, tutkitaan sitten tarkasti.
Melkein koko sodan ajan tämä prosessi mahdollisti salauksen suuren osan Luftwaffen Enigma-viesteistä , joista salaajat lisäsivät huolimattomuutta. Kun ilmavoimat tekevät tiivistä yhteistyötä kahden muun armeijan (meri ja maa) kanssa, GC & CS saa näiden tietojen kautta kaiken Wehrmachtin toiminnan . Kerran purettujen viestien tulkinta aiheuttaa kuitenkin henkilöstölle usein sellaisia ongelmia, että niitä voidaan hyödyntää vain osittain. Tämä pätee Kreetan hyökkäyssuunnitelmaan .
Osoitetaan kota 8 (elementtirakennusten n o 8), Turing päätti käsitellä ongelmaa muuten vaikeaksi kryptoanalyysin Enigma Laiva, ", koska kukaan muu ei miehitetyssä ja voisin olla se minulle ihan yksin” . Samana iltana hän suunnitteli Banburismuksen (en) , tilastollisen tekniikan, jota Abraham Wald myöhemmin kutsui peräkkäiseksi analyysiksi , toivoen pääsevänsä läpi merivoimien arvoituksesta: "En kuitenkaan ollut varma, että se toimisi käytännössä . " Tämän idean avulla hän keksii todistusvoiman, jonka hän kutsuu " kielloksi ". Banburismit voivat sulkea pois tietyt Enigma-roottoreiden sekvenssit, se on tärkeä ajansäästö. Kriegsmarinen salaajat, erityisesti sukellusveneet, kuitenkin soveltavat kaikkia turvallisuusohjeita moitteettomasti. Naval Enigma -viestit puretaan vain käsikirjojen kattamina aikoina tai liittolaisten sieppaamien bigram-arkkien ansiosta.
Sisään Marraskuu 1942, Turing matkustaa Yhdysvaltoihin, jossa hän työskentelee Yhdysvaltain laivaston kryptanalyytikoiden kanssa Naval Enigman ja " sähkömekaanisten pommien " suunnittelun parissa. In Dayton , Ohio , hän vieraili Yhdysvalloissa Naval Computing konelaboratorion. Amerikkalaistyyliset “pommit” eivät herätä hänen innostustaan. Amerikkalaisen teollisuuden keinoin rakennettujen satojen "pommien" yhdistelmän poikkeuksellinen voima antaa kuitenkin lopulta mahdollisuuden löytää uudelleen Enigman salaisuudet, etenkin Kriegsmarinen ja U: n salaisuudet. - Käynnistä . Vuoden 1943 lopusta lähtien saksalaiset sukellusveneet on suurimmaksi osaksi joko tuhottu tai ajettu pois Pohjois-Atlantilta liittoutuneiden laivastojen voimalla yhdistämällä Ultra-alkuperää, merivoimien ilmatiedustelua, tutkanpaljastusta , ASDIC- kaiun kautta kaikuluotain , sijainti etsinnän avulla , ja tietysti kiitos alusten lukumäärän ja merimiesten kestävyyden.
Sisään Maaliskuu 1943, Turing palaa Bletchley Parkiin. Poissa ollessaan hänen sijaisensa Hugh Alexander oli virallisesti siirtynyt Hut 8: n johtajaksi, jota hän itse asiassa oli aina pitänyt, eikä Turingilla ollut mitään kiinnostusta johtamiseen. Turingista tulee kryptoanalyysikonsultti koko GC&CS: n hyödyksi. Turingin roolista Alexander sanoo:
"Ei ole epäilystäkään siitä, että Turingin työ oli tärkein tekijä Hut 8: n menestyksessä. Aluksi hän oli ainoa kryptografi, joka piti ongelmaa puuttumisen arvoisena eikä pelkästään omana. Kiitos suurimmaksi osaksi Hut 8: n teoreettisesta työstä , mutta jälleen kerran hän jakaa kunnianosoituksen sähkömekaanisen pommin keksimisestä Gordon Welchmanin ja Harold Keenin kanssa . On aina vaikea sanoa, että sellainen ja sellainen on ehdottoman välttämätöntä, mutta jos joku oli välttämätön Hut 8: lle, se oli Turing. Uraauurtava työ unohdetaan aina, kun kaikki myöhemmin näyttää helpommalta kokemuksen ja rutiinin vaikutuksesta. "
Vuonna 1945 Ebermannstadtissa ollessaan kaksi amerikkalaista atomipommia pudotettiin Hiroshimaan ja Nagasakiin, eikä hän ollut yllättynyt: hän tiesi salaisesta matkastaan Yhdysvaltoihin vuosina 1942-1943 projektin olemassaolosta. Los Alamos suhteissa, joita ei ole vielä selvitetty.
Vuodesta 1945 kohteeseen 1947 , hän työskenteli National Physical Laboratory , joka sijaitsee Teddington on Yhdistyneessä kuningaskunnassa . Vuoden 1945 lopussa, kun Turing on lukenut von Neumannin raportin, joka kuvaa tietokoneen yleisen rakenteen ja käsittelee ohjelmointimenetelmiä, Turing kirjoittaa epäilemättä tietokoneen ensimmäisen yksityiskohtaisen projektin: ACE : n (Automatic Computing Engine). Hän ei kuitenkaan päässyt sopimukseen koneen rakentamisesta vastaavan NPL: n elektroniikkasuunnittelijoiden kanssa, jotka esittivät teknisiä vastalauseita ja halusivat aloittaa vaatimattomammalla prototyypillä. Hankkeessa on myös hallinnollisia ja budjettia koskevia esteitä. Turing, joka on liian individualistinen ollakseen järjestäjä tai suuri neuvottelija, mieluummin lähti vuonna 1947 käymään biologian kursseja Cambridgessa . Lukuvuoden 1948 alussa hänet kutsui Max Newman, entinen logiikkaprofessori Cambridgesta ja kollega Bletchley Parkista Manchesterin yliopistosta, jossa Max Newman johti myös von Neumannin raportin innoittamana. ensimmäisistä todellisista tietokoneista: Manchester Mark I , jonka Ferranti-yritys sitten teollisti. Turingista tulee Manchesterin yliopiston laskennalaboratorion apulaisjohtaja (merkityksetön otsikko) ja hän työskentelee tietokoneohjelmoinnin parissa.
EDSAC: n avajaiskonferenssissa Cambridgessa hän esitteli väitteisiin perustuvan ohjelmakorjausmenetelmän, joka ennakoi " Floyd-Hoare-menetelmänä " tunnettua menetelmää .
Urheilija vuonna 1948, Turing oli neljänneksi maraton on amatööriurheilijayhdistyksen (AAA Marathon, parhaat ajajat ovat yleensä päteviä olympialaiset ) on 2 h 46 min 3 s , erittäin hyvissä ajoin. Yhdessä jalassa loukkaantuneena Turing lopetti vakavan juoksemisen vuodesta 1950.
Alan Turing jatkaa myös perustavanlaatuisia pohdintojaan yhdistämällä tieteen ja filosofian . Artikkelissa " Computing Machinery and Intelligence " ( Mind ,Lokakuu 1950), Turing tutkii tekoälyn ongelmaa ja ehdottaa kokeilua, joka nyt tunnetaan nimellä Turingin testi , jossa hän yrittää määritellä testin, jonka avulla kone voidaan luokitella "tietoiseksi"; Turing tekee "vedon, että viidenkymmenen vuoden kuluessa ei ole enää keinoja erottaa miehen tai tietokoneen antamia vastauksia, ja tämä on mistä tahansa aiheesta" .
Sisään Toukokuu 1952, Turing kirjoittaa shakkiohjelman . Koska sillä ei ole tarpeeksi tehokasta tietokonetta, se simuloi koneen laskelmia, ja jokaisen siirron suorittamiseen kuluu noin puoli tuntia. Peli tallennetaan, jossa ohjelma häviää Turingin kollegaa vastaan. Turingin ja Champernownen alkuperäistä koodia ei ole säilytetty. Kesäkuussa 2012 versio ohjelmasta luotiin uudelleen nimellä Turochamp pelaamaan näyttelypeliä Garry Kasparovia vastaan .
Ohjelma Joe Weizenbaum , ELIZA , kirjoitettu vuonna 1966 ja joka kestää enintään kolme sivua kieli snobol , on ensimmäinen antaa illuusion muutaman minuutin tyydyttää Turingin testi .
Vuonna 1952 Turing kiinnostuivat toisessa matematiikan: analyysi , ja, mistä reaktio-diffuusio yhtälö , joka on kehitetty biomathematic malli on morfogeneesiä , sekä eläinten ja kasvien. . Hän julkaisi artikkelin " Morfogeneesin kemiallinen perusta " ( Royal Societyn filosofiset tapahtumat ,Elokuu 1952), jossa hän tarjoaa kolme Turingin mallia . 1990-luvulla kemian kokeet vahvistavat kokeellisesti Turingin teoreettiset mallit.
Cambridgesta Bletchley Parkiin Turing ei salannut seksuaalista suuntautumistaan; avoimesti homoseksuaali, hän ei piilottanut seikkailujaan. Hän ei ollut kaukana ainoasta. Vuonna 1952 hänen Manchesterin kotiin murtautui. Turing tekee valituksen. Pidätettynä murtovaras tuomitsee rikollisen, joka oli ilmoittanut hänelle asiasta, satunnaisen entisen Turingin rakastajan. Hän ei kiellä tätä vanhaa suhdetta. Molemmat syytetään " ilmeinen säädyllisyyttä ja seksuaalinen perversio " , brutto häpeällistä alla Rikosoikeus Tarkistus lain (1885) . Muutama vuosi aiemmin se olisi ollut vain uutinen. Mutta 1950-luvun alussa korkean profiilin tieteellinen vakoilu Neuvostoliiton hyödyksi, johon osallistuivat Cambridge Five -tunnuksella kutsutut homo-englantilaiset intellektuellit, teki brittiläisistä ja amerikkalaisista tiedustelupalveluista altis Turingin kaltaiselle profiilille.
Oikeudenkäynti julkistetaan. Hugh Alexander maalasi loistavan muotokuvan kollegastaan, mutta salainen laki esti häntä mainitsemasta sota-arvonimiään . Turingia pyydetään valitsemaan: vankeus tai kemiallinen kastraatio, joka vähentää hänen libidoaan . Hän valitsee yhden vuoden pituisen hoidon, jolla on väliaikaisia sivuvaikutuksia (hoikka juoksija siitä, että hänestä tuli lihava, impotentti, rinnat kasvavat kuin naisen ), ja erityisesti psyykkiset vaikutukset. Vaikka hänet vihittiin vuonna 1951 kuninkaallisen seuran jäseneksi , vuodesta 1952 hänet suljettiin suurimpien tieteellisten hankkeiden ulkopuolelle. KuitenkinHuhtikuu 1953, "parannuskeino" loppuu, sen vaikutukset loppuvat ja Turing alkaa toteuttaa tutkimusprojekteja ja matkustaa taas Ranskaan ja Välimerelle.
8. kesäkuuta 1954, iltapäivällä talonmies löytää Turingin kuolleena sängyssä, ja yöpöydällä on purettu omena. Ruumiinavaus löydöt itsemurhan myrkytys kanssa syanidia , vaikka hänen äitinsä yritti hyväksyä tätä väitettä. Keino myrkyn nauttimiseksi olisi ollut tämä omena, jonka hän olisi osittain syönyt (sitkeä ja kielletty legenda näkee siinä Apple-yhtiön logon alkuperän ) ja joka olisi aiemmin ollut kastettu syanidiin; tältä osin ei ole varmuutta, koska omenaa ei ole analysoitu.
Turingin elämäkerran kirjoittaja Andrew Hodges oletti, että Turing olisi valinnut tämän nielemismenetelmän nimenomaan antaakseen äidilleen mahdollisuuden uskoa onnettomuuteen tietäen, että omenansiemenet sisältävät luonnollisesti syanidia, mutta määrällisesti. Liian heikkoja, mutta niillä ei ole myrkyllistä vaikutusta. . Jotkut ovat huomanneet hänen väitetyn itsemurhamenetelmänsä ja elokuvan Lumikki ja seitsemän kääpiötä välisen yhteyden , josta hän oli erityisen arvostanut kohtausta, jossa noita myrkyttää omenan, siihen pisteeseen asti, että se huminoi säännöllisesti sen lausumat jakeet: "Katsotaanpa upota omena kattilaan niin, että se on kyllästetty myrkyllä ” .
Kuitenkin Jack Copeland erikoistuneen Turing, uskoo, että hänen kuolemansa oli vahingossa. Hän esittää seuraavat perustelut: Turingilla ei ollut merkkejä masennuksesta, ja vähän ennen kuolemaansa hän oli kirjoittanut suunnitelmia; hän käytti kemiallisia kokeita ja piti syanidia tätä tarkoitusta varten; hän olisi huolimaton näissä kokeissa, esimerkiksi maistelemalla tuotteita niiden tunnistamiseksi. Hän olisi voinut myös vahingossa hengittää syanidiliuosta, jota hän käytti kullan liuottamiseen; Näin hän olisi Copelandille niellyt tai hengittänyt tappavan annoksen syanidia.
Populaarikulttuurissa väärinkäsitys siitä, että hän teki itsemurhan homoseksuaalisuutensa takia, levitti Richard Dawkins . Kukaan Alan Turingin asiantuntija, kuten Jack Copeland tai Andrew Hodges, ei tue tätä väitettä.
Hänen panoksensa toiseen maailmansotaan salainen luonne, pieni yleinen kiinnostus tietotekniikan historiaan liittyviin kysymyksiin, kunnes henkilökohtaisten tietokoneiden levittäminen, hänen tuomionsa ja ennenaikainen kuolemansa selittävät unohduksen, johon Alan Turingin aika on pudonnut . Ensimmäinen elämäkerta omistettu hänelle, Alan Turing: arvoitus by Andrew Hodges , ilmestyi vasta 1983.
2000-luvulla haluamme löytää Isosta-Britanniasta paikallisen tietokoneen edeltäjän, joka on uudempi kuin Charles Babbage tai Ada Lovelace , kun taas LGBT- liikkeen ponnistelut johtavat lakien kumoamiseen ja tietyssä määrin lakien poistamiseen. homoseksuaalisuus. Sotatoiminnan salaisuus poistetaan 50 vuoden kuluttua. Muistolevyt, patsaat ja postimerkit hänen kuvallaan kunnioittavat Alan Turingin muistoa lähinnä hänen roolinsa kryptanalyysissä.
Vuonna 2009 tietojenkäsittelytieteen tutkija John Graham-Cummingin käynnistämä vetoomus lähetettiin pääministeri Gordon Brownille : "Me, allekirjoittaneet, pyydämme pääministeriä anteeksi Alan Turingia vastaan aloitetuista oikeusjutuista, jotka johtivat hänen ennenaikaiseen kuolemaansa. » Sisäänsyyskuu 2009, hän piti valitettavaa Ison-Britannian hallituksen puolesta . Oikeusministeri Tom McNally kuitenkin ilmaiseehelmikuu 2012kieltäytyi kumoamasta tuomiota. Vaikka tämä näytti nykyään "julmalta ja järjetöntä" , se tehtiin aikansa lakien mukaisesti. ”Postuumista armahdusta ei pidetty asianmukaisena, koska Alan Turing tuomittiin perustellusti siitä, mikä oli tuolloin rikos. » SisäänJoulukuu 2012, yksitoista brittiläistä tutkijaryhmää, mukaan lukien fyysikko Stephen Hawking , kehottaa Ison-Britannian hallitusta kumoamaan vakaumuksensa postuumisti.
24. joulukuuta 2013, Kuningatar Elizabeth II allekirjoittaa kuninkaallisen armahtamisen oikeusministeri Chris Graylingin ehdotuksesta, joka julistaa, että se oli lause "jota pidämme tänään epäoikeudenmukaisena ja syrjivänä" . Tämä on neljäs kerta vuoden 1945 jälkeen kuninkaan armon etuoikeutta on käytetty .
Turingin tapauksen pohtiminen on alkunsa Alan Turingin lain julistamiselle Yhdistyneessä kuningaskunnassa, joka on osa vuoden 2017 rikosoikeuden poliisitoimintaa ja rikollisuutta koskevaa lakia (en) .
Vuodesta 1966 lähtien Computing Machinery -yhdistys on myöntänyt vuosittain Turing-palkinnon ( " Turing-palkinto " ) henkilöille, jotka ovat antaneet "merkittäviä pysyviä merkityksiä" tietojenkäsittelyn alalla. Tätä palkintoa pidetään usein vastaavana laskennan Nobel-palkinnon kanssa. Vastaanottaja kutsutaan pitämään luento nimeltä Turing Award -konferenssi ( " Turing-palkinnon lukeminen " ).
British Computer Society ja Institution of Engineering and Technology (fi) kutsutaan Turingin Reading (in) julkinen opetus he pyytävät tunnettu persoona eri arvostetun tapahtumapaikat Britanniassa.
Sisään helmikuu 2011Lopussa huutokaupan, laatimia asiakirjoja Turing aikana toisen maailmansodan hankkii museon Bletchley Park avulla on National Heritage Memorial Fund jotta niiden lähtöä ulkomaille.
Useat kaupungit ovat päättäneet nimetä hänen kunniakseen kadun, aukion, etupihan, ajotieltä tai julkisen tilan, esimerkiksi Manchester ja Guildford Isossa-Britanniassa. Ranskan löydämme Clermont-Ferrandin , Pariisi (äänestys myöhään 2016, aseman läheisyydessä F hautomo omistettu digitaaliteknologian, Pariisi 13 th ), Saint-Fargeau-Ponthierry, Aubière ja Anzin. Monissa yliopistoissa tai tietojenkäsittelytieteen laitoksilla on amfiteatteri tai Turing Hall.
15. heinäkuuta 2019, Englannin keskuspankki nimittää Alan Turingin esiintymään seuraavissa brittiläisissä 50 punnan seteleissä, jotka ovat voimassa vuodesta 2022. Hän on siis ensimmäinen LGBT-yhteisön persoonallisuus, joka ilmestyy paperirahalla. Tuleva viesti näyttää monia elementtejä hänen urastaan, mukaan lukien rivi binaarikoodissa. Tämä desimaaliarvoiksi muunnettuna antaa 23061912, eli koodaa Turingin syntymäaikaa, nimittäin23. kesäkuuta 1912.
Salvatore Adamo kunnioittaa häntä 2012-kappaleessaan Alan and the Apple .
Alan Turingin elämä on innoittanut monia fiktioteoksia.
KirjallisuusKäynnistämällä useita dokumentteja ja fiktiivisiä elokuvia, jotka kiinnittivät huomion Turingin persoonallisuuteen, 56-sivuinen muistikirja, joka sisälsi 1942 Turingin käsikirjoituksen, myytiin Bonhamsissa New Yorkissa.13. huhtikuuta 2015, yli miljoonalla dollarilla. Se sisältää pohdintoja Leibnizin merkinnöistä . Turing oli perinyt paperinsa matemaatikolle Robin Gandylle , läheiselle ystävälle, joka käytti muistikirjaa päiväkirjana käyttämättömillä sivuilla, ja tästä syystä veti sen pois Turingin paperista, jonka hän antoi Cambridgen King's Collegelle. On melkein varmaa, että se on tällä hetkellä ainoa Turingin liikkeessä olevan tärkeän nimikirjoituskäsikirjoituksen.
: tämän artikkelin lähteenä käytetty asiakirja.