Смерть тьюринга. Кто придумал тест Тьюринга? Чудачества компьютерного гения

ТЬЮРИНГ, АЛАН МАТИСОН (Turing, Alan Mathison) (1912–1954), английский математик. Родился в Лондоне 23 июня 1912. Учился в Шерборнской школе, где проявил незурядные способности к математике и химии, затем в Кингз-колледже Кембриджского университета, который окончил в 1934. Непосредственным его учителем, а впоследствии коллегой был математик (тополог) М.Х.А.Ньюмен (1897–1984); Тьюринг слушал его курс по основаниям математики в 1935. В том же году Тьюринг получил стипендию Кингз-колледжа для работы над диссертацией. В 1936–1938 – в Принстонском университете в США, где его научным руковдителем был американский логик А.Чёрч (1903–1995). После получения докторской степени Тьюринг отклонил предложение Дж. фон Неймана остаться в США и вернулся в Кембридж, где получил стипендию Кингз-колледжа для занятий логикой и теорией чисел, посещая одновременно семинары Л.Витгенштейна по философии математики. В это же время началось его конфиденциальное сотрудничество с правительственной Школой кодов и шифров (Government Code and Cypher School) в Блечли-Парке, где он еще до войны участвовал в работах по раскрытию немецких шифров.

После начала Второй мировой войны Тьюринг полностью перешел на работу в Блечли-Парк. Используя более ранние польские наработки, совместно с У.Уэлчманом раскрыл шифры германских ВВС, создав дешифровочную машину «Бомба», а к концу 1939 самостятельно взломал гораздо более сложный шифр, использовавшийся в шифровальных машинах «Энигма», которыми были оснащены германские подводные лодки (см. КРИПТОГРАФИЯ). После первого успеха противостояние с «Энигмой» продолжалось еще несколько лет, но начиная с весны 1943 весь информационный обмен германских ВМС легко расшифровывался союзниками, к этому времени уже использовавшими электронную технику. Тьюринг занимался также разработкой шифров для переписки Черчилля и Рузвельта, проведя период с ноября 1942 по март 1943 в США. Был удостоен звания кавалера Ордена Британской империи 4-й степени.

Павел Паршин

Правообладатель иллюстрации Studiocanal Image caption Алан Тьюринг (Бенедикт Камбербатч), его жена Джоан (Кира Найтли) и их товарищи по группе, взломавшей нацистскую шифровальную машину "Энигма". Кадр из фильма "Игра в имитацию"

"Никто другой не внес такого же вклада в нашу победу в войне", - Уинстон Черчилль, охарактеризовавший таким образом британского математика Алана Тьюринга, лучше других знал цену победы и цену усилий разных людей в этой победе.

Суперпопулярный сейчас после "Шерлока Холмса" Бенедикт Камбербатч в главной роли, не менее популярная Кира Найтли в роли соратницы и жены Тьюринга – самые яркие звезды британского кино призваны привлечь усиленное внимание к и без того предельно увлекательной истории жизни ученого в выходящем в эти дни на британские экраны фильме "Игра в имитацию".

Кто такой Тьюринг?

Правообладатель иллюстрации studiocanal Image caption Давление было чудовищным. Однажды Тьюринга чуть не арестовали по подозрению в шпионаже. Кадр из фильма "Игра в имитацию"

Игра в имитацию, или имитационная игра - один из математических, логических приемов, разработанных Тьюрингом для первых изобретенных им пракомпьютеров. Этот и многие другие методы работы с первыми самыми примитивными компьютерами помогли Тюрингу и его группе раскрыть сверхсекретный код германского вермахта.

Никто другой не внес такого же вклада в нашу победу в войне Уинстон Черчилль

В 1939 году, вскоре после начала войны Тьюринг, работавший тогда в Кембриджском университете, был привлечен к работе над раскрытием кода немецкой шифровальной машины "Энигма". Работа была сверхсекретной, велась на закрытой базе Блетчли-парк в графстве Бэкингемшир в центре Англии. Проблема с кодировкой "Энигмы" состояла в том, что система кодов менялась каждый день, и наутро все достигнутые за день результаты шли в корзину.

Работа продолжалась несколько лет в условиях чудовищного давления со стороны высшего руководства британской армии и контрразведки. Тьюринг был на грани увольнения и однажды даже ареста - по подозрению в шпионаже в пользу Советов, и лишь личное вмешательство Черчилля, к которому уверенный в правильности избранного метода ученый обратился за поддержкой, спасло его и его группу.

Правообладатель иллюстрации Science Photo Library Image caption Алан Тьюринг - не кинематографический, а реальный - бежит марафонскую дистанцию в 1946 году

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

И его работа, и сам Тьюринг оставались строго засекречены и после войны.

Преследование и посмертное помилование

В 1952 году, работая уже в Манчестере, гомосексуалист Тьюринг был арестован и подвергнут уголовному преследованию за тогда еще противозаконную связь с 19-летним молодым человеком. Его поставили перед суровым выбором – тюрьма или "лечение" эстрогеном, процесс, по сути своей являвшийся ничем иным как химической кастрацией.

