Тьюринг, Алан

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Алан Тьюринг
Alan Mathison Turing
Alan Turing Aged 16.jpg
Фото на паспорт. 16 лет.
Дата рождения:

23 июня 1912({{padleft:1912|4|0}}-{{padleft:6|2|0}}-{{padleft:23|2|0}})

Место рождения:

Лондон, Англия

Дата смерти:

7 июня 1954({{padleft:1954|4|0}}-{{padleft:6|2|0}}-{{padleft:7|2|0}}) (41 год)

Место смерти:

Вилмслоу, Чешир, Англия

Страна:

Flag of the United Kingdom.svg Великобритания

Научная сфера:

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

Место работы:

Кембриджский университет
Национальная физическая лаборатория Великобритании
Правительственная школа кодов и шифров
Манчестерский университет

Альма-матер:

Королевский колледж, Кембридж
Принстонский университет

Научный руководитель:

Алонзо Чёрч

Известные ученики:

Робин Ганди

Известен как:

изобретатель машины Тьюринга, теста Тьюринга

Награды и премии


Кавалер ордена Британской империи (военный)

член Лондонского королевского общества
Алан Тьюринг на Викискладе

А́лан Мэ́тисон Тью́ринг (англ. Alan Mathison Turing; 23 июня 1912(19120623) — 7 июня 1954) — английский математик, логик, криптограф, оказавший существенное влияние на развитие информатики. Кавалер Ордена Британской империи (1945), член Лондонского королевского общества (1951)[1]. Предложенная им в 1936 году абстрактная вычислительная «Машина Тьюринга», которую можно считать моделью компьютера общего назначения[2], позволила формализовать понятие алгоритма и до сих пор используется во множестве теоретических и практических исследований. Научные труды А. Тьюринга — общепризнанный вклад в основания информатики (и, в частности, — теории искусственного интеллекта)[3].

Во время Второй мировой войны Алан Тьюринг работал в Правительственной школе кодов и шифров, располагавшейся в Блетчли-парке, где была сосредоточена работа по взлому шифров и кодов стран оси. Он возглавлял группу Hut 8, ответственную за криптоанализ сообщений военно-морского флота Германии. Тьюринг разработал ряд методов взлома, в том числе теоретическую базу для Bombe — машины, использованной для взлома немецкого шифратора Enigma.

После войны Тьюринг работал в Национальной физической лаборатории, где по его проекту был реализован первый в мире компьютер с хранимой в памяти программой — ACE. В 1948 учёный присоединился к вычислительной лаборатории Макса Ньюмана в Университете Манчестера, где ассистировал при создании Манчестерских Компьютеров  (англ.)[4], а позднее заинтересовался математической биологией. Тьюринг опубликовал работу по химическим основам морфогенеза и предсказал протекающие в колебательном режиме (англ.) химические реакции, такие как реакция Белоусова — Жаботинского, которые впервые были представлены научному сообществу в 1968 году. В 1950 году предложил эмпирический тест Тьюринга для оценки искусственного интеллекта компьютера.

В 1952 году Алан Тьюринг был признан виновным в совершении гомосексуальных половых актов и осуждён в соответствии с Поправкой Лабушера. Тьюрингу был предоставлен выбор между принудительной гормональной терапией, призванной подавить либидо, или тюремным заключением. Учёный выбрал первое. Алан Тьюринг умер в 1954 году от отравления цианидом. Следствие установило, что Тьюринг совершил самоубийство, хотя мать учёного считала, что произошедшее было случайностью. Алан Тьюринг был признан «одной из самых известных жертв гомофобии в Великобритании»[5]. 24 декабря 2013 года Тьюринг был посмертно помилован королевой Великобритании Елизаветой II[6][7].

В честь учёного названа Премия Тьюринга — самая престижная в мире награда в области информатики.

Ранние годы и начало карьеры

Родители Алана жили в индийском городе Чхатрапур[8][9]. Отец — Юлиус Мэтисон Тьюринг представитель старого шотландского аристократического рода, работал в Имперской государственной службе. Мать — Сара Этель, была протестанткой родом из Ирландии. Когда она ждала ребёнка, супруги решили переехать в Англию, чтобы он рос и воспитывался в Лондоне. Там Алан Тьюринг и родился 23 июня 1912 года. У него был старший брат Джон. Государственная служба Юлиуса Тьюринга продолжалась и родителям Алана приходилось часто путешествовать между Гастингсом[10] и Индией, оставляя двоих своих сыновей на попечение отставной армейской пары. Признаки гениальности проявлялись у Тьюринга с раннего детства[11].

