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

ТЬЮРИНГ, АЛАН МАТИСОН (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), в которой показал невозможность существования формальной, чисто механической процедуры, которая позволяла бы решать, выводимо ли данное высказывание из некоторого набора математических аксиом. Независимо от Тьюринга и чуть раньше него аналогичный результат был получен А.Чёрчем. Этот результат, известный как тезис Чёрча – Тьюринга, имел фундаментальное значение: Тьюринг и Чёрч вместе с К.Гёделем похоронили надежды Д.Гильберта и его последователей, полагавших, что математику как самую формализованную часть человеческого знания можно представить в виде набора аксиом и теорем.