Поиск

Карта → персоналии → биография

1912–1954 английский математик и криптоаналитик

Алан Тьюринг

Alan Turing

Алан Тьюринг в Принстоне, 1936
Алан Тьюринг в Принстоне, 1936 Unknown photographer · Public domain

Определил, что значит «вычислить», за десять лет до появления компьютеров, взломал «Энигму» и был осуждён за то, кем он был.

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

1936 год

Гильберт спрашивал, есть ли процедура, определяющая по любому утверждению, доказуемо ли оно (Entscheidungsproblem). Чтобы ответить «нет», нужно было сперва объяснить, что такое процедура.

Тьюринг предложил вообразить устройство: бесконечная лента, головка, конечный набор состояний, таблица правил. Всё, что человек делает, вычисляя карандашом по правилам, такая машина повторяет. Дальше — универсальная машина, читающая описание любой другой машины с ленты (то есть программа как данные), и доказательство: не существует машины, определяющей по описанию, остановится ли данная машина. Проблема остановки неразрешима, а значит, неразрешим и вопрос Гильберта.

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

Блетчли-парк

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

$$\text{вес свидетельства} = \log\frac{P(\text{данные}\mid H)}{P(\text{данные}\mid \bar H)}.$$

По существу это байесовская статистика, применённая к дешифровке за десятилетия до её признания; засекречена работа была до 1970-х, и приоритет достался другим.

Оценки историков сходятся на том, что взлом немецких шифров сократил войну на год-два.

После

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

В 1952 году Тьюринга осудили за «непристойное поведение» — гомосексуальность в Британии была уголовно наказуема. Выбрав вместо тюрьмы гормональную терапию, он потерял допуск к секретной работе. Умер 7 июня 1954 года, отравившись цианидом; следствие сочло это самоубийством.

Официальные извинения британского правительства принесены в 2009 году, помилование — в 2013-м. С 2021 года его портрет на банкноте в пятьдесят фунтов.

Точки на карте

Где имя встречается в статьях: сначала точки, где этот человек — главный герой, дальше по хронологии.

Все персоналии