В шесть лет Алан Тьюринг пошёл в школу святого Михаила в Гастингсе, директор которой сразу отметила его одарённость. В 1926 году, в возрасте 13 лет, Тьюринг пошёл в известную частную школу Шерборн (англ.) в городе Шерборн графства Дорсет. Его первый день в школе совпал со Всеобщей забастовкой 1926 года. Поэтому Тьюрингу пришлось преодолеть расстояние около 100 км от Саутгемптона до Шерборна на велосипеде, по пути он переночевал в гостинице[12].

Увлечение Тьюринга математикой не нашло особой поддержки среди учителей Шерборнской школы, где уделяли больше внимания гуманитарным наукам. Директор школы писал родителям: « Я надеюсь, что он не будет пытаться усидеть на двух стульях разом. Если он намеревается остаться в частной школе, то он должен стремится к получению „образования“. Если же он собирается быть исключительно „научным специалистом“ то частная школа для него — пустая трата времени»[13]. Тем не менее, в областях, интересовавших его, Тьюринг проявлял незаурядные способности. Он решал сложные математические задачи в 1927 году, несмотря на то, что ему не преподавали даже основ математического анализа. В 1928 году, в возрасте 16 лет, Тьюринг ознакомился с работой Эйнштейна, в которой ему удалось разобраться до такой степени, что он смог экстраполировать из текста сомнения Эйнштейна относительно выполнимости Законов Ньютона, которые не были высказаны в статье в явном виде[14].

В Шерборне Тьюринг близко подружился с Кристофером Моркомом. Когда эти отношения прервались в феврале 1930 года из-за смерти Моркома, вызванной осложнением «бычьего туберкулёза», которым Морком заразился несколькими годами ранее, после употребления инфицированного молока[15][16], религиозные верования Тьюринга пошатнулись и он стал атеистом. Алан проникся идеей того, что все феномены, в том числе и работа человеческого мозга, должны нести в себе материалистическое начало, однако он по-прежнему верил в загробную жизнь души[17].

Университетские годы

Из-за нелюбви к гуманитарным наукам, Тьюринг недобрал баллов на экзамене и поэтому после школы поступил в Королевский колледж Кембриджа, хотя намеревался пойти в Тринити-колледж. В Королевском коллежде Тьюринг учился с 1931 по 1934 год под руководством известного математика Годфри Харолда Харди.

Королевский колледж Кембриджа, где в честь Тьюринга, который начал учиться здесь в 1932 году, а в 1934 стал фелло, назван один из компьютерных классов.

В 1928 году немецкий математик Давид Гильберт привлек внимание мировой общественности к проблеме разрешения (Entscheidungsproblem). В своей работе «On Computable Numbers, with an Application to the Entscheidungsproblem» (опубликованной 12 ноября 1936 года)[18][19] Тьюринг переформулировал теорему Гёделя о неполноте, заменив универсальный формальный арифметический язык Гёделя на простые гипотетические устройства, которые впоследствии стали известны, как машины Тьюринга. Он доказал, что подобная машина была бы способна произвести любые математические вычисления, представимые в виде алгоритма. Далее Тьюринг показал, что не существует решения Entscheidungsproblem, сперва доказав, что Проблема остановки для машины Тьюринга неразрешима: в общем случае невозможно алгоритмически определить, остановится ли когда-нибудь данная машина Тьюринга.

Хотя доказательство Тьюринга было обнародовано в скором времени после эквивалентного доказательства Алонзо Чёрча, в котором использовались Лямбда-исчисления, сам Тьюринг был с ним не знаком[20]. Подход Алана Тьюринга принято считать более доступным и интуитивным. Идея «Универсальной Машины», способной выполнять функции любой другой машины, или другими словами, вычислить всё, что можно в принципе вычислить, была крайне оригинальной. Фон Нейман признал, что концепция современного компьютера основана на этой работе Алана Тьюринга[21]. Машины Тьюринга по-прежнему являются основным объектом исследования теории алгоритмов.

С сентября 1936 года по июль 1938 Тьюринг работал под руководством Чёрча в Принстоне. Кроме занятий математикой, учёный изучал криптографию, а также конструировал электро-механический бинарный умножитель. В июне 1938 года Тьюринг защитил докторскую диссертацию «Логические системы, основанные на ординалах» (англ.)[22], в которой была представлена идея сведения по Тьюрингу (англ.), заключающаяся в объединении машины Тьюринга с оракулом. Это позволяет исследовать проблемы, которые невозможно решить с помощью лишь машины Тьюринга.

