Алан тьюринг отец компьютерной науки. Рецензия на книгу «Алан Тьюринг: Энигма

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

Иван Долмачев

Алан Матисон (Мэтисон) Тьюринг (23 июня 1912 - 7 июня 1954) - английский математик, логик, криптограф, оказавший существенное влияние на развитие информатики. Кавалер Ордена Британской империи (1945), член Лондонского королевского общества (1951). Предложенная им в 1936 году абстрактная вычислительная «машина Тьюринга», которую можно считать моделью компьютера общего назначения, позволила формализовать понятие алгоритма и до сих пор используется во множестве теоретических и практических исследований. Общепринято считать Алана Тьюринга отцом информатики и теории искусственного интеллекта.

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

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

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

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

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

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

Этот мальчик из тех, кто обречен стать большой проблемой для любой школы или сообщества.

Впрочем, в классном журнале имеются и другие записи

Если он хочет быть только научным специалистом, он зря проводит время в Public School... Наверное, он будет математиком. Такие ученики, как он, рождаются один раз в 200 лет.

Юный Алан Тьюринг ничего не делал на уроках, а в свободное время - изучал "внеклассные" науки.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

В 1928 году немецкий математик Давид Гильберт привлек внимание мировой общественности к проблеме разрешения. В математике проблемой разрешения (Entscheidungsproblem) называется задача: найти алгоритм, который бы принимал в качестве входных данных описание любой проблемы разрешимости (формального языка и математического утверждения S на этом языке), и после конечного числа шагов останавливался бы и выдавал один из двух ответов: «Истина» или «Ложь», в зависимости от того, истинно или ложно утверждение S. Не требуется, чтобы алгоритм давал какое-либо обоснование своего ответа, однако ответ всегда должен быть верным.

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

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

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

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

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

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

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

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

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

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

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

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

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

31 марта 1952 Тьюринг был арестован по обвинению в гомосексуализме, которого никогда не скрывал (хотя и предпринял в своё время неудачную попытку жениться). Поставленный перед выбором между тюремным заключением и гормональным лечением, выбрал последнее. Это «лечение» продолжалось один год, что привело к импотенции и гинекомастии.

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

Несмотря на выдающиеся заслуги перед британской короной, после войны он провёл несколько лет в психологической клинике. Выйдя оттуда, он увлёкся тем, что называл "игрой в необитаемый остров". Используя имеющиеся под руками средства, он получал всё более и более редкие химические вещества. Через год такой странной игры он получил на своей кухне цианистый калий.

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

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

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

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

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

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

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

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

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

Признание Алана одной из самых известных жертв гомофобии в Великобритании является ещё одним шагом к обеспечению равенства…

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

Хотя гомосексуализм был исключен из числа уголовных преступлений в 1967 году, лишь в декабре 2013 года королева Великобритании Елизавета II даровала посмертное помилование Алану Тьюрингу.

Приговор Тьюрингу мы считаем несправедливым и дискриминационным, помилование - достойная дань памяти этому великому человеку,

Именно так отозвался о решении королевы министр юстиции Великобритании Крис Грейлинг.

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

• именем ученого назван один из астероидов
• ежегодная награда Ассоциации вычислительной техники называется Премией Тьюринга
• на главной площади университета Суррея (Англия) есть статуя Тьюринга и одно из зданий факультета инженерных и физических наук названо в его честь
• одна из аудиторий отдела информатики при Университете Лилль в Северной Франции назван в честь Алана М. Тьюринга
• Манчестерский университет, Открытый университет, Университет Оксфорд Брукс и Университет Орхус (Дания) имеют корпуса имени Тьюринга и др.
• в 2001 году в Манчестере установлен памятник учёному

Памятник Алану Тьюрингу в Садах Витворта, Манчестер, Великобритания. Памятник открыт в день рождения Тьюринга 23 июня 2001 года. Изображает фигуру Тьюринга с яблоком в руке, спокойно сидящего на городской лавочке в парке. Средства на сооружение памятника были собраны в течение 12 месяцев за счет пожертвований и проведенных лотерей. Мемориальная доска у ног статуи гласит:

Алан Матисон Тьюринг
1912 - 1954
Отец информатики,
математик, логик,
взломщик военных шифров,
жертва предрассудков.

——————
"Математика, правильно понятая, обладает не только истиной,
но и высшей красотой, красотой холодной и суровой, подобной
красоте скульптуры." - Бертран Рассел

Имя Тьюринга носят следующие объекты естествознания:

• машина Тьюринга
• тьюрингова сводимость
• тьюринговский алгоритм
• тезис Тьюринга
• переключатель Тьюринга
• тест Тьюринга
• сокращение Тьюринга
• степень Тьюринга
• теорема Чёрча-Тьюринга.

23 июня 2012 года исполняется 100 лет со дня рождения Алана Тьюринга - английского математика, логика, криптографа, оказавшего существенное влияние на развитие информатики.

Алан Матисон Тьюринг (Alan Mathison Turing) родился 23 июня 1912 года в Лондоне в семье колониального чиновника, служившего в Индии. Его родители ‑ Юлиус Мэтисон Тьюринг (Julius Mathison) и Этель Сара Стоуни (Ethel Sara Stoney) познакомились и обвенчались в Индии.

Алан Тьюринг учился в престижной Шерборнской школе (Sherborne Public School) в Англии, где проявил незаурядные способности к математике и химии, затем в 1931 году поступил в Кингз‑колледж (King"s College) Кембриджского университета.

В 1935 году он защитил диссертацию "Центральная предельная теорема теории вероятности" (которую он самостоятельно переоткрыл, не зная об аналогичной предшествующей работе) и был избран членом Научного общества колледжа. В этом же году он впервые начал работать в области математической логики и проводить исследования, которые уже через год привели к выдающимся результатам.

В своей работе "О вычислимых числах, с приложением к проблеме разрешимости" (On the Computable Numbers, with an Application to the Entscheidungsproblem, 1936) Тьюринг ввел математическое понятие абстрактного эквивалента алгоритма, или вычислимой функции, получившее затем название "машины Тьюринга". Это был проект устройства, имеющего все основные свойства современной информационной системы: программное управление, память и пошаговый способ действий.

"Машина Тьюринга" открыла дискуссию по теории автоматов и создала теоретическую базу для работы цифровых компьютеров, которые появились в 1940‑е годы.

Тьюринг продолжил учебу в США - в Принстонском университете, где под руководством американского математика и логика Алонзо Чёрча (Alonzo Church) в 1938 году получил степень доктора философии. Затем он вернулся в Великобританию и получил стипендию Кингз‑колледжа для занятий логикой и теорией чисел.

В это же время началось его конфиденциальное сотрудничество с правительственной Школой кодов и шифров (Government Code and Cypher School) в Блечли‑Парке, где он еще до войны участвовал в работах по раскрытию немецких шифров.

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

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

Заслуги Алана Тьюринга были по достоинству оценены: после разгрома Германии он был удостоен звания кавалера Ордена Британской империи 4‑й степени.

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

Разработанные в 1947 году Тьюрингом "Сокращенные кодовые инструкции" (Abbreviated Code Instructions) положили начало созданию, исследованию и практическому использованию языков программирования.

В 1948 году ученый был назначен заместителем Макса Ньюмена (Max Newman), директора вычислительной лаборатории Манчестерского университета, где создавался компьютер с самой большой по тому времени памятью - манчестерская автоматическая цифровая машина, или "Мадам" (Manchester Automatic Digital Machine), как ее называли в прессе. Тьюринг написал для нее несколько программ, пользуясь буквенно‑цифровым кодом.

Тьюринг считается основоположником не только вычислительной техники, но также и искусственного интеллекта. Исключительную роль в развитии этого исследовательского направления сыграла небольшая статья "Вычислительные машины и разум" (Computing Machinery and Intellegence), опубликованная в журнале Mind в 1950 году и впоследствии многократно перепечатывавшаяся, в которой Тьюринг предложил ставший знаменитым мысленный эксперимент (тест Тьюринга) ‑ операциональный способ решения вопроса "мыслит ли машина?".

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

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

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

8 июня 1954 года Тьюринг был найден мертвым в своем доме в Уилмслоу близ Манчестера. Смерть наступила 7 июня от отравления цианидом и была признана самоубийством.

В честь Алана Тьюринга Ассоциация по вычислительной технике (Association for Computing Machnery, АСМ) учредила премию его имени. Первым лауреатом премии Тьюринга в 1966 году стал Алан Перлис, один из создателей языка программирования Алгол, первый президент АСМ.

Материал подготовлен на основе информации открытых источников

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

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

Кто придумал тест Тьюринга?

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

Игра в имитацию

Тьюринг описывает следующий вид игры. Предположим, есть человек, машина и лицо, задающее вопросы. Интервьюер находится в комнате, отделенной от остальных участников, которые проходят тест Тьюринга. Цель теста состоит в том, чтобы задающий вопросы определил, кто является человеком, а кто машиной. Интервьюеру оба испытуемых известны под метками X и Y, но по крайней мере в начале ему неизвестно, кто скрывается за меткой Х. В конце игры он должен сказать, что Х - это человек, а Y - это машина, или наоборот. Интервьюеру разрешено задавать испытуемым вопросы теста Тьюринга следующего вида: «Ну будет ли Х любезен сказать мне, играет ли Х в шахматы?» Тот, кто является Х, должен отвечать на вопросы, адресованные Х. Цель машины состоит в том, чтобы ввести в заблуждение спрашивающего, и тот ошибочно сделал вывод о том, что она - человек. Человек же должен помочь установить истину. Об этой игре Алан Тьюринг в 1950 году сказал: «Я считаю, через 50 лет можно будет запрограммировать компьютеры с объемом памяти около 10 9 таким образом, что они успешно смогут играть в имитацию, и средний интервьюер с вероятностью, превышающей 70%, за пять минут не будет в состоянии угадать, кто является машиной».

Эмпирический и концептуальный аспекты

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

Конкурс Лебнера

Мало кто сомневается, что Алан Тьюринг был бы разочарован положением дел с игрой в имитацию к концу ХХ века. Участники конкурса Лебнера (ежегодного мероприятия, в ходе которого компьютерные программы подвергаются тесту Тьюринга) далеки от стандарта, представленного основоположником информатики. Беглый взгляд на протоколы участников за последние десятилетия показывает, что машину можно легко обнаружить с помощью не очень изощренных вопросов. Более того, наиболее успешные игроки постоянно заявляют о сложности конкурса Лебнера по причине отсутствия компьютерной программы, которая бы могла вести достойный разговор в течение пяти минут. Общепризнанным является факт, что конкурсные приложения разрабатываются исключительно с целью получения малого приза, присуждаемого лучшему участнику года, и на большее они не рассчитаны.

Тест Тьюринга: прохождение затягивается?

К середине второго десятилетия XXI века ситуация почти не изменилась. Правда, в 2014 г. возникли претензии на то, что компьютерная программа Eugene Goostman прошла тест Тьюринга, когда она обманула 33% судей в соревновании 2014 г. Но были и другие разовые соревнования, в которых были достигнуты аналогичные результаты. Еще в 1991 году PC Therapist ввел в заблуждение 50% судей. И в демонстрации 2011 г. Cleverbot имел даже более высокий показатель успеха. Во всех этих трех случаях продолжительность процесса была очень мала, и результат не был надежен. Ни один из них не дал веских оснований полагать, что средний интервьюер с вероятностью более 70% правильно идентифицирует отвечающего в течение 5-минутного сеанса.

Метод и прогноз

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

Обязательно ли уметь говорить?

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

Почему так легко?

Другие считают тест Тьюринга недостаточно требовательным. Существуют анекдотичные доказательства того, что совершенно бестолковые программы (например, ELIZA) могут казаться обычному наблюдателю обладателями интеллекта в течение достаточно продолжительного времени. Кроме того, за такое короткое время, как пять минут, вполне вероятно, что почти все интервьюеры могут быть обмануты хитрыми, но совершенно неразумными приложениями. Однако важно помнить, что программа тест Тьюринга не может пройти, обманув «простых наблюдателей» в иных условиях, чем те, в которых проверка должна происходить. Приложение должно быть в состоянии выдержать допрос того, кто знает, что один из двух других участников беседы является машиной. Кроме того, программа должна выдерживать такой допрос с высокой степенью успешности после многократного числа испытаний. Тьюринг не упоминает о том, какое конкретно количество тестов потребуется. Однако можно смело предположить, что их число должно быть достаточно большим, чтобы можно было говорить о среднем значении.

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

Почему так сложно?

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

Почему дискретная машина?

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Университет

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

В июне 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 за свою военную службу, но этот факт оставался в секрете многие годы.

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

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

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

Franklin ACE 1200

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Читайте другие статьи из серии "Драмы науки":

Если уж говорить откровенно, то даже самим фактом своего существования талантливый ученый всегда бросает вызов обществу. Хотя бы тем, что постоянно напоминает всем окружающим, каким может быть человек, если захочет. Но дело в том, что большинство из нас вовсе не стремится к самосовершенствованию, развитию и работе над собой. Главное, чтобы сыты да одеты были, а остальное — ерунда.

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

Неудивительно, что отношение к талантливым ученым, в общем-то, всегда достаточно враждебное. И стоит им чуть-чуть расслабиться, как свора посредственностей тотчас же вцепляется в гения зубами и когтями, стремясь разорвать его на части. И ей плевать на все заслуги данного человека перед своим народом, своей страной и даже перед всем миром. Главное — пока есть возможность, быстрее ликвидировать того, кто лишний раз напоминает всем о том, что: "человек — это звучит гордо", и тем самым будит уже совсем было заснувшую совесть.

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

Алан Тьюринг (Alan Mathison Turing ) родился в 1912 году в семье британского чиновника, который служил в Индии. Все детство мальчика прошло в этой экзотической южной стране, которая всегда поражала европейцев многообразием проявлений всех форм жизни. По словам самого ученого, его детство напоминало волшебную сказку, полную всяческих тайн и загадок, разгадывать которые было сплошным удовольствием. Именно это и определило основную страсть Тьюринга, которую он сохранил на протяжении всей жизни — ученого всегда привлекали головоломки, ребусы и нерешаемые задачи.

Позже юный Алан перебрался на учебу во Францию, затем — в Англию, ну, а аспирантуру молодой математик заканчивал уже в США. Уже тогда молодой математик громко заявил о себе, положив конец дискуссиям об объективности математических доказательств. Дело в том, что в те времена математики пытались решить одну важную проблему — доказать, что в их науке можно совсем обойтись без аксиом (положений, принимаемых без доказательств).

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

Однако первую "ложку дегтя" в общую бочку меда внес в 1931 году австрийский математик Курт Гедель, который доказал, что любая математическая система аксиом неполна в том смысле, что в ней всегда существует положение, истинность которого нельзя ни опровергнуть, ни подтвердить. То есть в любой системе математических построений всегда будет утверждение, которое придется принимать на веру.

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

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

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

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

Разгадывая загадки "Энигмы", Тьюринг в 1940 году предложил проект дешифровальной машины "Бомба". Этому аппарату оказался "по плечу" любой шифр "Энигмы". В результате с именно с этого времени переговоры немецких летчиков и моряков перестали быть секретом для союзников. Сейчас многие считают, что именно это и явилось самой первой победой стран антигитлеровской коалиции во Второй Мировой войне. И это стало возможно благодаря гению и упорному труду Алана Тьюринга и его подчиненных. За свои заслуги перед отечеством ученый в 1945 году был удостоен Ордена Британской империи.

После окончания войны Тьюринг занимался проблемами развития вычислительных машин, а также разработкой теории "искусственного интеллекта" В 1945 году ученый руководил разработкой компьютера ACE (Automatic Computing Engine), который был самой мощной ЭВМ того времени. Вот где ему предоставилась возможность воплотить свою воображаемую машину в реальность! Позже он осуществил тестирование другой ЭВМ, имевшей романтическое имя MADAM (Manchester Automatic DigitAl Machine) — этот компьютер в то время обладал самой большой памятью в мире.

В 1950 году Тьюринг опубликовал свой знаменитый "Тест Тьюринга" — список вопросов, который можно задать ЭВМ, и, если она ответит на них, то следует признать, что это машина обладает таким же интеллектом, как и человек. В данной работе Тьюринг сформулировал основные критерии того, что позже назвали "искусственный интеллект". Следует заметить, что ни одна из существовавших когда-либо машин тест Тьюринга так и не прошла. Возможно, оно и к лучшему…

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

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

В итоге Алан Тьюринг в одночасье из потерпевшего стал обвиняемым. И тотчас же на ученого, который до сих пор в глазах многих был национальным героем, обрушилась волна настоящей травли. Тьюринга уволили из Блетчли-парка и запретили ему преподавать. Со страниц всех газет гениального математика поливали отборной грязью, обвиняя в несуществующих пороках, таких, как высокомерие, снобизм и научная нечистоплотность (ничем этим Тьюринг, являвшийся образцом честности и доброжелательности сроду не страдал).

В итоге в 1953 году ученого обвинили в "непристойном поведении" и предложили выбор: либо двухлетнее тюремное заключение, либо принудительный курс инъекций эстрогена, который, по сути, был вариантом химической кастрации. Тьюринг выбрал второе — на свободе, по крайней мере, у него была возможность заниматься любимыми химическими опытами, а без работы ученый вообще не мог существовать.

Целый год Алан Тьюринг прожил затворником в своем доме, пока 7 июля 1954 года не был обнаружен мертвым в своей комнате. Гениальный ученый не выдержал издевательств и травли и покончил с собой, съев яблоко, отравленное цианистым калием. Великий математик не дожил всего двух недель до своего сорок второго дня рождения. И множество великих открытий в области информатики и математического анализа, которые он мог совершить, так и не увидели свет.

Без сомнения, скажете вы, хоть эта история и трагична, но все-таки, что ни говори, а Тьюринг нарушил закон, который: "хоть и суров, а все же — закон". Это, конечно же, так, но неужели в данном случае нельзя было сделать исключение? Ведь Тьюринг этого заслуживал — еще неизвестно, удалось ли бы выиграть Вторую Мировую войну без деятельности группы Hut 8. Тьюрингу и его подчиненным, как ни крути, было обязано все человечество — как и всем, кто принимал участие в победе над нацистской Германией и ее союзниками. Кроме того, без работ этого гениального ученого вряд ли была бы возможна компьютеризация всего мира — так что в том, что вы сейчас читаете эту статью, тоже есть немалая заслуга Алана Тьюринга.

Интересно, что в свое время в России этот вопрос решался совсем по-другому — когда Его Императорскому Величеству Николаю II стало известно о гомосексуальной ориентации Петра Ильича Чайковского, тот запретил возбуждать судебное преследование композитора, сказав: "Если Петру Ильичу это поможет сочинять его гениальную музыку, я готов подарить ему хоть весь Пажеский корпус" (по неофициальным источникам, Государь Император выразился более радикально: "Ну, и что с того? Ж… в России много, а Чайковский — один"). Но Тьюринг ведь тоже был один такой во всем мире! И ведь он вовсе не занимался пропагандой гомосексуализма, наоборот, тщательно скрывал свое влечение к мужчинам. Неужели его не могли оставить в покое, учитывая все его заслуги перед человечеством?

Тем не менее, в 2009 году за преследования выдающегося ученого премьер-министр Великобритании Гордон Браун принес публичные извинения за преследования выдающегося ученого. Алан Тьюринг был признан "одной из самых известных жертв гомофобии в Великобритании". Однако поклонникам великого ученого этого показалось мало. В прошлом году был начат сбор подписей под петицией, требующей официальной посмертной реабилитации великого математика (который, кстати, входит в сотню самых величайших британцев в истории, наряду с Ньютоном, Дарвином, Уинстоном Черчиллем и адмиралом Нельсоном).

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