Я – странная петля. Дуглас Хофштадтер

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

      Первый пример основан на хорошо известной всем нам цепочке падающих костей домино. Однако я слегка оживлю привычную картину, поставив условием, что каждая кость домино снабжена хитрой пружиной (детали сейчас не важны). Теперь каждый раз, когда кость роняет ее сосед, после короткого «восстановительного» периода она снова вскакивает вертикально, готовая еще раз упасть. На основе такой системы мы можем устроить механический компьютер, который работает, рассылая сигналы по змейкам из домино, которые могут разветвляться или сходиться воедино, и, стало быть, сигналы могут образовывать петли, сообща генерировать другие сигналы и так далее. Синхронность, конечно, будет весьма относительной, но, как я уже говорил, детали нас не волнуют. Главная идея в том, чтобы представить сеть из прекрасно синхронизированных цепочек домино, в которой выражена компьютерная программа для некоего вычисления, например для определения, является ли введенное число простым или нет. (Джон Сёрл, большой любитель необычных воплощений вычислительных систем, одобрил бы такой умозрительный Доминониум!)

      Давайте представим, что у Доминониума есть некий числовой «ввод». Мы берем интересующее нас натуральное число – допустим, 641 – и выставляем ровно столько костей, одну к другой, в «зарезервированном» участке цепи. Теперь мы толкаем первую костяшку Доминониума, после чего запускается цепочка событий Руба Голдберга: кость падает за костью, и вскоре вся 641 кость входного участка цепи упадет, запустив разные циклы, один из которых, предположим, проверяет делимость входного числа на 2, другой на 3, и так далее. Если хотя бы один делитель найден, в определенный участок цепи – назовем его «участок делимости» – посылается сигнал, и если мы видим, что кости на этом участке упали, мы понимаем, что у введенного числа есть делители и, следовательно, оно не простое. И наоборот, если введенное число не имеет делителей, участок делимости никогда не будет запущен и мы поймем, что число простое.