Алан Матисон Тьюринг OBE FRS ( / ˈ tj ʊər ɪ ŋ / ; 23 июня 1912 — 7 июня 1954) был английским математиком, учёным-компьютерщиком , логиком , криптоаналитиком , философом и теоретическим биологом . [5] Он оказал большое влияние на развитие теоретической информатики , предоставив формализацию концепций алгоритма и вычисления с помощью машины Тьюринга , которую можно считать моделью компьютера общего назначения . [6] [7] [8] Тьюринг широко считается отцом теоретической информатики. [9]
Родившийся в Лондоне, Тьюринг вырос на юге Англии . Он окончил Королевский колледж в Кембридже , а в 1938 году получил докторскую степень в Принстонском университете . Во время Второй мировой войны Тьюринг работал в правительственной школе кодов и шифров в Блетчли-парке , британском центре по взлому кодов , который производил разведданные Ultra . Он руководил Hut 8 , секцией, ответственной за криптоанализ немецкого флота. Тьюринг разработал методы ускорения взлома немецких шифров , включая усовершенствования довоенного польского метода «бомба» , электромеханической машины, которая могла находить настройки для машины «Энигма» . Он сыграл решающую роль во взломе перехваченных сообщений, что позволило союзникам победить державы Оси во многих решающих сражениях, включая битву за Атлантику . [10] [11]
После войны Тьюринг работал в Национальной физической лаборатории , где он спроектировал автоматическую вычислительную машину , одну из первых конструкций для компьютера с хранимой программой. В 1948 году Тьюринг присоединился к Лаборатории вычислительных машин Макса Ньюмана в Университете Виктории в Манчестере , где он помогал разрабатывать компьютеры Манчестера [12] и заинтересовался математической биологией . Тьюринг писал о химической основе морфогенеза [13] [1] и предсказал колебательные химические реакции , такие как реакция Белоусова-Жаботинского , впервые обнаруженная в 1960-х годах. Несмотря на эти достижения, он так и не был полностью признан при жизни, поскольку большая часть его работы была защищена Законом о государственной тайне . [14]
В 1952 году Тьюринг был привлечен к ответственности за гомосексуальные действия . Он принял гормональное лечение, процедуру, обычно называемую химической кастрацией , в качестве альтернативы тюрьме. Тьюринг умер 7 июня 1954 года в возрасте 41 года от отравления цианидом . Следствие определило его смерть как самоубийство , но доказательства также соответствуют случайному отравлению. [15] После кампании в 2009 году британский премьер-министр Гордон Браун принес официальные публичные извинения за «ужасное обращение с [Тьюрингом]». Королева Елизавета II помиловала его в 2013 году. Термин « закон Алана Тьюринга » неофициально используется для обозначения закона 2017 года в Великобритании, который задним числом помиловал мужчин, предупрежденных или осужденных в соответствии с историческим законодательством, запрещающим гомосексуальные действия. [16]
Тьюринг оставил обширное наследие в математике и вычислительной технике, которое сегодня признано более широко, с памятниками и многими вещами, названными в его честь , включая ежегодную премию за вычислительные инновации. Его портрет изображен на 50-фунтовой банкноте Банка Англии , впервые выпущенной 23 июня 2021 года в день его рождения. Голосование зрителей в серии BBC 2019 года назвало Тьюринга величайшим человеком 20-го века.
Тьюринг родился в Мейда-Вейл , Лондон, в то время как его отец, Джулиус Матисон Тьюринг, был в отпуске со своей должности в Индийской гражданской службе (ICS) британского правительства Раджа в Чатрапуре , тогда в Мадрасском президентстве и в настоящее время в штате Одиша , в Индии . [17] [18] Отец Тьюринга был сыном священнослужителя, преподобного Джона Роберта Тьюринга, из шотландской семьи торговцев, которая обосновалась в Нидерландах и включала баронета . Мать Тьюринга, жена Джулиуса, была Этель Сара Тьюринг ( урожденная Стони ), дочь Эдварда Уоллера Стони, главного инженера Мадрасских железных дорог . Стони были протестантской англо-ирландской дворянской семьей из графства Типперэри и графства Лонгфорд , в то время как сама Этель провела большую часть своего детства в графстве Клэр . [19] Юлиус и Этель поженились 1 октября 1907 года в ирландской церкви Святого Варфоломея на Клайд-роуд в Боллсбридже , Дублин . [20]
Работа Джулиуса в ICS привела семью в Британскую Индию, где его дед был генералом Бенгальской армии . Однако и Джулиус, и Этель хотели, чтобы их дети воспитывались в Британии, поэтому они переехали в Мейда-Вейл , [21] Лондон, где 23 июня 1912 года родился Алан Тьюринг, о чем свидетельствует синяя табличка на внешней стороне дома, где он родился, [22] [23] позже отель Colonnade . [17] [24] У Тьюринга был старший брат, Джон Ферье Тьюринг, отец сэра Джона Дермота Тьюринга , 12-го баронета из баронетов Тьюринг . [25]
Комиссия по гражданской службе отца Тьюринга все еще действовала в детские годы Тьюринга, и его родители путешествовали между Гастингсом в Соединенном Королевстве [26] и Индией, оставив своих двух сыновей жить с отставной армейской парой. В Гастингсе Тьюринг остановился в Baston Lodge , Upper Maze Hill, St Leonards-on-Sea , который теперь отмечен синей табличкой. [27] Табличка была открыта 23 июня 2012 года, в столетие со дня рождения Тьюринга. [28]
В самом начале жизни родители Тьюринга купили дом в Гилфорде в 1927 году, и Тьюринг жил там во время школьных каникул. Местоположение также отмечено синей табличкой. [29]
Родители Тьюринга записали его в начальную школу St Michael's по адресу 20 Charles Road, St Leonards-on-Sea , с шести до девяти лет. Директриса признала его талант, отметив, что у нее "... были умные мальчики и трудолюбивые мальчики, но Алан - гений". [30]
Между январем 1922 и 1926 годами Тьюринг обучался в подготовительной школе Hazelhurst, независимой школе в деревне Франт в Сассексе (ныне Восточный Сассекс ). [31] В 1926 году в возрасте 13 лет он перешёл в школу Sherborne School , [32] независимую школу-интернат в рыночном городе Шерборн в Дорсете, где он жил в Westcott House. Первый день семестра совпал с Всеобщей забастовкой 1926 года в Великобритании, но Тьюринг был настолько полон решимости поступить, что проехал на велосипеде без сопровождения 60 миль (97 км) от Саутгемптона до Шерборна, остановившись на ночь в гостинице. [33]
Естественная склонность Тьюринга к математике и науке не снискала ему уважения со стороны некоторых учителей в Шерборне, чье определение образования делало больший акцент на классике . Его директор написал его родителям: «Я надеюсь, что он не окажется между двух стульев. Если он собирается остаться в государственной школе, он должен стремиться стать образованным . Если он собирается быть исключительно научным специалистом , он зря тратит свое время в государственной школе». [34] Несмотря на это, Тьюринг продолжал демонстрировать выдающиеся способности в учебе, которую он любил, решая сложные задачи в 1927 году, не изучая даже элементарного исчисления . В 1928 году, в возрасте 16 лет, Тьюринг столкнулся с работой Альберта Эйнштейна ; он не только понял ее, но, возможно, ему удалось вывести сомнение Эйнштейна в законах движения Ньютона из текста, в котором это никогда не было явно выражено. [35]
В Шерборне Тьюринг завязал тесную дружбу с однокурсником Кристофером Колланом Моркомом (13 июля 1911 г. – 13 февраля 1930 г.), [36] которого называли первой любовью Тьюринга. [37] [38] [39] Их отношения вдохновляли Тьюринга в его будущих начинаниях, но они были прерваны смертью Моркома в феврале 1930 г. от осложнений туберкулёза крупного рогатого скота , которым он заразился после употребления инфицированного коровьего молока несколькими годами ранее. [40] [41] [42]
Это событие вызвало у Тьюринга большую скорбь. Он справился со своим горем, работая еще усерднее над темами науки и математики, которые он разделял с Моркомом. В письме к матери Моркома, Фрэнсис Изобель Морком (урожденной Свон), Тьюринг написал:
Я уверен, что не смог бы найти нигде другого товарища, столь же блестящего и в то же время столь обаятельного и несамоуверенного. Я считал свой интерес к своей работе и к таким вещам, как астрономия (с которой он меня познакомил), чем-то, чем можно было бы поделиться с ним, и я думаю, что он чувствовал то же самое по отношению ко мне... Я знаю, что должен вкладывать в свою работу столько же энергии, если не столько интереса, как если бы он был жив, потому что именно этого он хотел бы от меня. [43]
Отношения Тьюринга с матерью Моркома продолжались еще долгое время после смерти Моркома: она посылала Тьюрингу подарки, а он — письма, как правило, в день рождения Моркома. [44] За день до третьей годовщины смерти Моркома (13 февраля 1933 года) он написал миссис Морком:
Я ожидаю, что ты будешь думать о Крисе, когда это письмо дойдет до тебя. Я тоже буду, и это письмо просто для того, чтобы сказать тебе, что я буду думать о Крисе и о тебе завтра. Я уверен, что он так же счастлив сейчас, как и тогда, когда был здесь. Твой любящий Алан. [45]
Некоторые предполагают, что смерть Моркома стала причиной атеизма и материализма Тьюринга . [46] По-видимому, в этот момент своей жизни он все еще верил в такие концепции, как дух, независимый от тела и переживающий смерть. В более позднем письме, также написанном матери Моркома, Тьюринг писал:
Лично я считаю, что дух действительно вечно связан с материей, но, конечно, не тем же самым типом тела... что касается фактической связи между духом и телом, я считаю, что тело может удерживать «дух», пока тело живо и бодрствует, они прочно связаны. Когда тело спит, я не могу предположить, что происходит, но когда тело умирает, «механизм» тела, удерживающий дух, исчезает, и дух рано или поздно, возможно, сразу же, находит новое тело. [47] [48]
После окончания Шерборна Тьюринг подал заявку на получение стипендий нескольких колледжей Кембриджа, включая Тринити и Кингс , в конечном итоге заработав стипендию в размере 80 фунтов стерлингов в год (что эквивалентно примерно 4300 фунтам стерлингов по состоянию на 2023 год) для обучения в последнем. [49] [50] Там Тьюринг изучал курс бакалавриата по Приложению B (то есть трехлетние Части I и II Математического трипоса с дополнительными курсами в конце третьего года, поскольку Часть III появилась как отдельная степень только в 1934 году) с февраля 1931 года по ноябрь 1934 года в Королевском колледже в Кембридже , где он был удостоен первоклассного отличия по математике. Его диссертация « О гауссовой функции ошибок» , написанная на последнем курсе и представленная в ноябре 1934 года (с крайним сроком 6 декабря), доказала версию центральной предельной теоремы . Она была окончательно принята 16 марта 1935 года. Весной того же года Тьюринг начал свой магистерский курс (часть III) — который он закончил в 1937 году — и в то же время он опубликовал свою первую работу, одностраничную статью под названием « Эквивалентность левой и правой почти периодичности» (отправленную 23 апреля), представленную в десятом томе Журнала Лондонского математического общества . [51] Позже в том же году Тьюринг был избран членом Королевского колледжа на основании своей диссертации [52] , где он работал лектором . [ 53] Однако, и Тьюринг не знал, что эта версия теоремы, которую он доказал в своей статье, уже была доказана в 1922 году Ярлом Вальдемаром Линдебергом . Несмотря на это, комитет счел методы Тьюринга оригинальными и поэтому счел работу достойной рассмотрения для стипендии. В своем отчете для комитета Абрам Безикович зашел так далеко, что заявил, что если бы работа Тьюринга была опубликована до работы Линдеберга, это стало бы «важным событием в математической литературе того года». [54] [55] [56]
Между весною 1935 и 1936 годов, в то же время, что и Чёрч, Тьюринг работал над разрешимостью проблем, начиная с теорем Гёделя о неполноте . В середине апреля 1936 года Тьюринг отправил Максу Ньюману первый черновик машинописного текста своих исследований. В том же месяце Алонзо Чёрч опубликовал свою работу «Неразрешимая проблема элементарной теории чисел» с выводами, похожими на выводы тогда ещё неопубликованной работы Тьюринга. Наконец, 28 мая того же года он закончил и представил свою 36-страничную статью под названием « О вычислимых числах с приложением к проблеме Entscheidungsproblem ». [57] Она была опубликована в журнале Proceedings of the London Mathematical Society в двух частях: первая — 30 ноября, вторая — 23 декабря. [58] В этой статье Тьюринг переформулировал результаты Курта Гёделя 1931 года о пределах доказательства и вычислений, заменив универсальный арифметический формальный язык Гёделя на формальные и простые гипотетические устройства, которые стали известны как машины Тьюринга . Entscheidungsproblem (проблема принятия решений) была первоначально поставлена немецким математиком Давидом Гильбертом в 1928 году. Тьюринг доказал, что его «универсальная вычислительная машина» была бы способна выполнять любые мыслимые математические вычисления, если бы она была представлена в виде алгоритма . Затем он доказал, что не существует решения проблемы принятия решений , сначала показав, что проблема остановки для машин Тьюринга неразрешима : невозможно алгоритмически решить, остановится ли когда-либо машина Тьюринга. Эту статью назвали «несомненно самой влиятельной математической статьей в истории». [59]
Хотя доказательство Тьюринга было опубликовано вскоре после эквивалентного доказательства Алонзо Чёрча с использованием его лямбда-исчисления , [60] подход Тьюринга значительно более доступен и интуитивен, чем у Чёрча. [61] Он также включал понятие «Универсальной машины» (теперь известной как универсальная машина Тьюринга ), с идеей, что такая машина могла бы выполнять задачи любой другой вычислительной машины (как, собственно, и лямбда-исчисление Чёрча). Согласно тезису Чёрча-Тьюринга , машины Тьюринга и лямбда-исчисление способны вычислять всё, что вычислимо. Джон фон Нейман признал, что центральная концепция современного компьютера была обусловлена работой Тьюринга. [62] По сей день машины Тьюринга являются центральным объектом изучения в теории вычислений . [63]
С сентября 1936 по июль 1938 года Тьюринг большую часть времени учился у Чёрча в Принстонском университете , [4] на втором году обучения в качестве приглашенного научного сотрудника Джейн Элизы Проктер . В дополнение к своей чисто математической работе он изучал криптологию, а также построил три из четырех стадий электромеханического двоичного умножителя . [64] В июне 1938 года он получил докторскую степень на кафедре математики в Принстоне; [65] его диссертация « Системы логики, основанные на ординалах » [66] [67] ввела концепцию ординальной логики и понятие относительного вычисления , в котором машины Тьюринга дополняются так называемыми оракулами , что позволяет изучать проблемы, которые не могут быть решены машинами Тьюринга. Джон фон Нейман хотел нанять его в качестве своего постдокторского ассистента , но он вернулся в Соединенное Королевство. [68]
Когда Тьюринг вернулся в Кембридж, он посетил лекции, прочитанные в 1939 году Людвигом Витгенштейном об основах математики . [69] Лекции были восстановлены дословно, включая вставки Тьюринга и других студентов, из студенческих заметок. [70] Тьюринг и Витгенштейн спорили и не соглашались, причем Тьюринг защищал формализм , а Витгенштейн выдвигал свою точку зрения, что математика не открывает никаких абсолютных истин, а скорее изобретает их. [71]
Во время Второй мировой войны Тьюринг был ведущим участником взлома немецких шифров в Блетчли-парке . Историк и военный дешифровщик Аса Бриггс сказал: «В Блетчли нужен был исключительный талант, нужен был гений, и Тьюринг был этим гением». [72]
С сентября 1938 года Тьюринг работал неполный рабочий день в правительственной школе кодов и шифров (GC&CS), британской организации по взлому кодов. Он сосредоточился на криптоанализе шифровальной машины Enigma, используемой нацистской Германией , вместе с Дилли Ноксом , старшим взломщиком GC&CS. [73] Вскоре после встречи в июле 1939 года недалеко от Варшавы , на которой Польское бюро шифров предоставило британцам и французам подробности о проводке роторов машины Enigma и их методе расшифровки сообщений машины Enigma , Тьюринг и Нокс разработали более широкое решение. [74] Польский метод основывался на небезопасной процедуре индикатора , которую немцы, вероятно, изменят, что они и сделали в мае 1940 года. Подход Тьюринга был более общим, с использованием расшифровки на основе криба , для которой он создал функциональную спецификацию bombe (улучшение польской Bomba ). [75]
4 сентября 1939 года, на следующий день после того, как Великобритания объявила войну Германии, Тьюринг прибыл в Блетчли-Парк, военную станцию GC&CS. [76] Как и все остальные, прибывшие в Блетчли, он должен был подписать Закон о государственной тайне , в котором он соглашался не разглашать ничего о своей работе в Блетчли, под угрозой суровых юридических санкций за нарушение Закона. [77]
Определение бомбы было первым из пяти основных криптоаналитических достижений, которые Тьюринг сделал во время войны. Другими были: выведение процедуры индикатора, используемой немецким флотом; разработка статистической процедуры, названной Banburismus, для гораздо более эффективного использования бомб; разработка процедуры, названной Turingery, для выработки настроек кулачков колес шифровальной машины Lorenz SZ 40/42 ( Tunny ) и, ближе к концу войны, разработка портативного защищенного голосового шифратора в Hanslope Park , который имел кодовое название Delilah . [78] [79]
Используя статистические методы для оптимизации проверки различных возможностей в процессе взлома кода, Тьюринг внес новаторский вклад в эту тему. Он написал две статьи, в которых обсуждались математические подходы, под названием «Применение вероятности к криптографии» [80] и «Статья о статистике повторений» [81], которые имели такую ценность для GC&CS и его преемника GCHQ , что они не были опубликованы в Национальном архиве Великобритании до апреля 2012 года, незадолго до столетия со дня его рождения. Математик GCHQ, «назвавшийся только Ричардом», сказал в то время, что тот факт, что содержимое было ограничено в соответствии с Законом о государственной тайне в течение примерно 70 лет, продемонстрировал их важность и их актуальность для послевоенного криптоанализа: [82]
[Он] сказал, что тот факт, что содержание было ограничено, «показывает, какое огромное значение оно имеет в основах нашего предмета». ... В статьях подробно описывается использование «математического анализа для попытки определить наиболее вероятные настройки, чтобы их можно было опробовать как можно быстрее». ... Ричард сказал, что GCHQ теперь «выжал соки» из двух статей и «рад, что они стали общественным достоянием».
Тьюринг имел репутацию эксцентричного человека в Блетчли-Парке. Он был известен своим коллегам как «Профессор», а его трактат об Энигме был известен как «Книга профессора». [83] [84] По словам историка Рональда Левина , Джек Гуд , криптоаналитик, работавший с Тьюрингом, сказал о своем коллеге:
В первую неделю июня каждого года у него случался сильный приступ сенной лихорадки, и он ездил на работу на велосипеде в противогазе, чтобы защититься от пыльцы. У его велосипеда был один дефект: цепь срывалась через равные промежутки времени. Вместо того чтобы отдать его в ремонт, он считал, сколько раз педали сделали обороты, и слезал с велосипеда вовремя, чтобы вручную отрегулировать цепь. Еще одна его странность — он приковывал свою кружку цепью к трубам радиатора, чтобы ее не украли. [85]
Питер Хилтон рассказал о своем опыте работы с Тьюрингом в Hut 8 в своих «Воспоминаниях о Блетчли-парке» из книги «Столетие математики в Америке»: [86]
Редко когда можно встретить настоящего гения. Те из нас, кому посчастливилось жить в мире науки, знакомы с интеллектуальной стимуляцией, которую обеспечивают талантливые коллеги. Мы можем восхищаться идеями, которыми они с нами делятся, и обычно способны понять их источник; мы даже можем часто верить, что сами могли бы создать такие концепции и породить такие мысли. Однако опыт сопричастности интеллектуальной жизни гения совершенно иной; понимаешь, что находишься в присутствии интеллекта, чувствительности такой глубины и оригинальности, что наполняешься удивлением и волнением. Алан Тьюринг был таким гением, и те, как я, кто имел удивительную и неожиданную возможность, созданную странными обстоятельствами Второй мировой войны, иметь возможность считать Тьюринга коллегой и другом, никогда не забудут этот опыт, и мы никогда не утратим его огромную пользу для нас.
Хилтон повторил схожие мысли в документальном фильме Nova PBS «Расшифровка нацистских секретов» . [87]
Работая в Блетчли, Тьюринг, который был талантливым бегуном на длинные дистанции , иногда пробегал 40 миль (64 км) до Лондона, когда он был нужен для встреч, [88] и он был способен на марафонские стандарты мирового класса. [89] [90] Тьюринг пробовался в британскую олимпийскую сборную 1948 года , но ему помешала травма. Его время отбора на марафон было всего на 11 минут медленнее, чем олимпийское время забега британского серебряного призера Томаса Ричардса , которое составило 2 часа 35 минут. Он был лучшим бегуном Уолтонского спортивного клуба, что обнаружилось, когда он обогнал группу, бегая в одиночку. [91] [92] [93] Когда его спросили, почему он так усердно бежал на тренировках, он ответил:
У меня такая стрессовая работа, что единственный способ выкинуть ее из головы — это усиленно бегать; это единственный способ для меня получить разрядку. [94]
Из-за проблем контрфактуальной истории трудно оценить точное влияние разведки «Ультра» на войну. [95] Однако официальный военный историк Гарри Хинсли подсчитал, что эта работа сократила войну в Европе более чем на два года и спасла более 14 миллионов жизней. [96]
В конце войны всем, кто работал в Блетчли-парке, была разослана памятная записка, в которой напоминалось, что кодекс молчания, предписанный Законом о государственной тайне, не заканчивается с войной, а будет продолжаться бесконечно. [77] Таким образом, хотя Тьюринг был назначен офицером Ордена Британской империи (OBE) в 1946 году королем Георгом VI за его военные заслуги, его работа оставалась секретной в течение многих лет. [97] [98]
В течение нескольких недель после прибытия в Блетчли-Парк [76] Тьюринг разработал электромеханическую машину под названием « бомба» , которая могла взломать «Энигму» более эффективно, чем польская «бомба криптологическая» , от которой и произошло ее название. «Бомба», с усовершенствованием, предложенным математиком Гордоном Уэлчманом , стала одним из основных инструментов и основным автоматизированным инструментом, используемым для взлома сообщений, зашифрованных с помощью «Энигмы». [99]
Бомба искала возможные правильные настройки, используемые для сообщения Энигмы (то есть порядок ротора, настройки ротора и настройки коммутационной панели), используя подходящий криб : фрагмент вероятного открытого текста . Для каждой возможной настройки роторов (которые имели порядка 1019 состояний или 1022 состояний для варианта четырехроторной подводной лодки) [100] бомба выполняла цепочку логических выводов на основе криба, реализованного электромеханически . [101]
Бомба обнаруживала, когда возникало противоречие, и исключала эту настройку, переходя к следующей. Большинство возможных настроек вызывали противоречия и отбрасывались, оставляя только несколько для детального исследования. Противоречие возникало, когда зашифрованная буква превращалась обратно в ту же открытую букву, что было невозможно с Энигмой. Первая бомба была установлена 18 марта 1940 года. [102]
К концу 1941 года Тьюринг и его коллеги-криптоаналитики Гордон Уэлчман , Хью Александер и Стюарт Милнер-Барри были разочарованы. Основываясь на работе поляков , они создали хорошую рабочую систему для расшифровки сигналов Энигмы, но их ограниченный штат и «бомб» означали, что они не могли перевести все сигналы. Летом они добились значительного успеха, и потери при доставке упали до менее 100 000 тонн в месяц; однако им крайне требовались дополнительные ресурсы, чтобы идти в ногу с немецкими корректировками. Они пытались получить больше людей и финансировать больше «бомб» через соответствующие каналы, но потерпели неудачу. [103]
28 октября они написали напрямую Уинстону Черчиллю, объяснив свои трудности, первым из которых был назван Тьюринг. Они подчеркнули, насколько мала их нужда по сравнению с огромными расходами людей и денег силами и по сравнению с уровнем помощи, которую они могли оказать силам. [103] Как позже написал Эндрю Ходжес , биограф Тьюринга, «Это письмо имело электрический эффект». [104] Черчилль написал докладную записку генералу Исмея , в которой говорилось: «ДЕЙСТВИЕ СЕГОДНЯ. Убедитесь, что у них есть все, что они хотят, в первоочередном порядке, и доложите мне, что это сделано». 18 ноября начальник секретной службы сообщил, что принимаются все возможные меры. [104] Криптографы в Блетчли-парке не знали об ответе премьер-министра, но, как вспоминал Милнер-Барри, «Все, что мы заметили, это то, что почти с того дня неровности начали чудесным образом сглаживаться». [105] К концу войны в эксплуатации находилось более двухсот «бомб». [106]
Тьюринг решил заняться особенно сложной проблемой взлома немецкого военно-морского использования Энигмы , «потому что никто другой ничего не делал по этому поводу, и я мог бы забрать ее себе». [108] В декабре 1939 года Тьюринг решил основную часть военно-морской системы индикации , которая была сложнее систем индикации, используемых другими службами. [108] [109]
В ту же ночь он также задумал идею Banburismus , последовательного статистического метода (который Авраам Вальд позже назвал последовательным анализом ), чтобы помочь взломать военно-морскую Энигму, «хотя я не был уверен, что это сработает на практике, и не был, по сути, уверен, пока несколько дней не были фактически взломаны». [108] Для этого он придумал меру веса доказательств, которую он назвал запретом . Banburismus мог исключать определенные последовательности роторов Энигмы, существенно сокращая время, необходимое для проверки настроек на бомбах. [110] Позже этот последовательный процесс накопления достаточного веса доказательств с использованием децибанов (одна десятая часть запрета) использовался в криптоанализе шифра Лоренца . [111]
В ноябре 1942 года Тьюринг отправился в Соединенные Штаты и работал с криптоаналитиками ВМС США над созданием военно-морских шифровальных машин Enigma и Bombe в Вашингтоне. [112] [113] Он также посетил их Лабораторию вычислительных машин в Дейтоне, штат Огайо . [114]
Реакция Тьюринга на американскую конструкцию «бомбы» была далеко не восторженной:
Американская программа Bombe должна была произвести 336 Bombes, по одному на каждый заказ колес. Я внутренне улыбался концепции рутины Bombe hut, подразумеваемой этой программой, но думал, что не будет никакой особой цели указать, что мы на самом деле не будем использовать их таким образом. Их тест (коммутаторов) вряд ли можно считать окончательным, поскольку они не проверяли отскок с помощью электронных устройств поиска остановок. Кажется, никому не говорят о стержнях, или offiziers, или banburismus, если они действительно не собираются что-то с этим делать. [115]
Во время этой поездки он также помогал Bell Labs с разработкой защищенных речевых устройств. [116] Он вернулся в Блетчли-Парк в марте 1943 года. Во время его отсутствия Хью Александер официально занял должность главы Hut 8, хотя Александер уже некоторое время был фактическим главой (Тьюринг мало интересовался повседневной работой секции). Тьюринг стал генеральным консультантом по криптоанализу в Блетчли-Парке. [117]
Александр писал о вкладе Тьюринга:
Ни у кого не должно быть сомнений в том, что работа Тьюринга была самым важным фактором успеха Hut 8. В ранние дни он был единственным криптографом, который считал, что эта проблема стоит того, чтобы за нее взяться, и он не только был главным ответственным за основную теоретическую работу в Hut, но и разделил с Уэлчманом и Кином главную заслугу в изобретении бомбы. Всегда трудно сказать, что кто-то «абсолютно незаменим», но если кто-то и был незаменим для Hut 8, так это был Тьюринг. Работа пионера всегда имеет тенденцию забываться, когда опыт и рутина позже делают все простым, и многие из нас в Hut 8 чувствовали, что величина вклада Тьюринга так и не была полностью осознана внешним миром. [118]
В июле 1942 года Тьюринг разработал технику, названную Тьюрингери (или в шутку Тьюрингизм [119] ) для использования против шифров Лоренца , созданных новой немецкой машиной Geheimschreiber (секретный писатель). Это была приставка к ротору телетайпа под кодовым названием Tunny в Блетчли-парке. Тьюрингери был методом ломки колес , т. е. процедурой отработки настроек кулачков колес Tunny. [120] Он также познакомил команду Tunny с Томми Флауэрсом , который под руководством Макса Ньюмана продолжил создание компьютера Colossus , первого в мире программируемого цифрового электронного компьютера, который заменил более простую предыдущую машину ( Heath Robinson ) и чья превосходная скорость позволила эффективно применять статистические методы дешифрования к сообщениям. [121] Некоторые ошибочно утверждали, что Тьюринг был ключевой фигурой в разработке компьютера Colossus. Тьюрингери и статистический подход Банбуризма, несомненно, повлияли на размышления о криптоанализе шифра Лоренца , [122] [123] но он не принимал непосредственного участия в разработке Колосса. [124]
После работы в Bell Labs в США [125] Тьюринг занялся идеей электронного шифрования речи в телефонной системе. В конце войны он перешел на работу в Службу радиобезопасности Секретной службы (позже HMGCC ) в Ханслоуп-парке . [126] [127] В парке он продолжил развивать свои познания в электронике с помощью офицера REME Дональда Бейли. Вместе они занялись проектированием и созданием портативной защищенной машины голосовой связи под кодовым названием Delilah . [128] Машина предназначалась для различных целей, но у нее не было возможности использовать ее для радиопередачи на большие расстояния. В любом случае, Delilah была завершена слишком поздно, чтобы ее можно было использовать во время войны. Хотя система работала полностью, и Тьюринг продемонстрировал ее должностным лицам, зашифровав и расшифровав запись речи Уинстона Черчилля , Delilah не была принята для использования. [129] Тьюринг также консультировался с Bell Labs по вопросам разработки SIGSALY , защищенной голосовой системы, которая использовалась в последние годы войны.
Между 1945 и 1947 годами Тьюринг жил в Хэмптоне , Лондон, [130] пока он работал над проектом ACE (автоматической вычислительной машины) в Национальной физической лаборатории (NPL) . 19 февраля 1946 года он представил доклад, который был первым подробным проектом компьютера с хранимой программой . [131] Незавершенный первый черновик отчета фон Неймана по EDVAC предшествовал докладу Тьюринга, но он был гораздо менее подробным и, по словам Джона Р. Уомерсли , суперинтенданта математического отделения NPL, он «содержит ряд идей, которые принадлежат самому доктору Тьюрингу». [132]
Хотя ACE был осуществимым проектом, эффект Закона о государственной тайне, окружавшего военную работу в Блетчли-парке, сделал невозможным для Тьюринга объяснить основу его анализа того, как будет работать компьютерная установка с участием людей-операторов. [133] Это привело к задержкам в начале проекта, и он разочаровался. В конце 1947 года он вернулся в Кембридж на годичный отпуск, в течение которого он создал основополагающую работу по интеллектуальным машинам , которая не была опубликована при его жизни. [134] Пока он был в Кембридже, в его отсутствие строился Pilot ACE . Он выполнил свою первую программу 10 мая 1950 года, и ряд более поздних компьютеров по всему миру многим обязаны ему, включая английский Electric DEUCE и американский Bendix G-15 . Полная версия ACE Тьюринга была построена только после его смерти. [135]
Согласно мемуарам немецкого пионера вычислительной техники Хайнца Биллинга из Института физики Макса Планка , опубликованным Genscher, Дюссельдорф, состоялась встреча Тьюринга и Конрада Цузе . [136] Она состоялась в Гёттингене в 1947 году. Допрос имел форму коллоквиума. Участниками были Уомерсли, Тьюринг, Портер из Англии и несколько немецких исследователей, таких как Цузе, Вальтер и Биллинг (более подробно см. Herbert Bruderer, Konrad Zuse und die Schweiz ).
В 1948 году Тьюринг был назначен лектором на кафедре математики в Университете Виктории в Манчестере . Год спустя он стал заместителем директора Лаборатории вычислительных машин, где работал над программным обеспечением для одного из самых ранних компьютеров с хранимой программой — Manchester Mark 1. Тьюринг написал первую версию Руководства программиста для этой машины и был нанят Ферранти в качестве консультанта при разработке их коммерческой машины, Ferranti Mark 1. Ферранти продолжал платить ему гонорары за консультации до самой своей смерти. [137] В это время он продолжал заниматься более абстрактной работой в области математики, [138] и в « Вычислительной технике и интеллекте » ( Mind , октябрь 1950 г.) Тьюринг обратился к проблеме искусственного интеллекта и предложил эксперимент, который стал известен как тест Тьюринга , — попытку определить стандарт для машины, которая будет называться «интеллектуальной». Идея заключалась в том, что компьютер можно было бы назвать «думающим», если человек-допрашивающий не мог бы отличить его, посредством разговора, от человека. [139] В статье Тьюринг предположил, что вместо того, чтобы создавать программу для имитации взрослого разума, было бы лучше создать более простую программу для имитации разума ребенка, а затем подвергнуть ее курсу обучения. Обратная форма теста Тьюринга широко используется в Интернете; тест CAPTCHA предназначен для определения того, является ли пользователь человеком или компьютером.
В 1948 году Тьюринг, работая со своим бывшим коллегой по бакалавриату, Д. Г. Чамперноуном , начал писать шахматную программу для компьютера, который еще не существовал. К 1950 году программа была завершена и названа Turochamp . [ 140] В 1952 году он попытался реализовать ее на Ferranti Mark 1 , но из-за недостатка мощности компьютер не смог выполнить программу. Вместо этого Тьюринг «запустил» программу, пролистывая страницы алгоритма и выполняя его инструкции на шахматной доске, тратя на это около получаса на ход. Игра была записана. [141] По словам Гарри Каспарова , программа Тьюринга «сыграла узнаваемую партию в шахматы». [142] Программа проиграла коллеге Тьюринга Алику Гленни , хотя говорят, что она выиграла партию у жены Чамперноуна, Изабель. [143]
Его тест Тьюринга стал значительным, характерно провокационным и долгосрочным вкладом в дискуссию об искусственном интеллекте, которая продолжается уже более полувека. [144]
Когда Тьюрингу было 39 лет в 1951 году, он обратился к математической биологии , наконец, опубликовав свой шедевр « Химическая основа морфогенеза » в январе 1952 года. Он интересовался морфогенезом , развитием узоров и форм в биологических организмах. Он предположил, что система химических веществ, реагирующих друг с другом и диффундирующих в пространстве, называемая системой реакции-диффузии , может объяснить «основные явления морфогенеза». [145] Он использовал системы уравнений в частных производных для моделирования каталитических химических реакций. Например, если для осуществления определенной химической реакции требуется катализатор A, и если реакция производит больше катализатора A, то мы говорим, что реакция является автокаталитической , и существует положительная обратная связь, которую можно моделировать с помощью нелинейных дифференциальных уравнений. Тьюринг обнаружил, что узоры могут быть созданы, если химическая реакция не только производит катализатор A, но и производит ингибитор B, который замедляет производство A. Если A и B затем диффундируют через контейнер с разной скоростью, то вы можете иметь некоторые области, где доминирует A, и некоторые, где доминирует B. Чтобы вычислить степень этого, Тьюрингу понадобился бы мощный компьютер, но они не были так свободно доступны в 1951 году, поэтому ему пришлось использовать линейные приближения, чтобы решать уравнения вручную. Эти вычисления дали правильные качественные результаты и дали, например, однородную смесь, которая, как ни странно, имела регулярно расположенные фиксированные красные пятна. Русский биохимик Борис Белоусов проводил эксперименты с похожими результатами, но не смог опубликовать свои статьи из-за современного предубеждения, что любая такая вещь нарушает второй закон термодинамики . Белоусов не знал о статье Тьюринга в Philosophical Transactions of the Royal Society . [146]
Хотя работа Тьюринга по морфогенезу была опубликована до того, как были поняты структура и роль ДНК , она остается актуальной и сегодня и считается основополагающей работой в математической биологии. [147] Одним из ранних применений статьи Тьюринга была работа Джеймса Мюррея, объясняющая пятна и полосы на шерсти кошек, больших и маленьких. [148] [149] [150] Дальнейшие исследования в этой области показывают, что работа Тьюринга может частично объяснить рост «перьев, волосяных фолликулов, схему ветвления легких и даже лево-правую асимметрию, которая помещает сердце на левую сторону груди». [151] В 2012 году Шет и др. обнаружили, что у мышей удаление генов Hox вызывает увеличение количества пальцев без увеличения общего размера конечности, что предполагает, что гены Hox контролируют формирование пальцев, настраивая длину волны механизма типа Тьюринга. [152] Более поздние статьи не были доступны до публикации Собрания сочинений А. М. Тьюринга в 1992 году. [153]
Исследование, проведенное в 2023 году, подтвердило гипотезу математической модели Тьюринга. Эксперимент, представленный Американским физическим обществом , включал выращивание семян чиа ровными слоями в лотках с последующей регулировкой имеющейся влажности. Исследователи экспериментально подправили факторы, которые появляются в уравнениях Тьюринга, и в результате появились закономерности, напоминающие те, которые наблюдаются в естественной среде. Считается, что это первый случай, когда эксперименты с живой растительностью подтвердили математическую проницательность Тьюринга. [154] [155]
В 1940-х годах Тьюринг забеспокоился о потере своих сбережений в случае немецкого вторжения. Чтобы защитить их, он купил два серебряных слитка весом 3200 унций (90 кг) и стоимостью 250 фунтов стерлингов (в 2022 году 8000 фунтов стерлингов с учетом инфляции, 48 000 фунтов стерлингов по спотовой цене) и закопал их в лесу недалеко от Блетчли-парка. [156] Вернувшись, чтобы выкопать их, Тьюринг обнаружил, что не может взломать свой собственный код, описывающий, где именно он их спрятал. Это, наряду с тем фактом, что территория была отремонтирована, означало, что он так и не вернул себе серебро. [157]
В 1941 году Тьюринг сделал предложение своей коллеге из Hut 8 Джоан Кларк , математику и криптоаналитику, но их помолвка была недолгой. Признавшись в гомосексуальности своей невесте, которая, как сообщается, была «невозмутима» этим открытием, Тьюринг решил, что не может довести этот брак до конца. [158]
В декабре 1951 года Тьюринг встретил Арнольда Мюррея, 19-летнего безработного. Тьюринг шел по Оксфорд-роуд в Манчестере , когда встретил Мюррея прямо возле кинотеатра Regal Cinema и пригласил его на обед. Они договорились встретиться снова, и в январе 1952 года у них завязались интимные отношения. [159] 23 января дом Тьюринга был ограблен. Мюррей сказал Тьюрингу, что он и грабитель знакомы, и Тьюринг сообщил о преступлении в полицию. В ходе расследования он признался в сексуальных отношениях с Мюрреем. В то время гомосексуальные действия были уголовными преступлениями в Соединенном Королевстве, [160] и оба мужчины были обвинены в « грубой непристойности » в соответствии с разделом 11 Закона о внесении поправок в уголовное право 1885 года . [161] Первоначальное судебное заседание по делу состоялось 27 февраля, в ходе которого адвокат Тьюринга «сохранил свою защиту», т. е. не стал спорить или представлять доказательства против обвинений. Судебное заседание проходило в Доме сессий в Натсфорде . [162]
Позже Тьюринга убедили советы его брата и его собственного адвоката, и он признал себя виновным. [163] Дело Регины против Тьюринга и Мюррея было передано в суд 31 марта 1952 года . [164] Тьюринг был признан виновным и получил выбор между тюремным заключением и испытательным сроком. Его испытательный срок был обусловлен его согласием пройти гормональные физические изменения, направленные на снижение либидо , известные как « химическая кастрация ». [165] Он принял вариант инъекций того, что тогда называлось стилбэстролом (теперь известно как диэтилстилбэстрол или ДЭС), синтетическим эстрогеном ; эта феминизация его тела продолжалась в течение одного года. Лечение сделало Тьюринга импотентом и привело к формированию молочной железы . [166] В письме Тьюринг написал, что «без сомнения, я выйду из всего этого другим человеком, но кем именно, я еще не узнал». [167] [168] Мюррей был условно освобожден. [169]
Осуждение Тьюринга привело к лишению его допуска к секретной информации и запретило ему продолжать свою криптографическую консультационную деятельность в правительственном коммуникационном штабе (GCHQ), британском агентстве по разведке сигналов , которое развилось из GC&CS в 1946 году, хотя он сохранил свою академическую работу. Его суд состоялся всего через несколько месяцев после бегства в Советский Союз Гая Берджесса и Дональда Маклина летом 1951 года, после чего Министерство иностранных дел начало рассматривать любого человека, известного как гомосексуалист, как потенциальную угрозу безопасности. [170]
Тьюрингу было отказано во въезде в Соединенные Штаты после его осуждения в 1952 году, но он мог свободно посещать другие европейские страны. [171] Летом 1952 года он посетил Норвегию, которая была более терпима к гомосексуалистам. Среди разных мужчин, с которыми он встречался, был один по имени Кьелл Карлсон. Кьелл намеревался посетить Тьюринга в Великобритании, но власти перехватили открытку Кьелла с подробным описанием его поездок и смогли перехватить и депортировать его до того, как они смогли встретиться. [172] Также в это время Тьюринг начал консультироваться с психиатром, доктором Францем Гринбаумом, с которым он хорошо ладил и который впоследствии стал другом семьи. [172] [173]
8 июня 1954 года в его доме по адресу Адлингтон-роуд, 43, в Уилмслоу экономка Тьюринга нашла его мертвым. [174] Вскрытие было проведено тем же вечером, и было установлено, что он умер накануне в возрасте 41 года, причиной смерти было названо отравление цианидом . [175] [176] Когда его тело было обнаружено, рядом с его кроватью лежало наполовину съеденное яблоко, и хотя яблоко не было проверено на цианид, [177] предполагалось, что именно таким образом Тьюринг принял смертельную дозу.
Брат Тьюринга, Джон, опознал тело на следующий день и последовал совету доктора Гринбаума принять вердикт дознания , поскольку было мало шансов установить, что смерть была случайной. [178] Дознание было проведено на следующий день, которое определило причиной смерти самоубийство. [165] Останки Тьюринга были кремированы в крематории Уокинга всего два дня спустя, 12 июня 1954 года, в присутствии только его матери, брата и Лин Ньюман, [179] [180] а его прах был развеян в саду крематория, как и прах его отца. [181] Мать Тьюринга была на отдыхе в Италии во время его смерти и вернулась домой после дознания. Она так и не приняла вердикт о самоубийстве. [178]
Философ Джек Коупленд подверг сомнению различные аспекты исторического вердикта коронера. Он предложил альтернативное объяснение причины смерти Тьюринга: случайное вдыхание паров цианида из аппарата, который использовался для гальванического покрытия ложек золотом. Цианистый калий использовался для растворения золота . Тьюринг установил такой аппарат в своей крошечной свободной комнате. Коупленд отметил, что результаты вскрытия больше соответствовали вдыханию, чем приему яда. Тьюринг также имел привычку съедать яблоко перед сном, и не было ничего необычного в том, что яблоко выбрасывалось наполовину съеденным. [15] Более того, как сообщается, Тьюринг переносил свои юридические неудачи и гормональное лечение (которое было прекращено годом ранее) «с хорошим юмором» и не проявлял никаких признаков уныния перед своей смертью. Он даже составил список задач, которые намеревался выполнить по возвращении в свой офис после праздничных выходных. [15] Мать Тьюринга считала, что проглатывание было случайным, вызванным небрежным хранением ее сыном лабораторных химикатов. [182]
Биограф Тьюринга Эндрю Ходжес предположил, что Тьюринг намеренно оставил природу своей смерти двусмысленной, чтобы оградить свою мать от знания о том, что он покончил с собой. [183] Сомнения в отношении тезиса о самоубийстве также высказал Джон У. Доусон-младший , который в своем обзоре книги Ходжеса вспоминает «уязвимое положение Тьюринга в политическом климате холодной войны» и указывает, что «Тьюринг был найден мертвым служанкой, которая обнаружила его «аккуратно лежащим в своей постели» — вряд ли можно было бы ожидать от «человека, борющегося за жизнь против удушья, вызванного отравлением цианидом». Тьюринг не давал своим друзьям никаких намеков на суицидальные наклонности и не предпринял никаких усилий, чтобы привести свои дела в порядок. [184]
Ходжес и более поздний биограф Дэвид Ливитт предположили, что Тьюринг воссоздавал сцену из фильма Уолта Диснея «Белоснежка и семь гномов» (1937), его любимой сказки. Оба отметили, что (по словам Ливитта) он получил «особенно острое удовольствие от сцены, где Злая Королева погружает свое яблоко в ядовитое варево». [185]
Также предполагалось, что вера Тьюринга в гадание могла стать причиной его подавленного настроения. [181] В юности Тьюрингу гадалка предсказала, что он будет гением. В середине мая 1954 года, незадолго до своей смерти, Тьюринг снова решил проконсультироваться с гадалкой во время однодневной поездки в Сент-Эннс-он-Си с семьей Гринбаум. [181] По словам дочери Гринбаумов, Барбары: [173]
Но был прекрасный солнечный день, и Алан был в хорошем настроении, и мы отправились... Затем он подумал, что было бы неплохо пойти на Пляж Удовольствий в Блэкпуле . Мы нашли палатку предсказателя, и Алан сказал, что хотел бы пойти в [,], поэтому мы подождали, пока он вернется... И это солнечное, веселое лицо сжалось в бледное, дрожащее, охваченное ужасом лицо. Что-то произошло. Мы не знаем, что сказала предсказательница, но он явно был глубоко несчастен. Я думаю, это был, вероятно, последний раз, когда мы видели его перед тем, как узнали о его самоубийстве.
В августе 2009 года британский программист Джон Грэм-Камминг начал петицию, призывающую британское правительство извиниться за преследование Тьюринга как гомосексуалиста. [186] [187] Петиция получила более 30 000 подписей. [188] [189] Премьер-министр Гордон Браун признал петицию, выпустив заявление 10 сентября 2009 года, в котором он извинился и описал обращение с Тьюрингом как «ужасное»: [188] [190]
Тысячи людей объединились, чтобы потребовать справедливости для Алана Тьюринга и признания ужасного способа обращения с ним. Хотя с Тьюрингом обращались по законам того времени, и мы не можем повернуть время вспять, его обращение, конечно, было совершенно несправедливым, и я рад возможности сказать, как глубоко я и мы все сожалеем о том, что с ним произошло... Поэтому от имени британского правительства и всех тех, кто живет свободно благодаря работе Алана, я с гордостью заявляю: нам жаль, вы заслуживали гораздо лучшего. [188] [191]
В декабре 2011 года Уильям Джонс и его член парламента Джон Лич создали электронную петицию [192] с просьбой к британскому правительству помиловать Тьюринга за его осуждение за «грубую непристойность»: [193]
Мы просим правительство Ее Величества помиловать Алана Тьюринга за осуждение за «грубую непристойность». В 1952 году он был признан виновным в «грубой непристойности» с другим мужчиной и был вынужден пройти так называемую «органотерапию» — химическую кастрацию. Два года спустя он покончил с собой, приняв цианид, в возрасте всего 41 года. Алан Тьюринг был доведен до ужасного отчаяния и ранней смерти нацией, для спасения которой он так много сделал. Это остается позором для британского правительства и британской истории. Помилование может в какой-то степени залечить этот ущерб. Оно может послужить извинением для многих других геев, не столь известных, как Алан Тьюринг, которые подверглись этим законам. [192]
Петиция собрала более 37 000 подписей [192] [194] и была представлена в парламент депутатом от Манчестера Джоном Личем, но просьба была отклонена министром юстиции лордом Макналли , который сказал: [195]
Посмертное помилование не было сочтено уместным, поскольку Алан Тьюринг был должным образом осужден за то, что в то время было уголовным преступлением. Он бы знал, что его преступление противозаконно и что он будет привлечен к ответственности. Трагично, что Алан Тьюринг был осужден за преступление, которое сейчас кажется жестоким и абсурдным — особенно трогательно, учитывая его выдающийся вклад в военные действия. Однако закон того времени требовал судебного преследования, и, как таковая, давняя политика заключалась в том, чтобы признать, что такие осуждения имели место, и вместо того, чтобы пытаться изменить исторический контекст и исправить то, что исправить невозможно, вместо этого гарантировать, что мы никогда больше не вернемся к тем временам. [196]
Джон Лич, депутат от Манчестера Уитингтона (2005–15), представил несколько законопроектов в парламент [197] и возглавил громкую кампанию за помилование. Лич доказывал в Палате общин, что вклад Тьюринга в войну сделал его национальным героем и что «в конечном итоге просто стыдно», что приговор все еще остается в силе. [198] Лич продолжал проводить законопроект через парламент и вел кампанию в течение нескольких лет, заручившись общественной поддержкой многих ведущих ученых, включая Стивена Хокинга . [199] [200] На британской премьере фильма, основанного на жизни Тьюринга, «Игра в имитацию» , продюсеры поблагодарили Лича за то, что он привлек внимание общественности к этой теме и обеспечил помилование Тьюринга. [201] Теперь Лича регулярно называют «архитектором» помилования Тьюринга, а затем и Закона Алана Тьюринга, который впоследствии обеспечил помилование 75 000 других мужчин и женщин, осужденных за аналогичные преступления. [202] [203] [204] [205] [206] [207] [208]
26 июля 2012 года в Палату лордов был внесен законопроект о предоставлении законного помилования Тьюрингу за преступления, предусмотренные разделом 11 Закона о внесении поправок в уголовное законодательство 1885 года, за которые он был осужден 31 марта 1952 года. [209] В конце года в письме в The Daily Telegraph физик Стивен Хокинг и 10 других подписавших, включая астронома королевского лорда Риза , президента Королевского общества сэра Пола Нерс , леди Трампингтон (которая работала на Тьюринга во время войны) и лорда Шарки (автора законопроекта), призвали премьер-министра Дэвида Кэмерона принять меры по запросу о помиловании. [210] Правительство заявило, что поддержит законопроект, [211] [212] [213] и он прошел третье чтение в Палате лордов в октябре. [214]
На втором чтении законопроекта в Палате общин 29 ноября 2013 года депутат-консерватор Кристофер Чоп выступил против законопроекта, отложив его принятие. Законопроект должен был вернуться в Палату общин 28 февраля 2014 года, [215] но прежде чем законопроект мог быть обсужден в Палате общин, [216] правительство решило действовать в соответствии с королевской прерогативой милосердия . 24 декабря 2013 года королева Елизавета II подписала помилование Тьюринга за осуждение за «грубую непристойность», с немедленным вступлением в силу. [217] Объявляя о помиловании, лорд-канцлер Крис Грейлинг сказал, что Тьюринг заслуживает того, чтобы его «помнили и признавали за его фантастический вклад в военные усилия», а не за его последующее уголовное осуждение. [194] [218] Королева официально объявила Тьюринга помилованным в августе 2014 года. [219] Решение королевы является лишь четвертым королевским помилованием, предоставленным после окончания Второй мировой войны. [220] Помилования обычно предоставляются только в том случае, если человек технически невиновен, и был подан запрос семьей или другой заинтересованной стороной; ни одно из условий не было выполнено в отношении осуждения Тьюринга. [221]
В сентябре 2016 года правительство объявило о своем намерении распространить это ретроактивное освобождение от ответственности на других мужчин, осужденных за аналогичные исторические преступления непристойного характера, в том, что было описано как « закон Алана Тьюринга ». [222] [223] Закон Алана Тьюринга теперь является неофициальным термином для закона в Соединенном Королевстве, содержащегося в Законе о полиции и преступности 2017 года , который служит законом об амнистии для ретроактивного помилования мужчин, которые были предупреждены или осуждены в соответствии с историческим законодательством, запрещающим гомосексуальные действия. Закон применяется в Англии и Уэльсе. [224]
19 июля 2023 года, после извинений перед ветеранами ЛГБТ от правительства Великобритании , министр обороны Бен Уоллес предложил почтить Тьюринга постоянной статуей на четвертом постаменте Трафальгарской площади , назвав Тьюринга «вероятно, величайшим героем войны, в моем понимании, Второй мировой войны, [чьи] достижения сократили войну, спасли тысячи жизней, помогли победить нацистов. И его история — это печальная история общества и того, как оно относилось к нему». [225] [226] [227]
чертежа для электронного цифрового компьютера. Факт остается фактом: каждый, кто стучит по клавиатуре, открывает электронную таблицу или программу обработки текста, работает над воплощением машины Тьюринга.
Обновлено 13 февраля 2015 г.Официальный военный историк Гарри Хинсли подсчитал, что эта работа сократила войну в Европе более чем на два года, но добавил оговорку, что это не учитывает использование атомной бомбы и другие события. Хинсли, Гарри (1996) [1993], Влияние ULTRA на Вторую мировую войну, домашняя страница Кейта Локстоуна, архивировано с оригинала 15 октября 2022 г. , извлечено 26 августа 2024 г.Стенограмма лекции, прочитанной во вторник 19 октября 1993 года в Кембриджском университете
Мы ... воссоздали историю жизни Тьюринга, и мы воссоздали его как несчастного молодого человека, покончившего с собой. Но доказательств нет.
После того, как его первая любовь, Кристофер Морком, умерла от туберкулеза ...
Это была первая любовь, которую сам Алан считал первой из многих для других представителей своего пола.
... Первая платоническая любовь Тьюринга, Кристофер Морком ...
«Мои лекции проходят довольно хорошо. Сейчас их посещают 14 человек. Несомненно, посещаемость будет падать по мере приближения семестра».
В конце 1940 года Алан Тьюринг написал отчет, в котором описывал методы, которые он и его коллеги в Блетчли-Парке использовали для взлома немецких шифровальных систем Enigma. В Блетчли он был известен как 'the Prof's Book'. Копия этого руководства была наконец раскрыта Агентством национальной безопасности США в апреле 1996 года под названием
Turing's Treatise on the Enigma
. Впоследствии (Британским) Национальным архивом была выпущена гораздо лучшая оригинальная копия, ящик HW 25/3. Это также выявило название, которое было утеряно в американской копии:
Mathematical theory of ENIGMA machine
. (Хотя, как ни странно, отчет на самом деле не содержит никакой математической теории.)