Алън Тюринг

английски математик, криптоаналитик и информатик

Алън Матисън Тюринг (на английски: Alan Mathison Turing) е британски математик, логик, криптоаналитик, информатик и философ. Има голям принос в развитието на компютърните науки с формализирането на концепциите за алгоритъм и изчислимост. Машината на Тюринг е абстрактен модел на компютър с общо предназначение.[2][3][4] Алън Тюринг се смята за баща на теоретичната информатика и теорията на изкуствения интелект.[5]

Алън Тюринг
Alan Mathison Turing
английски математик
Тюринг през 1927
Роден
Починал
7 юни 1954 г. (41 г.)
Уилмслоу, Обединеното кралство
ПогребанВеликобритания
Религияатеизъм
Националностбританска
Учил вКингс Колидж
Принстънски университет
Научна дейност
Областматематика, криптоанализ, информатика
Учил приАлонсо Чърч
Работил вБлечли Парк,
Национална физическа лаборатория,
Манчестърски университет,
Кеймбриджки университет
Видни студентиРобин Ганди
Известен сМашина на Тюринг,
Криптоанализ на кода на Енигма,
Тест на Тюринг,
Награда Тюринг
НаградиОрден на Британската империя,
Член на Кралското дружество[1]
Подпис
Уебсайтwww.turingarchive.org
Алън Тюринг в Общомедия

По време на Втората световна война Тюринг работи за Правителствената школа по кодиране и шифроване в Блечли Парк – британския център за криптоанализ. За известно време оглавява групата, чиято задача е разкодирането на шифрите, ползвани от германските военноморски сили. Създава няколко метода за криптоанализ и прави подобрения на използваната за целта изчислителна електромеханична машина „Бомба", което прави възможно дешифрирането на кодовете на „Енигма“.

След войната Алън Тюринг работи в Националната физическа лаборатория, където създава ACE – един от първите програмируеми компютри. През 1948 г. постъпва в Манчестърския университет, където участва в създаването на т.нар. манчестърски компютри.[6] По това време започва да се интересува от математическа биология, пише статии за химичната основа на морфогенезата и предсказва химически реакции, протичащи в колеблив режим като реакцията на БелоусовЖаботински, наблюдавана за пръв път през 60-те години на XX век.

През 1952 г. Тюринг е съден за хомосексуалност, която по това време все още се смята за престъпление във Великобритания. Избира да бъде подложен на химическа кастрация, вместо да отиде в затвора. Умира през 1954 г. от отравяне с цианид, като според следствието става дума за самоубийство, но някои негови близки смятат, че смъртта му е нещастен случай.[7] През 2009 г. след подета обществена кампания за реабилитацията му министър-председателят Гордън Браун се извинява официално за отношението на държавата към Тюринг, а през 2013 г. кралица Елизабет II го помилва посмъртно.[8]

Ранни години

редактиране

Алън Тюринг е роден на 23 юни 1912 г. в Лондон. Баща му Джулиъс Матисън Тюринг работи за британската администрация в колониална Индия. Майка му е Сара Стоуни (1881 – 1976 г.), дъщеря на главния инженер на мадраската железница. Двамата искат детето да се роди в Англия и се завръщат в Лондон. След раждането му бащата продължава да работи в индийската администрация и родителите често пътуват между дома си в Гилдфорд и Индия, оставяйки Алън и по-големия му брат Джон при семейни приятели в Хейстингс. Още в съвсем ранна възраст Алън показва признаци за изключителните способности, проявени по-късно.[9] Родителите му купуват къща в Гилдфорд през 1927 г. и Тюринг живее там по време на училищните ваканции.

На шестгодишна възраст Алън Тюринг е записан в училището Сейнт Майкълс, където преподавателите му забелязват неговите заложби. През 1926 г. той отива в Шърборн, известно и скъпо частно училище в Дорсет. Първият му учебен ден се пада по времето на генералната стачка във Великобритания, но той изминава сам с колело 97 километра от Саутхамптън до училището, преспивайки по пътя в хотел.[10]

