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

Такой же эффект производит мой рисунок «Знак из дыма» (рис. 139). Продолжая в том же ключе, попробуйте решить следующую задачку: возможно ли нарисовать такую картину, чтобы слова были как на рисунке, так и в фоне?

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

Рис. 16. M. K. Эшер. «Деление пространства при помощи птиц» (из блокнота 1942 года).

Различие здесь не такое строгое, как в математике; кто может с уверенностью утверждать, что некий фон не является в то же время и рисунком? При достаточно внимательном рассмотрении, любой фон не лишен собственного интереса. В этом смысле любой рисунок можно назвать рекурсивным. Однако, вводя эти термины, я имел в виду нечто другое. Существует естественное, интуитивное понятие узнаваемых форм. Являются ли и рисунок и фон узнаваемыми формами? Если да, то такой рисунок рекурсивен. Посмотрев на фон большинства контурных рисунков, вы обнаружите, что в нем трудно признать какую-либо форму. Это доказывает, что:

Существуют узнаваемые формы, чье негативное пространство не является никакой узнаваемой формой. Или, выражаясь более технично:

Существуют курсивно рисуемые рисунки, которые не рекурсивны.

Рис. 17. Скотт Е. Ким Рисунок «РИСУНОК-РИСУНОК».

На рис. 17 показано решение предложенной выше головоломки, принадлежащее Скотту Киму; я называю это решение «рисунок РИСУНОК — РИСУНОК». На какую бы часть — белую или черную — вы не посмотрели, вы увидите только «ФИГУРЕ» (= английское «РИСУНОК»), и никакого «ФОНА». Великолепный образчик рекурсивного рисунка! Черные области этого хитроумного рисунка можно охарактеризовать двумя способами:

(1) как негативное пространство белых областей;

(2) как видоизмененные копии белых областей (полученные путем их окраски и сдвига каждой белой области).

(В данном случае обе характеристики эквивалентны; для большинства черно-белых рисунков это не так.) В главе VIII, создавая Типографскую Теорию Чисел (ТТЧ), мы будем надеяться, что нам удастся охарактеризовать множество всех ложных утверждений аналогичными способами:

(1) как негативное пространство множества всех теорем ТТЧ;

(2) как модифицированные копии множества всех теорем ТТЧ (полученные путем отрицания каждой теоремы ТТЧ).

Однако этой надежда окажется напрасной, так как:

(1) среди множества всех не-теорем существуют некоторые истинные утверждения;

(2) вне множества всех отрицаний теорем, существуют некоторые ложные утверждения.

Отчего так получается, вы увидите в главе XIV; а пока можете поразмыслить над графическим изображением данной ситуации (Рис. 18).

Рис. 18. Эта диаграмма отношений между различными классами строчек ТТЧ весьма богата зрительным символизмом. Самый большой прямоугольник — множество всех строчек ТТЧ. Следующий прямоугольник — все правильно построенные строчки ТТЧ. Внутри него находится множество всех предложений ТТЧ. Именно на этом уровне начинают происходить интересные вещи. Множество теорем изображено в виде дерева, чей ствол — множество аксиом. Символ дерева был выбран из-за того, что оно растет «рекурсивно» новые ветви (теоремы) вырастают из старых. Пальцеобразные ветви проникают во все уголки области представляющей множество истинных высказываний, однако они не могут занять эту область целиком. Граница между областями истинных и ложных высказываний представляет собой изломанную «береговую линию», которая, как бы близко вы ее не рассматривали, всегда имеет еще более мелкие уровни структуры и таким образом, не поддается описанию каким либо конечным методом (См. книгу Мандельбродта «Фракталы» (В. Mandelbrodt Fractals)). Отраженное дерево справа представляет отрицания теорем все они ложны, но вкупе они не в состоянии заполнить всю область ложных высказываний (Рисунок автора)

Аналогию с понятием рисунка и фона можно также найти и в музыке. Примером может служить различие между мелодией и аккомпанементом: мелодия всегда на первом плане, тогда как аккомпанемент в каком-то смысле второстепенен. Поэтому нам кажется удивительным, когда мы узнаем мелодии на «низшем» уровне музыкального произведения. Для пост-барочной музыки это редкое явление — обычно гармонии там не выходят на первый план. Но в барочной музыке — и прежде всего, у Баха — все уровни «работают» в качестве «рисунка». В этом смысле баховские композиции могут быть названы рекурсивными.

В музыке есть еще одно различие между рисунком и фоном — ударные и безударные такты. Если вы начнете отмечать ритм счетом «раз-и, два-и, три-и…», большинство нот мелодии придутся на числа, а не на «и». Иногда, однако, мелодия бывает нарочно смещена на «и», чем достигается интересный эффект. Это происходит, например, в нескольких фортепианных этюдах Шопена. Тот же прием можно найти у Баха, в особенности, в сонатах и партитурах для скрипки соло и в сюитах для виолончели соло. В этих композициях Баху удается поместить несколько мелодий одновременно на разных уровнях. Иногда он достигает этого эффекта, заставляя солирующий инструмент играть дублировки — две ноты сразу. В других случаях, однако, он помещает один голос на ударные такты, а другой — на безударные, так что слух различает две разные мелодии, вплетающиеся одну в другую и гармонически сочетающиеся. Нет нужды говорить, что Бах не останавливается на этом уровне сложности…

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