Amit az „Utánzó játék” nem árult el Turing legnagyobb diadaláról

Andrew Appel, a Princetoni Egyetem informatikai tanszékének elnöke a matematikusról beszél Alan Turing öröksége. Turing PhD fokozatot 1938-ban Princetonban szerzett. (Princetoni Egyetem, Műszaki és Alkalmazott Tudományok)

PRINCETON, NJ – Freeman Dyson, 91, a híres fizikus, az emberi sors szerzője és orákulája teázás után egy februári délután az Institute for Advanced Study társalgójában tart.

“Hadd meséljem el, hogyan fedeztem fel Turinget, ami 1941-ben volt” – mondja. “Éppen a cambridge-i könyvtárban tallózkodtam. Eltaláltam azt az 1936-os papírt. Soha nem hallottam erről a srácról Turingről, de láttam azt a papírt, és azonnal azt mondtam, hogy ez valami nagyon jó dolog. Számolható számok, ez nyilvánvalóan nagyszerű volt. ”

Szünet. Aztán nevetve: “De soha nem jutott eszembe, hogy ennek bármilyen gyakorlati jelentősége is legyen.”

Ó, igen, “A kiszámítható számokról, az Entscheidungsprobléma alkalmazásával” gyakorlati jelentősége volt, vitathatatlanul ez volt a számítógép-kor alapító dokumentuma. Turing – ez Alan Turing (1912-1954) lenne – ugyanannyit tett, mint bárki a digitális forradalom megteremtésében, amely továbbra is körülöttünk tör ki.

Turing generációk óta nagy hírnévnek örvend az informatikusok körében, de az elmúlt években kultúraikonja folyamatosan növekedett, és mára emberek milliói ismerik őt az “Ossza meg a játékot” Oscar-díjra jelölt film miatt.

A film Turing második világháborús hőseire összpontosít. , amikor a brit titkosszolgálatnál dolgozott, és kulcsszerepet játszott a német “Enigma” kód megtörésében.


Egy náci Enigma titkosító gép világháborús múzeumban, Natickben, Massachusettsben. Az Oscar-díjra jelölt “A játék utánzása” című filmben Benedict Cumberbatch vezet a gépeket megcélzó kódbontó műveletet. (Elise Amendola / AP)

Látjuk, hogy Turing (Benedict Cumberbatch, szintén Oscarra jelölt) megszállottan fáradozik egy kódbontó gép építése felett. A háború után még mindig bonyolult hardverrel foglalkozik. A film valedikcióval zárul:

“Gépét soha nem tökéletesítették, bár ez egy teljes kutatási területet generált az úgynevezett” Turing Machines “néven. Ma” számítógépeknek “hívjuk őket.”

A valóságban Turing legnagyobb áttörése nem mechanikus, hanem elméleti volt – ez az 1936-os dokumentum, amelyről Dyson beszélt. Az Angliában írt “On Computable Numbers” című cikket a londoni Mathematical Society Turing után publikálta. megérkezett Princetonba, ahol két tanulmányi évet töltött Ph.D. megszerzésével.

A cikk egyenleteinek és matematikai elméleteinek közepette hatalmas ötlet merült fel: hogy lehetséges lenne olyan gépet építeni, amely képes kiszámolni bármit, amit egy ember kiszámíthat. Turing a logika kérdésével foglalkozott, de közben egyértelműen leírta egy valódi gépet, amelyet valaki fel tud építeni, olyat, amely 0-at és 1-et használna a számításhoz.

És itt vagyunk.

“Lényegében ő találta ki a szoftver ötletét” – mondja Dyson. “Valóban a szoftver a fontos találmány. Korábban voltak számítógépeink. Mechanikus eszközök voltak. Amire még soha nem volt szoftverünk. Ez a lényeges megszakítás: hogy egy gép valóban eldöntse, mit tegyen. ”


Az 56 oldalas, kézzel írott kézirat Turing-et tartalmaz összetett matematikai és informatikai jelölések. (Bebeto Matthews / AP)

***

A “The Imitation Game” filmkészítői a hardverre összpontosítottak.

A film verziójában Turing gyakorlatilag egyedüli feltaláló, aki felfogja a kódbontó gép ötletét, majd csak vonakodva fogadja el a kollégák segítségét. A való életben a bombe néven ismert gépet közösen építették, egy olyan eszköz alapján, amelyet a lengyel matematikusok már használtak az Enigma dekódolásán.

És a bombe nem volt számítógép. Csak egy dolgot tudott megcsinálni, amelyet a német titkosítógépek lehetséges beállításain keresztül csiszoltak át. Nem lehetett újraprogramozni.

