ГЕДЕЛЬ, ЭШЕР, БАХ: эта бесконечная гирлянда.

От Мумона к головоломке MU.

С головоломных высот МУ Джошу спустимся теперь к прозаическому MU Хофстадтера… Я знаю, что вы уже пробовали сконцентрировать на нем всю вашу энергию, когда вы читали главу I. Сейчас я отвечу на поставленный в ней вопрос:

Обладает ли MU природой теоремы?

Ответ на этот вопрос — не ускользающее MU, но полновесное НЕТ. Чтобы показать это, мы воспользуемся привилегиями дуалистического, логического мышления.

В главе I мы сделали два важных наблюдения:

(1) Что сложность головоломки MU зависит от взаимодействия удлиняющих и укорачивающих правил;

(2) Что тем не менее есть надежда решить эту задачу, пользуясь достаточно сложным орудием: теорией чисел.

В главе I мы не стали подробно анализировать головоломку MU с этой точки зрения; теперь пришло время это сделать. Скоро мы увидим, как второе наблюдение (вынесенное за пределы незначительной системы MIU) стало одним из самых плодотворных открытий математики и как оно изменило взгляд математиков на их предмет.

Для удобства я повторю здесь основные положения системы MIU:

СИМВОЛЫ: М, I, U.

АКСИОМА: MI.

ПРАВИЛА:

I. Если хI — теорема, то xIU — также теорема.

II. Если Mx — теорема, то Mхх — также теорема.

III. В любой теореме III может быть заменено на U.

IV. UU может быть вычеркнуто из любой теоремы.