Dram nan jeni angle a
Èske nenpòt nan lektè yo respekte plan vizite pi popilè Britanik Lodz la, sa vle di Manchester? nan mond lan yo li te ye sitou gras a jwè foutbòl? kite l eseye wè Sackville Park la. Gen yon moniman trè enteresan la; enteresan pou de rezon. Premyèman, akòz fòm li yo, anpil vil nan mond lan te pran anvi pran, ki te doue tèt yo ak ban karakteristik ak yon figi an kwiv chita sou yo an memwa gwo yo; sa a se ki jan yo sanble pi popilè estati Julian Tuwim ak? moniman etidyan sou kanpis inivèsite a nan Warsaw. Dezyèmman? pou yon nonm onore nan Manchester; san dout youn nan pi gwo syantis nan istwa lemonn, ki gen sò tou trè dramatik epi ki te fini trajik. Yon fen konsa se yon wont pou sivilize yo? prezimableman? mond; an plis frapan ke li dat nan mitan ventyèm syèk la.
Moun nan kesyon an Alan Mathison Turing, youn nan papa syans enfòmatik teyorik, yon matematisyen briyan ak yon gwo kriptològ ki te fè yon gwo kontribisyon nan viktwa Alye yo nan Dezyèm Gè Mondyal la nan kraze kòd ekstrèmman konplèks nan twoup Nazi yo ak transmèt telegram yo ki pi sekrè Alman yo. kòmandan Britanik yo.
Premye dekouvèt
Alan te fèt 23 jen 1912; ebyen nou pral la byento? pwobableman ak anpil battage? selebre santyèm nesans li. Papa l ', Julius, te yon domestik sivil Endyen; li menm ak madanm li Ethel te rete nèt toupre Madras nan sid peyi Zend. Sepandan, kòm paran yo te vle timoun nan fèt nan Angletè, yo te kite peyi Zend ak Alan te fèt nan Lond. Papa Alan te retounen imedyatman nan peyi Zend, ak manman l 'te kite kenz mwa pita, nan mitan mwa septanm 1913, kite Alan nan swen nan nounou. Se poutèt sa, timoun nan te leve san yo pa kontak ak paran yo, ki pa te estraòdinè nan kèk esfè sosyal nan tan sa a.
An 1926, Alan Turing te antre nan yon lekòl ofisyèl; sèlman katòz ane fin vye granmoun. Depi nan konmansman an, li te montre ekselan kapasite matematik, men nan lekòl la, ki te gen entansyon edike lidèchip nan lavni nan Anpi Britanik la, li te santi move. Petèt paske li te nan peryòd sa a ke li te dekouvri oryantasyon omoseksyèl li epi, malerezman, te tonbe damou ak yon zanmi? Christopher Morcom, ki te mouri yon ti tan apre sa nan tibèkiloz (13 fevriye 1930). Apre lanmò li, Turing te travay pi di toujou, e an 1931, a laj 19 an, li te resevwa yon bous rechèch nan King's College, Cambridge.
Isit la li te ekri tèz matematik absoliman briyan li, i.e. Li te prezante konsèp konplètman enkoni nan matematik. Li te nan tèz sa a ke li te defini yon machin abstrè ki kapab egzekite yon algorithm pwograme, jodi a yo rele yon machin Turing. Machin nan te kapab sèlman egzekite yon algorithm patikilye; pa egzanp, li ka kare yon nonb, divize de nonb, ajoute, soustraksyon. Nimewo yo te dwe antre nan machin nan ak kasèt papye.
Lè sa a, jèn syantis la devlope yon machin Turing inivèsèl, ki? depann sou enstriksyon ki ekri sou kasèt la? te oblije fè kèk operasyon. Li te, an reyalite, konplo ki pi jeneral nan operasyon òdinatè li te ye nan nou jodi a, byen lwen soti nan solisyon espesifik teknik, men trè jeneral.
Isit la li vo bay yon konklizyon matematik ak lojik trè enteresan ki swiv nan rezònman Turing a. Yon ti kras pi bonè, gwo syantis Ostralyen Kurt Gödel te entwodwi konsèp nan yon fraz endesidable nan matematik. Sa a se tankou yon fraz fòmèlman konstwi ki pa ka pwouve oswa demanti nan okenn fason sou baz la nan sistèm nan aksyòm adopte nan teyori a anba konsiderasyon. Anplis, si fraz sa a ajoute nan teyori a kòm yon lòt aksyòm, Lè sa a, yon lòt fraz endesisib egalman anbarasan pral imedyatman parèt nan li. Sa a se yon deklarasyon ki gen yon kontni filozofik trè pwofon, ki montre limit konesans imen an, oswa omwen yon fason ekzòbitan limite posiblite pou dekri reyalite ak èd aksyòm ak dediksyon lojik, konsidere kòm youn nan pi gwo dekouvèt matematik nan XNUMXyèm syèk la.
Ak nan konsiderasyon Turing yo swiv yon prèv konplètman diferan nan teyorèm sa a pase sa a bay Gödel. Libellé Alan? nan kou, ekivalan libellés Ostralyen an? li deside ke li pa posib (trè jeneral e pa trè strikteman pale) pou rezoud tout pwoblèm enfòmatik posib avèk èd menm machin matematik ki pi inivèsèl la; sinon? ke gen algoritm byen fòmile ki tou senpleman pa ka egzekite pa nenpòt machin.
Men tou sa? toujou sezon? reyalizasyon an pa fin itilize sa ki nan tèz Turing la. Li te konsidere tou posiblite pou konstwi yon òdinatè dapre ansyen plan Charles Babbage e li te pwouve lide syantis ak designer diznevyèm syèk sa a byen reyèl.
Nan ti bout tan: matematik la 26-zan ak travay sa a pou tout tan antre nan istwa a nan matematik ak syans enfòmatik. Byento li te apresye ak aksepte pa kominote syantifik la, ki te trete l 'ak anpil respè. Sepandan, preferans seksyèl li rete yon mistè, ki apre kèk tan mennen nan trajedi a mansyone nan kòmansman an.
Kriptanalitik
Byento tan difisil yo te swiv. Lagè pete. Machin ki fèt pa kriptològ pi popilè Polonè ki fann kòd yo nan machin nan pi popilè chifre Alman ke yo rekonèt kòm Enigma a te fè wout yo nan Angletè. Ekspè Britanik yo pa t gen dout ke Nazi yo ta amelyore aparèy yo, e yo te deside antisipe yo. An 1939, Lekòl Eta a nan Kòd ak Sif yo te ofri Turing yon djòb kòm yon kriptoanalyst (codebreaker) nan Bletchley.
Èske mwen janm ekri sou vil sa a etranj, misterye kote elit entelektyèl Britanik la te konsantre? lengwis ak kiltilològ, matematisyen ak enjenyè. Nan pik li yo, sant dechifre sa a te anplwaye anviwon 10 moun. moun? epi li se vo anyen ke konteslijans Britanik la jere yo degize tout bagay sa yo pou ke pa yon sèl bonm oswa fize tonbe sou Bletchley pandan tout lagè a! Èske sa a premye reyèl nan Bletchley? Òdinatè seri Colossus. Wòl vil ak sant sa a? ak egzistans òdinatè sa yo? te vin piblik sèlman yon ka nan yon syèk apre fen ostilite yo.
Turing amelyore aparèy Polonè nan Bletchley e li te fèt sa yo rele bonm yo? aparèy pou fann kòd Nazi yo. Bonm konsa? premye 15? epi yo tout te travay ak anpil siksè, bay jeneral yo nouvèl ki pa gen anpil valè.
Se te konsa pandan dezan. An 1941, kòmandan Edward Travis, yon nonm militè olye senp (jan li te tounen soti), te vin chèf sant lan. kiyès? pa konprann gravite pwoblèm nan? bloke aksè nan cryptanalysts nan lajan yo. Turing pa t abandone: li te ale dirèkteman nan Premye Minis Winston Churchill tèt li. Pa desi? gwo politisyen an te apresye gwo matematisyen an e li te bay lòd plis finansman pou travay la. Yon ane pita, Bletchley non sèlman te gen karantnèf "bonm" men yo te bati yon nouvo estasyon kripto-analiz nan Gayhurst Manor.
Nan pwen sa a, rekritman Bletchley te anonse piblikman. Èske gen yon bagay pou mansyone jodi a? apre tout, rekritman se oke? si se pa pou fòm trè orijinal li. Savwa, san eksplikasyon, ki sa li te sou nan Daily Telegraph la?Konplike tankou lanfè? kwaze. Sis lektè ki te reponn li kòrèkteman te envite nan yon tès espesyal ki te òganize pa sèvis entèlijans Britanik yo (MI6); apre yo fin pase li, yo rantre nan ekip Turing nan Bletchley.
Apre lagè a
Apre lagè a, Alan Turing te fèt youn nan premye avyon "sivil" Britanik la. òdinatè yo. Li te pibliye tou (1950) sipozisyon sa yo rele tès Turing ki defini entèlijans atifisyèl; yon tès yo itilize ak rekonèt jiska jounen jodi a kòm serye pou reponn yon kesyon entrigan sou entèlijans machin yo. Pou jwenn plis enfòmasyon sou li? Ann jis pran yon gade nan Wikipedia, ki di sa ki annapre yo:
Tès la se: jij? Moun? fè yon konvèsasyon nan lang natirèl ak lòt patisipan yo. Si jij la pa ka detèmine si yon bò se yon machin oswa yon moun, yo konsidere machin nan te pase tès la. Tou de moun ak machin yo sipoze eseye pase tès la pa konpòte kòm pre konpòtman moun ke posib.
Tès la baze sou yon jwèt pou devine sèks yon moun nan yon lòt chanm atravè yon seri kesyon ak repons ki ekri sou yon papye. Nan lide orijinal Turing, moun nan te dwe pran pòz sèks opoze a, epi tès la te limite a yon konvèsasyon senk minit. Fonksyon sa yo pa konsidere kòm debaz jodi a epi yo pa anjeneral enkli nan spesifikasyon tès Turing la.
Turing te espere ke machin yo ta evantyèlman kapab pase tès sa a. Li kalkile ke anviwon 2000 machin ki gen 10 ^ 9 bits nan memwa (apeprè 119 MB) te kapab twonpe 30% nan jij yo nan yon tès senk minit. Li te tou prevwa ke moun ta sispann konsidere fraz la "Machin panse?". ki jan kontradiktwa. Li te kwè ke aprantisaj machin ta vin trè enpòtan nan bati machin efikas. Èske deklarasyon sa a konsidere kòm jistifye pa chèchè entèlijans atifisyèl jodi a?
Ak plis:
• Jiskaprezan, pa gen okenn òdinatè ki te pase tès Turing la. Pwogram konvèsasyon senp tankou ELIZA te kapab fè moun kwè ke yo t ap pale ak yon moun reyèl. Yon egzanp se yon eksperyans enfòmèl ki rele AOLiza. Sepandan, siksè sa yo? se pa menm jan ak pran tès Turing la. Premyèman, yon moun ki nan yon konvèsasyon konsa pa gen okenn rezon pou l sispèk li pa pale ak yon lòt moun. Nan yon tès Turing reyèl, entèwogatè a ap eseye detèmine aktivman nati entèrlokuteur a. Ka dokimante yo sitou pran plas nan yon anviwònman IRC kote konvèsasyon yo trè stilted e gen souvan kòmantè san sans ki endike yon enkonpreyansyon sou sijè a. Anplis de sa, anpil patisipan chat pale angle kòm yon dezyèm oswa yon twazyèm lang, ki sèlman ogmante chans pou yo pral konsidere yon kòmantè pwogram chat estipid kòm yon bagay yo tou senpleman pa t 'konprann. Yo pa abitye tou ak pifò teknoloji bot epi yo pa rekonèt erè tipik ki pa moun ki fèt nan pwogram sa yo.
Nan mwa septanm 2011, pwogram Cleverbot, ki te kreye pa Rollo Carpenter an 1988 e ki te devlope depi lè sa a, te twonpe plis pase 59,3% nan odyans li yo pou yo te kwè ke li te yon moun. 4% rate tès Turing la paske 63,3% te rekonèt kòrèkteman moun nan menm travay la.
De ane kochma
An 1952, dram ki te mennen nan lanmò Turing te kòmanse. Yon moun antre lakay li; syantis la rapòte sa bay lapolis. Yon ankèt te kòmanse, pandan sa a, nan yon kesyon dirèk, Turing te oblije admèt ke li te masisi.
Lalwa ki te anvigè nan epòk sa a nan Angletè te konsidere sa yon "vyolation de moralite piblik", sa vle di, yon krim. Yo te mete syantis la nan jijman; Nan kou a nan jijman an, lè yo pase yon vèdik koupab, tribinal la te bay akize a yon chwa: privasyon libète oswa volontè sibi terapi òmòn anba sipèvizyon yon sikyat, i.e. sa yo rele "kastrasyon chimik". Turing te opte pou lèt la epi li te kòmanse pran dòz masiv nan estwojèn ak efè segondè dezagreyab.
Sepandan, sa a pa t pi mal la, byenke nou konsidere desizyon sa a nan tribinal la nan natirèlman ilegal, trè repwobabilite e menm inimajinabl.
Bagay la fatal sou vèdik sa a se te ke li te delivre nan tout. Sèlman kondanasyon Turing, kèlkeswa pinisyon yo te aplike a, otomatikman anpeche l aksè a enfòmasyon klase. Sa a te vle di pran l 'soti nan rechèch òdinatè, ak rezilta a? lanmò pwofesyonèl.
Syantis la kenbe sitiyasyon sa a pou yon lòt de ane. Sou 7 jen 1954, li fèmen tèt li nan chanm li epi li komèt swisid. A laj de 41 an, youn nan pi gwo jeni limanite te mouri, yon nonm sou ki yo te di ke san li lagè a ta dire anpil mwa ankò, dè milye de moun ki te fè peyi yo imans yo ta mouri pou gremesi. Li te mouri pèsekite pou rezon ideolojik ki pi ba yo pa sòt kolosal. Li se rezon konsidere kòm youn nan epizòd ki pi degoutan nan istwa a nan sivilizasyon modèn.
An 1999, magazin "Tan? yo te rele Turing youn nan 10 moun ki pi enfliyan nan ane 2009 la. Nan XNUMX, Lè sa a, Premye Minis Britanik Gordon Brown te mande piblikman eskiz bay piblik la sou non gouvènman li a pou "enjistis konplè a". ak?terib? Terapi Turing.
Se konsa, sa?
