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

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

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

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

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

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

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

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