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

Алан Тьюринг
Alan Mathison Turing
Фото на паспорт. 16 лет.
Дата рождения:	23 июня 1912(1912-06-23)
Место рождения:	Лондон, Англия
Дата смерти:	7 июня 1954(1954-06-07) (41 год)
Место смерти:	Вилмслоу, Чешир, Англия
Страна:	Великобритания
Научная сфера:	математика, логика, криптография, информатика
Место работы:	Кембриджский университет Национальная физическая лаборатория Правительственная школа кодов и шифров Манчестерский университет
Альма-матер:	Королевский колледж, Кембридж Принстонский университет
Научный руководитель:	Алонзо Чёрч
Известные ученики:	Робин Ганди
Известен как:	изобретатель машины Тьюринга, теста Тьюринга
Награды и премии	член Лондонского королевского общества

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

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

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

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

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

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

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

Шерборнская школа (англ.)

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

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

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

Основные статьи: Машина Тьюринга, Проблема остановки

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

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

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

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

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

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

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

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

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

Блетчли Парк

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

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

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

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

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

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

Бомба Тьюринга-Велшмана

Основная статья: Криптоанализ «Энигмы»

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

В течение нескольких недель после прибытия в Блэтчли-парк, Тьюринг написал спецификации к электромеханической машине, которая могла помочь со взломом «Энигмы» более эффективно, чем польская bomba kryptologiczna (англ.), от которой она унаследовала своё имя. «Бомба» с улучшениям, предложенными математиком Гордоном Велшманом стала важнейшим автоматическим инструментом для расшифровки сообщений «Энигмы».

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

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

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

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

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

Hut 8 Энигма ВМФ

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

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

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

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

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

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

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

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

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

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

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

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

Turingery

В июле 1942 года Тьюринг разработал технику, названную «Turingery (англ.)» (или шуточно «Тьюрингизмус»)^[42] и призванную упростить расшифровку сообщений машины Лоренца. В Блэтчли-парке было разработано роторное шифровальное устройство для телетайпа, которое называлось «Tunny», Turingery, по-сути представлял из себя метод подбора параметров роторов «Tunny»^[43]. Тьюринг также познакомил команду, работавшую над «Tunny» с Томми Фловерсом (англ.), который под руководством Макса Ньюмана (англ.) позднее создал «Колосс» (англ.) — первый в мире программируемый электронный компьютер, чья скорость работы позволила эффективно применить статистические методы к дешифровке сообщений^[44]. Некоторые ошибочно полагают, что основные заслуги по разработке «Колосса» принадлежат Тьюрингу. Turingery и Banburismus без сомнения сыграли свою роль во взломе машины Лоренца (англ.), но сам Тьюринг никогда напрямую не участвовал в разработке^[45].

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

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

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

Основные статьи: Тест Тьюринга, Искусственный интеллект

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

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

На соревнованиях

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

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

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

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

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

Морфогенез

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

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

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

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

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

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

Смерть

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

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

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

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

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

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

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

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

<…>

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

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

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

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

Память об Алане Тьюринге

• Одна из ежегодных наград Ассоциации вычислительной техники называется Премия Тьюринга.
• Алан Тьюринг упоминается в романе «Криптономикон» Нила Стивенсона и фигурирует в романе Роберта Харриса «Энигма».
• Известный писатель-фантаст Гарри Гаррисон в соавторстве с американским учёным в области искусственного интеллекта Марвином Мински написал роман «Выбор по Тьюрингу» («The Turing Option», 1992).
• В романе Уильяма Гибсона «Нейромант» фигурирует «полиция Тьюринга» («регистр Тьюринга»), которая занимается контролем и следит за развитием существующих искусственных интеллектов.
• Алан Тьюринг упоминается в компьютерной игре Assassin’s Creed: Brotherhood, в 4-м глифе истины (загадке), где говорится о якобы участии тамплиеров в его гибели во благо человечества (ибо одна машина заменит несколько человек, которые будут безработными).
• В честь Алана Тьюринга назван астероид (10204) Тьюринг^[73].

Публикации

• 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, Charles Babbage Institute, University of Minnesota. Metropolis was the first director of computing services at Los Alamos National Laboratory; topics include the relationship between Alan Turing and John von Neumann