В Кембридже Алан Тьюринг посещал лекции Людвига Витгенштейна о кризисе оснований математики[23]. Учёные много спорили, так как Тьюринг выступал в защиту формализма, тогда как Витгенштейн считал, что математика не ищет абсолютную правду, а изобретает её[24].

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

Во время Второй мировой войны Алан Тьюринг принимал активное участие во взломе немецких шифров в Блетчли-парке. Историк и ветеран Блетчли-парка Эйза Бригс однажды сказал:

Блетчли-парку был нужен исключительный талант, исключительная гениальность, и гениальность Тьюринга была именно такой.

— Телепередача «Величайший криптоаналитик Британии», UK Channel 4, 21.11.2011

С сентября 1938 года Тьюринг работал на полставки в GCHQ — британской организации, специализировавшейся на взломе шифров. Совместно с Дили Нокс он занимался криптоанализом «Энигмы»[25]. Вскоре после встречи в Варшаве в июле 1939 года, на которой польское Бюро шифров предоставило Великобритании и Франции подробные сведения о соединениях в роторах «Энигмы» (англ.) и методе расшифровки сообщений, Тьюринг и Кнокс начали свою работу над более основательным способом решения проблемы[25]. Польский метод основывался на недоработках индикаторной процедуры, которые немцы исправили к маю 1940 года. Подход Тьюринга был более общим и основан на методе перебора последовательностей исходного текста, для которого он разработал начальную функциональную спецификацию Bombe.

4 сентября 1939, на следующий день после того, как Великобритания объявила войну Германии, Тюринг вернулся в Блетчли-парк, где в то время располагался Центр правительственной связи.

Спецификация для «Бомбы» было только первым из пяти важнейших достижений Тьюринга в области военного криптоанализа. Учёный также определил индикаторную процедуру ВМФ Германии; разработал более эффективный способ использования Bombe, основанный на статистическом анализе и названный «Банбурисмусом» (англ.); метод определения параметров колёс машины Лоренца, названный «Тьюринжерией» (англ.); ближе к концу войны Тьюринг разработал портативный шифратор речи Delilah.

Статистический подход к оптимизации исследований различных вероятностей в процессе разгадывания шифров, который использовал Тьюринг, был новым словом в науке. Тюринг написал две работы: «Доклад о применимости вероятностного подхода в криптоанализе»[26] и «Документ о статистике и повторениях»[27], которые представляли для GCCS, а позже и для GCHQ (Government Communications Headquarters) такую ценность, что не были предоставлены национальному архиву (англ.) вплоть до апреля 2012 года, незадолго до празднования ста лет со дня рождения учёного. Один из сотрудников GCHQ заявил, что этот факт, говорит о беспрецедентной важности этих работ[28].

В Блэтчли-парке у Тьюринга была репутация чудака. В кругу коллег он был известен, как «Проф», а его работу, посвященная «Энигме» называли «Книгой Профа»[29]. Джек Гуд — криптоаналитик, работавший с Тьюрингом, по словам Рональда Левина, так отзывался о Тьюринге:

Каждый год в первую неделю июня у него начиналась сенная лихорадка и он ездил в офис в противогазе. У его велосипеда слетала цепь через определённые интервалы, но вместо того, чтобы отдать её в починку, он считал обороты педалей и слезал с велосипеда в нужный момент, чтобы поправить её руками. Другая его странность заключалась в том, что он пристегивал свою кружку на цепь к батарее, потому что боялся, что её украдут[30][31].

В 1945 году Тьюринг был награждён орденом Британской империи королём Георгом VI за свою военную службу, но этот факт оставался в секрете многие годы[32].

Машина Тьюринга — Велшмана

Дешифровальная машина «Bombe»

В течение нескольких недель после прибытия в Блэтчли-парк Тьюринг написал спецификации к электромеханической машине, которая могла помочь со взломом «Энигмы» более эффективно, чем польская «криптологическая бомба». Машина Тьюринга с улучшениями, предложенными математиком Гордоном Велшманом, стала важнейшим инструментом для расшифровки сообщений «Энигмы». Машина получила название Bombe[Прим. 1].

Машина искала возможные настройки, использованные для шифрования сообщений (порядок роторов, положение ротора, соединения коммутационной панели), опираясь на известный открытый текст. Для каждой возможной настройки ротора (у которого было 1019 состояний или 1022 в модификации, использовавшейся на подводных лодках) машина производила ряд логических предположений, основываясь на открытом тексте (его содержании и структуре). Далее машина определяла противоречие, отбрасывала набор параметров и переходила к следующему. Таким образом, большая часть возможных наборов отсеивалась и для тщательного анализа оставалось всего несколько вариантов. Первая машина была запущена в эксплуатацию 18 марта 1940 года. Перебор ключей выполнялся за счёт вращения механических барабанов, сопровождавшегося звуком, похожим на тиканье часов.

