Anglų genijaus drama
Ar kas nors iÅ¡ gerbiamų skaitytojų planuoja apsilankyti garsiojoje britų LodzÄje, t.y. ManÄesteryje? pasaulyje ÅŸinomi daugiausia dÄl futbolininkų? tegul pabando ten pamatyti Sackville parkÄ . Ten yra labai įdomus paminklas; įdomus dÄl dviejų prieÅŸasÄių. Pirma, dÄl savo formos, kuriÄ noriai perÄmÄ daugelis pasaulio miestų, kurie savo didÅŸiųjų atminimui apdovanojo jiems bÅ«dingus suolus su bronzine figÅ«ra; taip jie atrodo kaip garsioji Juliano Tuwimo statula ir? studentų paminklas universiteto miestelyje VarÅ¡uvoje. Antra? ManÄesteryje pagerbtam ÅŸmogui; neabejotinai vienas didÅŸiausių pasaulio istorijos mokslininkų, kurio likimas taip pat itin dramatiÅ¡kas ir pasibaigÄs tragiÅ¡kai. Ar tokia pabaiga yra civilizuotųjų gÄda? tikriausiai? pasaulis; tuo labiau stebina tai, kad jis datuojamas XX amÅŸiaus viduriu.
Aptariamas asmuo Alanas Mathisonas Turingas, vienas iÅ¡ teorinių kompiuterių mokslo tÄvų, puikus matematikas ir puikus kriptologas, labai prisidÄjÄs prie sÄ jungininkų pergalÄs Antrajame pasauliniame kare, sulauÅŸydamas itin sudÄtingus nacių kariuomenÄs kodus ir perdavÄs slapÄiausias vokieÄių telegramas. britų vadai.
Pirmieji atradimai
Alanas gimÄ 23 m. birÅŸelio 1912 d.; taigi mes greitai ten bÅ«sime? tikriausiai su dideliu aÅŸiotaÅŸu? Å¡ventÄ Å¡imtÄ sias gimimo metines. Jo tÄvas Julius buvo Indijos valstybÄs tarnautojas; jis ir jo ÅŸmona Ethel nuolat gyveno netoli Madraso Pietų Indijoje. TaÄiau kadangi tÄvai norÄjo, kad vaikas gimtų Anglijoje, jie iÅ¡vyko iÅ¡ Indijos, o Alanas gimÄ Londone. Alano tÄvas iÅ¡ karto grįşo į IndijÄ , o mama iÅ¡vyko po penkiolikos mÄnesių, 1913 m. rugsÄjo viduryje, palikdama AlanÄ auklÄms. TodÄl vaikas buvo auklÄjamas nebendraujant su tÄvais, o tai nebuvo neįprasta kai kuriose to meto socialinÄse sferose.
1926 metais Alanas Turingas įstojo į oficialiÄ mokyklÄ ; tik keturiolikos metų. Nuo pat pradÅŸių demonstravo puikius matematinius gebÄjimus, taÄiau mokykloje, kuri buvo skirta ugdyti bÅ«simÄ jÄ Britų imperijos vadovybÄ, pasijuto prastai. Gal dÄl to, kad bÅ«tent Å¡iuo laikotarpiu jis atrado savo homoseksualiÄ orientacijÄ ir, deja, pamilo draugÄ ? Christopheris Morcomas, kuris netrukus mirÄ nuo tuberkuliozÄs (13 m. vasario 1930 d.). Po mirties Turingas dirbo dar daugiau, o 1931 m., bÅ«damas 19 metų, jam buvo suteikta mokslinÄ stipendija King's College, KembridÅŸe.
Äia jis paraÅ¡Ä absoliuÄiai genialiÄ matematinÄ disertacijÄ , t.y. Jis į matematikÄ Ä¯vedÄ visiÅ¡kai neÅŸinomas sÄ vokas. BÅ«tent Å¡ioje disertacijoje jis apibrÄÅŸÄ abstrakÄiÄ maÅ¡inÄ , galinÄiÄ vykdyti uÅŸprogramuotÄ algoritmÄ , Å¡iandien vadinamÄ Tiuringo maÅ¡ina. MaÅ¡ina galÄjo vykdyti tik vienÄ konkretų algoritmÄ ; pavyzdÅŸiui, ji galÄtų skaiÄių paversti kvadratu, padalyti du skaiÄius, sudÄti, atimti. SkaiÄius į aparatÄ reikÄjo suvesti popierine juostele.
Tada jaunasis mokslininkas sukÅ«rÄ universaliÄ Tiuringo maÅ¡inÄ , kuriÄ ? priklausomai nuo instrukcijų, paraÅ¡ytų ant juostos? teko atlikti kokiÄ nors operacijÄ . TiesÄ sakant, tai buvo pati bendriausia mums Å¡iandien ÅŸinoma kompiuterio veikimo schema, toli graÅŸu ne specifiniai techniniai sprendimai, bet labai bendra.
Äia verta pateikti labai įdomiÄ matematinÄ ir loginÄ iÅ¡vadÄ , iÅ¡plaukianÄiÄ iÅ¡ Turingo samprotavimų. Kiek anksÄiau didysis austrų mokslininkas Kurtas Gödelis į matematikÄ Ä¯vedÄ neapsprendÅŸiamo sakinio sÄ vokÄ . Tai toks formaliai sukonstruotas sakinys, kurio, remiantis nagrinÄjamoje teorijoje perimta aksiomų sistema, niekaip neįmanoma įrodyti ar paneigti. Be to, jei Å¡is sakinys pridedamas prie teorijos kaip dar viena aksioma, tada jame iÅ¡kart atsiras kitas toks pat gÄdingas neapsprendÅŸiamas sakinys. Tai itin gilaus filosofinio turinio teiginys, nurodantis į ÅŸmogaus paÅŸinimo ribas arba bent jau įşūliai ribojantis realybÄs apibÅ«dinimo galimybes pasitelkiant aksiomas ir loginÄ dedukcijÄ , pagrįstai laikomas vienu didÅŸiausių XX amÅŸiaus matematinių atradimų.
Ir iÅ¡ Turingo samprotavimų iÅ¡plaukia visiÅ¡kai kitoks Å¡ios teoremos įrodymas nei tas, kurį pateikÄ Gödelis. Alano formuluotÄ? ÅŸinoma, lygiavertÄ austriÅ¡ka formuluotÄ? jis nusprendÅŸia, kad neįmanoma (labai bendrai ir nelabai grieÅŸtai) iÅ¡sprÄsti visų įmanomų skaiÄiavimo uÅŸdavinių net universaliausios matematinÄs maÅ¡inos pagalba; kitaip? kad yra gerai suformuluotų algoritmų, kurių tiesiog negali vykdyti jokia maÅ¡ina.
Bet ir tai? vis dar epinis? pasiekimas neiÅ¡semia Turingo disertacijos turinio. Jis taip pat svarstÄ galimybÄ sukurti kompiuterį pagal senus Charleso Babbage'o planus ir įrodÄ, kad Å¡io XIX amÅŸiaus mokslininko ir dizainerio idÄjos yra gana tikros.
Trumpai tariant: 26 metų matematikas su Å¡iuo darbu visam laikui įÄjo į matematikos ir informatikos istorijÄ . Netrukus jis buvo įvertintas ir priimtas mokslo bendruomenÄs, kuri su juo elgÄsi labai pagarbiai. TaÄiau jo seksualiniai pomÄgiai liko paslaptimi, o tai po kurio laiko atvedÄ prie pradÅŸioje paminÄtos tragedijos.
KriptanalizÄ
Netrukus atÄjo sunkÅ«s laikai. PrasidÄjo karas. Ä® AnglijÄ pateko garsių lenkų kriptologų sukurtos maÅ¡inos, kurios nulauÅŸÄ garsiosios vokieÄių Å¡ifravimo maÅ¡inos, ÅŸinomos kaip Enigma, kodus. Britų ekspertai neabejojo, kad naciai patobulins savo aparatÄ , ir nusprendÄ tai numatyti. 1939 m. ValstybinÄ kodų ir Å¡ifrų mokykla Turingui pasiÅ«lÄ kriptoanalitiko (kodų lauÅŸytojo) darbÄ Bletchley mieste.
Ar aÅ¡ kada nors raÅ¡iau apie šį keistÄ , paslaptingÄ miestÄ , kuriame telkÄsi tuometinis britų intelektualinis elitas? kalbininkai ir kultÅ«rologai, matematikai ir inÅŸinieriai. DidÅŸiausiu metu Å¡iame iÅ¡Å¡ifravimo centre dirbo apie 10 XNUMX ÅŸmonių. ÅŸmonių? ir verta paÅŸymÄti, kad britų kontrÅŸvalgyba sugebÄjo visa tai uÅŸmaskuoti taip, kad per visÄ karÄ ant Bletchley nenukrito nÄ viena bomba ar raketa! Ar tai pirmasis tikras Bletchley mieste? Colossus serijos kompiuteriai. Å io miesto ir centro vaidmuo? ir Å¡ių kompiuterių egzistavimas? į vieÅ¡umÄ iÅ¡kilo tik praÄjus ketvirÄiui amÅŸiaus po karo veiksmų pabaigos.
Turingas patobulino lenkų aparatÄ Bletchley ir sukÅ«rÄ vadinamÄ sias bombas? prietaisai nacių kodams nulauÅŸti. Tokios, bombos? pirmi 15? ir visi jie dirbo labai sÄkmingai, pateikdami generolams neįkainojamų naujienų.
Taip buvo dvejus metus. 1941 metais centro vadovu tapo vadas Edwardas Travisas, gana tiesmukas (kaip vÄliau paaiÅ¡kÄjo) kariÅ¡kis. kuri? nesuprantate problemos rimtumo? uÅŸblokavo kriptovaliutų prieigÄ prie fondų. Turingas nepasidavÄ: jis nuÄjo tiesiai pas patį ministrÄ pirmininkÄ WinstonÄ Churchillį. Ar nenusivylÄte? didysis politikas įvertino didįjį matematikÄ ir nurodÄ tolesniam darbui finansuoti. Po metų Bletchley ne tik turÄjo keturiasdeÅ¡imt devynias âbombasâ, bet ir Gayhurst dvare buvo pastatyta nauja kriptoanalizÄs stotis.
Å iuo metu Bletchley įdarbinimas buvo vieÅ¡ai paskelbtas. Ar Å¡iandien yra kÄ paminÄti? juk įdarbinti yra gerai? jei ne itin originali forma. BÅ«tent, be paaiÅ¡kinimų, apie kÄ tai buvo âDaily Telegraphâ? kryÅŸiaÅŸodis. Å eÅ¡i teisingai atsakÄ skaitytojai buvo pakviesti į specialų britų ÅŸvalgybos tarnybų (MI6) surengtÄ testÄ ; jÄ praÄjÄ jie prisijungÄ prie Turingo komandos Bletchley mieste.
Po karo
Po karo Alanas Turingas sukÅ«rÄ vienÄ pirmųjų britų âciviliniųâ lÄktuvų. kompiuteriai. Jis taip pat paskelbÄ (1950) vadinamojo Turingo testo, apibrÄÅŸianÄio dirbtinį intelektÄ , prielaidas; testas, naudojamas ir iki Å¡iol pripaÅŸintas patikimu atsakant į intriguojantį klausimÄ apie maÅ¡inų intelektÄ . NorÄdami suÅŸinoti daugiau apie jį? PaÅŸvelkime į VikipedijÄ , kurioje raÅ¡oma taip:
Testas toks: teisÄjas? Åœmogus ? veda pokalbį natÅ«ralia kalba su kitais dalyviais. Jei teisÄjas negali patikimai nustatyti, ar kuri nors pusÄ yra maÅ¡ina ar asmuo, laikoma, kad maÅ¡ina iÅ¡laikÄ testÄ . Ir ÅŸmogus, ir maÅ¡ina turÄtų bandyti iÅ¡laikyti testÄ , elgdamiesi kuo panaÅ¡esniam į ÅŸmogaus elgesį.
Testas pagrįstas ÅŸaidimu atspÄti kieno nors kitame kambaryje esanÄio ÅŸmogaus lytį, pateikiant ant popieriaus lapo uÅŸraÅ¡ytus klausimus ir atsakymus. Pagal pirminÄ Turingo idÄjÄ , asmuo turÄjo apsimesti prieÅ¡ingos lyties atstovu, o testas apsiribojo penkių minuÄių pokalbiu. Å ios funkcijos Å¡iandien nelaikomos pagrindinÄmis ir paprastai nÄra įtrauktos į Turingo testo specifikacijÄ .
Turingas tikÄjosi, kad maÅ¡inos galiausiai galÄs iÅ¡laikyti šį testÄ . Jis apskaiÄiavo, kad maÅŸdaug 2000 maÅ¡inų su 10^9 bitų atmintimi (maÅŸdaug 119 MB) per penkių minuÄių testÄ gali apgauti 30 % teisÄjų. Jis taip pat prognozavo, kad ÅŸmonÄs nustos svarstyti frazÄ âMÄ stymo maÅ¡ina?â. kaip prieÅ¡taringa. Jis tikÄjo, kad maÅ¡inų mokymasis taps labai svarbus kuriant efektyvias maÅ¡inas. Ar šį teiginį Å¡iandienos dirbtinio intelekto tyrinÄtojai laiko pagrįstu?
Ir toliau:
⢠Iki Å¡iol nÄ vienas kompiuteris neiÅ¡laikÄ Turingo testo. Tokios paprastos pokalbių programos kaip ELIZA gali priversti ÅŸmones patikÄti, kad kalbasi su tikru asmeniu. Pavyzdys yra neoficialus eksperimentas, vadinamas AOLiza. TaÄiau tokios sÄkmÄs? tai ne tas pats, kas laikyti Tiuringo testÄ . Pirma, ÅŸmogus tokiame pokalbyje neturi pagrindo įtarti, kad jis nekalba su kitu ÅŸmogumi. Tikrame Turingo teste tardytojas bando aktyviai nustatyti paÅ¡nekovo prigimtį. Dokumentuose uÅŸfiksuoti atvejai daÅŸniausiai vyksta IRC aplinkoje, kur pokalbiai yra labai įtempti ir daÅŸnai bÅ«na nesÄ moningų komentarų, rodanÄių neteisingÄ temos supratimÄ . Be to, daugelis pokalbių dalyvių kalba angliÅ¡kai kaip antrÄ ja ar treÄiÄ ja kalba, o tai tik padidina tikimybÄ, kad kvailÄ pokalbių programos komentarÄ jie laikys tuo, ko jie tiesiog nesuprato. Jie taip pat nÄra susipaÅŸinÄ su dauguma robotų technologijų ir nepripaşįsta tipiÅ¡kų neÅŸmogiÅ¡kų klaidų, kurias daro tokios programos.
2011 m. rugsÄjį programa âCleverbotâ, kuriÄ 1988 m. sukÅ«rÄ Rollo Carpenter ir kuri nuo tada buvo plÄtojama, privertÄ daugiau nei 59,3 % auditorijos patikÄti, kad tai yra ÅŸmogus. 4% praleido Turingo testÄ , nes 63,3% teisingai atpaÅŸino asmenį tame paÄiame darbe.
Dveji košmaro metai
1952 metais prasidÄjo drama, dÄl kurios mirÄ Turingas. KaÅŸkas įsiverÅŸÄ Ä¯ jo namus; mokslininkas apie tai praneÅ¡Ä policijai. PrasidÄjo tyrimas, kurio metu į tiesioginį klausimÄ Turingas turÄjo pripaÅŸinti, kad yra gÄjus.
Tuo metu Anglijoje galiojÄs įstatymas tai laikÄ âvisuomenÄs moralÄs paÅŸeidimuâ, tai yra nusikaltimu. Mokslininkas buvo teisiamas; Teisminio nagrinÄjimo metu, priimdamas apkaltinamÄ jį nuosprendį, teismas davÄ kaltinamajam pasirinkimÄ : laisvÄs atÄmimas arba savanoriÅ¡kas hormonų terapija priÅŸiÅ«rint gydytojui psichiatrui, t.y. vadinamoji âcheminÄ kastracijaâ. Turingas pasirinko pastarÄ jį ir pradÄjo vartoti didÅŸiules estrogenų dozes su nemaloniu Å¡alutiniu poveikiu.
TaÄiau tai nebuvo blogiausia, nors šį teismo sprendimÄ laikome savo esme neteisÄtu, itin smerktinu ir net neįsivaizduojamu.
Lemtingas dalykas Å¡iame nuosprendyje buvo tai, kad jis apskritai buvo paskelbtas. Vien tik Turingo nuteisimas, nepaisant paskirtos bausmÄs, automatiÅ¡kai atÄmÄ iÅ¡ jo prieigÄ prie įslaptintos informacijos. Tai reiÅ¡kÄ, kad jis buvo paÅ¡alintas iÅ¡ kompiuterinių tyrimų, o rezultatas? profesinÄ mirtis.
TokiÄ situacijÄ mokslininkas iÅ¡laikÄ dar dvejus metus. 7 m. birÅŸelio 1954 d. jis uÅŸsidarÄ miegamajame ir nusiÅŸudÄ. BÅ«damas 41-erių mirÄ vienas didÅŸiausių ÅŸmonijos genijų â ÅŸmogus, apie kurį buvo sakoma, kad be jo karas bÅ«tų trukÄs daug mÄnesių ilgiau, veltui bÅ«tų ÅŸuvÄ tÅ«kstanÄiai ÅŸmonių, padariusių savo Å¡alį didÅŸiulÄ. Jis mirÄ dÄl niekÅ¡iÅ¡kiausių ideologinių prieÅŸasÄių persekiojamas siaubingo kvailumo. Tai pagrįstai laikomas vienu bjauriausių epizodų Å¡iuolaikinÄs civilizacijos istorijoje.
1999 metais ÅŸurnalas âLaikas? Turingas buvo įtrauktas į 10 įtakingiausių 2009 m. ÅŸmonių. XNUMX tuometinis DidÅŸiosios Britanijos ministras pirmininkas Gordonas Brownas savo vyriausybÄs vardu vieÅ¡ai atsipraÅ¡Ä visuomenÄs uÅŸ âvisiÅ¡kÄ neteisybÄâ. ir siaubinga? Turingo terapija.
Tai kas?