Игра в имитацию
Шрифт:
Другое разочарование постигло его, когда его статья «О вычислимых числах», наконец опубликованная в журнале, получила довольно слабый отклик. Чёрч написал о ней отзыв для «Журнала символьной логики», и благодаря ему понятие «машина Тьюринга» впервые появилось в печати. Но лишь два человека попросили отдельные оттиски статьи: Ричард Брейтуэйт из Кингз-Колледжа и Генрих Шольц, почти единственный специалист в области математической логики, оставшийся в Германии, который в ответ на полученную статью написал о проведенном им семинаре в Мюнстере на данную тему и почти умолял выслать следующую работу в двух экземплярах, объясняя свою просьбу тем, что в настоящем положении ему приходится довольно сложно оставаться в курсе последних научных достижений. Алан писал в письме домой от 22 февраля:
Я получил два письма с просьбами выслать отдельные оттиски статьи. (…) кажется, они весьма заинтересованы моей работой. Полагаю, что все-таки она сможет произвести некоторое впечатление. Я был разочарован тем, как она была принята здесь. Я надеялся, что Вейль, который несколько лет назад работал над общей
Возможно, он также надеялся, что Джон фон Нейман сможет написать пару замечаний. Казалось, некий по-настоящему могущественный Волшебник учиняет неприятности на пути ни о чем не подозревающей Дороти в лице Алана. Как и Вейль, фон Нейман был заинтересован в программе Гильберта и когда-то надеялся однажды выполнить ее всю, хотя его активному интересу в области математической логики пришел конец вместе с появлением теоремы Гёделя. Однажды он заявил, что после 1931 года он не читал ни одной другой работы на тему в области математической логики, но это было от силы полуправдой, поскольку он читал поразительное количество работ, приступая к чтению с раннего утра, задолго до того, как просыпались остальные, охватывая научную литературу всех разделов математики. И все же в письмах Алана своей матери или Филиппу Холлу на тот момент времени не было ни единого упоминания о нем.
В случае основного читателя журнала Лондонского математического общества Proceedings существовало сразу несколько причин, почему работа Алана не могла заинтересовать его в полной мере. Математическая логика оставалась отчасти периферийной темой для исследований, в которой сами математики обычно видели или попытку доработать то, что и так всем известно, или попытку создать новые проблемы на пустом месте. Начало работы казалось увлекательным, но после (типичным для Тьюринга образом) текст заводил читателя в непролазные дебри рядов непонятных готических символов, объясняющих устройство таблиц его универсальной машины. И в последнюю очередь этим могли заинтересоваться специалисты прикладной математики, которые обычно прибегают к практическому вычислению в таких областях, как астрофизика и гидроаэромеханика, где уравнения не приводят к решениям в явном виде. Также статья «О вычислимых числах» не шла на уступку в отношении конструирования, даже для ограниченного ряда логических задач, которые указывались в работе как область применения машин. К примеру, в работе Алан принял за условие, что машины должны печатать «вычислимые числа» на дополнительных ячейках ленты, а также использовать промежуточные ячейки в качестве рабочего поля. Но работа устройства значительно могла быть упрощена, если бы он допускал увеличение рабочего пространства на ленте. Таким образом, его работа не представляла особого интереса для ученых, не входящих в узкий круг специалистов в области математической логики, за возможным исключением в отношении специалистов в области чистой математики, которых могло заинтересовать проводимо в статье различие между вычислимыми числами и действительными числами.
И все же был один человек, один из тех немногих, чей профессиональный интерес лежит в области математической логики, который прочитал статью с значительным личным интересом к представленной в ней теме исследования.
Это был Эмиль Пост, американский математик с польскими корнями, занимающий преподавательскую должность в Городском колледже Нью-Йорка. Еще с начала 1920-х годов он предвосхитил некоторые из идей Гёделя и Тьюринга в своих неопубликованных работах. В октябре 1936 года он представил на рассмотрение в находившийся в то время под редакцией Чёрча «Журнал символьной логики» свою статью, в которой предложил свой способ уточнить то, что имелось в виду под словами «решение общей проблемы». В работе автор ссылался на статью Чёрча, которая расправилась с проблемой Гильберта о разрешимости, но вместе с тем ставила условие, что любой определенный метод может быть выражен в виде формулы в рамках его лямбда-исчисления. Пост в свою очередь предложил, что определенным методом может стать тот, который может быть записан в виде таблицы инструкций для не обладающего разумом «оператора», работающего на бесконечном полотне «коробок», при этом его возможности должны заключаться лишь в умении считывать указанные инструкции, а также
(a) Отмечать коробку, в которой он находится (предположительно пустую),
(b) Стирать отметку с коробки, в которой он находится (предположительно уже отмеченную),
(c) Передвигаться к следующей коробке справа,
(d) Передвигаться к следующей коробке слева,
(e) Определять отмечена ли коробка, в которой он находится, или же нет.
Поразительным казалось то, что «оператор» Поста должен был выполнять тот же набор действий, что и машины Тьюринга. Некоторое соответствие также просматривалось в плане приведенных в работах терминов. Образность устройства Поста, пожалуй, более очевидно базировалась на устройстве сборочного конвейера. В целом, статья Поста представлялась менее амбициозной, чем работа «О вычислимых числах», поскольку он так и не пришел к идее «универсального оператора» и не рассматривал самостоятельно проблему разрешимости Гильберта. Также его работа была лишена рассуждений о природе конфигураций такой машины. Вместе с тем, ему достаточно точно удалось предположить, что изложенная им формулировка поможет устранить оставленную Черчем брешь в теории. Таким образом, уже его работу на несколько месяцев опередила машина Тьюринга, и Чёрчу пришлось подтверждать, что его работа носила независимый характер. И даже если бы Алана Тьюринга никогда и не было, его идея была обречена появиться на свет в той или иной форме, поскольку она
С другой стороны, эта идея связала мир логических идей с миром деятельности человека, что сам Тьюринг оценивал как задачу наиболее трудно решаемую. Одно дело — прийти к идее, и совсем другое суметь произвести с их помощью впечатление на весь мир. В каждом случае требовались абсолютно разные способы решения. Хотел ли Алан того или нет, но его умственная активность была заключена в рамки академической системы, которая как и любая другая организация предоставляла больше возможностей тем, кто умел пускать в ход свои связи и завязывать нужные знакомства. Но как отмечали его современники, в этом отношении он оставался всегда в стороне. Он предполагал, что истина каким-то магическим способом в конце концов восторжествует, и поэтому считал продвижение своего имени слишком низменным и обыденным занятием, чтобы даже беспокоиться об этом. Одним из его излюбленных словечек было «фальшивка», которое он употреблял по отношению к любому, кто добился некоторого положения или должности за счет того, что сам Алан считал необоснованным научным авторитетом. Это же слово он однажды употребил в адрес рецензента одной из его представленных на рассмотрение весной того же года работ по теории групп, который пришел к ошибочному пониманию его исследования.
Постепенно он стал осознавать необходимость направить большие усилия на самореализацию, к тому же он не мог не заметить, что его друг Морис Прайс как раз представлял собой прекрасный пример того, как в одном человеке интеллектуальные способности могут уживаться со способностью представлять результаты своих исследований в самом выгодном для него свете.
К тому времени они оба прошли долгий путь с той недели, которую провели вместе в Тринити-Колледже в далеком декабре 1929 года. Алану удалось стать первым студентом, избранным в члены совета (благодаря благосклонности Кингз-Колледжа при рассмотрении темы его диссертационной работы). Но Морис не отставал и был избран в члены совета Тринити-Колледжа, что казалось немного более впечатляющим достижением. К тому же именно в нем все видели восходящую звезду в области математических наук. Их интересы развивались, дополняя друг друга: Морис занялся квантовой электродинамикой, при этом поддерживая свой интерес к чистой математике. Но общим интересом для них оставались фундаментальные проблемы. Довольно часто они пересекались на лекциях в Кембриджском университете и порой обменивались записями за чаем, и вскоре выяснилось, что семья Прайсов также обосновалась в Гилфорде. Однажды Морис был приглашен в дом 8 на Эннисмор-Авеню, где во время знакомства миссис Тьюринг приняла его за школьника из малоимущей семьи. Алан в свою очередь был приглашен в лабораторию Мориса, самостоятельно оборудованную им в гараже Прайсов, и остался под большим впечатлением от увиденного.
В первый год своего пребывания в Принстоне Морис находился под руководством Паули, австрийского специалиста в области квантовой физики, но уже на следующий год его взял под свое крыло сам фон Нейман. Все знали Мориса, и он знал каждого. Его можно было заметить на всех роскошных званых вечерах, устраиваемых фон Нейманом, которые оставляли у присутствовавших впечатление, будто они побывали на «опере восемнадцатого столетия», хотя теперь они проводились не так часто, учитывая сложившиеся у фон Неймана затруднения в личной жизни. И если и был английский студент, сумевший завязать знакомство с фон Нейманом и найти его общительным человеком, обладающего неудержимой натурой молодого повесы с энциклопедическими знаниями во многих областях наук, то скорее это был именно Морис Прайс, а вовсе не Алан Тьюринг. К тому же только Морис Прайс обладал способностью вовлечь в разговор немногословного Харди, который имел репутацию затворника. Ему удавалось найти подход к каждому, и стоит заметить, что именно благодаря его поддержке Алан смог прижиться в Новом Свете.
Возможно, в Кингз-Колледже Алан и не сталкивался с некоторой бесцеремонностью некоторых аспектов академической жизни, но в Америке на них нельзя было не обратить свое внимание. Его взгляды не вписывались в идею «американской мечты», достижения результатов путем устранения конкурентов, точно так же как и не разделяли традиционное британское понимание жизни, то есть исполнение отведенной роли в общей системе.
Но Кингз-Колледж спасал его от жестокой действительности и в другом смысле. Там он мог посмеяться над любой неприятной ситуацией. Когда Виктор приехал к нему в мае 1936 года, по университету прошел слух, что некий выпускник Шерборна был замечен с «дамой» в своей комнате и был отчислен. С ухмылкой на лице Алан по этому поводу заметил, что о грехах подобного рода он точно не сожалеет. Алан не привык жаловаться и в любой неловкой ситуации показывал свое отменное чувство юмора. Но в проблеме, с которой он столкнулся на пути приобретения известности, не было ничего смешного.
Алан столкнулся с трудностью, которая ожидала каждого гомосексуалиста, только разобравшегося с внутренними психологическими противоречиями, возникшими при пробуждении в мире Зазеркалья. Но дело было не только в сознании отдельной личности, поскольку действительность не всегда отражала гетеросексуальность общества. Конец 1930-х годов не принес ничего нового, что могло бы помочь ему в сложившейся ситуации. За исключением тех, кто мог разглядеть нечто за стилизованной гетеросексуальностью образов Фреда Астера и Басби Беркли, в общем и целом, общество тех времен установило еще более жесткие рамки для понятий «мужественности» и «женственности». Но все это время существовала и другая Америка со своими паровыми банями и ночными барами, но Алану она могла показаться инопланетной реальностью. Он еще не был готов к социальной адаптации, как и не понимал, что его сексуальность могла кого-то интересовать за пределами Кембриджа.