Примечания

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. Архивировано из первоисточника 28 мая 2012. Проверено 4 марта 2012.
6. ↑ Hodges, 1992
7. ↑ The Alan Turing Internet Scrapbook. Turing.org.uk. Архивировано из первоисточника 14 октября 2012. Проверено 2 января 2012.
8. ↑ Hodges, 1992, с. 6
9. ↑ Jones, G. James Alan Turing – Towards a Digital Mind: Part 1. System Toolbox (11 December 2001). Архивировано из первоисточника 3 августа 2007. Проверено 27 июля 2007.
10. ↑ Hofstadter Douglas R. Metamagical Themas: Questing for the Essence of Mind and Pattern. — Basic Books, 1985. — ISBN 0-465-04566-9
11. ↑ Hodges, 1992, с. 26
12. ↑ Hodges, 1992, с. 34
13. ↑ Hassall, R The Sherborne formula: the making of Alan Turing Vivat! 2012/13: 17-29.
14. ↑ Teuscher Christof (ed.) Alan Turing: Life and Legacy of a Great Thinker. — Springer-Verlag, 2004. — ISBN 3-540-20020-7
15. ↑ The Inspiration of Life and Death, 1928—1932 Alan Turing Scrapbook
16. ↑ On Computable Numbers, with an Application to the Entscheidungsproblem. — Proceedings of the London Mathematical Society. — Vol. 42. — P. 230-65.
17. ↑ On Computable Numbers, with an Application to the Entscheidungsproblem: A correction. — Proceedings of the London Mathematical Society, 1938. — Vol. 43. — P. 244-46.
18. ↑ Hodges, 1992, с. 111
19. ↑ «Фон Нейман…особенно подчеркнул, что основная концепция принадлежит Тьюрингу…» письмо Стенли Франкеля (англ.) к Брайану Ранделю (англ.), 1972, цитируется в Копеланде (англ.) (2004) The Essential Turing, с22.
20. ↑ 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> 
21. ↑ Hodges, 1992, с. 152
22. ↑ Hodges, 1992, с. 153-154
23. ↑ Аса Бригс из телепередачи Величайший криптоаналитик Британии, показанной 21 ноября 2011 на UK Channel 4
24. ↑ ^{1 2} Jack Copeland, «Colossus and the Dawning of the Computer Age», p. 352 in Action This Day, 2001.
25. ↑ 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> 
26. ↑ 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> 
27. ↑ Vallance, Chris. Alan Turing papers on code breaking released by GCHQ (19 April 2012). Проверено 20 апреля 2012.
28. ↑ Hodges, 1992, с. 208
29. ↑ Lewin, 1978, с. 57
30. ↑ Подробно алгоритм езды на велосипеде Тьюринга описан в романе Нила Стивенсона. «Криптономикон» ISBN 978-5-17-043191-5, 978-5-9762-2892-4
31. ↑ Alan Turing: Colleagues share their memories, BBC News (23 June 2012).
32. ↑ Hodges, 1992, с. 218
33. ↑ Hodges, 1992, с. 221
34. ↑ Alan Turing, Codebreaker and Computer Pioneer. alanturing.net (May 2004). Архивировано из первоисточника 28 ноября 2012. Проверено 27 июля 2007.
35. ↑ ^{1 2 3} Mahon, 1945, с. 14
36. ↑ Leavitt, 2007, с. 184–186
37. ↑ Leavitt, 2007, с. 176-178
38. ↑ Hodges, 1992, с. 242-245
39. ↑ BOMBE PROJECT HISTORY, MAY 44. Архивировано из первоисточника 29 ноября 2012. Проверено 2 мая 2012.
40. ↑ Hodges, 1992, с. 245-253
41. ↑ Alexander, 1945, с. 42
42. ↑ Copeland, 2006, с. 380
43. ↑ Copeland, 2006, с. 381
44. ↑ Copeland, 2006, с. 72
45. ↑ Copeland, 2006, с. 382-383
46. ↑ Hodges, 1992, с. 245-250
47. ↑ Hodges, 1992, с. 273
48. ↑ Hodges, 1992, с. 346
49. ↑ Copeland, 2006, с. 108
50. ↑ 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 
51. ↑ Copeland, 2006
52. ↑ A suburban runner  (англ.). Архивировано из первоисточника 29 ноября 2012. Проверено 28 ноября 2012.
53. ↑ Turing, Alan M. (Sept. 1948). «Rounding-Off Errors in Matrix Processes». Quarterly Journal of Mechanics and Applied Mathematics 1: 287–308.
54. ↑ 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
55. ↑ Alan Turing vs Alick Glennie (1952) «Turing Test» Chessgames.com
56. ↑ SPICE 1 2 3 and beyond ... Intusoft Newsletter, August 2003. Intusoft.com (16 August 2001). Архивировано из первоисточника 11 июня 2011. Проверено 29 мая 2011.
57. ↑ как сказано в фильме BBC «Тайная жизнь хаоса» (страница с фрагментами фильма. Про работу Тьюринга — в середине первого фрагмента (субтитры)
58. ↑ Turing's Last, Lost work на Wayback Machine (от 23 августа 2003)
59. ↑ «Turing Centenary: The Trial of Alan Turing for Homosexual Conduct» at polarimagazine.com
60. ↑ Leavitt, 2006, с. 266
61. ↑ Hodges, 1992, с. 458
62. ↑ Leavitt, 2006, с. 268
63. ↑ Hodges, 2006
64. ↑ Leavitt, 2006
65. ↑ Copeland, 2006, с. 143
66. ↑ Hodges, 1992, с. 488
67. ↑ Hodges, 1992, с. 529
68. ↑ Leavitt, 2006, с. 140
69. ↑ Garner, Alan. My hero: Alan Turing, by Alan Garner, The Guardian, Guardian News and Media Limited (11 November 2011). Проверено 23 июня 2012.
70. ↑ ^{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"».
71. ↑ Hodges, 1992, с. 488-489
72. ↑ ^{1 2} Treatment of Alan Turing was «appalling». // The official site of the Prime Minister’s Office, 10 сентября 2009
    Перевод заявления Премьер-министра Великобритании Гордона Брауна. // ru_antidogma, 12 сентября 2009
73. ↑ Schmadel, Lutz D. Dictionary of Minor Planet Names (англ.). — Fifth Revised and Enlarged Edition. — B., Heidelberg, N. Y.: Springer, 2003. — P. 725. — 992 p. — ISBN 3-540-00238-3

Литература

• Jon Agar The government machine: a revolutionary history of the computer. — MIT Press, 2003. — ISBN 978-0-262-01202-7
• Тьюринг, Алан (англ.) в проекте «Математическая генеалогия»
• «The Mind and the Computing Machine: Alan Turing and others». The Rutherford Journal.
• Hodges, Andrew (27 August 2007). «Alan Turing». In Edward N. Zalta. Stanford Encyclopedia of Philosophy (Winter 2009 ed.). Stanford University. Retrieved 10 January 2011.
• Gray, Paul (29 March 1999). «Computer Scientist: Alan Turing». TIME.
• Gleick, James, The Information: A History, A Theory, A Flood, New York: Pantheon, 2011, ISBN 978-0-375-42372-7
• David Leavitt The man who knew too much: Alan Turing and the invention of the computer. — Phoenix. — ISBN 978-0-7538-2200-5
• Turing, Sara, Alan M. Turing, Centenary Edition, Cambridge University Press, 2012, ISBN 978-1-107-02058-0
• Andrew Hodges Alan Turing: the enigma. — Burnett Books, 1992. — ISBN 0-04-510060-8
• A.P. Mahon The History of Hut Eight 1939–1945. — UK National Archives Reference HW 25/2.
• Conel Hugh O'Donel Alexander Cryptographic History of Work on the German Naval Enigma. — The National Archives, Kew, Reference HW 25/1, 1945.
• B. Jack Copeland Colossus: The secrets of Bletchley Park's code-breaking computers. — Oxford University Press, 2006. — ISBN 978-0-19-284055-4

См. также

	Тьюринг, Алан Матисон в Викицитатнике?
	Тьюринг, Алан Матисон на Викискладе?

• Машина Тьюринга
• Тест Тьюринга
• Премия Тьюринга
• Тезис Чёрча — Тьюринга
• Полнота по Тьюрингу

Ссылки

• Биография
• Фотографии
• Г. Далидович «Заметки об искусственном интеллекте: маргаритки Тьюринга, Энигма Тьюринга, Яблоко Тьюринга»
• Роберт Харрис. Enigma
• Список статей, отчетов и лекций Тьюринга  (англ.)
• Иван Первачев «Алан Тьюринг»

Статья является кандидатом в хорошие статьи с 22 декабря 2012. Возможно, требуется доработка статьи.