Осенью 1941 года Алана Тьюринга и его коллег Гордона Вэлша, Александра Хью и Стьюарта Милнер-Бари постигло разочарование. На основе наработок польского бюро шифров они смогли наладить работу системы, способной эффективно взламывать шифр «Энигмы», но у них было мало и людей и машин, поэтому времени на расшифровку всех сообщений не хватало. Тем не менее, благодаря успехам дешифраторов, летом 1941 года потери грузов от действий немецких подлодок сократились до 100 000 тонн в месяц, но этого было всё ещё недостаточно. Группе необходимы были ресурсы для того, чтобы справиться с постоянными улучшениями немцев. Попытки получить больше людей и привлечь финансирование для постройки новых машин официальными путями ни к чему не привели. Наконец, 28 октября, нарушая все правила, они отправили письмо Черчиллю. Тьюринг и его коллеги особенно подчеркнули, что их запросы ничтожны по сравнению с возможной выгодой[33].

Эффект не заставил себя ждать, Черчилль послал молнию генералу Исмэю:

К НЕМЕДЛЕННОМУ ИСПОЛНЕНИЮ. Удостоверьтесь, что у них есть всё что нужно и отчитайтесь мне о выполнении.

18 ноября глава разведки доложил, что все возможные меры были предприняты[34]. К концу войны в эксплуатацию было запущено более двух сотен машин[35].

Hut 8 Энигма ВМФ

Тьюринг решил заняться особенно сложной задачей анализа Энигмы ВМФ (англ.).

потому, что никто этим не занимался, я мог оставить эту проблему себе[36].

В декабре 1939 года Тьюринг разобрался с основной частью индикаторной системы Энигмы ВМФ, которая была сложнее, чем использовавшаяся другими родами войск[36][37]. Той же ночью Тьюрингу пришла идея «Banburismus (англ.)», последовательной статистической техники (которую Абрахам Вальд позднее назвал статистическим последовательным анализом) призванной помочь в расшифровке сообщений Энигмы ВМФ.

я не был уверен, что это сработает на практике, пока не прошло несколько дней[36].

Для этого он ввёл новую логарифмическую (с основанием 10) единицу измерения информации (энтропии) — ban. Banburismus мог исключать определённые последовательности роторов Энигмы, значительно уменьшая количество времени необходимое для проверки настроек на Бомбе.

В 1941 году Тьюринг сделал предложение коллеге по Hut 8 — Джоан Кларк, но помолвка продлилась недолго. После признания своей гомосексуальности перед невестой, которая по слухам отнеслась к нему «равнодушно», Тьюринг решил, что не стоит доводить дело до свадьбы[38].

Полная функционирующая копия машины «Bombe» в Блэтчли-парке

В ноябре 1942 года Тьюринг отправился в США[39], где совместно с криптоаналитиками ВМФ работал над взломом Энигмы и постройкой машин «Bombe» в Вашингтоне. Он посетил компьютерную лабораторию (англ.) в Дайтоне, штат Огайо и его реакция на дизайн американских Бомб была не слишком обнадёживающей[40].

Во время своего пребывания в Америке Тьюринг также ассистировал при разработке устройства шифрования речи в Bell Labs[41].

В Блэтчли-парк Алан вернулся в марте 1943 года. Во время его отсутствия Александр Хью официально занял позицию руководителя Hut 8, хотя де факто к этому моменту он уже некоторое время исполнял эти обязанности, так как Тьюринга не волновала рутина, связанная с ежедневной работой секции. Учёный занял позицию консультанта по криптоанализу в Блэтчли-парке.

Александр Хью так отзывался о вкладе Тьюринга:

Не может быть никаких сомнений в том, что работа Тьюринга была важнейшим фактором успеха Hut 8. В начале он не только был единственным криптоаналитиком, уверенным в том, что это разрешимая проблема, человеком, ответственным за основную теоретическую работу, он также предоставил Вэлшмену и Кину главные наработки для дальнейшего создания Bombe. Всегда сложно назвать кого-то незаменимым, но если в HUT 8 и был незаменимый человек, то это Алан Тьюринг. Работа первопроходца всегда начинает забываться, когда опыт и рутина создают кажущееся ощущение простоты, и многие из нас в Hut 8 чувствовали, что масштаб вклада Тьюринга, никогда в полной мере не был понят остальным миром[42].

Colossus