Сексуальность Тьюринга – центральный момент в фильме и в осознании личности его героя

Через год после такого "лечения" в 1954 году, за две недели до своего 42-го дня рождения Тьюринг принял дозу цианистого калия. Расследование постановило, что смерть наступила в результате самоубийства.

Однако в последние годы свидетельства, легшие в основу заключения о смерти математика в 1954 году, были поставлены некоторыми экспертами под сомнения.

Правообладатель иллюстрации studiocanal Image caption Даже следователь, допрашивавший Тьюринга по делу о гомосексуализме, признал его "человеком чести"

В 2009 году тогдашний премьер-министр Гордон Браун принес официальные публичные извинения от имени правительства Великобритании за "чудовищное обращение", которому был подвергнут ученый.

В 2013 году - лишь совсем недавно - специальным указом королевы Елизаветы Второй Тьюрингу было даровано посмертное помилование.

История в кино

"Игра в имитацию" - не первый художественный фильм, посвященный Алану Тьюрингу и его борьбе с "Энигмой".

В 2001 году вышла картина, которая так и называлась "Энигма", над ней работала блестящая команда английских деятелей культуры: писатель Роберт Харрис, автор одноименного романа; драматург Том Стоппард, превративший этот роман в сценарий; режиссер Майкл Эптед и автор музыки к фильмам о Джеймсе Бонде композитор Джон Барри. А возглавлял это созвездие выступивший в качестве продюсера Мик Джаггер - именно ему, собственно говоря, и принадлежала идея того фильма. Джаггер давно был очарован историей Тьюринга, и в фильме снималась подлинная немецкая машина "Энигма" из его собственной коллекции.

"Игра в имитацию" - тоже экранизация, но не романа, а биографии Тьюринга, написанной историком Эндрю Ходжесом.

Правообладатель иллюстрации studiocanal Image caption Для норвежского режиссера Мортена Тилдима "Игра в имитацию" - первый полнометражный фильм на английском языке

Фильм не ставит перед собой задачу скрупулезно проследить жизненную историю ученого. Действие его начинается в 1939 году - со сцены дерзкого собеседования, в результате которого Тьюринг лишь чудом получает место в Блетчли-парк.

Однако ретроспективно мы попадаем в престижную закрытую частную школу, одну из тех английских школ, которые воспитывают известных на весь мир ученых и политиков. Оборотная их сторона - жестокая, удушающая атмосфера, столь блестяще и гротескно воспроизведенная еще в конце 60-х режиссером Линдсеем Андерсоном, намеки на которую мы видим и в "Игре в имитацию".

Поэзия и задавленность любви

Правообладатель иллюстрации studiocanal Image caption Главное детище своей жизни - машину, с помощью которой был взломан код "Энигма" - Тьюринг назвал в честь юношеской любви "Кристофер"

Именно в школе пробуждается гомосексуальность Тьюринга. Пробуждается от даже не столько романтического, сколько дружеского чувства к однокласснику Кристоферу Моркому, единственному, кто сочувствует ему и помогает не потерять себя среди издевательств и побоев. Морком умрет в 18 лет от туберкулеза, и чувство к нему Тьюринг пронесет через всю жизнь. Главное изобретение своей жизни - машину, с помощью которой он взломал код "Энигмы", он назвал "Кристофер".

Главным для нас было невидимое: поэзия, тайна, подавленность его сексуальности. Это человек, у которого отобрали право любить – именно в этом трагедия его личности и трагедия фильма Бенедикт Камбербатч

Гомосексуализм Тьюринга – центральный момент в фильме и в осознании личности его героя. Тьюринг по необходимости вынужден был скрывать свою сексуальную ориентацию. В какой-то момент он даже становится объектом шантажа от затесавшегося в группу советского шпиона. Но в то же время он нисколько не стыдится своей природы.

При аресте он совершенно не пытается увиливать и добровольно соглашается написать чистосердечное признание. Пятистраничный текст был написан настолько искренне и с таким достоинством, что даже допрашивавший его полицейский был вынужден признать, что перед ним - "человек чести".

При этом сексуальная сторона жизни Тьюринга совершенно не выпячивается. Во всем фильме нет ни единой сцены, в которой мы видели бы его физические отношения с мужчинами. Подростковое чувство к Моркому проявляется не более, чем взглядом. Кое-кто из критиков усмотрел в такой сдержанности даже чрезмерное для современного кино целомудрие.

"Для меня в фильме более чем достаточно откровенной любви, - отвечает критикам Бенедикт Камбербатч. – И гомосексуальность тут абсолютно ни при чем. Если бы такие сцены могли добавить смысла фильму, обогатить его, мы несомненно пошли бы на это. Для меня в этом не было бы никакой проблемы".

Правообладатель иллюстрации studiocanal Image caption Жена Тьюринга (Кира Найтли) была прекрасно осведомлена о гомосексуальности мужа. Для них обоих интеллектуальная, духовная близость была куда важнее физической

