Книга Вселенная Алана Тьюринга - Эндрю Ходжес

Слово «компьютер» здесь использовалось в своем значении, относящемся к 1936 году: лицо, выполняющее вычисления. В другом месте своей работы он обратился к идее, что «человеческая память неизбежно является ограниченным ресурсом», но эту мысль он выразил в ходе своего размышления о природе человеческого разума. Его предположение, на котором основывались его доводы о том, что состояния были исчислимы, было довольно смелым предположением. Особенно примечательно это было тем, что в квантовой механике физические состояния могли быть «в некоторой степени похожими». Далее он продолжил рассуждать о природе вычислений: «Представим, что производимые компьютером операции разложены на «простые операции», настолько элементарные, что невозможно представить дальнейшего их разложения на еще более простые операции. Каждая такая операция несет в себе некоторое изменение в физической системе, которую представляют собой компьютер и его лента. Нам известно состояние системы при условии, что мы знаем последовательность символов на рабочей ленте, которую считывает компьютер (возможно, в особом установленном порядке), а также состояние компьютера. Мы можем предположить, что в ходе простой операции не может быть изменено больше одного символа. Любые другие изменения могут быть разложены на более простые изменения подобного вида. Ситуация относительно ячеек с изменяемыми таким образом символами точно такая же, как и в случае со считанными ячейками. Таким образом, мы можем без ограничения общности предположить, что ячейки с измененными символами равнозначны считанным ячейкам.

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

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

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

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

В машине Тьюринга Алану удалось создать свой случай детерминизма в виде автоматической машины, производящей операции в рамках логической системы мышления, которую он считал подходящей для изучения человеческого разума.

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

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

* * *

Между тем смерть Георга Пятого ознаменовала собой переход от протеста против старого порядка к страху перед тем, что могло ожидать впереди. Германия уже победила новое Просвещение и поставила железное клеймо на идеалистах. В марте 1936 года был снова оккупирован Райнленд, и это означало только одно: будущее теперь зависело от политики усиления военной мощи и подготовки к войне. Кто тогда мог увидеть во всем этом связь с судьбой кембриджского математика? И все же связь была, поскольку однажды Гитлер потеряет Райнленд, и именно тогда универсальная машина сможет найти в мире свое практическое применение. Но между идеей машины Тьюринга и ее воплощением произойдет страшное, в результате чего жертвами станут миллионы людей. И жертв не станет меньше даже после свержения власти Гитлера.

* * *

…Алан представил свою работу для публикации Лондонскому математическому сообществу 28 мая 1936 года. Однако в Англии не нашлось ни одного человека, который смог бы отрецензировать работу Тьюринга для публикации в журнале. Ни один из корифеев науки не удосужился обмолвиться хоть словом. В случае же основного читателя журнала Лондонского математического общества Proceedings существовало сразу несколько причин, почему работа Алана не могла заинтересовать его в полной мере. Математическая логика оставалась отчасти периферийной темой для исследований, в которой сами математики обычно видели или попытку доработать то, что и так всем известно, или попытку создать новые проблемы на пустом месте. Начало работы казалось увлекательным, но после (типичным для Тьюринга образом) текст заводил читателя в непролазные дебри рядов непонятных готических символов, объясняющих устройство таблиц его универсальной машины. И в последнюю очередь этим могли заинтересоваться специалисты прикладной математики, которые обычно прибегают к практическому вычислению в таких областях, как астрофизика и гидроаэромеханика, где уравнения не приводят к решениям в явном виде.