В июле 1942 года Тьюринг принял участие в расшифровке кода «Лоренц», применявшегося немцами для передачи сообщений высшего командования[43][Прим. 2]. «Лоренц» был существенно сложнее «Энигмы» и не поддавался расшифровке существовавшими методами. Тьюринг предложил использовать в конструкции дешифратора электронные лампы и привел в команду Т. Флауэрса — опытного инженера-электронщика. В результате совместных усилий математиков и инженеров был разработан «Колосс» — одна из первых в мире ЭВМ[44]. К 1944 с помощью «Колосса» код «Лоренц» был взломан, что позволило союзникам читать всю переписку высшего германского руководства. По некоторым оценкам, это приблизило поражение Германии на несколько лет.

Шифратор Речи (Delilah)

Алан Тьюринг продолжил работу по созданию электронного устройства для шифрования речи в телефонных сетях, начатую им в Bell Labs[45]. Он начал сотрудничать с радиослужбой разведки (англ.) в Хэнслоп Парке. Вместе с инженером Дональдом Бэйли Тьюринг разработал дизайн портативного шифратора речи — Delilah[46]. Устройство не было приспособлено для работы с радиосистемами высокой дальности и было закончено слишком поздно, чтобы применяться в военные годы. Несмотря на успешную демонстрацию Тьюринга (была зашифрована и расшифрована речь Черчилля), Delilah не пошла в массовое производство[47]. В шифраторе Тьюринга использовалось менее 30 электронных ламп, и превзойти его другие решения смогли лишь через 15 лет.

Ранние компьютеры и тест Тьюринга

С 1945 по 1947 год Тьюринг проживал в Ричмонде и работал над ACE(Automatic Computing Engine) в Национальной физической лаборатории. 19 февраля 1946 он представил работу, которую можно назвать первым детальным описанием компьютера с хранимой в памяти программой[48]. Незаконченная работа "Первый проект отчёта о EDVAC" (1945) Фон Неймана, предшествовала ей, но была намного менее детальна, а согласно руководителю математического отделения Национальной физической лаборатории — Джону Воурмслей:

она [работа Фон Неймана] содержит ряд идей, которые принадлежат доктору Тьюрингу[49].

Несмотря на то, что постройка ACE была вполне осуществима, секретность, окружавшая Блэтчли-парк привела к задержкам в начале работ, что разочаровало Тьюринга. К концу 1947 года он вернулся в Кембридж ради годичного отпуска в течение которого он плодотворно работал над «Intelligent Machinery», которая не была опубликована прижизненно[50]. Пока Алан Тьюринг пребывал в Кембридже Pilot ACE был построен в его отсутствие. Он выполнил свою первую программу 10 мая 1950 года. Хотя полная версия ACE никогда не была построена, некоторые компьютеры имели с ним много общего, к примеру DEUCE и Bendix G-15 (англ.)

Во время работы в Национальной физической лаборатории Алан Тьюринг активно занимался бегом и выступал на соревнованиях за Легкоатлетический клуб Волтона. Тьюринг вступил в него в конце 1945 года и показывал результаты мирового уровня. Его лучшее время марафона составило 2 часа 46 минут и 3 секунды, что всего на 11 минут больше, чем у победителя олимпийских игр 1948 года, ранее в этом же году в забеге на пересечённой местности Алан финишировал раньше Тома Ричардса — серебряного призёра олимпиады[51].

В 1948 году Алан Тьюринг получил звание Reader (англ.) в математическом департаменте Манчестерского университета (англ.). Там в 1949 году он стал директором Компьютерной Лаборатории, где была сосредоточена работа по программированию Манчестерского Марка I. В то же время Тюринг продолжал работать над более абстрактными математическими задачами[52], а в своей работе "Computing Machinery and Intelligence" (англ.)(журнал «Mind», октябрь 1950) он обратился к проблеме искусственного интеллекта и предложил эксперимент, ставший впоследствии известным, как тест Тьюринга. Его идея заключалась в том, что можно считать, что компьютер «мыслит», если человек, взаимодействующий с ним, не сможет в процессе общения отличить компьютер от другого человека[53]. В этой работе Тьюринг предположил, что вместо того чтобы пытаться создать программу, симулирующую разум взрослого человека, намного проще было бы начать с разума ребёнка, а затем обучать его. CAPTCHA, основанный на обратном тесте Тьюринга, широко распространён в интернете.

В 1948 году Алан совместно со своим бывшим коллегой Дэвидом Чамперновном (англ.) начал писать шахматную программу для компьютера, который ещё не существовал. В 1952 году, не имея подходящего устройства для её выполнения, Тьюринг сыграл игру, в которой симулировал действия машины, делая по одному ходу раз в полчаса. Игра была записана[54] и в результате программа проиграла коллеге Тьюринга Алеку Глини, но выиграла партию у жены Чамперновна.

