ТЬЮРИНГ, АЛАН МАТИСОН

ТЬЮРИНГ, АЛАН МАТИСОН (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-й степени.

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

В послевоенные годы Тьюринг продолжал сотрудничество со Школой шифров и кодов, а лаборатория в Манчестере оказалась вовлеченной в работы британского ядерного проекта. В обстановке холодной войны это привело к повышенному вниманию к личной жизни тех, кто был допущен к государственным секретам. 31 марта 1952 Тьюринг был арестован по обвинению в гомосексуализме, которого никогда не скрывал (хотя и предпринял в свое время неудачную попытку жениться). Поставленный перед выбором между тюремным заключением и гормональным лечением, выбрал последнее. Тогда же он был лишен доступа к секретной информации и уволен из Блечли-Парка. В 1953 ученый имел проблемы со службой безопасности, связанные с его зарубежными контактами и поездкой в Грецию, а также подвергся травле в местной прессе. Все это стало причиной тяжелого кризиса. 8 июня 1954 Тьюринг был найден мертвым в своем доме в Уилмслоу близ Манчестера. Смерть наступила 7 июня от отравления цианидом и была признана самоубийством.

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

Не менее важным было то, как именно Тьюринг пришел к этому результату: для его осуществления им было разработано понятие абстрактной цифровой вычислительной машины, получившей впоследствии название машины Тьюринга, способной имитировать (при наличии соответствующей программы) любую машину, действие которой заключается в переходе от одного дискретного состояния к другому. В практическом плане Тьюринг в ходе своих работ по дешифровке убедился в неэффективности посторения специализированных машин (типа «Бомбы») для решения конкретных логических задач и, опираясь на свою модель универсальной вычислительной машины и мощь появившихся к концу войны электронных вычислительных устройств, пришел к идее универсальной электронной вычислительной машины. Разработанные в 1947 Тьюрингом «Сокращенные кодовые инструкции» (Abbreviated Code Instructions) положили начало созданию, исследованию и практическому использованию языков программирования.

Тьюринг считается основоположником не только вычислительной техники, но также и искусственного интеллекта. Исключительную роль в развитии этого исследовательского направления сыграла небольшая статья Вычислительные машины и разум (Computing Machinery and Intellegence), опубликованная в журнале «Mind» в 1950 и впоследствии многократно перепечатывавшаяся, в том числе под названием Can the Machine Think? (Может ли машина мыслить?; рус. пер. 1960), в которой Тьюринг предложил ставший знаменитым мысленный эксперимент (тест Тьюринга). В первоначальной формулировке «тест Тьюринга» предполагает ситуацию, в которой два человека, мужчина и женщина, по некоторому каналу, исключающему восприятие голоса, общаются с отделенным от них стеной третьим человеком, который пытается по косвенным вопросам определить пол каждого из своих собеседников; при этом мужчина пытается сбить с толку спрашивающего, а женщина помогает спрашивающему выяснить истину. Вопрос при этом заключается в том, сможет ли в этой «имитационной игре» вместо мужчины столь же успешно участвовать машина (будет ли при этом спрашивающий ошибаться в своих выводах столь же часто). Впоследствии получила распространение упрощенная форма теста, в которой выясняется, может ли человек, общаясь в аналогичной ситуации с неким собеседником, определить, общается он с другим человеком или же с искусственным устройством.

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

«Тест Тьюринга» и предложенный в нем подход к моделированию мышления поныне остается предметом острых научных дискуссий. См. СЁРЛЬ, ДЖОН; ИНТЕЛЛЕКТ ИСКУССТВЕННЫЙ; КОГНИТИВНАЯ ЛИНГВИСТИКА; МАШИННЫЙ ПЕРЕВОД.

Павел Паршин