Тьюринг. Компьютерное исчисление

Алан Тьюринг в письме английскому математику Робину Гэнди

В 1931 году Алан Тьюринг стал студентом математики Королевского колледжа Кембриджского университета. С этих пор он отдалился от старшего брата Джона, который занялся адвокатской практикой в Лондоне. К счастью для Алана, университет был для него более подходящим местом, чем школы, в которых он успел поучиться: в Кембридже он попал в интеллектуальную среду, необходимую для развития его способностей. Свободное время Тьюринг посвящал занятиям спортом — бегу и гребле. Что касается его академических интересов, то после прочтения работы Джона фон Неймана о логических основах квантовой механики внимание Алана привлекла математическая логика. Известно, что он также прочел книгу Бертрана Рассела (1872-1970) «Введение в философию математики» (Introduction to mathematical philosophy, 1919) и знаменитый трехтомник «Принципы математики» (Principia mathematical 1910-1913), написанный Расселом совместно с Альфредом Нортом Уайтхедом (1861-1947). Без сомнения, эти работы повлияли на интеллектуальное созревание личности будущего ученого.

Алан Тьюринг в 1928 году в возрасте 16 лет.

Здесь родился Алан Тьюринг, 1912-1954, криптограф, пионер информатики. Надпись на одной из пяти синих табличек, размещенных на разных зданиях Соединенного Королевства, где жил Тьюринг.

Королевский колледж Кембриджского университета.

Однако наибольшее влияние на Тьюринга оказал Курт Гёдель (1906-1978), особенно его знаменитая статья, опубликованная в 1931 году и посвященная теоремам о неполноте. Эта работа подтолкнула молодого человека к изобретению машины Тьюринга, которая могла определять, какие математические функции могут быть вычислены, а какие нет. Если функцию возможно вычислить, машина через определенный промежуток времени, который, по словам другого великого математика, Давида Гильберта (1863-1943), должен быть конечным, выдаст результат. Напротив, если функция невычислима, машина будет производить операции без остановки. По мнению Ходжеса, Тьюринг был более философом, чем математиком, что и объясняет его интерес к проблемам математической логики. Ученый, возможно, сам не осознавая этого, внес большой вклад в создание теоретических основ информатики, причем сделал это задолго до того момента, когда компьютер стал реальностью.

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

А-МАШИНА ТЬЮРИНГА

В 1934 году Тьюринг закончил обучение в университете, получив диплом математика. В следующем году ему предоставили двухгодичную стипендию Королевского колледжа, входящего в Кембриджский университет. В этот период можно наблюдать первые вспышки его гениальности. В 1936 году Тьюринг получил премию Смита (в Кембридже ее присуждают молодым исследователям по теоретической физике, математике или прикладной математике) за работу по теории вероятностей под названием «О функции ошибок Гаусса» (On the Gaussian error function) — она не была опубликована. Любопытно, что в этом исследовании была заново открыта знаменитая центральная предельная теорема, одна из основных теорем статистики. В том же году Тьюринг написал научную статью, озаглавленную «О вычислимых числах, с приложением к проблеме разрешимости» (On computable numbers with an application to the Entscheidungsproblem), в которой описано его важнейшее научное достижение — машина Тьюринга. Эти труды обеспечили академическое будущее ученого и стали его первыми шагами к блестящей карьере.

Весной 1935 года Тьюринг посещал в кампусе Кембриджского университета, стипендиатом которого он был, курс Макса Ньюмана (1897-1984), знаменитого тополога, и у них завязалась долгая дружба. Топология — раздел математики, изучающий свойства объектов, которые остаются неизменными при непрерывных трансформациях. Тьюринг общался с Ньюманом в течение всей своей жизни, и это было чрезвычайно полезным для обоих с научной точки зрения. Во время Второй мировой войны они вместе работали в Блетчли-парке над расшифровкой перехваченных немецких сообщений, а позже в Манчестерском университете создавали программы для Baby, одного из первых послевоенных компьютеров.