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

Эти доказательства разительно отличались друг от друга. На самом деле, они были взаимодополняющими. В первом случае рассматривалось разнообразие мыслей одного человека — число состояний его разума. Во втором же человек рассматривался как бездумный исполнитель предписанных указаний. В обоих случаях мысль Алана касалась противоречия свободы воли и детерминизма, только в одном с точки зрения внутренней воли, а в другом — внешних ограничений. Эти подходы к решению проблемы не имели дальнейшего разъяснения в статье, но послужили хорошей почвой для дальнейших исследований.

Невероятным импульсом для исследования Алана послужила проблема разрешимости, или Entscheidungs problem , поставленной перед учеными-математиками Гильбертом. Вместе с тем ему удалось не только ответить на вопрос, но и сделать при этом нечто большее. Отсюда кажется совершенно естсественным, что свою статью, описывающую основные идеи и ход его рассуждений, он назвал «О вычислимых числах применительно к Entscheidungsproblem». Тем не менее именно лекции Ньюмана помогли выявить нужное направление, в котором возникла возможность решить поставленный вопрос. Так, Алан смог разрешить один из ключевых вопросов в математике, с шумом ворвавшись в научный мир будучи еще никому неизвестным молодым ученым. Его решение проблемы касалось не только абстрактной математики или некоторой игры символов, оно также включало в себя рассуждения о природе отношений человека и физического мира. Это нельзя было назвать наукой с точки зрения проводимых наблюдений и предсказаний. Все, что он сделал — создал новую модель, новую основу. Его методы были сродни той игре воображения, которую использовали Эйнштейн и фон Нейман, ставя под сомнение существующие аксиомы вместо того, чтобы оценивать результаты. Его модель даже не была по-настоящему новой, поскольку раньше уже существовали многие подобные идеи, даже на страницах детской книги «Чудеса природы», представляющие мозг в виде машины, телефонного узла или офисной системы. Ему оставалось лишь объединить такое простое механистичное представление человеческого разума с ясной логикой чистой математики. Его машины, которые в дальнейшем будут называться машинами Тьюринга, стали той самой связью между абстрактными символами и физическим миром. А его образное мышление оказалось, в особенности для Кембриджского университета, пугающим своим индустриальным настроем.

Очевидно, что идея машин Тьюринга была как-то связана с его более ранним изучением теории детерминизма Лапласа. Хотя отношение было достаточно косвенным. С одной стороны, можно было утверждать, что «дух», о котором он ранее рассуждал, не являлся «разумом», решающим задачи интеллектуального характера. С другой стороны, описание машин Тьюринга не имело никакого отношения к физике. Тем не менее, он приложил все усилия, чтобы изложить тезис о «конечном множестве умственных состояний», подразумевающий материальное основание разума, вместо того, чтобы придерживаться лишь доказательства «предписанных указаний». И казалось, что к 1936 году он действительно перестал верить в идеи, которые еще в 1933 году называл в письме миссис Морком «утешительными» — идеи выживания духа и духовной связи. Вскоре он предстал в роли убедительного сторонника материалистических взглядов и признал себя атеистом. Так, Кристофер Морком был похоронен дважды, и Вычислимые Числа ознаменовали окончательное прощание Алана с другом детства.

Однако за внешним изменением скрывалась особая последовательность действий и постоянство. Раньше его заботило то, как совместить идеи воли и духа с научным описанием вопроса именно потому, что он достаточно остро ощущал влияние материалистических взглядов и вместе с тем чудесную силу человеческого разума. Головоломка осталась прежней, но теперь он подошел к ее решению с иной стороны. Вместо того, чтобы пытаться победить детерминизм, он попытался объяснить проявления свободы. Даже у нее должна была быть причина. В какой-то момент Кристофер отвлек его внимание от представления природы, полной чудес, и теперь он ввернулся к своему прежнему мироощущению.

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

Вся работа была выполнена им самостоятельно, ни разу он не обратился с обсуждением строения его машин к Ньюману. Лишь однажды он коротко обсудил теорему Геделя с Ричардом Брейтуэйтом во время ужина за профессорским столом. В другой раз он задал вопрос о методе Кантора молодому члену Совета Кингз-Колледжа Алистеру Уотсону (как оказалось, стороннику коммунистов), который только недавно сменил свою область интересов с математики на философию. Он поведал о своих мыслях Дэвиду Чамперноуну, и тот ухватил суть идеи создания универсальной машины, но с издевкой заметил, что такая машина уместится только в здание Алберт-Холла. Это замечание было довольно справедливым и было принято во внимание, поскольку если у Алана и имелись мысли представить свою идею, предложив практическое ей применение, то в самой статье их уже не было. Чуть южнее от Алберт-Холла располагался Музей наук, где хранились останки «Разностной машины» Чарльза Бэббиджа, похожей универсальной машины, спроектированной многими годами ранее. Вполне вероятно, что Алан имел возможность увидеть ее, но даже в таком случае, она не имела очевидного влияния на его идеи и особенности машинного языка. Его «машина» не имела ни одного очевидного аналога в чем-либо современном 1936 году, если только в общих чертах вобрала в себя некоторые черты изобретений, появившихся с развитием электротехнической промышленности: телетайпы, телевизионная разверстка изображения, автоматическая телефонная связь. Это было полностью его собственное изобретение.