Alan Mathison Turing (rojen 23. junija 1912 - umrl 7. junija 1954) je bil angleški matematik, računalnik in kriptolog. Velja za ustanovitelja računalništva. S Turingovim testom, ki ga je razvil, je postavil merilo, ali imajo stroji in računalniki sposobnost razmišljanja.
II. Veljal je za vojnega junaka, ker je imel med drugo svetovno vojno ključno vlogo pri razbijanju nemških kod. Poleg tega je v letih na univerzi v Manchestru postavil konceptualno osnovo sodobnih računalnikov z definicijo algoritma, imenovanega Turingov stroj.
Njegovo ime se je v zgodovino matematike zapisalo tudi s hipotezo Church-Turing, ki jo je razvil z učiteljem diplomskega dela Alonzo Churchom, s katerim je sodeloval na Princetonu. V tej tezi je zapisano, da so vsi izračuni, ki jih je mogoče opisati z algoritmom, sestavljeni iz izračunov, ki jih lahko opišemo s štirimi operacijami, operacijami projiciranja, artikulacije in skeniranja. Gre za nedotaknjeno hipotezo o filozofiji matematike in ne za matematični izrek.
Leta 1952 je bil Turing, ki se je na policijo obrnil s pritožbo, da je izsiljevan in je izjavil, da je gej, bil obsojen zaradi homoseksualnosti in obsojen na streljanje z injekcijo estrogena, ki je bila uporabljena kot metoda kemijske kastracije 1 leto. Umrl je leta 1954 zaradi zastrupitve s kalijevim cianidom. Policijska preiskava je ugotovila, da je Turing umrl zaradi samomora z jemanjem strupa cianida z jabolkom, ki ga je pojedel. Trdijo pa, da Turingova zastrupitev ni bila posledica samomora in da so drugi imeli svojo vlogo v tej sumljivi smrti.
Del sveta akademske informatike je postal z nagrado Turing, ki je po njem poimenovana in velja za Nobelovo računalništvo.
Turing je oblikoval tudi reakcijsko-difuzijski model, enega najpomembnejših matematičnih modelov v razvojni biologiji.
Otroštvo in mladost
Njegova mati Sara je zanosila v mestu Chatrapur v državi Orissa v Indiji. Njegov oče, Julius Mathison Turing, je bil indijski javni uslužbenec v kolonialni administraciji britanskih Indij. Julius in njegova mama Sara sta se želela roditi v Angliji, zato sta prišla v London in se naselila v hiši v Maide Valeu (danes hotel Colonnade), kjer se je 23. julija 1912 rodil Alan Turing. Imel je starejšega brata po imenu John. Njegov oče je delal v indijski družbi in v Turingovem otroštvu je družina potovala med Guildfordom v Angliji in Indijo, sinova pa sta ostala pri prijateljih v angleškem Hastingsu. Turing je že v zgodnjem življenju kazal genialne znake in jih dosledno razstavljal.
Starši so ga vpisali v dnevno šolo St Michaels, ko je bil star 6 let. Drugi njegovi inštruktorji, nato pa ravnatelj šole, so se hitro zavedali njegove inteligence. Leta 1926 je pri 14 letih vstopil v šolo Sherborne, slavno zelo drago zasebno šolo v Dorsetu. Prvi dan šolskega obdobja je sovpadel s splošno stavko v Angliji; Turing pa je bil nad svojo šolo tako navdušen, da je tistega dne, ko ni bilo vlakov v državi, kolesaril več kot 60 milj od Southhamptona do šole in prenočil v hotelu na pol poti.
Turingova naravna naravnanost do matematike in naravoslovja mu ni prinesla spoštovanja njegovih učiteljev, katerih definicija izobraževanja v Sherbornu se je bolj osredotočala na klasično starogrško in latinščino. Ravnatelj šole je družini pisal: »Upam, da med obema šolama ne bo ostal neveden. Če bo ostal v zasebni šoli, mora sprejeti specialno izobraževanje zasebne šole; Če bo samo predan znanstvenik, zapravlja čas v tej zasebni šoli. "
Kljub temu je Turing še naprej izkazoval svoj izjemen talent v študijih, ki jih je imel rad, in reševal probleme iz napredne višje matematike, še preden se je v svojih razredih naučil izpeljanih in integracijskih tem. Pri 1928 letih leta 16 se je srečal z delom Alberta Einsteina; ne samo dojel; to je odkril s preučevanjem Einsteinovih kritik Newtonovih trditev o gibanju (brez uporabe učbeniških besedil, ki jih niso razložila).
Turing je z Christopherjem Morcomom, nekoliko starejšim študentom v šoli, vzpostavil tesno prijateljstvo in romanco. Morcom je umrl le nekaj tednov po koncu zadnjega semestra v Sherbornu zaradi tuberkuloze, ki jo je kot otrok dobil zaradi pitja tuberkulentnega kravjega mleka. Turingova verska vera je bila uničena in postal je ateist. Sprejel je prepričanje, da so vsi svetovni pojavi, vključno z delovanjem človeških možganov, materialistični.
Univerza in njegovo delo na izračunljivosti
Turingova nepripravljenost za študij klasične grščine in latinščine ter njegova vedno raje matematika in naravoslovje mu je preprečila, da bi dobil štipendijo za Trinity College v Cambridgeu. Odšel je na Cambridge Kings College, njegova druga izbira. Tam je bil študent med letoma 1931 in 1934, z odliko je pridobil diplomo in bil leta 1935 izvoljen za akademskega člana Kings Collegea za disertacijo o izrek o centralni meji.
Kurt Gödel je v zelo pomembnem članku »Izračunane številke: uporaba problema odločanja«, predstavljenem 28. maja 1936, rezultate dokazov o mejah izračuna in dokazov, pripravljenih leta 1931, preoblikoval z univerzalnim aritmetičnim formalnim jezikom. , ki ga je zdaj nadomestil kot Turingove stroje. Predlagal je dokaz, ki smo ga omenili, na podlagi enostavnejših in bolj formalnih metod. Dokazal je, da je s takim strojem mogoče rešiti kateri koli možni matematični problem, če ga lahko predstavlja algoritem.
Turingovi stroji so glavni raziskovalni element današnjih teorij računanja. Nadaljeval je z dokazovanjem, da je problem zaključka za Turingove stroje nedoločen in da ni posledica problema odločanja: na splošno se ni mogoče odločiti, tudi če algoritmično predstavljeni Turingov stroj vedno preneha. Čeprav je bil njegov dokaz objavljen pozneje kot enakovredni dokaz Alonza Churcha o Turingovem rezultatu, ki temelji na teoriji lambda računanja, je bilo Turingovo delo veliko bolj sprejemljivo in intuitivno. Nova plat njegove teorije je bil koncept "univerzalnega (Turingovega) stroja", ideja stroja, ki bi opravljal naloge katerega koli drugega stroja. Članek je predstavil tudi koncept določljivih številk.
Od septembra 1936 do julija 1938 je skoraj neprekinjeno delal skupaj z Alonzo Church na Inštitutu za napredne študije na univerzi Princeton. Poleg abstraktne matematike je delal tudi na področju kriptologije in zaključil tudi tri faze štiristopenjskega elektromehanskega binarnega množilnega stroja. Diplomsko nalogo je prijavil junija 1938 in si s Princetona prislužil naziv doktorja filozofije. V svoji znanstveni nalogi je preučil koncept računanja s Turingovimi stroji, povezanimi s stroji za prerokovanje, kar mu je omogočilo, da razišče probleme, ki jih Turingov stroj ne more rešiti.
Po vrnitvi v angleški Cambridge se je udeležil predavanj Ludwiga Wittgensteina o osnovah matematike. Oba sta se prepirala in se nista mogla razumeti. Turing je zagovarjal formalizem, Wittgenstein pa je trdil, da je matematika izumila nova dejstva, namesto da bi jih ponovno odkrila. Sodeloval je tudi s krajšim delovnim časom na vladni šoli za šifriranje in šifriranje (GCCS).
Turing-Welchmanov stroj "bombe"
Nekaj tednov po pridružitvi Bletchley Parku je Turing zasnoval elektromehanski stroj, ki bo pomagal hitro razbiti Enigmo; Ta stroj je dobil ime Bombe glede na ime Bombe, ki je bilo dano napravi, ki je bila leta 1932 razvita iz poljsko zasnovanih strojev. Z dodatki po predlogih matematika Gordona Welchmana je bil Bombe Enigma uporabljen kot najpomembnejši in edini popolnoma avtomatiziran stroj za razbijanje kod pri napadu na zaščiteni promet sporočil.
Profesor Jack Good, ki je istočasno s Turingom delal na kriptoanalizi v parku Bletchley, je pozneje počastil Turinga z naslednjimi besedami: »Turingov najpomembnejši prispevek je po mojem mnenju zasnova kriptoanalitičnega stroja Bombe. Temeljila je na logičnem izreku, ki se je neizučenemu ušesu zdel absurden, ali celo nasprotujoči si misli, da je verjetno, da lahko vse razumemo.
Bombe je preučil možne pravilne nastavitve, ki jih je treba uporabiti v sporočilu stroja Enigma (npr. Ukazi zobnikov, nastavitve zobnikov itd.), In jih uporabil za testiranje, ki je našlo primeren in razumen del navadnega besedila. Za kolesa je bilo 1019 možnih stanj za splošne trikolesne stroje Enigma in 4 možnih stanj za 1022-kolesne podmorniške stroje Enigma. Bombe je na podlagi jaslic razstavil vrsto logičnih zaključkov, ki so bili dokončani električno. Bombe je zaznal, ko se je pojavil konflikt, in odpravil spremembe tako, da jih je premaknil na naslednjo. Mnogi možni dogovori so bili nedosledni, ostali pa zavrženi, nekaj pa jih je ostalo za podrobnosti, ki jih je treba raziskati. Turingova bomba je bila prvič nameščena 18. marca 1940. Do konca vojne je delovalo več kot dvesto bomb.
Prvi računalniki in Turingov test
Bil je v Nacionalnem fizikalnem laboratoriju, kjer je od leta 1945 do 1947 delal na projektu ACE (Automatic Computer Engine). 19. februarja 1946 je predstavil članek o podrobni zasnovi prvega programsko-pomnilniškega računalnika. Čeprav je bil ACE izvedljiv, je skrivnost, povezana z delom med vojno v Bletchley Parku, povzročila zamude pri zagonu projekta in ga naredila nepredstavljivega. Konec leta 1947 se je po šestih letih neprekinjenega študija vrnil v Cambridge, kjer je želel delati na polju, ki ga je izbral. Medtem ko je bil v Cambridgeu, je bil med njegovo odsotnostjo opravljen pilot ACE. Prvi program je potekal 10. maja 1950.
Leta 1948 je bil imenovan za predavatelja na oddelku za matematiko v Manchestru. Leta 1949 je postal namestnik direktorja računalniškega laboratorija na Univerzi v Manchestru in delal na programski opremi Manchester Mark 1 za enega prvih pravih računalnikov. V tem času je nadaljeval z bolj abstraktnim delom in v "Računalniški mehanizem in inteligenca" (Mind, oktober 1950) je Turing opozoril na umetno inteligenco in poskušal eksperiment, ki je danes znan kot Turingov test, poskus določitve standardov za stroj da bi se imenoval "inteligenten". Trdil je, da je razmišljanje za računalnik možno, če bi spraševalca lahko zavedlo, da je v dialogu človek.
Leta 1948 je Turing začel delati šahovski program za računalnik, ki še ni obstajal, medtem ko je delal s kolegom podiplomskim kolegom DG Champernowneom. Leta 1952 je, ko je računalnik dovolj zagnal za izvajanje programa, igral igro, v kateri je posnemal Turingov računalnik, vsak potez pa je trajal približno pol ure. Igra je bila posneta, čeprav naj bi Champernowne v igri dobil svojo ženo, je program Turingov kolega Alick Glennie izgubil.
Oblikovanje vzorcev in matematična biologija
Turing je študiral matematično biologijo, zlasti morfogenezo, od leta 1952 do svoje smrti leta 1954. Leta 1952 je napisal članek z naslovom "Kemijska osnova morfogeneze", v katerem je postavil Turingovo hipotezo o oblikovanju vzorca. Na tem področju se osredotočamo na razumevanje obstoja Fibonaccijevih števil v strukturi živih bitij, Fibonaccijeve filotaksije. Primer je uporabil reakcijsko-difuzijsko enačbo, ki je zdaj osrednjega pomena za oblikovalno polje. Njegovi zadnji članki so bili objavljeni šele ob objavi študij kompilacije AM Turinga leta 1992.
Obsodba nespodobne nespodobnosti
Homoseksualnost je bila v Združenem kraljestvu nezakonita in čeprav je veljala za duševno bolezen, je veljala za kaznivo dejanje. Januarja 1952 je Turing v kinu spoznal 19-letnika Alana Murrayja, Alan Murray pa je večkrat odšel k Turingu, da bi ostal z njim. Nekaj tednov kasneje je Alan Murray šel s svojim znancem oropati Turingovo hišo. Turing je to krajo prijavil policiji. Policija je tatove ujela in med preiskavo je prišlo na dan dejstvo, da je Alan Murray imel homoseksualno zvezo s Turingom. Turing je priznal, da je tudi res. Turinga in Murrayja so obtožili neprimerne neprimernosti in jih odpeljali na sodišče v skladu z oddelkom 1885 Dodatka o kazenskem zakoniku iz leta 11. Turing se ni pokesal in bil je obsojen za isto kaznivo dejanje kot Oscar Wilde 50 let prej.
Turingu je bila dana izbira med obsodbo in, odvisno od njegovega stanja, preizkusom njegovega tekočega hormonskega zdravljenja za zmanjšanje libida. Da bi pobegnil iz zapora, je sprejel injekcije hormona estrogena, ki bi ga kastrirali v enem letu. Ko je bil spoznan za krivega, je bilo njegovo dovoljenje za verodostojnost za vladne tajne zadeve preklicano, prav tako pa je bilo prekinjeno njegovo stalno posvetovanje o kriptografskih vprašanjih v takratni tajni GCHQ. Takrat se je britanska vlada ukvarjala s problemom skupine Cambridge Five, skupine agentov (Guy Burgesss in Donald Maclean), ki so se večina med akademskim študijem na Oxford-Cambridgeu in kasneje strinjali, da bodo vohunili za Sovjetsko zvezo. imel najvišje stopnje v britanski inteligenci. Zaskrbelo je, da bi lahko vohuni in sovjetski agenti ujeli homoseksualce na visoke položaje. Turing je bil tudi po vseh teh letih na najvišjih položajih v tajnem Bletchley Parku in je bil obsojen zaradi homoseksualnosti.
8. junija 1954 ga je gospodinja našla mrtvega v svojem domu v Manchestru. Sporočili so, da je prejšnji dan umrl zaradi zastrupitve s cianidom, tako da je pojedel na pol pojedno jabolko, zastrupljeno s cianidom, ki ga je pustil ob postelji. Iz nekega razloga samo jabolko ni bilo nikoli testirano na strup cianida. Kljub trditvi, da je bil vzrok smrti zastrupitev s cianidom, za njegovo telo niso naredili posmrtne smrti.
To je privedlo do prepričanja, da je bila Turingova smrt, oseba, ki je imela zelo pomembne položaje v tajnih zadevah države in je sumljivo umrla, namerna, celo atentat s strani britanske službe MI5 (tajna obveščevalna služba), in ji bila dana pojav samomora. Njegova mati pa je že večkrat trdila, da se je strup po naključju prenašal na jabolko, ki ga je jedla, zaradi sinovega neprevidnega skladiščenja in uporabe laboratorijskih zdravil. Nekateri verjamejo, da je Turing storil samomor, tako da se je pretvarjal, da je Sneguljčica. Drugi poudarjajo, da čeprav je Turing izgubil uradno verodostojnost, mu potni list ni bil odvzet in po tej določbi (čeprav je ZDA niso sprejele) je iz akademskih razlogov večkrat smel oditi v Evropo. Znano je, da je verjetnost atentata na Turinga med temi obiski zelo velika. Kljub temu britanske oblasti namerno zatiskajo oči pred temi obiski in veliko verjetnostjo atentata. Turingov biograf Andrew Hodges trdi, da je bil Turingov samomor na ta način njegovi materi v razumnem zanikanju.
Komemoracija po smrti
Od leta 1966 Turingovo nagrado vsako leto podeljuje Združenje računalniških mehanizmov osebi, ki je pisala tehnične članke za računalniško skupnost. Ta nagrada je danes sprejeta kot Nobelova nagrada računalniškega sveta.
Modra plošča je postavljena na vsako stavbo pred Turingovim rojstnim krajem v Londonu (danes hotel Colonnade) in pred njegovo hišo v Manchestru, kjer je živel in umrl, kar kaže, da so tam živele pomembne zgodovinske osebnosti v Angliji.
23. junija 2001 je bila v parku Sackville, ki se nahaja med univerzitetnimi stavbami na ulici Whitworth v Manchestru, otvoritvena slovesnost za bronasti kip Turinga. 28. oktobra 2004 so v kampusu "University of Surrey" v Guildfordu v Južni Angliji odprli bronasto skulpturo kiparja "Johna W. Millsa". V parku Beltchley, kjer je delal Turing, so 1,5. junija 19 s slovesnostjo odkrili še 2007-tonski kip Turinga, ki ga je iz tankih skrilavcev iz Walesa izdelal kipar Stephen Kettle.
V Angliji in po svetu potekajo različni dogodki, zlasti na univerzah, s ciljem ohranjanja spomina na Turinga, posebne dvorane, zgradbe in trgi na fakultetah in kampusih pa imenujejo Turing. Na primer, na Univerzi Bilgi v Istanbulu vsako leto organizirajo znanstveni simpozij z mednarodno udeležbo, imenovan Turingovi dnevi. Cilj srečanja je ustvariti platformo, na kateri se razpravlja o novih trendih in razvoju na področju "Računalniške teorije in računalništva" in jih predstavi v mednarodnih krogih.
Britanski premier Gordon Brown je 10. septembra 2009, 50 let po smrti Alana Turinga, priznal, da je bilo to, kar je bilo storjeno slovitemu matematiku, grozljivo.In leta 2013 je kraljica Elizabeta II Turingu podelila kraljevo pomilostitev po njegovi smrti in počastila njegove neprimerljive dosežke .
Najprej komentirajte