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

В случае если результаты представленной работы окажутся достоверными и заслуживающими похвалы, я был бы вам признателен, если бы вы смогли помочь Тьюрингу попасть в Принстон в следующем году, написав сопроводительное письмо проректору Клэр-Колледжа Кембриджского университета к заявлению на звание стипендиата фонда Проктера. Полагаю, даже при неудачном исходе дела он мог бы приехать к вам, как член совета Кингз-Колледжа, но в таком случае могут возникнуть некоторые сложности. Есть ли возможность получить в Принстоне дополнительный грант?… Мне стоит также отметить, что Тьюринг выполнил свою работу полностью самостоятельно: он проводил исследование без чьей-либо помощи или критики. Поэтому очень важно, чтобы он как можно скорее установил контакт с ведущими специалистами этой области исследований, поскольку я считаю, что он не должен продолжать работать в одиночестве, иначе он станет еще одним закоренелым затворником.

В Англии не нашлось ни одного человека, который смог бы отрецензировать работу Тьюринга для публикации в журнале Лондонского математического общества, и фактически Чёрч был единственным человеком, способным помочь юному исследователю. Ньюман также решил отправить письмо секретарю Лондонского математического общества, Ф. П. Уайту, чтобы прояснить сложившуюся ситуацию:

31 мая 1936 года

Дорогой Уайт,

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

Я надеюсь, что несмотря на все обстоятельства работа будет опубликована. Методы в рассматриваемых работах разительно отличаются друг от друга, а результаты исследований настолько важны, что представляют интерес для обеих сторон. Основным результатом работ Тьюринга и Чёрча явилось доказательство, что проблема Entscheidungs, над которой последователи Гильберта трудились многие годы, т. е. проблема нахождения механистического метода решить, является ли указанная строка символов изложением теоремы, доказуемой в рамках аксиоматической системы Гильберта, в общей форме нерешаема.

Тем временем 29 мая Алан отправил очередное письмо матери:

Я только что получил свою готовую и отправленную на публикацию основную статью. Предполагаю, что она появится в октябрьском или ноябрьском выпуске журнала. Относительно Comptes Rendus возникла сложная ситуация. Как оказалось, тот человек, которому я написал с просьбой передать работу, уехал в Китай. Более того, то письмо затерялось где-то на почте, поскольку второе письмо его дочь все же получила.

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

Алан подал зявку на получение стипендии фонда Проктера. Принстон предлагал три возможности: от Кембриджского университета, от Оксфордского университета и от Коллеж де Франс. На стипендию от Кембриджского университета он рассчитывать не мог, поскольку в том году ее уже получил математик и астроном Р. А. Литтлтон. Однако он счел, что средств из стипендии Кингз-Колледжа ему будет достаточно.