"Однако главным для нас, - продолжает актер, - было невидимое: поэзия, тайна, подавленность его сексуальности. Это человек, у которого отобрали право любить - именно в этом трагедия его личности и трагедия фильма".

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

Гений ХХ века

Фильм завершается красноречивым титром: "Его изобретение было далеко от совершенства, но оно породило целую новую область исследований, которая получила название "машины Тьюринга". Сегодня мы называем их "компьютеры".

В первой половине XX века, когда были изобретены первые вычислительные машины. Однако наряду с физически осязаемыми машинами появлялись и машины-концепции. Одной из них была «машина Тьюринга» - абстрактное вычислительное устройство, придуманное в 1936 году Аланом Тьюрингом - учёным, которого считают одним из основоположников информатики.

Его кругозор распространялся от квантовой теории и принципа относительности до психологии и неврологии. А в качестве способа познания и передачи своих знаний Тьюринг использовал аппарат математики и логики. Он находил решения, казалось бы, нерешаемых задач, но был сильнее всего увлечен идеей «Универсальной машины», способной вычислить всё, что в принципе вычислимо.

Детство, образование, увлечения

Родители Алана жили в индийском городе Чхатрапур. Отец - Юлиус Мэтисон Тьюринг представитель старого шотландского аристократического рода, работал в Имперской государственной службе. Мать - Сара Этель (урожденная Стони), была родом из Ирландии, из протестантской семьи англо-ирландского дворянства. Когда она ждала ребёнка, супруги решили переехать в Англию, чтобы он рос и воспитывался в Лондоне.

Там Алан Тьюринг и родился 23 июня 1912 года. У него был старший брат Джон. Государственная служба Юлиуса Тьюринга продолжалась и родителям Алана приходилось часто путешествовать между Гастингсом и Индией, оставляя двоих своих сыновей на попечение отставной армейской пары. Признаки гениальности проявлялись у Тьюринга с раннего детства.

В детстве Алан и его старший брат Джон довольно редко видели своих родителей - их отец до 1926 года служил в Индии; дети оставались в Англии и жили на попечении в частных домах, получая строгое английское воспитание, соответствующее их положению на социальной лестнице. В рамках такого воспитания изучение основ естественных наук фактически не предусматривалось.

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

В 11 лет он ставил вполне грамотные химические опыты, пытаясь извлечь йод из водорослей. Все это доставляло огромное беспокойство его матери, которая боялась, что увлечения сына, идущие вразрез с традиционным воспитанием, помешают ему поступить в Public School (английское закрытое частное учебное заведение для мальчиков, учеба в котором была обязательна для детей аристократов). Но её опасения оказались напрасны: Алан смог поступить в престижную Шербонскую школу (Sherborne Public School).

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

Увлечение Тьюринга математикой не нашло особой поддержки среди учителей Шерборнской школы, где уделяли больше внимания гуманитарным наукам. Директор школы писал родителям: «Я надеюсь, что он не будет пытаться усидеть на двух стульях разом. Если он намеревается остаться в частной школе, то он должен стремиться к получению «образования». Если же он собирается быть исключительно «научным специалистом», то частная школа для него - пустая трата времени».

О школьных успехах Алана красноречиво свидетельствует классный журнал, в котором можно найти, например, следующее

Я могу смотреть сквозь пальцы на его сочинения, хотя ничего ужаснее в жизни своей не видывал, я пытаюсь терпеть его непоколебимую небрежность и непристойное прилежание; но вынести потрясающую глупость его высказываний во время вполне здравой дискуссии по Новому Завету я, все же, не могу.

Тем не менее, в областях, интересовавших его, Тьюринг проявлял незаурядные способности.

В 1928 году, в возрасте 16 лет, Тьюринг ознакомился с работой Эйнштейна, в которой ему удалось разобраться до такой степени, что он смог догадаться из текста о сомнениях Эйнштейна относительно выполнимости Законов Ньютона, которые не были высказаны в статье в явном виде.

Университет

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

Кембриджский университет, обладавший особыми привилегиями, дарованными английскими монархами, издавна славился либеральными традициями, и в его стенах всегда царил дух свободомыслия. Здесь Тьюринг обретает – пожалуй, впервые – свой настоящий дом, где он смог полностью отдаться науке.

Главное место в жизни заняло увлечённое изучение столь интересующих его наук – математики и квантовой физики. Те годы были периодом бурного становления квантовой физики, и Тьюринг в студенческие годы знакомится с самыми последними работами в этой области. Большое впечатление производит на него книга Джона фон Неймана «Математические основы квантовой механики», в которой он находит ответы на многие давно интересующие его вопросы.

Тогда Тьюринг, наверное, и не предполагал, что через несколько лет фон Нейман предложит ему место в Принстоне – одном из самых известных университетов США. Ещё позже фон Нейман, так же как и Тьюринг, будет назван «отцом информатики». Но тогда, в начале 30-х годов ХХ века, научные интересы обоих будущих выдающихся учёных были далеки от вычислительных машин – и Тьюринг, и фон Нейман занимаются в основном задачами «чистой» математики.

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

Ставя химические опыты, он играл в особую игру «Необитаемый остров», изобретенную им самим. Цель игры заключалась в том, чтобы получать различные «полезные» химические вещества из «подручных средств» – стирального порошка, средства для мытья посуды, чернил и тому подобной «домашней химии».

Он также находил отдых в интенсивных занятиях спортом – греблей и бегом. Марафонский бег останется его поистине страстным увлечением до конца жизни.

Тьюринг блестяще заканчивает четырёхлетний курс обучения. Одна из его работ, посвященная теории вероятностей, удостаивается специальной премии, его избирают в научное общество Королевского колледжа. В 1935 году Тьюринг публикует работу «Эквивалентность левой и правой почти-периодичности», в которой он упрощает одну идею фон Неймана в теории непрерывных групп – фундаментальной области современной математики. Казалось, его ждет успешная карьера слегка эксцентричного кембриджского преподавателя, работающего в области «чистой» математики.

Однако Тьюринг никогда не удерживался в каких-либо «рамках». Никто не мог предвидеть, какая экзотическая проблема неожиданно увлечет его, и какой математически неординарный способ ее решения ему удастся придумать.

Кроме того, в Кембридже Алан посещал лекции Виттенштейна Людвига. Виттенштейн утверждал теорию о несостоятельности математики. По его словам математика не ищет истину, но сама создаёт её. Алан был с этим не согласен и много спорил с Людвигом. Тьюринг выступал за «формализм» - математическое философское течение, которое не требовало точного перевода слов и ограничивалось примерным смыслом. А Людвиг искал абсолютной точности.

Во время обучения в колледже Алан Тьюринг изучал основы криптографии – то есть расшифровки данных. Это пригодилось ему во время Второй Мировой войны, когда учёный работал над расшифровкой немецких посланий.

Машина Тьюринга

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

Он доказал, что подобная машина была бы способна произвести любые математические вычисления, представимые в виде алгоритма. Далее Тьюринг показал, что не существует решения Entscheidungsproblem, сперва доказав, что Проблема остановки для машины Тьюринга неразрешима: в общем случае невозможно алгоритмически определить, остановится ли когда-нибудь данная машина Тьюринга.

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

На вопрос : «Что такое машина Тьюринга и какое отношение она имеет к программированию?» один из пользователей Toster ответил так:

В первую очередь - это формальное определение алгоритма. Задача считается алгоритмически разрешимой тогда и только тогда, когда её решение можно запрограммировать на машине Тьюринга (или каким-нибудь другим эквивалентным способом). Это определение даёт, например, возможность предъявить алгоритмически неразрешимые задачи. Позволяет ввести понятие «Тьюринг-полного» языка - если на языке можно реализовать машину Тьюринга, то на нём можно написать любой алгоритм (препроцессор языка С таким не является, а C# - является).

В общем, МТ - способ определить некоторый класс алгоритмов:

Некоторые задачи можно решить конечным автоматом;
- для некоторых потребуется конечный автомат со стековой памятью;
- для других достаточно машины Тьюринга;
- для остальных требуется божественное откровение или другие неалгоритмизируемые методы.


С сентября 1936 года по июль 1938 Тьюринг работал под руководством Чёрча в Принстоне. Кроме занятий математикой, учёный изучал криптографию, а также конструировал электромеханический бинарный умножитель.

В июне 1938 года Тьюринг защитил докторскую диссертацию «Логические системы, основанные на ординалах», в которой была представлена идея сведения по Тьюрингу, заключающаяся в объединении машины Тьюринга с оракулом. Это позволяет исследовать проблемы, которые невозможно решить с помощью лишь машины Тьюринга.

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

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

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

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

Польский метод основывался на недоработках индикаторной процедуры, которые немцы исправили к маю 1940 года. Подход Тьюринга был более общим и основан на методе перебора последовательностей исходного текста, для которого он разработал начальную функциональную спецификацию Bombe.

Машина, созданная на основе этой спецификации, искала возможные настройки, использованные для шифрования сообщений (порядок роторов, положение ротора, соединения коммутационной панели), опираясь на известный открытый текст. Для каждой возможной настройки ротора (у которого было 10 ^ 19 состояний или 10 ^ 22 в модификации, использовавшейся на подводных лодках) машина производила ряд логических предположений, основываясь на открытом тексте (его содержании и структуре).

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

Спецификация для «Бомбы» была только первым из пяти важнейших достижений Тьюринга в области военного криптоанализа.

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

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

Тьюринг занимался также разработкой шифров для переписки Черчилля и Рузвельта, проведя период с ноября 1942 года по март 1943 года в США.

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

Послевоенные годы

После того как фон Нейман в США предложил план создания компьютера EDVAC, аналогичные работы были развернуты в Великобритании в Национальной физической лаборатории, где Тьюринг проработал с 1945 года. Ученый предложил весьма амбициозный проект АСЕ (Automatic Computing Engine – Автоматическая Вычислительная Машина), который, однако, так и не был реализован.

Несмотря на то, что постройка ACE была вполне осуществима, секретность, окружавшая Блэтчли-парк, привела к задержкам в начале работ, что разочаровало Тьюринга.

1947–1948 академический год Тьюринг провел в Кембридже. Пока Алан Тьюринг пребывал в Кембридже, Pilot ACE был построен в его отсутствие.


Franklin ACE 1200

Он выполнил свою первую программу 10 мая 1950 года. Хотя полная версия ACE никогда не была построена, некоторые компьютеры имели с ним много общего, к примеру, DEUCE и Bendix G-15.

В мае 1948 года получил предложение занять пост преподавателя и заместителя директора вычислительной лаборатории Манчестерского университета, занявшего к этому времени лидирующие позиции в разработке вычислительной техники в Великобритании.

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

В том же году Тьюринг изобрёл метод LU-разложения, который используется для решения систем линейных уравнений, обращения матриц и вычисления определителя.

Тест Тьюринга

В 1948 году Алан Тьюринг получил звание Reader в математическом департаменте Манчестерского университета. Там в 1949 году он стал директором компьютерной лаборатории, где была сосредоточена работа по программированию Манчестерского Марка I.

В то же время Тьюринг продолжал работать над более абстрактными математическими задачами, а в своей работе «Computing Machinery and Intelligence» (журнал «Mind», октябрь 1950) он обратился к проблеме искусственного интеллекта и предложил эксперимент, ставший впоследствии известным как тест Тьюринга.

Его идея заключалась в том, что можно считать, что компьютер «мыслит», если человек, взаимодействующий с ним, не сможет в процессе общения отличить компьютер от другого человека. В этой работе Тьюринг предположил, что вместо того, чтобы пытаться создать программу, симулирующую разум взрослого человека, намного проще было бы начать с разума ребёнка, а затем обучать его. CAPTCHA, основанный на обратном тесте Тьюринга, широко распространён в интернете.

В 1951 году Тьюринг был избран членом Лондонского королевского общества.

В первоначальной формулировке «тест Тьюринга» предполагает ситуацию, в которой два человека, мужчина и женщина, по некоторому каналу, исключающему восприятие голоса, общаются с отделенным от них стеной третьим человеком, который пытается по косвенным вопросам определить пол каждого из своих собеседников; при этом мужчина пытается сбить с толку спрашивающего, а женщина помогает спрашивающему выяснить истину.

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

Данный мысленный эксперимент имел ряд принципиальных следствий. Во-первых, он предложил некоторый операциональный критерий для ответа на вопрос «Может ли машина мыслить?».

Во-вторых, этот критерий оказался лингвистическим: указанный вопрос был явным образом заменен вопрос о том, может ли машина адекватным образом общаться с человеком на естественном языке. Тьюринг прямо писал о замене формулировки и при этом выражал уверенность в том, что «метод вопросов и ответов пригоден для того, чтобы охватить почти любую область человеческой деятельности, какую мы захотим ввести в рассмотрение».

Следствием этого стала та важнейшая роль, которую в дальнейшем развитии искусственного интеллекта, во всяком случае, до 1980-х годов играли исследования по моделированию понимания и производства естественного языка. В 1977 году тогдашний директор лаборатории искусственного интеллекта Массачусетского технологического института П.Уинстон писал, что научить компьютер понимать естественный язык – это все равно, что добиться построения интеллекта вообще.

Любимой сказкой Алана Тьюринга была сказка о Белоснежке. Его буквально завораживал тот момент, когда красавица падает замертво, вкусив отравленного яблока.

И когда 8 июня 1954 года его нашли бездыханным в собственной квартире, на прикроватной тумбе лежало надкусанное яблоко — точь-в-точь такое же, как в сказке про Белоснежку...

«Школа для него — пустая трата времени»

Выдающиеся способности маленького Алана начали проявляться ещё в раннем детстве. А когда в возрасте шести лет мальчик пошёл в школу святого Михаила в Гастингсе, её директор, едва познакомившись с ним, предрек ему большое будущее.

В 13 лет Алана отдали в известную частную школу Шерборн в одноимённом городе графства Дорсет. И очень быстро оказалось, что это учебное заведение мало подходит для Алана. Школа Шерборн ориентировалась на подготовку гуманитариев, и юный математик ей был ни к чему.

«Если он намеревается остаться в частной школе, то он должен стремиться к получению образования. Если же он собирается быть исключительно "научным специалистом", то частная школа для него — пустая трата времени», — писал родителям Алана директор учебного заведения.

«Холодная война» между Тьюрингом и школой длилась вплоть до окончания его обучения. В 15 лет он решал сложнейшие математические задачи, несмотря на то, что ему не преподавали даже основ математического анализа.

Но слабость Алана в гуманитарных науках привела к тому, что он недобрал баллов на выпускных экзаменах. Из-за этого он поступил не в Тринити-колледж, куда собирался, а в Королевский колледж Кембриджа.

В эти годы студент Тьюринг уже вовсю занимается поиском решений самых сложных математических задач современности.

Орден за «Энигму»

В 24 года для формализации понятия алгоритма молодой учёный предложил модель абстрактной вычислительной машины, которая стала известна под именем «машины Тьюринга».

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

Перед Тьюрингом поставили задачу — разгадать секрет немецкой шифровальной машины «Энигма», с помощью которой кодировалась информация, передаваемая сухопутными войсками, флотом и авиацией гитлеровской Германии.

Тьюринг разработал теоретическое обоснование электронно-механической машины для расшифровки кода «Энигмы», которая получила название Bombe.

Дешифровальная машина «Bombe». Фото: Commons.wikimedia.org / Maximilian Schönherr

За годы Второй мировой войны Тьюринг добился огромных успехов в области военного криптоанализа — благодаря ему код «Энигмы» был расшифрован полностью, в том числе его более сложный вариант для ВМФ. В 1942 году учёный взялся за расшифровку кода «Лоренц», применявшегося немцами для передачи сообщений высшего командования.

Благодаря работам Тьюринга и его коллег была создана одна из первых ЭВМ в мире, получившая название «Колосс». Эта машина взломала код «Лоренц», что позволило союзникам быть в курсе переписки высших руководителей гитлеровской Германии и сократило длительность войны как минимум на несколько месяцев.

В 1945 году в обстановке секретности 33-летний Алан Тьюринг был награждён орденом Британской империи королём Георгом VI за военную службу.

«Тест Тьюринга» и кружка на цепи

Среди коллег он слыл «странным парнем». Вместо ремонта велосипеда со слетающей цепью Тьюринг высчитывал промежутки, через которые она слетает, чтобы в нужный момент просто поправить её рукой. Собственную кружку Алан привязывал цепью, чтобы её не украли.

Но такие странности водятся за многими учёными. А вот про то, что математику нравятся мужчины, знали лишь единицы.

В 1941 году, стремясь покончить с пагубной тягой, Тьюринг сделал предложение коллеге Джоан Кларк . Девушка ответила согласием, её не смутило даже то, что в порыве откровенности Тьюринг признался в гомосексуальных наклонностях. Но такая реакция изменила решение самого учёного — он расторг помолвку, решив не портить Джоан жизнь.

В послевоенные годы Тьюринг продолжал решать задачи как в интересах военного ведомства, так и во имя «мирной науки».

Стандартная интерпретация теста Тьюринга. Фото: Public Domain

В 1948 году Тьюринг пишет шахматную программу для ещё несуществующего компьютера. В 1950 году он предлагает эмпирический тест, целью которого было определение возможностей машины к мышлению. Идея ученого заключалась в следующем — можно считать, что компьютер «мыслит», если человек, взаимодействующий с ним, не сможет в процессе общения отличить компьютер от другого человека. Данный тест получил название «тест Тьюринга».

К началу 1950-х Тьюринг находился в зените славы. Он стал отцом-теоретиком одного из первых в мире компьютеров, стал членом Лондонского королевского общества.

Любовь и предательство

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

В январе 1952 года 39-летний учёный на улице Манчестера познакомился с 19-летним рабочим Арнольдом Мюрреем . Тьюрингу понравился юноша, и он пригласил его на обед, предложив затем продолжить знакомство у учёного дома. Рабочий согласился, но не пришёл. Однако Тьюринг был настойчив, ещё несколько раз встречал Мюррея и уговорил-таки молодого человека провести с ним ночь.

В течение какого-то времени учёный и строитель были любовниками, а затем квартиру Тьюринга обворовали, причём сделали это друзья Мюррея с его подачи.

Воры, очевидно, считали, что Тьюринг в полицию не обратится, чтобы не раскрыть свой секрет. Но учёный все же вызвал полицейских. Естественно, очень быстро стало известно и об отношениях Мюррея и Тьюринга, и математик не стал отрицать, что спал с этим мужчиной.

В разные времена в Англии за гомосексуализм могли казнить или приговорить к пожизненному заключению. В начале 1950-х законы стали мягче, но открытое признание гомосексуальной связи строго каралось в соответствии с так называемой «поправкой Лабушера», предполагавшей наказание за любую сексуальную активность между двумя мужчинами.

Суд, длившийся несколько месяцев, завершился предсказуемым обвинительным вердиктом. Тьюрингу предложили на выбор — тюрьма или химическая кастрация.

Учёный выбрал второе и за год инъекций превратился в человека, которого не интересуют ни мальчики, ни девочки.

Но эта потеря была малой по сравнению с тем, что Тьюринг фактически лишился работы. Военные отказались от его услуг, опасаясь, что советская разведка поймает его в «голубую медовую ловушку». В научном сообществе также стали игнорировать гения математики.

Кумир Джобса и гей-сообщества

Тьюринг проводил время за игрой в настольные игры. Потеряв всё, он перестал дорожить и жизнью.

Известно, что умер Алан Тьюринг от отравления цианидом, но как именно он отравился, непонятно и по сей день. Мать учёного была уверена, что её сын погиб в результате несчастного случая, поскольку в последнее время Тьюринг пристрастился к химическим опытам. Поклонники Тьюринга и сейчас считают, что его убили. Дело осложняется ещё и тем, что то самое яблоко, найденное у тела учёного, никто не проверил на наличие цианида.

Поклонником таланта Алана Тьюринга был другой гений XX века — Стив Джобс . И, как считают некоторые, надкушенное яблоко на эмблеме Apple появилось не случайно. Таким образом Джобс отдал дань уважения памяти человека, без работ которого не было бы и успеха Apple.

В начале XXI века в Великобритании состоялась реабилитация Алана Тьюринга. В 2009 году выразил сожаление за преследование учёного премьер-министр страны Гордон Браун . А спустя ещё четыре года королева Великобритании Елизавета II за обвинения в «непристойности».

В результате случился новый неожиданный поворот. Тьюринг, объявленный «одной из главных жертв мировой гомофобии», стал символом борцов за расширение прав ЛГБТ-сообщества.

В честь Тьюринга проводятся громкие массовые акции, гей-парады. Гомосексуальности победителя «Энигмы» сегодня придают больше значения, чем его научным работам. Ничего не поделаешь, таково веление времени.

Алан Матисон Тьюринг OBE (англ. Alan Mathison Turing; 23 июня 1912 - 7 июня 1954) - английский математик, логик, криптограф, оказавший существенное влияние на развитие информатики. Предложенная им в 1936 году абстрактная вычислительная «Машина Тьюринга» позволила формализовать понятие алгоритма и до сих пор используется во множестве теоретических и практических исследований.

Жизнь Алана Тьюринга закончилась трагически. Он был признан «одной из самых известных жертв гомофобии в Великобритании».

«В отсутствии законов поведения, которые в своей совокупности определяли бы нашу жизнь, нельзя убедиться так же легко, как в отсутствии законченного списка правил действия. Единственный известный нам способ отыскания таких законов есть научное объяснение, и конечно мы никогда … не можем сказать: «Мы достаточно уже исследовали. Законов, которые полностью определяли бы нашу жизнь и поведение, не существует».

Тьюринг Алан Матисон

Сын британского чиновника в Индии, Алан учился во Франции, Англии и, затем, в США. Тогда многие математики пытались создать алгоритм для определения истинности высказываний.

Но Гёделю удалось доказать, что любая полезная математическая система аксиом неполна в смысле, что в ней существует высказывание, истинность которого нельзя ни опровергнуть, ни подтвердить. Это побудило Тьюринга доказать, что нет общего метода определения истинности и, таким образом, математика всегда будет содержать недоказуемые высказывания.

В своей работе Тьюринг предложил проект простого устройства, имеющего все основные свойства современной информационной системы: программное управление, память, и пошаговый способ действий. Эта воображаемая машина, получившая название «машины Тьюринга», используется в теории автоматов или компьютеров.

Когда Тьюринг из США возвратился в Англию, началась вторая мировая война. Одним из важнейших вооружений этой войны была ЭВМ «Колосс» по проекту «Ультра», начавшая в 1943 году взламывать сверхсложные шифры немцев. Работа этой системы значительно помогла союзникам в борьбе с немецко-фашистскими захватчиками.

После войны в 1945 Алан возглавил проект создания компьютера «ТУЗ» (ACE, Automatic Computing Engine), а в 1948 Тьюринг стал работать с «МАДАМ» (MADAM, Manchester Automatic DigitAl Machine), компьютером с самой большой памятью в мире в то время.

Работы Алана по сооружению первых ЭВМ и развитию методов программирования имели неоценимую важность, дав основу большинству исследований в области искусственного интеллекта. Он полагал, что компьютеры, в конце концов, смогут мыслить как человек, и предложил простую проверку, известную как тест Тьюринга, оценивающую способность машины мыслить: побеседуйте с ЭВМ, и пусть она убедит вас, что она - человек.

В 1952 году Тьюринг издал первую часть его теоретического изучения развития форм живых организмов. Но эта работа осталась незаконченной.

В 1952 г. обворовали квартиру Тьюринга, и в ходе расследования полиция выяснила, что кражу совершил друг его любовника. Скандал получил широкую огласку - и 30 марта 1953 года состоялся судебный процесс, на котором Тьюринг был обвинен в мужеложестве. На выбор ему было предложено два приговора-либо заключение в тюрьме, либо подавление либидо с помощью инъекций женского гормона эстрогена. Ученый выбрал второе.

Последствия суда были катастрофическими - Алана Тьюринга уволили из шифроаналитического бюро и Манчестерского университета. Правда, потом ему все-таки вернули возможность преподавать. Тем не менее учёный до 1954 г. прожил в затворничестве, играя в свою любимую игру «Необитаемый остров», которая заключалась в получении всевозможных химических веществ из популярных продуктов.

8 июня 1954 года Алан Мэтисон Тьюринг был найден мертвым в своем доме - отравился цианидом. Яблоко, начиненное этой отравой, лежало рядом на ночном столике. До сих пор точно не известно, было ли это самоубийством или Тьюринга погубили завистники. Его мать считала, что он отравился случайно, так как всегда небрежно работал с химикатами.

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

Во время Второй мировой войны Тьюринг работал в Блечли Парке - британском криптографическом центре, где возглавлял одну из пяти групп, Hut 8, занимавшихся в рамках проекта «Ультра» расшифровкой закодированных немецкой шифровальной машиной «Энигма» сообщений кригсмарине и люфтваффе. Вклад Тьюринга в работы по криптографическому анализу алгоритма, реализованного в «Энигме» основывался на более раннем криптоанализе предыдущих версий шифровальной машины, выполненных в 1938 году польским криптоаналитиком Марианом Реевским.

В начале 1940 года он разработал дешифровальную машину «Бомба», позволявшую читать сообщения люфтваффе. Принцип работы «Бомбы» состоял в переборе возможных вариантов ключа шифра и попыток расшифровки текста, если была известна часть открытого текста или структура расшифровываемого сообщения.

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

Первая в Блетчли «Бомба» Тьюринга была запущена 18 марта 1940 года. Дизайн «Бомб» Тьюринга так же был основан на дизайне одноимённой машины Реевского.

Через полгода удалось взломать и более стойкий шифр Кригсмарине. Позже, к 1943 году, Тьюринг внес ощутимый вклад в создание более совершенной дешифровальной электронно-вычислительной машины «Колосс», использующейся в тех же целях.

Даже читая зашифрованные немецкие сообщения, в марте 1943 года Великобритания стояла на грани поражения в Битве за Атлантику и во всей Второй мировой войне. Вполне вероятно, что без расшифровки кода «Энигмы» ход этой войны был бы иным.

Любая интуитивно вычислимая функция является частично рекурсивной, или, эквивалентно, может быть вычислена с помощью некоторой машины Тьюринга.

Алан Тьюринг высказал предположение (известное как тезис Чёрча - Тьюринга), что любой алгоритм в интуитивном смысле этого слова может быть представлен эквивалентной машиной Тьюринга.

Уточнение представления о вычислимости на основе понятия машины Тьюринга (и других эквивалентных ей понятий) открыло возможности для строгого доказательства алгоритмической неразрешимости различных массовых проблем (то есть проблем о нахождении единого метода решения некоторого класса задач, условия которых могут варьироваться в известных пределах).

Простейшим примером алгоритмически неразрешимой массовой проблемы является так называемая проблема применимости алгоритма (называемая также проблемой остановки).

Она состоит в следующем: требуется найти общий метод, который позволял бы для произвольной машины Тьюринга (заданной посредством своей программы) и произвольного начального состояния ленты этой машины определить, завершится ли работа машины за конечное число шагов, или же будет продолжаться неограниченно долго.

Тьюринг является основателем теории искусственного интеллекта.

Машина Тьюринга является расширением модели конечного автомата и способна имитировать (при наличии соответствующей программы) любую машину, действие которой заключается в переходе от одного дискретного состояния к другому.

Тест Тьюринга - тест, предложенный Аланом Тьюрингом в 1950 году в статье «Вычислительные машины и разум» (англ. Computing Machinery and Intelligence) для проверки, является ли компьютер разумным в человеческом смысле слова. В этом тесте один или несколько людей должны задавать вопросы двум тайным собеседникам и на основании ответов определять, кто из них машина, а кто человек. Если не удавалось раскрыть машину, которая маскировалась под человека, предполагалось, что машина разумна.

Тьюринг был гомосексуалистом. В то время в Великобритании гомосексуальные половые акты были запрещены законом, а гомосексуализм считался психическим заболеванием.

В 1952 году ему были предъявлены обвинения в «грубой непристойности» (англ. gross indecency) за то, что он был геем. Тьюринг был осужден, и ему предоставили выбор между двухлетним тюремным заключением и гормональной терапией в виде инъекций эстрогена, которая, по сути, была химической кастрацией.

Тьюринг выбрал терапию. Одним из эффектов была растущая грудь и снижение либидо. Кроме того, в результате осуждения он потерял право работать в области криптографии.

Через год после вынесения приговора он умер от отравления цианидом, который, видимо, содержался в яблоке, половину которого Тьюринг съел перед смертью. Было признано, что он покончил жизнь самоубийством. Тем не менее, его мать считала, что он отравился случайно, так как всегда небрежно работал с химикатами.

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

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

Память об Алане Тьюринге
* Одна из ежегодных наград Ассоциации вычислительной техники называется Премия Тьюринга.
* Алан Тьюринг упоминается в историческом романе «Криптономикон» Нила Стивенсона и фигурирует в романе Роберта Харриса «Энигма».
* Известный писатель-фантаст Гарри Гаррисон в соавторстве с американским учёным в области искусственного интеллекта Марвином Мински написал роман «Выбор по Тьюрингу» («The Turing Option», 1992).
* В романе Уильяма Гибсона «Нейромант» фигурирует «полиция Тьюринга» («регистр Тьюринга»), которая занимается контролем и следит за развитием существующих искусственных интеллектов.

Алан Матисон Тьюринг - фото