Влечението на Тюринг към математиката и природните науки не му носи уважението на някои от учителите в Шърборн, чиято представа за образованието е концентрирана по-скоро върху класическите дисциплини. Директорът на училището пише до родителите му: „Надявам се той да не падне между два стола. Ако иска да остане в училище, трябва да се стреми да стане образован. Ако иска да бъде научен работник, само си губи времето в частно училище.“[11]

Въпреки това Тюринг продължава да показва забележителни способности в дисциплините, които харесва, като през 1927 г. решава сложни задачи, без дори да е учил математически анализ. През 1928 г., шестнадесетгодишен, той се запознава с работите на Алберт Айнщайн и дори сам достига до въпросите за валидността на законите на Нютон, поставени от Айнщайн, като ги екстраполира от текст, където те не са явно поставени.[12]

В Шърборн Алън Тюринг се сприятелява с малко по-големия си съученик Кристофър Моркъм. В началото на последния им срок в Шърборн Моркъм внезапно умира в резултат на усложнения от туберкулоза по говедата, с която се заразява още като дете от инфектирано краве мляко.[13] Случаят силно разтърсва Тюринг, като разклаща религиозната му вяра и го насочва към атеизма. Той се убеждава, че всички явления имат материален характер, включително работата на човешкия мозък, но продължава да вярва, че душата оцелява след смъртта.

Университетско образование

редактиране

Завършва математика в Кингс Колидж в Кеймбридж и дисертацията му върху централната гранична теорема прави такова впечатление, че на възраст от 22 години е избран за член на колежа през 1935 г. Защитава докторат по математика в Принстънския университет, където учи от 1936 до 1938 г. под научното ръководство на Алонсо Чърч.

Не само неговата ексцентричност, но и брилянтните му математически способности го отличават от другите. През 1936 г. Тюринг публикува известната си статия „Разрешими числа и приложение към Entscheidungsproblem“[14] („On Computable Numbers, with an Application to the Entscheidungsproblem[15][16]). Той преформулира теоремата на Курт Гьодел от 1931 г., като замества универсалния формален език на Гьодел, основан на аритметиката, с просто абстрактно изчислително устройство (нарича го „машина“), което може да извършва действия с произволни числа. Тази „машина“, която съдържа контролен блок, може да извършва няколко основни действия: четене, писане или изтриване на символи върху някаква среда, която той нарича лента (а днес бихме нарекли компютърна памет) и избутване или пренавиване на лентата. Тюринг доказва, че подобна машина е в състояние да извърши произволни математически изчисления, ако те бъдат представени като алгоритъм и формулира първите алгоритмично нерешими задачи, като отбелязва връзката им с теоремата на Гьодел. Тази машина на Тюринг по-късно е използвана като модел за разработването на първите компютри и продължава да е основен обект на изучаване в теорията на алгоритмите.

Криптоанализ

редактиране
 
Работеща реплика на „Бомбата“ в Блечли Парк

Връщайки се след доктората си в Англия през 1938 г., той е вербуван от британските военни за секретния проект в Блечли Парк, който цели да разкодира шифъра за радиопредаване на свръхсекретни съобщения на немската армия с шифровъчната машина Енигма. Съюзниците успяват да получат плановете ѝ още в началото на войната с помощта на британското разузнаване. За самото разшифроване обаче е необходимо много време и е положен огромен труд. Тюринг помага за усъвършенстването на „Бомбата“ – високоскоростен електромеханичен компютър, разработен в Полша в предвоенните години и доразвит от британците, с който бързо и ефективно се тестват хиляди различни възможности за разбиване на шифъра на Енигма.

„Бомбата“ изпробва последователно варианти на настройките на Енигма (ред и положение на роторите и превключвателите на пулта), за да намери вярната комбинация с помощта на т.нар. „атака въз основа на открит текст“ (на английски: crib). За всяко възможно положение на роторите машината по електрически път извършва поредица от логически дедукции и когато установи противоречие, отхвърля това положение и продължава нататък. По този начин остават доста малко на брой положения за по-нататъшен анализ. След първата машина, заработила на 18 март 1940[17], са построени още. Към края на 1941 г. обаче се оказва, че хората и машините не могат да смогват да дешифрират със същата скорост, с която германците усъвършенстват шифъра, а усилията им да получат повече ресурси по канален ред са напразни. През октомври, нарушавайки всяка субординация, екипът начело с Тюринг пише директно до Уинстън Чърчил и описва затрудненията си и вероятните ползи от успеха на тяхната работа.[18] Според биографа на Тюринг Андрю Ходжис това писмо има огромен ефект. Резолюцията на министър-председателя е „Да се действа днес. Да им се осигури всичко необходимо начаса и ми докладвайте.“[19] От този ден нататък работата по проекта потръгва, макар че авторите на писмото не са информирани.[20] Към края на войната работят над 200 „Бомби“.[21]

