Тьюринг, Алан
Алан Тьюринг | |
---|---|
англ. Alan Turing | |
Имя при рождении | англ. Alan Mathison Turing |
Дата рождения | 23 июня 1912[1][2][…] |
Место рождения | |
Дата смерти | 7 июня 1954[1][2][…] (41 год) |
Место смерти | |
Страна | |
Род деятельности | специалист в области информатики, криптограф |
Научная сфера | математика, логика, криптография, информатика |
Место работы |
Кембриджский университет Национальная физическая лаборатория Великобритании Правительственная школа кодов и шифров Манчестерский университет |
Альма-матер |
Королевский колледж (Кембридж) Принстонский университет |
Научный руководитель | Алонзо Чёрч |
Ученики | Робин Ганди |
Известен как | изобретатель машины Тьюринга, теста Тьюринга |
Награды и премии | |
Автограф | |
Сайт | turingarchive.org (англ.) |
Цитаты в Викицитатнике | |
Произведения в Викитеке | |
Медиафайлы на Викискладе |
А́лан Мэ́тисон Тью́ринг (англ. Alan Mathison Turing [ˈtjʊərɪŋ]; 23 июня 1912, Вестминстер — 7 июня 1954, Чешир) — британский математик, логик, криптограф, оказавший существенное влияние на развитие информатики. Офицер ордена Британской империи (OBE, 1945), член Лондонского королевского общества (1951)[4].
Предложенная им в 1936 году абстрактная вычислительная «Машина Тьюринга», которую можно считать моделью компьютера общего назначения[5], позволила формализовать понятие алгоритма и до сих пор используется во множестве теоретических и практических исследований. Научные труды А. Тьюринга — общепризнанный вклад в основания информатики (и в частности — теории искусственного интеллекта)[6].
Во время Второй мировой войны Алан Тьюринг работал в Правительственной школе кодов и шифров, располагавшейся в Блетчли-парке, где была сосредоточена работа по взлому шифров и кодов стран Оси. Он возглавлял группу Hut 8, ответственную за криптоанализ сообщений военно-морского флота Германии. Тьюринг разработал ряд методов взлома, в том числе теоретическую базу для Bombe — машины, использованной для взлома немецкого шифратора «Enigma».
После войны Тьюринг работал в Национальной физической лаборатории, где по его проекту был реализован первый в мире компьютер с хранимой в памяти программой — ACE. В 1948 учёный присоединился к вычислительной лаборатории Макса Ньюмана в Университете Манчестера, где ассистировал при создании Манчестерских компьютеров[7], а позднее заинтересовался математической биологией. Тьюринг опубликовал работу по химическим основам морфогенеза и предсказал протекающие в колебательном режиме[англ.] химические реакции, такие как реакция Белоусова — Жаботинского, которые впервые были представлены научному сообществу в 1968 году. В 1950 году предложил эмпирический тест Тьюринга для оценки искусственного интеллекта компьютера.
В 1952 году Алан Тьюринг был признан виновным по обвинениям в совершении «грубой непристойности» в соответствии с «поправкой Лабушера», согласно которой преследовали гомосексуальных мужчин. Тьюрингу был предоставлен выбор между принудительной гормональной терапией, призванной подавить либидо, или тюремным заключением. Учёный выбрал первое. Алан Тьюринг умер в 1954 году от отравления цианидом. Следствие установило, что Тьюринг совершил самоубийство, хотя мать учёного считала, что произошедшее было случайностью. Алан Тьюринг был признан «одной из самых известных жертв гомофобии в Великобритании»[8]. 24 декабря 2013 года королева Великобритании Елизавета II[9] помиловала Алана Тьюринга посмертно[10].
В честь учёного названа Премия Тьюринга — самая престижная в мире награда в области информатики.
Ранние годы и начало карьеры
[править | править код]Родители Алана жили в индийском городе Чхатрапур[11][12]. Отец — Юлиус Мэтисон Тьюринг представитель старого шотландского аристократического рода, работал в Индийской гражданской службе[англ.]. Мать — Сара Этель (урождённая Стони), была родом из Ирландии, из протестантской семьи англо-ирландского дворянства. Когда она ждала ребёнка, супруги решили переехать в Англию, чтобы он рос и воспитывался в Лондоне. Там Алан Тьюринг и родился 23 июня 1912 года. У него был старший брат Джон. Государственная служба Юлиуса Тьюринга продолжалась, и родителям Алана приходилось часто путешествовать между Гастингсом[13] и Индией, оставляя двоих своих сыновей на попечение отставной армейской пары. Признаки гениальности проявлялись у Тьюринга с раннего детства[14].
В шесть лет Алан Тьюринг пошёл в школу святого Михаила в Гастингсе, директор которой сразу отметила его одарённость. В 1926 году, в возрасте 13 лет, Тьюринг пошёл в известную частную школу Шерборн в городе Шерборн графства Дорсет. Его первый день в школе совпал со Всеобщей забастовкой 1926 года. Поэтому Тьюрингу пришлось преодолеть расстояние около 100 км от Саутгемптона до Шерборна на велосипеде, по пути он переночевал в гостинице[15].
Увлечение Тьюринга математикой не нашло особой поддержки среди учителей Шерборнской школы, где уделяли больше внимания гуманитарным наукам. Директор школы писал родителям: «Я надеюсь, что он не будет пытаться усидеть на двух стульях разом. Если он намеревается остаться в частной школе, то он должен стремиться к получению „образования“. Если же он собирается быть исключительно „научным специалистом“, то частная школа для него — пустая трата времени»[16]. Тем не менее в областях, интересовавших его, Тьюринг проявлял незаурядные способности. Он решал сложные математические задачи в 1927 году, несмотря на то, что ему не преподавали даже основ математического анализа[17]. В 1928 году, в возрасте 16 лет, Тьюринг ознакомился с работой Эйнштейна, в которой ему удалось разобраться до такой степени, что он смог экстраполировать из текста сомнения Эйнштейна относительно выполнимости Законов Ньютона, которые не были высказаны в статье в явном виде[18].
В Шерборне Тьюринг близко подружился с Кристофером Моркомом. Когда эти отношения прервались в феврале 1930 года из-за смерти Моркома, вызванной осложнением «бычьего туберкулёза», которым Морком заразился несколькими годами ранее после употребления инфицированного молока[19][20], религиозные верования Тьюринга пошатнулись, и он стал атеистом. Алан проникся идеей того, что все феномены, в том числе и работа человеческого мозга, должны нести в себе материалистическое начало[21].
Университетские годы
[править | править код]Из-за нелюбви к гуманитарным наукам Тьюринг недобрал баллов на экзамене и поэтому после школы поступил в Королевский колледж Кембриджа, хотя намеревался пойти в Тринити-колледж. В Королевском колледже Тьюринг учился с 1931 по 1934 год под руководством известного математика Годфри Харолда Харди.
В 1928 году немецкий математик Давид Гильберт привлёк внимание мировой общественности к проблеме разрешения (Entscheidungsproblem). В своей работе «On Computable Numbers, with an Application to the Entscheidungsproblem», опубликованной 12 ноября 1936 года[22][23], Тьюринг переформулировал теорему Гёделя о неполноте, заменив универсальный формальный арифметический язык Гёделя на простые гипотетические устройства, которые впоследствии стали известны как машины Тьюринга. Он доказал, что подобная машина была бы способна произвести любые математические вычисления, представимые в виде алгоритма. Далее Тьюринг показал, что не существует решения Entscheidungsproblem, сначала доказав, что Проблема остановки для машины Тьюринга неразрешима: в общем случае невозможно алгоритмически определить, остановится ли когда-нибудь данная машина Тьюринга.
Хотя доказательство Тьюринга было обнародовано в скором времени после эквивалентного доказательства Алонзо Чёрча, в котором использовались Лямбда-исчисления, сам Тьюринг был с ним незнаком[24]. Подход Алана Тьюринга принято считать более доступным и интуитивным. Идея «Универсальной машины», способной выполнять функции любой другой машины, или, другими словами, вычислить всё, что можно в принципе вычислить, была крайне оригинальной. Фон Нейман признал, что концепция современного компьютера основана на этой работе Алана Тьюринга[25]. Машины Тьюринга по-прежнему являются основным объектом исследования теории алгоритмов.
С сентября 1936 года по июль 1938 года Тьюринг работал под руководством Чёрча в Принстоне, Тьюринг поступил туда в качестве приглашённого студента-последипломника и остался, чтобы завершить свой докторат под началом Чёрча. Кроме занятий математикой, он изучал криптографию, а также конструировал электро-механический бинарный умножитель. В июне 1938 года он защитил докторскую диссертацию «Логические системы, основанные на ординалах»[англ.][26], в которой была представлена идея сведения по Тьюрингу, заключающаяся в объединении машины Тьюринга с оракулом. Это позволяет исследовать проблемы, которые невозможно решить с помощью лишь машины Тьюринга.
В Кембридже Тьюринг посещал лекции Людвига Витгенштейна о кризисе оснований математики[27]. Учёные много спорили, так как Тьюринг выступал в защиту формализма, тогда как Витгенштейн считал, что математика не ищет абсолютную правду, а изобретает её[28].
Криптоанализ
[править | править код]Во время Второй мировой войны Алан Тьюринг принимал активное участие во взломе немецких шифров в Блетчли-парке. Историк и ветеран Блетчли-парка Эйза Бриггс однажды сказал:
Блетчли-парку был нужен исключительный талант, исключительная гениальность, и гениальность Тьюринга была именно такой.
Оригинальный текст (англ.)You needed exceptional talent, you needed genius at Bletchley and Turing's was that genius.— Телепередача «Величайший криптоаналитик Британии», UK Channel 4, 21 ноября 2011
С сентября 1938 года Тьюринг работал на полставки в GCHQ — британской организации, специализировавшейся на взломе шифров. Совместно с Дилли Ноксом он занимался криптоанализом «Энигмы»[29]. Вскоре после встречи в Варшаве в июле 1939 года, на которой польское Бюро шифров предоставило Великобритании и Франции подробные сведения о соединениях в роторах «Энигмы»[англ.] и методе расшифровки сообщений, Тьюринг и Нокс начали свою работу над более основательным способом решения проблемы[29]. Польский метод основывался на недоработках индикаторной процедуры, которые немцы исправили к маю 1940 года. Подход Тьюринга был более общим и основан на методе перебора последовательностей исходного текста, для которого он разработал начальную функциональную спецификацию Bombe.
4 сентября 1939 года, на следующий день после того, как Великобритания объявила войну Германии, Тьюринг вернулся в Блетчли-парк, где в то время располагался Центр правительственной связи.
Спецификация для «Бомбы» была только первым из пяти важнейших достижений Тьюринга в области военного криптоанализа. Учёный также определил индикаторную процедуру ВМФ Германии; разработал более эффективный способ использования Bombe, основанный на статистическом анализе и названный «Банбурисмусом»; метод определения параметров колёс машины Лоренца, названный «Тьюринжерией»[англ.]; ближе к концу войны Тьюринг разработал портативный шифратор речи Delilah.
Статистический подход к оптимизации исследований различных вероятностей в процессе разгадывания шифров, который использовал Тьюринг, был новым словом в науке. Тьюринг написал две работы: «Доклад о применимости вероятностного подхода в криптоанализе»[30] и «Документ о статистике и повторениях»[31], которые представляли для GCCS, а позже и для GCHQ (англ. Government Communications Headquarters) такую ценность, что не были предоставлены национальному архиву[англ.] вплоть до апреля 2012 года, незадолго до празднования ста лет со дня рождения учёного. Один из сотрудников GCHQ заявил, что этот факт говорит о беспрецедентной важности этих работ[32].
В Блетчли-парке у Тьюринга была репутация чудака. В кругу коллег он был известен, как «Проф», а его работу, посвящённую «Энигме», называли «Книгой Профа»[33]. Джек Гуд — криптоаналитик, работавший с Тьюрингом, по словам Рональда Левина, так отзывался о Тьюринге:
Каждый год в первую неделю июня у него начиналась сенная лихорадка и он ездил в офис в противогазе. У его велосипеда слетала цепь через определённые интервалы, но вместо того, чтобы отдать её в починку, он считал обороты педалей и слезал с велосипеда в нужный момент, чтобы поправить её руками. Другая его странность заключалась в том, что он пристёгивал свою кружку на цепь к батарее, потому что боялся, что её украдут[34][35].
В 1945 году Тьюринг был награждён орденом Британской империи королём Георгом VI за свою военную службу, но этот факт оставался в секрете многие годы[36].
Машина Тьюринга — Велшмана
[править | править код]В течение нескольких недель после прибытия в Блэтчли-парк Тьюринг написал спецификации к электромеханической машине, которая могла помочь со взломом «Энигмы» более эффективно, чем польская «криптологическая бомба». Машина Тьюринга с улучшениями, предложенными математиком Гордоном Велшманом, стала важнейшим инструментом для расшифровки сообщений «Энигмы». Машина получила название Bombe[Прим. 1].
Машина искала возможные настройки, использованные для шифрования сообщений (порядок роторов, положение ротора, соединения коммутационной панели), опираясь на известный открытый текст. Для каждой возможной настройки ротора (у которого было 1019 состояний или 1022 в модификации, использовавшейся на подводных лодках) машина производила ряд логических предположений, основываясь на открытом тексте (его содержании и структуре). Далее машина определяла противоречие, отбрасывала набор параметров и переходила к следующему. Таким образом, бо́льшая часть возможных наборов отсеивалась и для тщательного анализа оставалось всего несколько вариантов. Первая машина была запущена в эксплуатацию 18 марта 1940 года. Перебор ключей выполнялся за счёт вращения механических барабанов, сопровождавшегося звуком, похожим на тиканье часов.
Осенью 1941 года Алана Тьюринга и его коллег Гордона Уэлчмана, Стюарта Милнер-Берри и Конела Хью О’Донела Александера постигло разочарование. На основе наработок польского бюро шифров они смогли наладить работу системы, способной эффективно взламывать шифр «Энигмы», но у них было мало и людей, и машин, поэтому времени на расшифровку всех сообщений не хватало. Тем не менее, благодаря успехам дешифраторов, летом 1941 года потери грузов от действий немецких подлодок сократились до 100 000 тонн в месяц, но этого было всё ещё недостаточно. Группе необходимы были ресурсы для того, чтобы справиться с постоянными улучшениями немцев. Попытки получить больше людей и привлечь финансирование для постройки новых машин официальными путями ни к чему не привели. Наконец, 28 октября, нарушая все правила, они отправили письмо Черчиллю. Тьюринг и его коллеги особенно подчеркнули, что их запросы ничтожны по сравнению с возможной выгодой[37].
Эффект не заставил себя ждать, Черчилль послал молнию генералу Исмэю:
К НЕМЕДЛЕННОМУ ИСПОЛНЕНИЮ. Удостоверьтесь, что у них есть всё, что нужно, и отчитайтесь мне о выполнении.
18 ноября глава разведки доложил, что все возможные меры были предприняты[38]. К концу войны в эксплуатацию было запущено более двух сотен машин[39].
Коттедж № 8 и «Энигма» ВМФ
[править | править код]Тьюринг решил заняться особенно сложной задачей анализа «Энигмы» ВМФ[англ.], потому что, по его словам, «никто этим не занимался» и он «мог оставить эту проблему себе»[40]. В декабре 1939 года Тьюринг разобрался с основной частью индикаторной системы «Энигмы» ВМФ, которая была сложнее, чем использовавшаяся другими родами войск[40][41].
« | ...я не был уверен, что это сработает на практике, пока не прошло несколько дней | » |
— Алан Тьюринг о Banburismus[40] |
Той же ночью Тьюрингу пришла идея Banburismus, последовательной статистической техники (которую Абрахам Вальд позднее назвал статистическим последовательным анализом), призванной помочь в расшифровке сообщений «Энигмы» ВМФ. Для этого он ввёл новую логарифмическую (с основанием 10) единицу измерения информации (энтропии) — ban. Banburismus мог исключать определённые последовательности роторов «Энигмы», значительно уменьшая количество времени, необходимое для проверки настроек на Бомбе.
В 1941 году Тьюринг сделал предложение коллеге по Коттеджу № 8 — Джоан Кларк, но помолвка продлилась недолго. После признания своей гомосексуальности перед невестой, которая, по слухам, отнеслась к признанию «равнодушно», Тьюринг решил, что не стоит доводить дело до свадьбы[42].
В ноябре 1942 года Тьюринг отправился в США[43], где совместно с криптоаналитиками ВМФ работал над взломом «Энигмы» и постройкой машин «Bombe» в Вашингтоне. Он посетил компьютерную лабораторию[англ.] в Дайтоне, штат Огайо, и его реакция на дизайн американских Бомб была не слишком обнадёживающей[44].
Во время своего пребывания в Америке Тьюринг также ассистировал при разработке устройства шифрования речи в Bell Labs[45].
В Блетчли-парк Алан вернулся в марте 1943 года. Во время его отсутствия Хью Александер официально занял позицию руководителя Коттеджа № 8, хотя де-факто к этому моменту он уже некоторое время исполнял эти обязанности, так как Тьюринга не волновала рутина, связанная с ежедневной работой секции. Учёный занял позицию консультанта по криптоанализу в Блетчли-парке.
Хью Александер так отзывался о вкладе Тьюринга:
Не может быть никаких сомнений в том, что работа Тьюринга была важнейшим фактором успеха Коттеджа № 8. В начале он не только был единственным криптоаналитиком, уверенным в том, что это разрешимая проблема, человеком, ответственным за основную теоретическую работу, он также предоставил Вэлшмену и Кину главные наработки для дальнейшего создания Bombe. Всегда сложно назвать кого-то незаменимым, но если в Коттедже № 8 и был незаменимый человек, то это Алан Тьюринг. Работа первопроходца всегда начинает забываться, когда опыт и рутина создают кажущееся ощущение простоты, и многие из нас в Коттедже № 8 чувствовали, что масштаб вклада Тьюринга никогда в полной мере не был понят остальным миром[46].
Colossus
[править | править код]В июле 1942 года Тьюринг принял участие в расшифровке кода «Лоренц», применявшегося немцами для передачи сообщений высшего командования[47][Прим. 2]. «Лоренц» был существенно сложнее «Энигмы» и не поддавался расшифровке существовавшими методами. Тьюринг предложил построить дешифратор на основе электронных ламп и привёл в команду Т. Флауэрса — опытного инженера-электронщика. В результате совместных усилий математиков и инженеров был разработан «Колосс» — одна из первых в мире ЭВМ[48]. К 1944 году с помощью «Колосса» код «Лоренц» был взломан, что позволило союзникам читать всю переписку высшего германского руководства.
Шифратор речи (Delilah)
[править | править код]Алан Тьюринг продолжил работу по созданию электронного устройства для шифрования речи в телефонных сетях, начатую им в Bell Labs[49]. Он начал сотрудничать с радиослужбой разведки[англ.] в Хэнслоп Парке. Вместе с инженером Дональдом Бэйли Тьюринг разработал дизайн портативного шифратора речи — Delilah[50]. Устройство не было приспособлено для работы с радиосистемами высокой дальности и было закончено слишком поздно, чтобы применяться в военные годы. Несмотря на успешную демонстрацию Тьюринга (была зашифрована и расшифрована речь Черчилля), Delilah не пошла в массовое производство[51]. В шифраторе Тьюринга использовалось менее 30 электронных ламп, и другие решения смогли превзойти его лишь через 15 лет.
Ранние компьютеры и тест Тьюринга
[править | править код]С 1945 по 1947 год Тьюринг проживал в Ричмонде и работал над ACE (англ. Automatic Computing Engine) в Национальной физической лаборатории. 19 февраля 1946 года он представил работу, которую можно назвать первым детальным описанием компьютера с хранимой в памяти программой[52]. Незаконченная работа «Первый проект отчёта о EDVAC» (1945) Фон Неймана предшествовала ей, но была намного менее детальна, а согласно руководителю математического отделения Национальной физической лаборатории Джону Воурмслей:
…она [работа Фон Неймана] содержит ряд идей, которые принадлежат доктору Тьюрингу[53].
Несмотря на то, что постройка ACE была вполне осуществима, секретность, окружавшая Блэтчли-парк, привела к задержкам в начале работ, что разочаровало Тьюринга. К концу 1947 года он вернулся в Кембридж ради годичного отпуска, в течение которого он плодотворно работал над «Intelligent Machinery», которая не была опубликована прижизн��нно[54]. Пока Алан Тьюринг пребывал в Кембридже, Pilot ACE был построен в его отсутствие. Он выполнил свою первую программу 10 мая 1950 года. Хотя полная версия ACE никогда не была построена, некоторые компьютеры имели с ним много общего, к примеру, DEUCE и Bendix G-15[англ.].
Во время работы в Национальной физической лаборатории Алан Тьюринг активно занимался бегом и выступал на соревнованиях за Легкоатлетический клуб Волтона. Тьюринг вступил в него в конце 1945 года и показывал результаты мирового уровня. Его лучшее время марафона составило 2 часа 46 минут и 3 секунды, что всего на 11 минут больше, чем у победителя олимпийских игр 1948 года, ранее в этом же году в забеге на пересечённой местности Алан финишировал раньше Тома Ричардса — серебряного призёра Олимпиады[55].
В 1948 году Алан Тьюринг получил звание Reader[англ.] в математическом департаменте Манчестерского университета[англ.]. Там в 1949 году он стал директором компьютерной лаборатории, где была сосредоточена работа по программированию Манчестерского Марка I. В то же время Тьюринг продолжал работать над более абстрактными математическими задачами[56], а в своей работе «Вычислительные машины и разум» (журнал «Mind», октябрь 1950) он обратился к проблеме искусственного интеллекта и предложил эксперимент, ставший впоследствии известным как тест Тьюринга. Его идея заключалась в том, что можно считать, что компьютер «мыслит», если человек, взаимодействующий с ним, не сможет в процессе общения отличить компьютер от другого человека[57]. В этой работе Тьюринг предположил, что вместо того, чтобы пытаться создать программу, симулирующую разум взрослого человека, намного проще было бы начать с разума ребёнка, а затем обучать его. Тест CAPTCHA, основанный на обратном тесте Тьюринга, широко распространён в интернете.
В 1948 году Алан совместно со своим бывшим коллегой Дэвидом Чемперноуном[англ.] начал писать шахматную программу Turochamp для компьютера, который ещё не существовал. В 1952 году, не имея подходящего устройства для её выполнения, Тьюринг сыграл игру, в которой симулировал действия машины, делая по одному ходу раз в полчаса. Игра была записана[58] и в результате программа проиграла коллеге Тьюринга Алеку Глини, но выиграла партию у жены Чемперноуна.
В 1948 году Тьюринг также изобрёл метод LU-разложение, который сегодня используется для решения уравнений[59].
Тьюринг создал первичную концептуальную основу искусственного интеллекта, опубликовав в 1950 г. свою статью «Вычислительные машины и интеллект»[60].
Первая компьютерная музыка
[править | править код]В 1951 году в Великобритании специалистами выездной студии BBC в Манчестерской лаборатории вычислительных машин была сделана первая запись музыки, сген��рированной компьютером. Машина, созданная Тьюрингом и занимавшая почти весь первый этаж лаборатории, могла генерировать три мелодии — «Боже, храни Королеву» (англ. God Save the King), «Бе Бе Чёрная овечка» (англ. Baa, Baa Black Sheep) и классику свинга «В настроении» (англ. In the Mood) Глена Миллера. Музыка была записана на 12-дюймовый (30,5 cм) ацетатный диск. При этом фундаментальные работы Тьюринга конца 1940-х годов по превращению компьютера в музыкальный инструмент оказались незамеченными. Звуковой артефакт, представляющий Тьюринга как музыкального новатора, был восстановлен в 2016 году[61].
Морфогенез
[править | править код]В 1952 году Тьюринг опубликовал работу под названием «Химические основы морфогенеза» (The chemical basis of morphogenesis[англ.]), где математически описывается процесс самоорганизации материи. Его основным интересом в этой области было листорасположение Фибоначчи — наличие чисел Фибоначчи в структурах растений. Поздние работы не были опубликованы вплоть до 1992 года, когда был выпущен сборник его трудов. Вклад Тьюринга в эту область считается основополагающим[62].
Обвинение в непристойности
[править | править код]В январе 1952 года Алан Тьюринг познакомился с девятнадцатилетним рабочим Арнольдом Мюрреем недалеко от кинотеатра в Манчестере[63]. После совместного ланча Тьюринг предложил Мюррею провести с ним выходные у себя дома, последний принял предложение, но так и не появился. Оба снова встретились в Манчестере в следующий понедельник, и Мюррей согласился проводить Тьюринга до дома. Несколькими неделями позже юноша снова посетил дом учёного и провёл там ночь[64].
Позднее Мюррей с соучастником обворовали дом учёного. Тьюринг заявил об этом в полицию и в процессе расследования признался в сексуальной связи с обвиняемым. Любая гомосексуальная активность между мужчинами в Соединённом Королевстве в те времена являлась противозаконной[65], и им обоим было предъявлено обвинение в непристойном поведении в соответствии с «поправкой Лабушера»[66]. Тьюрингу был предложен выбор между тюремным заключением и химической кастрацией. Учёный предпочёл инъекции стильбэстрола[англ.], чтобы иметь возможность продолжать работу над своими проектами, — это «лечение» продолжалось один год, что привело к импотенции и гинекомастии[67].
Обвинения, предъявленные Тьюрингу, привели к потере статуса благонадёжности и отстранению от работы консультанта по криптоанализу в GCHQ. В то время существовали некоторые опасения вербовки гомосексуальных шпионов советскими агентами[68], связанные с раскрытием первых двух членов Кембриджской пятёрки: Доналда Маклейна и Гая Бёрджесса. Алана никогда не обвиняли в шпионаже, но ему было запрещено обсуждать подробности своей работы в Блэтчли-парке в соответствии с актом о секретности[англ.][69].
Смерть и посмертное помилование
[править | править код]8 июня 1954 года Алан Тьюринг был найден в своей квартире мёртвым. Вскрытие показало, что причиной смерти было отравление цианидом. На прикроватной тумбе было обнаружено надкушенное яблоко, и, хотя его экспертиза на наличие цианида никогда не проводилась[70], мнение, что именно оно содержало яд, широко распространено. Официально, расследование установило, что учёный покончил жизнь самоубийством. Тело было кремировано в Крематории Уокинга 12 июня 1954 года[71], прах развеян на предназначенном для этого участке возле крематория.
Эндрю Ходжес и Дэвид Левит предполагают, что Тьюринг воссоздал сцену из мультфильма Уолта Диснея Белоснежка 1937 года — любимой сказки учёного. По словам Левита:
ему особенно нравилась сцена, в которой Злая Королева погружает яблоко в ядовитое зелье[72].
Сторонником этой же версии является друг Тьюринга — Алан Гарнер, который в 2011 году написал об этом в своей статье для «Гардиан»[73].
Исследования, проводившиеся позже, подвергли версию о самоубийстве сомнению[74]. Специалист по Тьюрингу Джек Коупленд[англ.] после досконального изучения результатов вскрытия пришёл к выводу, что отравление было вызвано вдыханием паров синильной кислоты, выделявшихся аппаратом для гальванического золочения, в котором используется цианид калия. Также Тьюринг обычно съедал яблоко перед сном, и нет ничего необычного в том, что он его не доел[75]. К тому же Тьюринг относился к гормональной терапии (которая закончилась за год до происшествия) с «долей юмора» и не проявлял признаков уныния, наоборот, он составил список задач, которыми планировал заняться после выходных[75]. Мать учёного считала, что смерть её сына была случайностью, вызванной неаккуратным хранением химикатов, однако Ходжес полагает, что Тьюринг мог подстроить эксперимент таким образом, чтобы не расстраивать её[76]. 10 сентября 2009 года Премьер-министр Великобритании Гордон Браун публично принёс извинения за преследования, которым был подвергнут Алан Тьюринг:
С Аланом и с многими тысячами других мужчин-геев, осуждённых по гомофобным законам, обошлись ужасно. А многие миллионы тех, кто не был осуждён, годами жили в постоянном страхе быть осуждёнными за то, что они такие, какие они есть. Я горжусь тем, что те времена прошли и что за последние 12 лет наше правительство сделало многое, чтобы сделать жизнь более справедливой и равной для нашего сообщества ЛГБТ. Признание Алана одной из самых известных жертв гомофобии в Великобритании является ещё одним шагом к обеспечению равенства.
<…>
От имени британского правительства и всех тех, кто живёт на свободе благодаря вкладу Алана, я со всей искренностью говорю: прости нас, ты заслуживаешь гораздо лучшего.
— Премьер-министр Великобритании Гордон Браун[77]
В 2009 году Алан Тьюринг был признан «одной из самых известных жертв гомофобии в Великобритании»[77]. В 2013 году королева Великобритании Елизавета II официально помиловала Тьюринга за обвинения в «непристойности»[78]. По словам министра юстиции Криса Грейлинга, вариант королевского помилования[англ.] был выбран потому, что юридическая реабилитация Тьюринга невозможна, так как британский суд вынес решение в 1952 году на основе действовавшего тогда законодательства[79]. В британской традиции королевское помилование является исключительно политическим, а не правовым вопросом[80].
31 января 2017 года в Великобритании вступил в силу «закон Тьюринга» о посмертном помиловании мужчин, которые были осуждены за гомосексуальные отношения[81].
Память
[править | править код]- Одна из самых престижных премий в информатике названа в честь Алана Тьюринга, а именно ежегодная награда Ассоциации вычислительной техники называется Премия Тьюринга.
- В честь Алана Тьюринга назван астероид (10204) Тьюринг[82].
- В Манчестере в 2001 году установлен памятник Алану Тьюрингу.
- В 2002 году Алан Тьюринг был признан «одним из 100 величайших британцев в истории».
- Архитектура видеокарт GeForce 20 получила название «Turing» — в честь Алана Тьюринга.
- Банк Англии принял решение выпустить в 2021 году банкноту в 50 фунтов с портретом Тьюринга на обратной стороне купюры[83][84].
- Королевский монетный двор в июле 2022 выпустил ряд монет 50 пенсов (обычную, серебряную и золотую) в память о Тьюринге[85]
В кино и литературе
[править | править код]В исторической драме «Игра в имитацию» (2014) роль Алана Тьюринга сыграл Бенедикт Камбербэтч[86]. По сюжету фильма Тьюринг, руководивший группой молодых криптографов, практически в одиночку взламывает код немецкой шифровальной машины "Энигма". В личной жизни Тьюринг скрывал свою гомосексуальность. В этой связи в титрах кинокартины приведены цифры, что в Англии в период с 1885 по 1967 годы из-за своей сексуальной самоидентификации пострадало 49 тыс. мужчин-гомосексуалов.
Такая сюжетная линия противоположна другой художественной интерпретации тех событий — фильму «Энигма» (2001), по одноимённому роману Роберта Харриса, где другой математик Том Джерико, также руководивший командой взломщиков и влюблённый в свою коллегу Клэр, при помощи друзей разгадывает загадку кода[87].
Тьюринг — основной персонаж исторической линии романа Нила Стивенсона «Криптономикон» (1999, русский перевод — 2004), также мельком появляется в романе Апостолоса Доксиадиса «Дядя Петрос и проблема Гольдбаха» (1992, русский перевод — 2002).
В июне 2014 года Tor.com опубликовал в Интернете биографию Алана Тьюринга «Игра в имитацию» (англ. — The Imitation Game) Джима Оттавиани и Леланда Первиса. Расширенная печатная версия книги появилась в 2016 году.
Публикации
[править | править код]- An extensive list of Turing’s papers, reports and lectures, plus translated versions and collections BibNetWiki
- Список публикаций на Microsoft Academic Search.
- Turing, Alan (October 1950), «Computing Machinery and Intelligence», Mind LIX (236): 433—460, doi: 10.1093/mind/LIX.236.433, ISSN 0026-4423, retrieved 2008-08-18
- Oral history interview with Nicholas C. Metropolis — Институт Чарльза Бэббиджа, Миннесотский Университет, г. Миннеаполис. Metropolis was the first director of computing services at Los Alamos National Laboratory; topics include the relationship between Alan Turing and John von Neumann
См. также
[править | править код]Примечания
[править | править код]Комментарии
- ↑ Название устройства Bombe отсылает к названию десерта из мороженого Bombe glacée. Возможно, в названии содержится элемент иронии, присущей эксцентричной личности Тьюринга (См. также («One theory was that bomba was named after the ice cream, bombe glacee, which was being eaten when the machine was invented.» Архивная копия от 18 апреля 2018 на Wayback Machine // Enigma: The Battle for the Code, By Hugh Sebag-Montefiore, 2002, ISBN 978-0-471-43721-5).
- ↑ Lorenz был немецким названием кода, британцы называли его «Танни» (англ. tunny «тунец»).
Литература и источники
- ↑ 1 2 3 Ходжес Э. Alan Turing — Unwin Paperbacks, 1985. — ISBN 978-0-04-510060-6
- ↑ 1 2 Internet Movie Database (англ.) — 1990.
- ↑ http://www.telegraph.co.uk/technology/news/9314910/Britain-still-owes-Alan-Turing-a-debt.html
- ↑ Тьюринг Алан Матисон // Большая советская энциклопедия : [в 30 т.] / гл. ред. А. М. Прохоров. — 3-е изд. — М. : Советская энциклопедия, 1969—1978.
- ↑ Newman, M. H. A. Alan Mathison Turing. 1912–1954 (англ.) // Biographical Memoirs of Fellows of the Royal Society[англ.] : journal. — 1955. — Vol. 1. — P. 253. — ISSN 0080-4606. — doi:10.1098/rsbm.1955.0019. — .
- ↑ Homer, Steven; Selman, Alan L. Computability and Complexity Theory. — 2001. — С. 35. — ISBN 0-387-95055-9.
- ↑ Leavitt, 2007, с. 231–233.
- ↑ PM apology after Turing petition . Дата обращения: 4 марта 2012. Архивировано 27 мая 2012 года.
- ↑ Елизавета II накануне Рождества помиловала покойного расшифровщика «Энигмы» Архивная копия от 25 декабря 2013 на Wayback Machine // ИТАР-ТАСС
- ↑ Алан Тьюринг, взломщик шифров и гей, помилован посмертно . BBC News Русская служба (24 декабря 2013). Дата обращения: 6 марта 2022. Архивировано 6 марта 2022 года.
- ↑ Hodges, 1992.
- ↑ The Alan Turing Internet Scrapbook . Turing.org.uk. Дата обращения: 2 января 2012. Архивировано 14 октября 2012 года.
- ↑ Hodges, 1992, с. 6.
- ↑ Jones, G. James Alan Turing – Towards a Digital Mind: Part 1 . System Toolbox (11 декабря 2001). Дата обращения: 27 июля 2007. Архивировано 3 августа 2007 года.
- ↑ Hofstadter, Douglas R. Metamagical Themas: Questing for the Essence of Mind and Pattern (англ.). — Basic Books, 1985. — ISBN 0-465-04566-9.
- ↑ Hodges, 1992, с. 26.
- ↑ Андрей,Сидорчик. Последнее искушение Тьюринга. Гения науки погубила любовь к строителю . aif.ru (24 февраля 2015). Дата обращения: 23 июня 2021. Архивировано 24 июня 2021 года.
- ↑ Hodges, 1992, с. 34.
- ↑ Hassall, R The Sherborne formula: the making of Alan Turing Архивная копия от 7 мая 2015 на Wayback Machine Vivat! 2012/13: 17—29.
- ↑ Teuscher, Christof (ed.)[англ.]. Alan Turing: Life and Legacy of a Great Thinker (англ.). — Springer-Verlag, 2004. — ISBN 3-540-20020-7.
- ↑ The Inspiration of Life and Death, 1928—1932 Архивная копия от 14 июня 2012 на Wayback Machine Alan Turing Scrapbook
- ↑ Turing A. On Computable Numbers, with an Application to the Entscheidungsproblem (англ.) // Proceedings of the London Mathematical Society — London Mathematical Society, 1937. — Vol. s2-42, Iss. 1. — P. 230—265. — ISSN 0024-6115; 1460-244X; 0024-6115 — doi:10.1112/PLMS/S2-42.1.230
- ↑ Turing A. M. On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction (англ.) // Proceedings of the London Mathematical Society — London Mathematical Society, 1938. — Vol. s2-43, Iss. 6. — P. 544—546. — ISSN 0024-6115; 1460-244X; 0024-6115 — doi:10.1112/PLMS/S2-43.6.544
- ↑ Hodges, 1992, с. 111.
- ↑ «Фон Нейман… особенно подчеркнул, что основная концепция принадлежит Тьюрингу…» письмо Стенли Франкеля[англ.] к Брайану Ранделю[англ.], 1972, цитируется в книге Коупленда[англ.] (2004) The Essential Turing, с22.
- ↑ Turing, A. M. (1938), Systems of Logic Based on Ordinals (PDF), Архивировано из оригинала (PDF) 23 октября 2012, Дата обращения: 19 ноября 2012
- ↑ Hodges, 1992, с. 152.
- ↑ Hodges, 1992, с. 153—154.
- ↑ 1 2 Jack Copeland, «Colossus and the Dawning of the Computer Age», p. 352 in Action This Day, 2001.
- ↑ Turing, Alan (c. 1941), Report on the applications of probability to cryptography, The National Archives of the UK: HW 25/37, Архивировано из оригинала 28 декабря 2014, Дата обращения: 23 ноября 2012
- ↑ Turing, Alan (c. 1941), Paper on statistics of repetitions, The National Archives of the UK: HW 25/38, Архивировано из оригинала 28 декабря 2014, Дата обращения: 23 ноября 2012
- ↑ Vallance, Chris (2012-04-19). "Alan Turing papers on code breaking released by GCHQ". BBC News. Архивировано 4 октября 2012. Дата обращения: 20 апреля 2012.
- ↑ Hodges, 1992, с. 208.
- ↑ Lewin, 2001, с. 57.
- ↑ Подробно алгоритм езды на велосипеде Тьюринга описан в романе Нила Стивенсона. «Криптономикон» ISBN 978-5-17-043191-5, 978-5-9762-2892-4
- ↑ "Alan Turing: Colleagues share their memories". BBC News. 2012-06-23. Архивировано 19 октября 2012. Дата обращения: 26 ноября 2012.
- ↑ Hodges, 1992, с. 218.
- ↑ Hodges, 1992, с. 221.
- ↑ Copeland, J; Proudfoot, Diane Alan Turing, Codebreaker and Computer Pioneer . alanturing.net (May 2004). Дата обращения: 27 июля 2007. Архивировано 28 ноября 2012 года.
- ↑ 1 2 3 Mahon, 1945, с. 14.
- ↑ Leavitt, 2007, с. 184—186.
- ↑ Leavitt, 2007, с. 176—178.
- ↑ Hodges, 1992, с. 242—245.
- ↑ BOMBE PROJECT HISTORY, MAY 44 . Дата обращения: 2 мая 2012. Архивировано 28 ноября 2012 года.
- ↑ Hodges, 1992, с. 245—253.
- ↑ Alexander, 1945, с. 42.
- ↑ Copeland, 2006, с. 380.
- ↑ Copeland, 2006, с. 72.
- ↑ Hodges, 1992, с. 245—250.
- ↑ Hodges, 1992, с. 273.
- ↑ Hodges, 1992, с. 346.
- ↑ Copeland, 2006, с. 108.
- ↑ Randell, B (1980), A History of Computing in the Twentieth Century: Colossus (PDF), Архивировано из оригинала (PDF) 27 января 2012, Дата обращения: 27 января 2012 citing Womersley, J. R. (1946-02-13), "'ACE' Machine Project", Executive Committee, National Physical Laboratory, Teddington, Middlesex
- ↑ Copeland, 2006.
- ↑ A suburban runner (англ.). Дата обращения: 28 ноября 2012. Архивировано 28 ноября 2012 года.
- ↑ Turing, Alan M. Rounding-Off Errors in Matrix Processes // Quarterly Journal of Mechanics and Applied Mathematics. — 1948. — Сентябрь (т. 1). — С. 287—308.
- ↑ Stevan Harnad (2008) The Annotation Game: On Turing (1950) on Computing, Machinery and Intelligence Архивная копия от 17 июля 2011 на Wayback Machine. In: Epstein, Robert & Peters, Grace (Eds.) Parsing the Turing Test: Philosophical and Methodological Issues in the Quest for the Thinking Computer. Springer
- ↑ Alan Turing vs Alick Glennie (1952) «Turing Test» Архивная копия от 19 февраля 2006 на Wayback Machine Chessgames.com
- ↑ SPICE 1 2 3 and beyond ... Intusoft Newsletter, August 2003 . Intusoft.com (16 августа 2001). Дата обращения: 29 мая 2011. Архивировано 11 июня 2011 года.
- ↑ Бутл, 2022, с. 64.
- ↑ "First recording of computer-generated music – created by Alan Turing – restored". The Guardian. 2016-09-26. Архивировано 25 марта 2017. Дата обращения: 24 марта 2017.
- ↑ Turing's Last, Lost work . Дата обращения: 29 ноября 2012. Архивировано из оригинала 23 августа 2003 года.
- ↑ Turing Centenary: The Trial of Alan Turing for Homosexual Conduct . www.polarimagazine.com/ (12 июня 2012). Дата обращения: 29 ноября 2012. Архивировано 25 сентября 2012 года.
- ↑ Leavitt, 2007, с. 266.
- ↑ Hodges, 1992, с. 458.
- ↑ Leavitt, 2007, с. 268.
- ↑ Hodges, 2007.
- ↑ Leavitt, 2007.
- ↑ Copeland, 2006, с. 143.
- ↑ Hodges, 1992, с. 488.
- ↑ Hodges, 1992, с. 529.
- ↑ Leavitt, 2007, с. 140.
- ↑ Garner, Alan (2011-11-11). "My hero: Alan Turing, by Alan Garner". The Guardian. Guardian News and Media Limited. Архивировано 22 января 2012. Дата обращения: 23 июня 2012.
- ↑ Алан Тьюринг - человек, у которого отобрали право любить . BBC News Русская служба (15 ноября 2014). Дата обращения: 20 марта 2023. Архивировано 20 марта 2023 года.
- ↑ 1 2 Pease, Roland (2012-06-23). "Alan Turing: Inquest's suicide verdict 'not supportable'". BBC News Online. Архивировано 23 июня 2012. Дата обращения: 23 июня 2012.
We have… been recreating the narrative of Turing's life, and we have recreated him as an unhappy young man who committed suicide. But the evidence is not there"
- ↑ Hodges, 1992, с. 488—489.
- ↑ 1 2 Treatment of Alan Turing was «appalling» — PM // The official site of the Prime Minister’s Office, 10 сентября 2009
Перевод заявления Премьер-министра Великобритании Гордона Брауна. // ru_antidogma, 12 сентября 2009 - ↑ Британская королева помиловала математика Тьюринга . Lenta.ru (24 декабря 2013). Дата обращения: 24 декабря 2013. Архивировано 24 декабря 2013 года.
- ↑ Помилование Тьюринга, «взломщика шифров» . Радио Свобода. Дата обращения: 7 марта 2017. Архивировано 7 марта 2017 года.
- ↑ "Law Report: Court recommends Bentley pardon: Regina v Secretary of". The Independent. 1993-07-08. Архивировано 25 сентября 2015. Дата обращения: 7 марта 2017.
- ↑ В Великобритании вступил в силу «закон Тьюринга». Посмертно помилованы тысячи осуждённых геев Архивная копия от 3 февраля 2017 на Wayback Machine.
- ↑ Lutz D. Schmadel. Dictionary of Minor Planet Names (англ.). — Fifth Revised and Enlarged Edition. — B., Heidelberg, N. Y.: Springer, 2003. — P. 725. — ISBN 3-540-00238-3.
- ↑ Think science and celebrate Alan Turing (англ.). www.bankofengland.co.uk (25 марта 2021). Дата обращения: 17 июля 2019. Архивировано 16 июля 2019 года.
- ↑ На новой 50-фунтовой банкноте с портретом Алана Тьюринга нашли "пасхальные яйца" . Вести.Ру. ВГТРК (25 марта 2021). Дата обращения: 24 мая 2021. Архивировано 25 мая 2021 года.
- ↑ Alan Turing (англ.). The Royal Mint. Дата обращения: 30 июля 2022. Архивировано 11 июля 2022 года.
- ↑ Genevieve Hassan. Imitation Game wins Toronto top prize (англ.). BBC News (14 сентября 2014). Дата обращения: 30 октября 2014. Архивировано 11 ноября 2014 года.
- ↑ "Игры вне разума". Известия. Архивировано 4 февраля 2017. Дата обращения: 3 февраля 2017.
Литература
[править | править код]на русском языке
- Роджер Бутл. Искусственный интеллект и экономика. Работа, богатство и благополучие в эпоху мыслящих машин = Roger Bootle. The AI Economy: Work, Wealth and Welfare in the Age of the Robot. — М.: Интеллектуальная Литература, 2022. — 432 с. — ISBN 978-5-907394-25-4..
- Матиясевич Ю. В. Алан Тьюринг и теория чисел // Математическое просвещение — М.: Изд-во МЦНМО, 2013. — вып. 17. — С. 6—34.
- Игра в имитацию / Эндрю Ходжес / пер. с англ. О. Костеревой, М. Витебского, В. Тен, Г. Веселова. — Москва: АСТ, 2015. — 576 с. — ISBN 978-5-17-089741-4
- Вселенная Алана Тьюринга / Эндрю Ходжес / пер. с англ. О. Костеревой, М. Витебского, В. Тен, Г. Веселова. — Москва: Издательство АСТ, 2015. — ISBN 978-5-17-092005-1
на других языках
- Agar J. The Government Machine (англ.): A Revolutionary History of the Computer — 2003. — 564 p. — ISBN 978-0-262-01202-7, 978-0-262-53388-1
- The Mind and the Computing Machine: Alan Turing and others (англ.) // The Rutherford Journal[англ.] : journal / Jack Copeland.
- Hodges, Andrew. Alan Turing (англ.) // Stanford Encyclopedia of Philosophy : энциклопедия / Edward N. Zalta. — Stanford: Stanford University, 2007. — 27 August.
- Gray P. Computer Scientist: ALAN TURING (англ.) // Time / N. Gibbs — New York City: Time Inc., 1999. — ed. size: 3376226 — ISSN 0040-781X; 2169-1665
- Gleick J. The Information (англ.): A History, a Theory, a Flood — New York City: Pantheon Books, HarperCollins, 2011.
- Leavitt D. The Man Who Knew Too Much (англ.): Alan Turing and the Invention of the Computer — Phoenix, 2007. — 320 p. — ISBN 978-0-7538-2200-5
- Stoney E. S. Alan M. Turing (англ.): Centenary Edition — Second edition — Cambridge: Cambridge University Press, 2012.
- Hodges A. Alan Turing: The Enigma (англ.) — London: Vintage Books, 1992. — 586 p. — ISBN 978-0-09-911641-7
- A.P. Mahon. The History of Hut Eight 1939–1945. — UK National Archives Reference HW 25/2, 1945.
- Conel Hugh O'Donel Alexander. Cryptographic History of Work on the German Naval Enigma. — The National Archives, Kew, Reference HW 25/1, 1945.
- Copeland B. J. Colossus (англ.): The Secrets of Bletchley Park's Codebreaking Computers — Oxford: OUP, 2006. — 480 p. — ISBN 978-0-19-284055-4
- Mahon A. P. The History of Hut Eight (англ.): 1939-1945
- Lewin, Ronald. Ultra Goes to War: The Secret Story. — London: Hutchinson & Co, 2001. — 416 p. — (Penguin Classic Military History (ed. 1978)). — ISBN 978-1-56649-231-7.
Ссылки
[править | править код]- Фотографии
- Г. Далидович «Заметки об искусственном интеллекте: маргаритки Тьюринга», «Заметки об искусственном интеллекте: Энигма Тьюринга», «Заметки об искусственном интеллекте: Яблоко Тьюринга»
- Роберт Харрис. Enigma
- Список статей, отчётов и лекций Тьюринга (англ.)
- Иван Первачев «Алан Тьюринг»
- Алан Тьюринг и Блечли Парк . Дата обращения: 27 декабря 2013. Архивировано 15 мая 2014 года.
Эта статья входит в число хороших статей русскоязычного раздела Википедии. |
- Родившиеся 23 июня
- Родившиеся в 1912 году
- Родившиеся в боро Вестминстер
- Умершие 7 июня
- Умершие в 1954 году
- Умершие в Чешире
- Офицеры ордена Британской империи
- Персоналии по алфавиту
- Учёные по алфавиту
- Выпускники Кембриджского университета
- Выпускники Королевского колледжа (Кембридж)
- Выпускники Принстонского университета
- Преподаватели Манчестерского университета
- Преподаватели Института науки и технологии Манчестерского университета
- Математики по алфавиту
- Математики Великобритании
- Логики Великобритании
- Криптографы Великобритании
- Исследователи искусственного интеллекта
- Изобретатели Великобритании
- Учёные в области информатики Великобритании
- Философы XX века
- Члены Лондонского королевского общества
- Персоналии:Компьютерные шахматы
- Осуждённые по антигомосексуальному законодательству в Великобритании
- Жертвы насилия на почве гомофобии и трансфобии
- Самоубийцы, принявшие яд
- Люди, чей прах был развеян
- Алан Тьюринг