Тьюринг также изобрёл метод LU-разложение в 1948, который сегодня используется для решения уравнений[55].

Морфогенез

В 1952 году Тьюринг опубликовал работу под названием «Химические основы морфогенеза» (The chemical basis of morphogenesis (англ.)), где впервые[56] математически описывается процесс самоорганизации материи. Его основным интересом в этой области было листорасположение Фибоначчи — наличие чисел Фибоначчи в структурах растений. Поздние работы не были опубликованы вплоть до 1992 года, когда был выпущен сборник его трудов. Вклад Тьюринга в эту область считается основополагающим[57].

Обвинение в непристойности

Квартира Тьюринга в Вилмслоу

В январе 1952 года Алан Тьюринг познакомился с девятнадцатилетним рабочим Арнольдом Мюрреем недалеко от кинотеатра в Манчестере[58]. После совместного ленча, Тьюринг предложил Мюррею провести с ним выходные у него дома, последний принял предложение, но так и не появился. Пара снова встретилась в Манчестере в следующий понедельник, и Мюррей согласился проводить Тьюринга до дома. Несколькими неделями спустя юноша снова посетил дом учёного и провёл там ночь[59].

После того как Мюррей с соучастником обворовали дом учёного, Тьюринг заявил об этом в полицию и в процессе расследования признался в сексуальной связи с обвиняемым. Гомосексуальные половые акты являлись в те времена противозаконными в Соединённом Королевстве[60], и обоим было предъявлено обвинение в непристойном поведении в соответствии с Поправкой Лабушера[61]. Тьюрингу был предложен выбор между тюремным заключением и гормональной терапией, призванной подавить либидо. Учёный предпочёл инъекции стильбэстрола (англ.) — это лечение продолжалось один год, что привело к импотенции и гинекомастии[62].

Обвинения, предъявленные Тьюрингу, привели к потере статуса благонадёжности и отстранению от работы консультанта по криптоанализу в GCHQ. В то время существовали некоторые опасения вербовки шпионов-гомосексуалов советскими агентами[63], связанные с раскрытием первых двух членов Кембриджской пятёрки: Дональда Маклэйна и Гая Бёрджеса. Алана никогда не обвиняли в шпионаже, но ему было запрещено обсуждать подробности своей работы в Блэтчли-парке в соответствии с актом о секретности (англ.)[64].

Смерть

8 июня 1954 Алан Тьюринг был найден в своей квартире. Вскрытие показало, что причиной смерти было отравление цианидом (англ.). На прикроватной тумбе было обнаружено надкусанное яблоко, и хотя его экспертиза на наличие цианида никогда не проводилась[65], мнение, что именно оно содержало яд, широко распространено. Расследование установило, что учёный покончил жизнь самоубийством. Тело было кремировано в Уокинге (англ.) 12 июня 1954 года[66].

Ходжес и Дэвид Левит предполагают, что Тьюринг воссоздал сцену из мультфильма Уолта Диснея Белоснежка 1937 года — любимой сказки учёного. По словам Левита:

ему особенно нравилась сцена, в которой Злая Королева погружает яблоко в ядовитое зелье[67].

Сторонником этой же версии является друг Тьюринга — Алан Гарнер, который в 2011 году написал об этом в своей статье для The Guardian[68].

Доктор Джек Копеланд после досконального изучения результатов вскрытия пришёл к другой точке зрения: отравление было вызвано вдыханием паров цианида, выделявшихся аппаратом для гальванопластики ложек золотом, в котором использовался диоксид цианида[что?] для растворения золота. Также Тьюринг обычно съедал яблоко перед сном и нет ничего необычного в том, что он его не доел[69]. К тому же Тьюринг относился к гормональной терапии (которая закончилась за год до происшествия) с «долей юмора» и не проявлял признаков уныния, наоборот, он составил список задач, которыми планировал заняться после выходных[69]. Мать учёного считала, что смерть её сына была случайностью, вызванной неаккуратным хранением химикатов, однако, Ходжес, полагает, что Тьюринг мог подстроить эксперимент таким образом, чтобы не расстраивать её[70].

10 сентября 2009 года Премьер-министр Великобритании Гордон Браун публично принёс извинения за преследования, которым был подвергнут Алан Тьюринг:

С Аланом и с многими тысячами других мужчин-геев, осуждённых по гомофобным законам, обошлись ужасно. А многие миллионы тех, кто не были осуждены, годами жили в постоянном страхе быть осуждёнными за то, что они такие, какие они есть.