След като германците сменят системата на кодиране и преминават към роторна шифровъчна машина „Lorenz“, Тюринг предлага за разшифроване да се използват статистически методи и те залягат в принципа на действие на Colossus, един от първите в света компютри с електронни лампи. Самият той не участва директно в проекта, тъй като заминава за САЩ, където работи по проект за шифриране и дешифриране на човешка реч с кодово име Delilah.[22] Тази разработка идва твърде късно, за да намери приложение във войната, макар че Тюринг успява да демонстрира работеща система, която шифрира и дешифрира реч на Чърчил.[23] През 1946 г. Тюринг е удостоен с „Орден на Британската империя“ за работата си в Блечли Парк.

Първите компютри

редактиране
 
Паметна плака в Лондон, 78 High Street, Hampton

След войната групата по разшифроване е разпусната, но събраният опит по провеждане на изчисления с висока производителност намира приложение в разработването на първите компютри.

Тюринг живее в Лондон от 1945 до 1947 г.[24] и работи по проекта на Националната физическа лаборатория за програмируем компютър (със съхранявана в паметта компютърна програма) Automatic Computing Engine (ACE). През 1946 пише статия, в която формулира детайлно концепцията си за такъв компютър[25]. През 1948 г. става преподавател в Математическия факултет на Манчестърския университет, където участва в създаването на Марк I (голям компютър за Манчестърския университет, наследник на Манчестърската дребномащабна експериментална машина, известна като Baby) и се убеждава, че няма голяма разлика между това как човекът и машината обработват информацията. В статията си „Изчислителни машини и разум“ (Computing Machinery and Intelligence), публикувана в списание „Mind“ през 1950 г. предлага известния Тест на Тюринг за изкуствен интелект“. Тестът е предназначен за проверка дали компютърът претежава разум в човешкия смисъл на думата. Вместо безсмисленият според него въпрос „Може ли машината да мисли?“ Тюринг предлага по-точна формулировка. Съвременната интерпретация на този тест е следната: Тестов субект взаимодейства дистанционно с двама събеседници – компютър и човек, на които задава въпроси; въз основа на отговорите на въпросите, тестовият субект е длъжен да определи с кого разговаря – с машината или с живия човек; задачата на компютърната програма е да въведе субекта в заблуда, карайки го по този начин да направи грешен избор. Тюринг предлага машината да се разглежда като мислеща (изкуствен интелект) тогава, когато тестовият субект не може да идентифицира машината. Тестът на Тюринг се счита за значителен принос към дебата, разгорял се по отношение на изкуствения интелект, който продължава вече повече от половин век.[26]

Друг принос на Тюринг към ранните компютърни програми е разработената през 1948 г. заедно с Чамперноун (D. G. Champernowne), програма за игра на шах, предназначена за все още несъществуващ компютър. Програмата използва алгоритъм, наречен „Turochamp“ и е завършена през 1950 г., а през 1952 г. той се опитва да я стартира на един от компютрите в Манчестър – Ferranti Mark 1 – но се оказва, че изчислителните ресурси на машината са недостатъчни.[27] Тогава Тюринг симулира работата на програмата, като всеки ход отнема около час, а първата игра на компютър срещу човек (колегата на Тюринг – Алик Глени) е добре документирана.[28]

През 1951 г. Тюринг е избран за член на Британското кралско научно дружество.

Тюринг и философията

редактиране

Тюринг никога не е описвал сам себе си като философ, но неговата статия от 1950 г. „Computing Machinery and Intelligence“ е една от най-често цитираните във философската литература[29]. Тя представлява оригинален подход към проблема разум-тяло (mind-body problem), като го свързва с математическата концепция за „изчислимост“, въведена от него самия в статията от 1936 – 37 г. „On computable numbers, with an application to the Entscheidungsproblem.“ Неговата работа може да се разглежда като основа на компютърните науки и на развитието на изкуствен интелект.

