Игра в имитацию

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

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

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

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

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