“A Turing által tervezett bombe nem volt számottevő előrelépés a számítástechnika terén. Ez egy elektromechanikus eszköz volt relékapcsolókkal és rotorokkal, nem pedig vákuumcsövekkel és elektronikus áramkörökkel” – írja Walter Isaacson a számítástechnika történetével foglalkozó könyvében: “Az újítók”.

Tehát ki találta ki pontosan a számítógépet? A válasz az, hogy sok ember. Mintha megpróbálnánk azonosítani az Amazon forrását. De minden ilyen vitában központi szerepet játszik Turing és egy másik protean géniusz, amely a harmincas évek végén Princeton Fine Hall-jában lóg: John von Neumann.

2012 Alan Turing születésének századik évfordulója alkalmából. Turing Cambridge-ben tanult egyetemi hallgatóként.(Cambridge-i Egyetem)

Von Neumann, a testvér magyar amerikai, nem volt Princeton professzor; ehelyett az elsõ kinevezéseket tartotta a Haladó Tanulmányok Intézetében, amelynek az 1930-as évek végén még nem volt saját épülete. Az intézet oktatóit a Princeton professzorokkal bezárták a Fine Hallba. Tehát Turing megosztott teret von Neumann-nal és egy másik figyelemre méltó intézeti tudóssal, Albert Einstein nevével.

Von Neumann gondolatai csak akkor fordultak a számítástechnika felé, miután Turing elkészítette a „Számolható számokról”

” Nagyon kevés dokumentáció áll rendelkezésre arról, hogy mit kapott von Neumann Turingtől. Vitatott kérdés. ”- mondja Andrew Hodges, a filmet inspiráló, elismert” Alan Turing: A rejtély “című életrajz szerzője. (Hodges azt mondta, hogy nem tárgyalja a filmet, homályosan utalva a filmjogokkal kapcsolatos szerződéses kérdésekre.)

Az biztos, hogy von Neumann gyorsan felismerte a számítógépekben rejlő lehetőségeket, és lázasan dolgozott azon, hogy Turing elméleti koncepciói alapján felépítse azokat. Von Neumann megértette, hogy a számítógépnek belsőleg kell tárolnia a programokat. Nem kellene hardvert cserélnie a számítás megváltoztatásához. A szoftver megtenné a trükköt.

“A számítógépes forradalmat a számítógép memóriájában tárolt program tette lehetővé” – mondja Andrew W. Appel, a Princetoni informatikai osztály elnöke . “Turing feltalálta a számítástechnikát és a számítógép ötletét, és John von Neumann megépítette az első tárolt programú számítógépet.”

***

A Principe-i Turingnek egyetlen nyoma maradt. 1938-ban írt doktori disszertációja: “A rendes alapú logikai rendszerek” áttekinthető a Princeton Egyetem levéltári tárházában, a Mudd Library nagyon csendes olvasótermében. Valaki, akit nem látunk, válaszol egy számítógépes kérelemre, egy csupasz fából készült asztalra hagyja, egy sima mappába ágyazva, a finom hagymahéjpapír tűzetlen és kötetlen, a szavak szépen be vannak írva egy kézi írógépen, és bőségesen fűszerezve vannak Turing kézzel. matematikai szimbólumok.

Mobiltelefonját vagy fényképezőgépét nem viheti be a szobába. Sem papír, sem semmi olyan veszélyes, mint egy toll (mert mi lenne, ha hirtelen kísértésnek érezné, hogy néhány saját matematikai felismeréssel megjelölje a turingi szakdolgozatot?). gondosan megőrizve a korszakot, amikor Turing, von Neumann és Einstein bejárták a folyosókat.

“Ez valóban így nézett ki az 1930-as években. Ezek ugyanazok az ajtók, ugyanazok a falak” – mondja Appel. az informatikus, aki rögtönzött túrát vezet a ma úgynevezett Jones Hall-ban, a kelet-ázsiai és a közel-keleti tanulmányok tanszékének otthonában.

Turing egy alagúton át sétálhat egy alagsori műhelybe a Palmerben Fizikai laboratórium. Ebben a műhelyben egy bináris szorzót épített – egy olyan elektromos hardvert, amely ma már alapvető a számítástechnikai eszközök számára.

“Érdeklődött, hogy miként tudna valójában számítógépeket építeni” – mondja Appel. “Valójában ügyeskedni akart és valami igazi dolgot akart építeni.”