Я горжусь тем, что те времена прошли, и что за последние 12 лет наше правительство сделало многое, чтобы сделать жизнь более справедливой и равной для нашего сообщества ЛГБТ. Признание Алана одной из самых известных жертв гомофобии в Великобритании является ещё одним шагом к обеспечению равенства.

<…>

От имени британского правительства и всех тех, кто живёт на свободе благодаря вкладу Алана, я со всей искренностью говорю: прости нас, ты заслуживаешь гораздо лучшего.

— Премьер-министр Великобритании Гордон Браун[71]

В 2002 году Алан Тьюринг был признан «одним из 100 величайших британцев в истории».

В 2009 году Алан Тьюринг был признан «одной из самых известных жертв гомофобии в Великобритании»[71].

В 2013 году королева Великобритании Елизавета II помиловала Тьюринга за обвинения в гомосексуализме[72].

Память

Публикации

См. также

Примечания

  1. Название устройства Bombe иногда ошибочно переводится на русский как «бомба». Между тем, бомба по-английски — bomb. 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.» // Enigma: The Battle for the Code, By Hugh Sebag-Montefiore, 2002, ISBN 978-0-471-43721-5).
  2. Lorenz был немецким названием кода, британцы называли его «Танни» (англ. tunny — тунец).

Примечания

  1. Тьюринг Алан Матисон — статья из Большой советской энциклопедии (3-е издание)
  2. (1955) «Alan Mathison Turing. 1912–1954». Biographical Memoirs of Fellows of the Royal Society 1: 253. DOI:10.1098/rsbm.1955.0019.
  3. Computability and Complexity Theory. — 2001. — P. 35. — ISBN 0-387-95055-9.
  4. Leavitt, 2007, с. 231–233
  5. PM apology after Turing petition. Проверено 4 марта 2012. Архивировано из первоисточника 28 мая 2012.
  6. Елизавета II накануне Рождества помиловала покойного расшифровщика «Энигмы» // ИТАР-ТАСС
  7. Алан Тьюринг, взломщик шифров и гей, помилован посмертно
  8. Hodges, 1992
  9. The Alan Turing Internet Scrapbook. Turing.org.uk. Проверено 2 января 2012. Архивировано из первоисточника 14 октября 2012.
  10. Hodges, 1992, с. 6
  11. Jones, G. James Alan Turing – Towards a Digital Mind: Part 1. System Toolbox (11 December 2001). Проверено 27 июля 2007. Архивировано из первоисточника 3 августа 2007.
  12. Hofstadter Douglas R. Metamagical Themas: Questing for the Essence of Mind and Pattern. — Basic Books, 1985. — ISBN 0-465-04566-9.
  13. Hodges, 1992, с. 26
  14. Hodges, 1992, с. 34
  15. Hassall, R The Sherborne formula: the making of Alan Turing Vivat! 2012/13: 17—29.
  16. Teuscher Christof (ed.) Alan Turing: Life and Legacy of a Great Thinker. — Springer-Verlag, 2004. — ISBN 3-540-20020-7.
  17. The Inspiration of Life and Death, 1928—1932 Alan Turing Scrapbook
  18. On Computable Numbers, with an Application to the Entscheidungsproblem. — Proceedings of the London Mathematical Society. — Vol. 42. — P. 230—65.
  19. On Computable Numbers, with an Application to the Entscheidungsproblem: A correction. — Proceedings of the London Mathematical Society, 1938. — Vol. 43. — P. 244—46.
  20. Hodges, 1992, с. 111
  21. «Фон Нейман… особенно подчеркнул, что основная концепция принадлежит Тьюрингу…» письмо Стенли Франкеля (англ.) к Брайану Ранделю (англ.), 1972, цитируется в Копеланде (англ.) (2004) The Essential Turing, с22.
  22. Turing, A. M. (1938), «Systems of Logic Based on Ordinals», <https://webspace.princeton.edu/users/jedwards/Turing%20Centennial%202012/Mudd%20Archive%20files/12285_AC100_Turing_1938.pdf> 
  23. Hodges, 1992, с. 152
  24. Hodges, 1992, с. 153—154
  25. 1 2 Jack Copeland, «Colossus and the Dawning of the Computer Age», p. 352 in Action This Day, 2001.
  26. Turing, Alan (c. 1941), «Report on the applications of probability to cryptography», The National Archives of the UK: HW 25/37, <http://www.nationalarchives.gov.uk/news/705.htm> 
  27. Turing, Alan (c. 1941), «Paper on statistics of repetitions», The National Archives of the UK: HW 25/38, <http://www.nationalarchives.gov.uk/news/705.htm> 
  28. Vallance, Chris. Alan Turing papers on code breaking released by GCHQ (19 April 2012). Проверено 20 апреля 2012.
  29. Hodges, 1992, с. 208
  30. Lewin, 1978, с. 57
  31. Подробно алгоритм езды на велосипеде Тьюринга описан в романе Нила Стивенсона. «Криптономикон» ISBN 978-5-17-043191-5, 978-5-9762-2892-4
  32. Alan Turing: Colleagues share their memories, BBC News (23 June 2012).
  33. Hodges, 1992, с. 218
  34. Hodges, 1992, с. 221
  35. Alan Turing, Codebreaker and Computer Pioneer. alanturing.net (May 2004). Проверено 27 июля 2007. Архивировано из первоисточника 28 ноября 2012.
  36. 1 2 3 Mahon, 1945, с. 14
  37. Leavitt, 2007, с. 184—186
  38. Leavitt, 2007, с. 176—178
  39. Hodges, 1992, с. 242—245
  40. BOMBE PROJECT HISTORY, MAY 44. Проверено 2 мая 2012. Архивировано из первоисточника 29 ноября 2012.
  41. Hodges, 1992, с. 245—253
  42. Alexander, 1945, с. 42
  43. Copeland, 2006, с. 380
  44. Copeland, 2006, с. 72
  45. Hodges, 1992, с. 245—250
  46. Hodges, 1992, с. 273
  47. Hodges, 1992, с. 346
  48. Copeland, 2006, с. 108
  49. Randell, B (1980), «A History of Computing in the Twentieth Century: Colossus», <http://www.cs.ncl.ac.uk/research/pubs/books/papers/133.pdf>. Проверено 27 января 2012.  citing Womersley, J. R. (13 February 1946), "«'ACE' Machine Project»", Executive Committee, National Physical Laboratory, Teddington, Middlesex 
  50. Copeland, 2006
  51. A suburban runner (англ.). Проверено 28 ноября 2012. Архивировано из первоисточника 29 ноября 2012.
  52. Turing, Alan M. (Sept. 1948). «Rounding-Off Errors in Matrix Processes». Quarterly Journal of Mechanics and Applied Mathematics 1: 287–308.
  53. Stevan Harnad (2008) The Annotation Game: On Turing (1950) on Computing, Machinery and Intelligence. In: Epstein, Robert & Peters, Grace (Eds.) Parsing the Turing Test: Philosophical and Methodological Issues in the Quest for the Thinking Computer. Springer
  54. Alan Turing vs Alick Glennie (1952) «Turing Test» Chessgames.com
  55. SPICE 1 2 3 and beyond ... Intusoft Newsletter, August 2003. Intusoft.com (16 August 2001). Проверено 29 мая 2011. Архивировано из первоисточника 11 июня 2011.
  56. как сказано в фильме BBC «Тайная жизнь хаоса» (страница с фрагментами фильма. Про работу Тьюринга — в середине первого фрагмента (субтитры (недоступная ссылка с 13-05-2013 (527 дней)))
  57. Turing's Last, Lost work на Wayback Machine (от 23 августа 2003)
  58. «Turing Centenary: The Trial of Alan Turing for Homosexual Conduct» at polarimagazine.com
  59. Leavitt, 2006, с. 266
  60. Hodges, 1992, с. 458
  61. Leavitt, 2006, с. 268
  62. Hodges, 2006
  63. Leavitt, 2006
  64. Copeland, 2006
  65. Hodges, 1992, с. 488
  66. Hodges, 1992, с. 529
  67. Leavitt, 2006, с. 140
  68. Garner, Alan. My hero: Alan Turing, by Alan Garner, The Guardian, Guardian News and Media Limited (11 November 2011). Проверено 23 июня 2012.
  69. 1 2 Pease, Roland. Alan Turing: Inquest's suicide verdict 'not supportable', BBC News Online (23 June 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"».
  70. Hodges, 1992, с. 488—489
  71. 1 2 Treatment of Alan Turing was «appalling» — PM // The official site of the Prime Minister’s Office, 10 сентября 2009
    Перевод заявления Премьер-министра Великобритании Гордона Брауна. // ЖЖ-сообществоru_antidogma, 12 сентября 2009
  72. Британская королева помиловала математика Тьюринга. Lenta.ru (24 декабря 2013). Проверено 24 декабря 2013. Архивировано из первоисточника 24 декабря 2013.
  73. Schmadel, Lutz D. Dictionary of Minor Planet Names. — Fifth Revised and Enlarged Edition. — B., Heidelberg, N. Y.: Springer, 2003. — P. 725. — ISBN 3-540-00238-3.

Литература

Ссылки