Игра в имитацию
Шрифт:
В Англии не нашлось ни одного человека, который смог бы отрецензировать работу Тьюринга для публикации в журнале Лондонского математического общества, и фактически Чёрч был единственным человеком, способным помочь юному исследователю. Ньюман также решил отправить письмо секретарю Лондонского математического общества, Ф. П. Уайту, чтобы прояснить сложившуюся ситуацию:
31 мая 1936 года
Дорогой Уайт,
Полагаю, вы уже слышали об истории, связанной с работой Тьюринга «О вычислимых числах». Когда статья была уже готова к публикации, появился первый оттиск работы Алонзо Чёрча из Принстона, которому было бы в высшей степени интересно познакомиться с результатами Тьюринга.
Я надеюсь, что несмотря на все обстоятельства работа будет опубликована. Методы в рассматриваемых работах разительно отличаются друг от друга, а результаты исследований настолько важны, что представляют интерес для обеих сторон. Основным результатом работ Тьюринга и Чёрча явилось доказательство, что проблема Entscheidungs,
Тем временем 29 мая Алан отправил очередное письмо матери:
Я только что получил свою готовую и отправленную на публикацию основную статью. Предполагаю, что она появится в октябрьском или ноябрьском выпуске журнала. Относительно Comptes Rendus возникла сложная ситуация. Как оказалось, тот человек, которому я написал с просьбой передать работу, уехал в Китай. Более того, то письмо затерялось где-то на почте, поскольку второе письмо его дочь все же получила.
Тем временем в Америке появилась статья Алонзо Чёрча, в которой он решил ту же задачу, но другим путем. Тем не менее мы с мистером Ньюманом решили, что предложенный мною метод совершенно не похож на его решение, и это обстоятельство может гарантировать публикацию моей работы. Алонзо Чёрч живет и работает в Принстоне, так что я с уверенностью могу сказать, что отправлюсь туда при первой возможности.
Алан подал зявку на получение стипендии фонда Проктера. Принстон предлагал три возможности: от Кембриджского университета, от Оксфордского университета и от Коллеж де Франс. На стипендию от Кембриджского университета он рассчитывать не мог, поскольку в том году ее уже получил математик и астроном Р. А. Литтлтон. Однако он счел, что средств из стипендии Кингз-Колледжа ему будет достаточно.
Между тем, для публикации работы требовалось предоставить доказательство, что его определение «вычислимого» (computable) числа, т. е. того, что может быть вычислено одной из машин Тьюринга, было тождественно тому, что Чёрч назвал «практически вычислимым», имея в виду возможность описать его формулой лямбда-исчисления. Поэтому он внимательно изучил статью Чёрча, а также его исследования, которые он провел в совместной работе со Стивеном Клини в период с 1933 по 1935 год, и схематически изобразил требуемое доказательство в приложениях к своей работе, которая была готова 28 августа. Аналогичность идей была достаточно очевидна, поскольку Чёрч использовал определение (формулы «нормального вида»), которое соотносилось с определением «удовлетворительных» машин в теории Тьюринга, а затем применил диагональный метод Кантора, чтобы создать неразрешимую проблему.
Если бы он работал более последовательно, он бы не приступил к решению проблемы Гильберта, не изучив перед этим всю доступную научную литературу по этому вопросу, включая и саму работу Чёрча. В таком случае, возможно, он бы не попал в такую неловкую ситуацию, но вместе с тем, возможно, он бы не пришел к совершенно новой идее создания логической машины, которая не только решила одну из проблем Гильберта, но и поставила перед наукой ряд новых вопросов. В его “полностью самостоятельном” исследовании были свои недостатки и преимущества. И в случае с центральной предельной теоремы, и в его работе с Entscheidungs problem, в математике он повторял судьбу Роберта Скотта, приходя к результату только вторым. И хотя он не был одним из тех, кто рассматривает математику или науку как соревновательную игру, безусловно он испытал горькое разочарование. Такое положение означало месяцы и месяцы отложенной работы, а также затмевало оригинальность его собственного подхода к решению задачи. Но самое главное, он снова остался в тени своих коллег.
Что касается центральной предельной теоремы, тем летом его диссертация для программы предоставления стипендии была подана на конкурс математических работ Кембриджского университета, который носил название Премия Смита. Все это вызвало необычайный ажиотаж в Гилфорде, где миссис Тьюринг вместе с Джоном провели безумные полчаса на коленях, в спешке упаковывая посылку с работой, над которой Алан продолжал работать до последнего момента. К тому времени Джон уже женился в августе 1934 года, и Алан теперь стал дядей. Но ни его брат, ни его родители не имели и малейшего представления о том, какие важные философские проблемы легли в основу его работы и всей его жизни. Миссис Тьюринг с присущим ей интересом к духовному миру, возможно, лучше всех остальных понимала волновавший Алана вопрос свободной воли, но даже она была не в силах увидеть эту связь. Алан никогда не распространялся о своих внутренних терзаниях, и лишь иногда окружавшие его люди могли заметить некоторые неявные намеки.
В Кембриджском университете, как и в Кингз-Колледже, с благосклонностью отнеслись к повторному открытию Аланом теоремы, и он получил вознаграждение в размере тридцати одного фунта. В последнее время он стал увлекаться парусными судами, проводя все выходные на воде, и теперь подумывал потратить свой выигрыш на покупку лодки. Но позже он все-таки передумал, решив, что эти деньги ему пригодятся во время учебы в Америке.
В начале лета Виктор Беутелл приехал в Кембридж в гости к Алану. Это был не просто ответ на
Однажды, их беседа об искусстве и скульптуре привела к тому, что Алан внезапно удивил Виктора своим замечанием, что мужские формы ему кажутся более привлекательными чем женские. Виктор взял на себя роль крестоносца и попытался убедить Алана в том, что Иисус указал верный путь в случае с Марией Магдалиной. На это замечание у Алана не нашлось ответа. Он лишь мог постараться выразить свое ощущение нахождения в мире Зазеркалья, в котором перед его взором все общепринятые идеи принимали искаженный вид. Возможно, в том разговоре он впервые коснулся темы своей сексуальности за пределами своего круга знакомых в Кембриджском университете.
Виктору, которому на тот момент еще не исполнилось двадцати одного года, было сложно решить, как реагировать на это. Теперь его пребывание у Алана носило доверительный характер, хотя во всех ситуациях Алан оставался «настоящим джентльменом». Но Виктор не отверг дружбу, вместо этого они продолжили рассматривать тему со всех возможных сторон, как когда-то обсуждали религиозные вопросы. Они рассуждали о том, какие наследственные факторы или факторы среды могли оказать влияние на формирование таких взглядов. Но несмотря на все их попытки понять природу сексуальной ориентации, ясным оставалось лишь одно — часть Алана действительно была иной, и часть его действительности представала под иным углом зрения. Для него, потерявшего веру в Бога, ничто не казалось столь привлекательным как внутренняя последовательность, связность явлений. Как и в области математики эта последовательность не могла быть доказана какими-то указанными правилами, не существовало еще deus ex machina, который бы мог решить, что правильно, а что нет. К тому моменту аксиомы его жизни выстраивались, обретая более четкую форму, хотя до сих пор оставалось неясным, каким образом их можно воплотить в жизни. Как и раньше, его привлекали самые простые вещи, какие только можно встретить в природе. И в то же время сам он был вполне себе обычным английским математиком с атеистическими взглядами и гомосексуальной ориентацией. В таком положении жизнь не казалась простой.
Перед своей поездкой Алан также навестил «Клок Хаус», впервые за три года. К тому времени здоровье миссис Морком ухудшилось, и она пребывала в состоянии почти инвалида. Но несмотря на все невзгоды ей удалось сохранить прежнюю живость ума. Во время его пребывания миссис Морком оставила некоторые записи:
9 сентября (Среда) …Алан Тьюринг почтил нас своим визитом (…) Он приехал к нам попрощаться перед своей поездкой в Америку на девять месяцев (Принстон), чтобы провести там исследовательскую работу под руководством двух знаменитых ученых, изучающих предмет его исследований: Гёдель (Варшава), Алонзо Чёрч и Клини. У нас состоялась беседа до ужина и после него, чтобы ввести нас в курс всех последних событий. (…) Вместе с Эдвином он играл в бильярд.
10 сентября: …В компании Вероники Алан отправился на фермы и в Дингсайд. (…) В и Алан пили со мною чай. С Аланом у нас состоялся долгий разговор о его работе и о том, может ли его тема исследований (какая-то трудная для понимания область логики) зайти в «тупик» и т. д.
11 сентября: Алан отправился один в церковь, чтобы посмотреть на витраж Кристофера и маленький сад, который он еще не видел, поскольку работа над садом завершилась только за день до его приезда… Алан научил меня играть в го, игра чем-то напоминает пеггити.
12 сентября: …Руперт и Алан пили чай у меня в комнате, а позже я удивила всех тем, что спустилась на ужин. Сегодня нас собралось десять человек — замечательная компания. Слушали концерты на грампластинках… Мужчины отправились играть в бильярд.
13 сентября: …Алан решал с Р(еджинальдом) некоторые проблемы. (…) Алан и Р(уперт) вместе с двумя девочками отправились купаться на пруд Кэдбери (…) Руп(ерт) и Алан пили у меня чай (…) Алан попытался объяснить мне, над чем он сейчас работает (…) они уехали, чтобы успеть на станцию к отправлению поезда в 7:45.
Руперт перестал понимать Алана, как только он дошел до определения удовлетворительных и неудовлетворительных чисел. Миссис Морком было сложно понять, какое отношение эта «трудная для понимания область логики» имела к ее сыну, каким образом Алану удалось сделать то, что ее сын не успел при жизни.
Миссис Тьюринг отправилась в Саутгемптон вместе с Аланом проводить его в путь, и 23 сентября он взошел на борт трансатлантического лайнера «Беренгария» компании «Кунард Лайн». Перед отплытием на рынке на Фаррингтонроуд Алан приобрел сектант, чтобы не скучать во время путешествия. Он также прихватил с собой все присущие представителю английского выше-среднего класса предубеждения относительно Америки и ее граждан, и пять дней, проведенных на борту корабля, не смогли изменить его взгляды. Где-то на координатах 41°20'N, 62°W, он принялся жаловаться: