Drama di u geniu inglese
Qualchidunu di i lettori rispettati pensa à visità u famosu Lodz britannicu, vale à dì Manchester? in u mondu sò cunnisciuti soprattuttu grazia à i ghjucatori di football? ch'ellu pruvà à vede Sackville Park quì. Ci hè un munumentu assai interessante; interessante per dui motivi. Prima, per via di a so forma, impaurita da parechje cità di u mondu, chì si sò dotati di banche caratteristiche cù una figura di bronzu pusata nantu à elli in memoria di i so grandi; questu hè cumu si parenu a famosa statua di Julian Tuwim è ? monumentu studiente in u campus universitariu in Varsavia. Siconda ? per un omu onoratu in Manchester; senza dubbitu unu di i più grandi scientisti in a storia mundiale, chì u so destinu hè ancu assai drammaticu è finitu tragicamente. Un tali fini hè una disgrazia per i civilizzati? presumibilmente? mondu; tantu più chjosa ch’ella data di a mità di u XXmu seculu.
A persona in quistione Alan Mathison Turing, unu di i babbi di l'informatica teorica, un matimàticu brillanti è un grande criptologu chì hà fattu una grande cuntribuzione à a vittoria di l'Alliati in a Siconda Guerra Munniali, rompendu i codici estremamente cumplessi di e truppe naziste è trasmettendu i telegrammi tedeschi più sicreti. cumandanti britannichi.
Primu scopre
Alan hè natu u 23 di ghjugnu 1912; allora ci seremu prestu ? probabilmente cù assai hype? celebrò u centenario di a so nascita. U so babbu, Julius, era un servitore indianu; ellu è a so moglia Ethel campavanu in permanenza vicinu à Madras in u Sud di l'India. Tuttavia, cum'è i genitori vulianu chì u zitellu nasce in Inghilterra, abbandunonu l'India è Alan hè natu in Londra. U babbu d'Alan riturnò subitu in l'India, è a so mamma si n'andò quindici mesi dopu, à a mità di sittembri 1913, lassannu Alan à a cura di nannies. Per quessa, u zitellu hè statu criatu senza cuntattu cù i genitori, chì ùn era micca pocu cumuni in certi sferi suciali di quellu tempu.
In u 1926, Alan Turing intrì in una scola ufficiale; solu quattordici anni. Da u principiu hà dimustratu eccellenti capacità matematiche, ma à a scola, chì era destinata à educà u futuru dirigenza di l'Imperu Britannicu, si sentia male. Forsi perchè era in questu periodu chì hà scupertu a so orientazione omosessuale è, sfurtunatamenti, hè innamuratu di un amicu? Christopher Morcom, chì hè mortu pocu dopu di tuberculosis (13 di ferraghju 1930). Dopu à a so morte, Turing hà travagliatu ancu più duru, è in u 1931, à l'età di 19 anni, hè stata premiata una borsa di ricerca in King's College, Cambridge.
Quì hà scrittu a so dissertazione matematica assolutamente brillanti, i.e. Hà introduttu cuncetti completamente scunnisciuti in a matematica. Hè in questa dissertazione chì hà definitu una macchina astratta capace di eseguisce un algoritmu programatu, oghje chjamatu macchina di Turing. A macchina puderia eseguisce solu un algoritmu particulari; per esempiu, puderia quadratu un numeru, divide dui numeri, aghjunghje, sottrae. I numeri anu da esse inseriti in a macchina cù a cinta di carta.
Allora u ghjovanu scientist hà sviluppatu una macchina universale di Turing, quale? sicondu l'istruzzioni scritti nantu à a cinta? duverebbe fà qualchì operazione. Era, in fattu, u schema più generale di u funziunamentu di l'informatica cunnisciutu da noi oghje, luntanu da suluzioni tecniche specifiche, ma assai generale.
Quì vale a pena dà una cunclusione matematica è logica assai interessante chì seguita da u ragiunamentu di Turing. Un pocu prima, u grande scientist austriacu Kurt Gödel hà introduttu u cuncettu di una frase indecidible in matematica. Questa hè una sentenza cusì custruita formalmente chì ùn pò micca esse pruvata o refutata in ogni modu nantu à a basa di u sistema di assiomi aduttatu in a tiuria in cunsiderà. Inoltre, se sta frase hè aghjuntu à a teoria cum'è un altru assioma, allora una altra frase indecidibile altrettanto imbarazzante apparirà immediatamente in questu. Questa hè una dichjarazione di cuntenutu filusuficu estremamente prufonda, chì indica i limiti di a cunniscenza umana, o almenu chì limita in modu scandalosamente e pussibulità di discrive a realità cù l'aiutu di assiomi è di deduzzione logica, è hè cunsideratu cum'è unu di i più grandi scuperti matematichi di u XX. seculu.
È da e considerazioni di Turing segue una prova completamente sfarente di stu tiorema da quella data da Gödel. A parolla di Alan? di sicuru, a parolla austriaca equivalente ? decide chì ùn hè micca pussibule (assai in generale è micca assai strettu) di risolve tutti i prublemi di calculu pussibuli cù l'aiutu di ancu a macchina matematica più universale; altrimenti ? chì ci sò algoritmi ben formulati chì simpricimenti ùn ponu esse eseguiti da ogni macchina.
Ma ancu questu? ancora epica? u successu ùn esaurisce micca u cuntenutu di a dissertazione di Turing. Hà cunsideratu ancu a pussibilità di custruisce un urdinatore secondu i vechji piani di Charles Babbage è pruvò chì l'idee di stu scientist è designer di u XIX seculu sò abbastanza reali.
In cortu: u matimàticu di 26 anni cù stu travagliu per sempre intrutu in a storia di a matematica è l'informatica. Prestu fù apprezzatu è accettatu da a cumunità scientifica, chì u trattava cun grande rispettu. In ogni casu, i so preferenze sessuale fermanu un misteru, chì dopu à qualchì tempu hà purtatu à a tragedia citata à u principiu.
Criptoanalisi
I tempi duri sò prestu seguitu. A guerra scoppiò. Macchine cuncepite da famosi criptologi polacchi chì anu crackatu i codici di a famosa macchina di cifru tedesca cunnisciuta cum'è Enigma anu fattu a so strada in Inghilterra. L'esperti britannichi ùn anu micca dubbitu chì i Nazis migliurà u so apparatu, è decisu di anticipà. In u 1939 Turing hè statu prupostu un travagliu cum'è criptanalista (codebreaker) in Bletchley da a State School of Codes and Cyphers.
Aghju mai scrittu annantu à sta cità strana è misteriosa induve era cuncentrata l'elite intellettuale britannica di allora ? linguisti è culturologi, matematichi è ingegneri. À u so piccu, stu centru di decryption hà impiegatu circa 10 XNUMX persone. ghjente ? è vale a pena nutà chì a contra-intelligenza britannica hà sappiutu di disfrazà tuttu questu per chì micca una sola bomba o missile cascò nantu à Bletchley durante tutta a guerra! Hè questu u primu veru in Bletchley? Computers di a serie Colossus. U rolu di sta cità è centru ? è l'esistenza di sti computer ? divintò publicu solu un quartu di seculu dopu à a fine di l'ostilità.
Turing hà migliuratu l'apparechju pulaccu in Bletchley è hà designatu i cosi chjamati bombe? dispusitivi per craccare i codici nazisti. Tali bombe? i primi 15? è tutti travagliavanu cun grande successu, furnendu à i generali una nutizia inestimabile.
Era cusì per dui anni. In u 1941, u cumandante Edward Travis, un omu militaru piuttostu semplice (cum'è s'hè vultatu) divintò u capu di u centru. quale? ùn capisce micca a gravità di u prublema? bluccatu l'accessu di i criptanalisti à i fondi. Turing ùn hà micca rinunziatu: andò direttamente à u Primu Ministru Winston Churchill stessu. Ùn hè micca disappuntu? u grande puliticu hà apprezzatu u grande matematicu è urdinò più finanziamentu per u travagliu. Un annu dopu Bletchley ùn hà micca solu quaranta nove "bombe", ma una nova stazione di criptoanalisi hè stata custruita in Gayhurst Manor.
À questu puntu, u reclutamentu di Bletchley hè statu annunziatu publicamente. Ci hè qualcosa da mintuvà oghje ? Dopu tuttu, u reclutamentu hè bè? se micca per a so forma assai originale. Vale à dì, senza spiegazione, di chì si trattava in u Daily Telegraph? Cumplicatu cum'è l'infernu ? cruciverba. I sei lettori chì anu rispostu bè sò stati invitati à una prova speciale urganizata da i servizii di intelligenza britannica (MI6); dopu avè passatu, si uniscenu à a squadra di Turing in Bletchley.
Dopu a guerra
Dopu à a guerra, Alan Turing hà designatu unu di i primi aerei "civili" britannichi. l'urdinatori. Hà publicatu ancu (1950) l'assunzioni di a chjamata prova di Turing chì definisce l'intelligenza artificiale; una prova utilizata è ricunnisciuta finu à oghje cum'è affidabile per risponde à una quistione intrigante nantu à l'intelligenza di e macchine. Per sapè più nantu à ellu? Fighjemu solu a Wikipedia, chì dice u seguente:
A prova hè: ghjudice ? umanu ? conduce una conversazione in lingua naturale cù altri participanti. Se u ghjudice ùn pò micca determinà in modu affidabile s'ellu hè una macchina o una persona, a macchina hè cunsiderata chì hà passatu a prova. Sia l'omu è a macchina anu da pruvà à passà a prova cumportendu u più vicinu à u cumpurtamentu umanu pussibule.
A prova hè basatu annantu à un ghjocu di guessing u sessu di qualcunu in una altra stanza attraversu una seria di dumande è risposte scritte nantu à un pezzu di carta. In l'idea originale di Turing, a persona duvia finta di esse u sessu oppostu, è a prova era limitata à una conversazione di cinque minuti. Queste funzioni ùn sò micca cunsiderate basi oghje è ùn sò micca generalmente incluse in a specificazione di teste di Turing.
Turing s'aspittava chì e macchine eventualmente puderanu passà sta prova. Hà calculatu chì circa 2000 10 macchine cù 9^119 bits di memoria (circa 30 MB) puderanu ingannà XNUMX% di i ghjudici in una prova di cinque minuti. Hà preditu ancu chì a ghjente smette di cunsiderà a frasa "Macchina pensante?". quantu contraddittoriu. Cridia chì l'apprendimentu di a macchina diventerà assai impurtante in a custruzzione di macchine efficienti. Hè sta dichjarazione cunsiderata ghjustificata da i circadori di l'intelligenza artificiale d'oghje ?
È in più:
• Finu à avà, nisun computer hà passatu a prova di Turing. Programmi di cunversazione simplice cum'è ELIZA puderia fà crede chì a ghjente parlava cù una persona vera. Un esempiu hè un esperimentu informale chjamatu AOLiza. Tuttavia, tali successi? ùn hè micca listessa per piglià a prova di Turing. Prima, una persona in una tale conversazione ùn hà micca raghjone per sospettà chì ùn hè micca parlatu cù una altra persona. In una vera prova di Turing, l'interrogatore prova di determinà attivamente a natura di l'interlocutore. I casi documentati sò per suprattuttu in un ambiente IRC induve e conversazioni sò assai stilted è ci sò spessu cumenti senza sensu chì indicanu un malintesi di u tema. Inoltre, parechji participanti di chat parlanu l'inglese cum'è una seconda o terza lingua, chì aumentanu solu a probabilità di cunsiderà un cumentu stupidu di u prugramma di chat per esse qualcosa chì ùn anu micca capitu. Ùn sò micca familiarizati cù a maiò parte di e tecnulugii di bot è ùn ricunnosce micca l'errori tipici non umani fatti da tali prugrammi.
In settembre di u 2011, u prugramma Cleverbot, creatu da Rollo Carpenter in u 1988 è sviluppatu da tandu, hà ingannatu più di 59,3% di u so publicu per crede chì era un umanu. 4% hà mancatu a prova di Turing perchè 63,3% ricunnosce bè a persona in u stessu travagliu.
Dui anni di incubi
In u 1952, u dramma chì hà purtatu à a morte di Turing principia. Qualchissia s'intruduce in casa soia; u scientist hà dettu questu à a pulizza. Un'inchiesta cuminciò, durante a quale, à una quistione diretta, Turing hà avutu à ammette ch'ellu era gay.
A lege in vigore à quellu tempu in Inghilterra hà cunsideratu questu una "violazione di a moralità publica", vale à dì un crimine. U scientist hè statu messu in prucessu; In u cursu di u prucessu, quandu passava un verdict di culpabilità, u tribunale dete à l'accusatu una scelta: privazione di libertà o volontariamente sottumessu à terapia hormonale sottu a tutela di un psichiatra, i.e. a chjamata "castrazione chimica". Turing hà optatu per l'ultime è hà cuminciatu à piglià dosi massivi di estrogenu cù effetti secundari sgradevoli.
Tuttavia, questu ùn era micca u peghju, ancu s'ellu cunsideremu chì sta decisione di a tribunale hè intrinsecamente illegale, altamente reprensible è ancu inimaginable.
A cosa fatale di stu verdict hè chì hè statu mandatu in tuttu. A mera cundanna di Turing, indipendentemente da a punizione applicata, hà privatu automaticamente di l'accessu à l'infurmazioni classificate. Questu significava caccià ellu fora di a ricerca di l'informatica, è u risultatu? morte prufessiunale.
U scientist hà mantinutu sta situazione per altri dui anni. U 7 di ghjugnu di u 1954, si chjusu in a so stanza è si suicidò. À l'età di 41 anni, hè mortu unu di i più grandi geni di l'umanità, un omu di quale si dicia chì, senza ellu, a guerra avissi duratu assai mesi di più, millaie di persone anu mortu in vain, chì anu fattu u so paese incommensurable. Hè mortu perseguitatu per i motivi ideologichi più basi da una stupidità mostruosa. Hè giustamente cunzidiratu unu di l'episodii più disgusting in a storia di a civilizazione muderna.
In u 1999, a rivista "Time? chjamatu Turing unu di i 10 persone più influenti di u 2009. In XNUMX, u primu ministru britannicu Gordon Brown hà scusatu publicamente à u publicu in nome di u so guvernu per a "inghjustizia cumpleta". è?terribili? Terapia di Turing.
Allora qualcosa