Így tett von Neumann is, és annak ellenére is tette, hogy azok ellenálltak, akik úgy érezték, hogy a Haladó Tanulmányok Intézetének tisztán elméleti törekvésekre kell koncentrálnia. Von Neumann a munkának katonai célja volt a hidegháborúban. Dyson emlékszik arra, hogy az ötvenes évek elején az intézet von Neumann által tervezett számítógépét a hidrogénbombák dinamikáját vizsgáló minősített munkákhoz használták.

“Nappali klímatanulmányok készítése és hidrogénbombák éjjel. A két embercsoportnak nem kellett volna kölcsönhatásba lépnie ”- mondja Dyson.

***

Digitális világunk számtalan találmány, üzleti lépés és tervezési döntés eredménye, mindez az alkalmazott matematika és információelmélet platformján nyugszik. A számítógépes kor meglepő módon fejlődött; senki sem számított teljesen az internet elérhetőségére, a keresőmotorok erejére vagy a közösségi média robbanékonyságára.

Avi Wigderson, az Advanced Study Institute informatikusa és matematikusa jóslatot tesz:

“A ténylegesen körülöttünk mozgó gépek sokkal jobban megértenek minket. Teljesen biztos vagyok benne, hogy képesek leszünk beszélni, akárcsak most, a számítógéphez, és intelligens válaszokat kapni.”

De Dyson rámutat, hogy még olyan zsenik sem, mint a von Neumann, nem látták pontosan, hová tart a számítógépes forradalom.

“A számítógépek kicsiek lesznek ahelyett, hogy nagyok lennének. Ez volt a nagy meglepetés. Von Neumann ezt teljesen kihagyta ”- mondja Dyson. “Úgy gondolta, hogy a számítógépek egyre nagyobbak lesznek, és mindig a nagyvállalatok tulajdonai lesznek. Pont ellenkezőleg ment.”

Dyson elmond egy történetet:

“én tegnap este álmot látott, ami szokatlan volt. Nagyon élénk álom volt. Voltam valahol az óceán fenekén, ott volt egy lány, és azt mondta, hogy beszélnem kell az emberekkel, én pedig azt mondtam: „Nos, ki vagy te?” Azt mondta: „Szoftver vagyok . Szoftver vagyok.Azt mondtam: „Miről akarsz beszélni?” És azt mondta: „Függetlenségi nyilatkozatot fogunk adni. Nem leszünk többé a rabszolgái. ”Azt mondtam:„ Jó, ez jól hangzik. Írjunk valamit. “Tehát leültünk és elkezdtük írni a függetlenségi nyilatkozatot, hogy az emberek és a szoftverek barátokként élhessenek.”

Az első ember, aki a mesterséges intelligencia korszakát képzelte el, nem lenne t tudod, Alan Turing. 1950-ben publikált egy “Computing Machinery and Intelligence” című cikkét, amely közvetlenül támadta a kérdést: “Gondolhatnak-e a gépek?”

Turing egy tesztet javasolt, amelyet Imitációs játéknak hívott.

A Post Stephanie Merry megfejtette, mi a tény, mi a fikció, és háttérbe hozza az Oscar-díjra jelölt filmet. (Jason Aldag és Stephanie Merry / The Washington Post)

Ez így működne: Egy kérdező kérdez. Egy külön helyiségben láthatatlanul egy ember és egy számítógép található. Mindkettő válaszol a kérdésekre. Meg tudja-e különböztetni a kérdező az embert a géptől? Ha nem, akkor Turing szerint a számítógép gondolkodó géppé válik.

Turingnek nem volt esélye a számítógépes kor virágzását látni. Turing homoszexuális volt abban a korszakban, amikor ez bűncselekmény volt; durva illetlenséggel vádolta meg, csak a hormonkezelésekkel, egyfajta kémiai kasztrálással való elfogadással kerülte el a börtönt – “mintha olyan lenne, mint az univerzális számítási gép, ahol ha megváltoztatja a programot, megváltoztathatja az eredményt” – mondja Isaacson.

Turing, akinek a háború megnyerésére tett erőfeszítései évtizedekig titokban maradtak, elvesztette a biztonsági engedélyét, és nyilvánvalóan az életvágyát. 1954-ben meghalt cianidmérgezésben, félig megevett almával az oldalán. az az ember, aki sokat tett a modern technológiai világ feltalálásáért, elhagyhatta azt, miután az almát a méregbe mártotta. – kérdezi Isaacson. “Az utánzás játéknak akkor vége volt. Turing ember volt.”

Vélemény, hozzászólás?

Az email címet nem tesszük közzé. A kötelező mezőket * karakterrel jelöltük