Математическа биология

редактиране

През последните години от живота си Тюринг започва да се интересува от теоретична и математическа биология и през 1952 г. публикува статията „Химически основи на морфогенезиса“ (на английски: The Chemical Basis of Morphogenesis). Интересува се от морфогенезата, развитието на форми и модели в биологичните организми. Основният му интерес е да открие значението на числата на Фибоначи за структурата на растенията.[30] Неговото предположение е, че основните явления на морфогенезата биха могли да се обяснят с последователност от химически реакции и дифузия (на английски: reaction-diffusion system)[31] За моделирането на процесите в такава система се използва система от линейни частни диференциални уравнения и се въвеждат малки случайни пертурбации в стабилността на хомогенното начално състояние, които да доведат до развитието на структурни модели. Макар по това време ролята на ДНК все още да не е разбрана, работата на Тюринг продължава да е от значение и се счита за основен труд в математическата биология.[32] Експериментите показват, че неговата теория може частично да обясни растежа на перата, фоликулите, разклоненията в белите дробове и дори ляво-дясната асиметрия, според която сърцето се намира отляво.[33] В статия от 2012 г. е установено, че премахването на някои гени влияе върху броя на пръстите на опитните животни, в съгласие с теорията на Тюринг.[34] По-късните му работи в тази област са публикувани едва през 1992 г. в събраните съчинения Collected Works of A. M. Turing.[35]

Присъда за непристойно поведение

редактиране

През януари 1952 г., на тридесет и девет години Алън Тюринг започва хомосексуална връзка с Арнолд Мъри, 19-годишен безработен, когото среща случайно в Манчестър. Скоро след това в къщата му проникват крадци, свързани с Мъри. Тюринг подава оплакване в полицията, но при това се разкрива хомосексуалният характер на връзката им, която според тогавашните закони представлява престъпление и двамата са обвинени в неприлично поведение и изпратени на съд[36]. Предварителното дело се провежда в края на февруари и по съвет на адвокатите и роднините си Тюринг решава да се признае за виновен[37]. Делото се гледа по същество на 31 март 1952[38] и той е осъден. За да избегне затвора, той се съгласява да се подложи на едногодишно хормонално лечение чрез инжекции със синтетичен естроген, като се е предполагало, че това ще промени неговата сексуална ориентация.

 
Надпис на мемориалната статуя в Саквил парк, Манчестър

