Игра в имитацию - Эндрю Ходжес

В речи архиепископа, транслировавшейся по радио 13 декабря, было сделано заявление, что король сложил свои полномочия ради простого «желания обрести личное счастье». Но погоня за счастьем никогда не становилась приоритетом правителей Великобритании. Взгляды Алана по вопросам брака и нравственности во многом можно было бы назвать модернистскими. В беседе со своим ровесником Кристофером Стедом с теологического факультета Кингз-Колледжа Алан однажды сказал, что человек должен следовать своим естественным порывам чувств, а что касается епископов, столь уважаемых миссис Тьюринг, для него они воплощали собой ancien régime. В разговоре с Венейблом Мартином, его новым американским другом, с которым он посещал курс лекций Чёрча, он заявил, что правительство обошлось с королем «очень подло».

В связи со своим исследованием 22 ноября Алан написал Филиппу Холлу:

За время своего пребывания здесь мне не удалось сделать потрясающих открытий, но, возможно, я опубликую две или три небольших статьи. Одна из них будет содержать в себе доказательство неравенства Гильберта, если, конечно, мое решение окажется новым; другая работа касается теории групп, ее я завершил около года назад, и Баер считает ее достойной публикации. Когда я завершу работу над этими статьями, я снова примусь работать в области мат(ематической) логики.

Я заметил, что го здесь не такая популярная игра, но мне удалось сыграть в две или три партии.

Принстонский университет меня почти во всем устраивает. Кроме их манеры вести разговор только одна — нет, две! — особенность(и) жизни в Америке я нахожу весьма удручающими: невозможность принять ванну в прямом смысле этого слова, а также их мнение по поводу температуры помещения.

Под словами «их манеры вести разговор», Алан имел в виду жалобы следующего рода:

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

Статья «О вычислимости чисел» была отправлена к нему в Принстон сразу после того, как он туда прибыл, так что публикация статьи была неизбежна. Тем временем Алонзо Чёрч предложил Алану провести один из семинаров, чтобы познакомить всех основных специалистов в области математики Принстонского университета с идеями своей работы. В письме домой от 3 ноября Алан по этому поводу писал:

Чёрч только что посоветовал мне провести лекцию для Математического Клуба на тему «Вычислимых чисел». Надеюсь, у меня действительно появится возможность представить свою работу, поскольку это мне поможет обратить внимание на нее. И все же я не рассчитываю провести лекцию в скорейшем времени.

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

Моя лекция в Математическом Клубе состоялась 2 декабря, но посетили ее совсем немногие. По-видимому, чтобы тебя удостоили вниманием, нужна определенная репутация. На следующей неделе после моей лекции состоялось выступление Дж. Д. Биркгофа. Он человек известный и аудитория была переполнена. Но его лекция совсем не отвечала ожиданиям слушателей. На деле вышло, что все присутствующие там еще долго над ней смеялись.

Другое разочарование постигло его, когда его статья «О вычислимых числах», наконец опубликованная в журнале, получила довольно слабый отклик. Чёрч написал о ней отзыв для «Журнала символьной логики», и благодаря ему понятие «машина Тьюринга» впервые появилось в печати. Но лишь два человека попросили отдельные оттиски статьи: Ричард Брейтуэйт из Кингз-Колледжа и Генрих Шольц, почти единственный специалист в области математической логики, оставшийся в Германии, который в ответ на полученную статью написал о проведенном им семинаре в Мюнстере на данную тему и почти умолял выслать следующую работу в двух экземплярах, объясняя свою просьбу тем, что в настоящем положении ему приходится довольно сложно оставаться в курсе последних научных достижений. Алан писал в письме домой от 22 февраля:

Я получил два письма с просьбами выслать отдельные оттиски статьи. (…) кажется, они весьма заинтересованы моей работой. Полагаю, что все-таки она сможет произвести некоторое впечатление. Я был разочарован тем, как она была принята здесь. Я надеялся, что Вейль, который несколько лет назад работал над общей с моей работой темой, по крайней мере напишет пару замечаний по моей статье.

Возможно, он также надеялся, что Джон фон Нейман сможет написать пару замечаний. Казалось, некий по-настоящему могущественный Волшебник учиняет неприятности на пути ни о чем не подозревающей Дороти в лице Алана. Как и Вейль, фон Нейман был заинтересован в программе Гильберта и когда-то надеялся однажды выполнить ее всю, хотя его активному интересу в области математической логики пришел конец вместе с появлением теоремы Гёделя. Однажды он заявил, что после 1931 года он не читал ни одной другой работы на тему в области математической логики, но это было от силы полуправдой, поскольку он читал поразительное количество работ, приступая к чтению с раннего утра, задолго до того, как просыпались остальные, охватывая научную литературу всех разделов математики. И все же в письмах Алана своей матери или Филиппу Холлу на тот момент времени не было ни единого упоминания о нем.

В случае основного читателя журнала Лондонского математического общества Proceedings существовало сразу несколько причин, почему работа Алана не могла заинтересовать его в полной мере. Математическая логика оставалась отчасти периферийной темой для исследований, в которой сами математики обычно видели или попытку доработать то, что и так всем известно, или попытку создать новые проблемы на пустом месте. Начало работы казалось увлекательным, но после (типичным для Тьюринга образом) текст заводил читателя в непролазные дебри рядов непонятных готических символов, объясняющих устройство таблиц его универсальной машины. И в последнюю очередь этим могли заинтересоваться специалисты прикладной математики, которые обычно прибегают к практическому вычислению в таких областях, как астрофизика и гидроаэромеханика, где уравнения не приводят к решениям в явном виде. Также статья «О вычислимых числах» не шла на уступку в отношении конструирования, даже для ограниченного ряда логических задач, которые указывались в работе как область применения машин. К примеру, в работе Алан принял за условие, что машины должны печатать «вычислимые числа» на дополнительных ячейках ленты, а также использовать промежуточные ячейки в качестве рабочего поля. Но работа устройства значительно могла быть упрощена, если бы он допускал увеличение рабочего пространства на ленте. Таким образом, его работа не представляла особого интереса для ученых, не входящих в узкий круг специалистов в области математической логики, за возможным исключением в отношении специалистов в области чистой математики, которых могло заинтересовать проводимо в статье различие между вычислимыми числами и действительными числами.