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

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

Вычисление обычно выполняется путем записи определенных символов на бумаге. Предположим, что лист бумаги поделен на квадраты, в точности как в тетради в клетку. В элементарной арифметике порой используется двумерность бумаги. Но этого можно избежать; также я считаю, что многие согласятся с отсутствием в том необходимости для производимых вычислений. Поэтому смею предположить, что вычисление может быть выполнено на одномерном листе бумаги, то есть на ленте, разделенной на квадраты. Также предположу, что количество возможных напечатанных символов конечно. Если мы допустим, что число символов может быть бесконечным, тогда появилась бы возможность существования символов, различных в произвольно небольшой степени.

«Бесконечное число символов» не соответствовало ничему в реальности. Есть немало оснований возразить тому, что существует бесконечное число символов, поскольку такая арабская цифра, как 17 или 999999999999999 обычно рассматривается в качестве одного символа. Подобным образом в любом европейском языке слова рассматриваются как отдельные символы (хотя китайский язык, например, стремится обладать счетным бесконечным множеством символов).

Но ему удалось избавиться от этого возражения при помощи своего наблюдения, что различия, с нашей точки зрения, между простыми и составными символами заключаются в том, что составные символы, если они слишком длинные, не могут быть оценены при одном взгляде на них. Это жизненный факт. Мы не можем с первого взгляда определить являются ли 9999999999999999 и 9999999999999999 одним числом.

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

Действия компьютера в любой момент времени строго определены символами, которые он считывает, также как и его «состояние» в текущий момент. Мы можем предположить, сто существует некоторый предел B для числа символов или ячеек, которые компьютер может считывать за одну единицу времени. Чтобы считать следующие символы, ему придется сделать шаг к следующей ячейке. Также предположим, что число подобных состояний, которые должны быть приняты во внимание, также конечно. Причины тому по своей природе схожи с теми, что возникают при ограничении количества символов. Если мы допустим бесконечное число состояний, некоторые из них будут «в некоторой степени похожими» и вследствие этого могут быть перепутаны. Следует еще раз подчеркнуть, что подобное ограничение не оказывает серьезного влияния на производимое вычисление, поскольку использования более сложных состояний можно попросту избежать, записав больше символов на рабочую ленту.