Присъдата на Тюринг има сериозни последствия: отнет му е достъпът до секретни материали и става невъзможно да продължи консултантската си работа за правителството (Government Communications Headquarters (GCHQ), британския център за правителствена връзка; макар че запазва работата си в университета). Освен това му отказват достъп в САЩ и дори посещението му в европейски страни се счита за рисково във връзка с общественото безпокойство, свързано с разкриването на съветски агенти[39] (точно тогава са разкрити първите двама от Кеймбриджката петорка, Гай Бърджес и Доналд Маклийн, двойни агенти на КГБ. Тюринг никога не е обвиняван в шпионаж, но работата му в Блечли парк е секретна и според закона за държавна тайна (Official Secrets Act) той не може да я обсъжда с никого.[40]

 
Статуя на Тюринг в Саквил парк, Манчестър

Последни години

редактиране

В по-късните години от живота си той изпада в депресия. Той не само е отбягван заради сексуалната си ориентация, но и насилственото му лечение има ефекти като гинекомастия и безплодие, които не са му били разкрити преди започването му.

Той умира на 7 юни 1954 г. поради отравяне с цианид. Смъртта му е обявена за самоубийство. Източникът на цианида често е бил приписван на полуизядената ябълка, намерена до тялото му, но тази идея, заедно с присъдата за самоубийство, са силно противоречиви. Това е поради факта, че ябълката никога не е била тествана за цианид,[41] нито е известно дали той самият я е отровил, ако тя наистина е била източникът на цианида.

На 10 септември 2009 британският министър-председател Гордън Браун обнародва дълго извинение по повод на отношението към Тюринг, определяйки го като „ужасяващо“.[42] Гордън Браун изказва съжалението си от ужасяващото третиране на Тюринг и на хиляди други англичани, породено от съществуващите тогава в страната хомофобски закони.

На 24 декември 2013 г. кралица Елизабет II подписва помилване за присъдата на Тюринг, с незабавно действие.[43] Това действие на кралицата е било едва четвъртото кралско помилване, дадено от края на Втората световна война.

Признание

редактиране

В биографията на Тюринг, публикувана от Кралското дружество скоро след смъртта му, докато военновременната му работа все още е секретна, се казва:

Качеството на неговото творчество се вижда от три забележителни статии върху три различни математически проблема, написани непосредствено преди войната... За работата си за Външно министерство е награден с Орден на Британската империя

Biographical Memoirs of Fellows of the Royal Society[1]

От 1966 г. насам Асоциацията по изчислителна техника (на английски: Association for Computing Machinery (ACM)) ежегодно присъжда награда Тюринг за технически и теоретични приноси, свързани с компютрите. Тя се счита за най-високата чест при компютрите, еквивалентна на Нобелова награда.[44]

На 23 юни 1998 г., когато Тюринг би навършил 86 години, е открита официална синя плака на обект на English Heritage на неговото родно място Warrington Crescent в Лондон (по-късно Colonnade Hotel.[45][46]

В Манчестър неговото име носи част от околовръстния път („Alan Turing Way“) и мост. През 2001 г. е поставена статуя на Тюринг в Саквил парк, която изобразява „бащата на компютърната наука“ седнал на пейка с ябълка в ръка. Надписът „бащата на компютърната наука“ е кодиран с кода на Енигма „IEKYF ROMSI ADXUO KVKZC GUBJ“.[47]

През 1999 г. списание Тайм посочва Тюринг сред 100-те най-важни личности на 20 век[48]

През 2002 в програмата на BBC „100-те най-велики британци“ Тюринг заема 21 място.[49]

2012 година, когато би навършил сто години, е отбелязана с конференции, културни събития и публикации. Причината за този интерес се крие в това, че въпросът за силата и ограниченията на компютърните изчисления днес касаят практически всяка сфера на човешката дейност. Друга причина е новото отношение към човешката сексуалност в демократичните общества. Освен това, днес се оценява по-високо междудисциплинарното значение на работата му. Съчиненията му са издадени (eds. Cooper and van Leeuwen, 2013), придружени със съвременни коментари. Тюринг излиза от забравата и се превръща в една от най-изучаваните личности на съвременната наука[29].

Вижте също

редактиране
  1. а б Newman, M. H. A. Alan Mathison Turing. 1912 – 1954 // Biographical Memoirs of Fellows of the Royal Society 1. 1955. DOI:10.1098/rsbm.1955.0019. с. 253 – 226.
  2. Newman 1955, с. 253 – 263.
  3. Gray 1999.
  4. Sipser 2006, с. 137.
  5. Beavers 2013, с. 481.
  6. Leavitt 2007, с. 231 – 233.
  7. Pease 2012.
  8. Wright 2013.
  9. Jones 2001.
  10. Hofstadter 1985.
  11. Hodges 1983, с. 26.
  12. Hodges 1983, с. 34.
  13. Teuscher 2004.
  14. Hodges, Andrew. Алън Тюринг – логическата и физическата основа на разрешимостта (превод на „Alan Turing: the logical and physical basis of computing“) (pdf) // Светът на физиката (4). 2008. с. 486. Посетен на 31 юли 2017.
  15. Turing 1936, с. 230 – 265.
  16. Turing 1938, с. 544 – 546.
  17. Oakley 2006, с. 40/03B
  18. Hodges 1983, с. 218
  19. Hodges 1983, с. 221
  20. Copeland, The Essential Turing, pp. 336 – 337.
  21. Alan Turing, Codebreaker and Computer Pioneer // alanturing.net, May 2004. Посетен на 27 юли 2007.[неработеща препратка]
  22. Hodges 1983, с. 273
  23. Hodges 1983, с. 346
  24. вж. паметната плака
  25. Copeland 2006, с. 108
  26. Pinar Saygin, A. и др. Turing Test: 50 Years Later // Minds and Machines 10 (4). 2000. DOI:10.1023/A:1011288000451. с. 463.
  27. Clark, Liat. Turing's achievements: codebreaking, AI and the birth of computer science // Wired. Архивиран от оригинала на 2013-11-02. Посетен на 11 ноември 2013.
  28. Alan Turing vs Alick Glennie (1952) „Turing Test“ Chessgames.com
  29. а б Hodges, Andrew. Alan Turing // The Stanford Encyclopedia of Philosophy,. Winter 2013 Edition. Посетен на 29 септември 2015. (на английски)
  30. Clark, Liat. Turing's achievements: codebreaking, AI and the birth of computer science // wired.co.uk. 18 юни 2012. Архивиран от оригинала на 2013-11-02. Посетен на 12 февруари 2013.
  31. Turing, Alan M. The Chemical Basis of Morphogenesis // 14 август 1952. DOI:10.1098/rstb.1952.0012. с. 37 – 72.
  32. Turing's Last, Lost work // Архивиран от оригинала на 2003-08-23. Посетен на 31 август 2015. (на английски)
  33. Vogel, Gretchen. Turing Pattern Fingered for Digit Formation // Science 338 (6113). American Association for the Advancement of Science, December 2012. DOI:10.1126/science.338.6113.1406. p. 1406. Архивиран от оригинала на 2021-06-23. Посетен на 4 септември 2020. (на английски)
  34. Sheth, R. и др. Hox Genes Regulate Digit Patterning by Controlling the Wavelength of a Turing-Type Mechanism // Science 338 (6113). 2012. DOI:10.1126/science.1226804. с. 1476 – 1480.
  35. Andrew Hodges. The Alan Turing Bibliography // www.turing.org.uk/\. с. morphogenesis. Посетен на 27 юли 2015.
  36. Leavitt 2007, с. 268
  37. Hodges 2012, с. 463.
  38. Hodges 2012, с. 471.
  39. Leavitt 2007, с. 269
  40. Copeland 2006, с. 143
  41. BBC - Alan Turing: Inquest's suicide verdict 'not supportable' // Архивиран от оригинала на 2024-06-03. Посетен на 2024-06-05.
  42. Number10.gov.uk 2009.
  43. BBC - Royal pardon for codebreaker Alan Turing
  44. Geringer, Steven. ACM'S Turing Award Prize Raised To $250 000 // Association for Computing Machinery press release, 27 юли 2007. Архивиран от оригинала на 2008-12-30. Посетен на 16 октомври 2008.
  45. Unveiling the official Blue Plaque on Alan Turing's Birthplace // Посетен на 26 септември 2006.
  46. About this Plaque – Alan Turing // Архивиран от оригинала на 2007-10-13. Посетен на 25 септември 2006.
  47. Computer buried in tribute to genius // Manchester Evening News. 17 февруари 2007. Посетен на 7 декември 2014.
  48. Gray, Paul. Alan Turing – Time 100 People of the Century // Time Magazine. 29 март 1999. Архивиран от оригинала на 2011-01-19. Посетен на 2014-05-04. Providing a blueprint for the electronic digital computer. The fact remains that everyone who taps at a keyboard, opening a spreadsheet or a word-processing program, is working on an incarnation of a Turing machine.
  49. 100 great British heroes // BBC News. 21 август 2002.
Цитирани източници

Външни препратки

редактиране
    Тази страница частично или изцяло представлява превод на страницата Alan Turing в Уикипедия на английски. Оригиналният текст, както и този превод, са защитени от Лиценза „Криейтив Комънс – Признание – Споделяне на споделеното“, а за съдържание, създадено преди юни 2009 година – от Лиценза за свободна документация на ГНУ. Прегледайте историята на редакциите на оригиналната страница, както и на преводната страница, за да видите списъка на съавторите. ​

ВАЖНО: Този шаблон се отнася единствено до авторските права върху съдържанието на статията. Добавянето му не отменя изискването да се посочват конкретни източници на твърденията, които да бъдат благонадеждни.​

  NODES
Association 3
games 1
games 1
mac 6
OOP 1
os 6