В этом каноне Баха мы впервые сталкиваемся с примером «Странных Петель». «Странная Петля» получается каждый раз, когда, двигаясь вверх или вниз по уровням иерархической системы, мы неожиданно оказываемся в исходном пункте. (В нашем примере это система музыкальных тональностей.) Иногда, описывая систему со Странной Петлей, я использую термин Запутанная Иерархия. В дальнейшем тема Странных Петель прозвучит еще не раз. Иногда она будет спрятана, а иногда будет лежать на поверхности; иногда она будет проводиться слева направо, иногда — вверх ногами, а иногда — ракоходом. Мой совет читателю — «Quaerendo invenietis».

Как мне кажется, самые яркие и впечатляющие зрительные реализации идеи Странных Петель представлены в работах голландского графика М. К. Эшера, жившего с 1898 по 1971 год Эшер был создателем одних из самых интеллектуально стимулирующих рисунков всех времен Многие из них берут свое начало в парадоксе, иллюзии или двояком значении. Среди первых поклонников графики Эшера оказались математики, это неудивительно, так как его рисунки часто основаны на математических принципах симметрии или структуры. Однако типичный рисунок Эшера представляет из себя нечто гораздо большее, чем только лишь симметрию или определенную структуру часто в его основе лежит некая идея, представленная в художественной форме В частности, Странная Петля - одна из наиболее часто повторяющихся в работах Эшера тем. Взгляните, например, на литографию «Водопад» (рис. 5) и сравните ее бесконечно спускающуюся шестиступенчатую Петлю с бесконечно поднимающейся шестиступенчатой Петлей «Тонального канона». Сходство поистине удивительное! Бах и Эшер проводят одну и ту же тему в двух различных «ключах»: музыка и изобразительное искусство.

Рис. 5. М. К. Эшер. «Водопад».

В работах Эшера встречаются различные типы Странных Петель: они могут быть расположены по порядку в зависимости от того, как туго они «затянуты». Литография «Подъем и спуск» (рис. 6), на которой монахи плетутся по лестнице, навсегда уловленные Петлей, является самой свободной версией, так как Петля здесь содержит множество ступеней.

Рис. 6. М. К. Эшер. «Подъем и спуск».

Более «тугая» Петля представлена в «Водопаде», который, как мы уже видели, содержит всего шесть ступеней. Читатель может возразить, что понятие «ступени» весьма неопределенно: к примеру, можно считать, что «Подъем и спуск» имеет не сорок восемь (ступеньки), а всего четыре (лестничные клетки) уровня.

Рис. 7. М. К. Эшер. «Рука с зеркальным шаром».

Рис. 8. М. К. Эшер. «Метаморфоза II».

Действительно, подсчету ступеней-уровней всегда свойственна некоторая неопределенность; это верно не только для картин Эшера, но и для любых многоступенчатых иерархических систем. Позже мы постараемся глубже понять причину этой неопределенности. Однако не будем отвлекаться! Если затянуть Петлю еще туже, мы получим замечательную картину «Рисующие руки» (рис. 135), на которой каждая из рук рисует другую — двуступенчатая Странная Петля. Наконец, самая тугая Петля представлена в «Картинной галерее»(рис. 142): это картина картины, содержащей саму себя. Или это картина галереи, содержащей саму себя? Или города, содержащего самого себя? Или молодого человека, содержащего самого себя? (Между прочим, иллюзия, лежащая в основе «Подъема и спуска» и «Водопада» была изобретена не Эшером, а английским математиком Роджером Пенроузом в 1958 году. Однако тема Странных Петель появилась в работах Эшера уже в 1948 году, когда он создал свои «Рисующие руки» «Картинная галерея» датируется 1956 годом.)

В концепции Странных Петель скрыта идея бесконечности, ибо что такое Петля, как не способ представить бесконечный процесс в конечной форме? Бесконечность играет важную роль во многих картинах Эшера. Копии какой-либо «темы» часто «вставлены» друг в друга, создавая зрительные аналогии с канонами Баха. Несколько таких структур можно увидеть на знаменитой Эшеровской гравюре «Метаморфоза»(рис. 8). Она немного напоминает «Естественно Растущий Канон»: уходя все дальше и дальше от начального пункта, мы внезапно возвращаемся обратно к началу. В черепичных плоскостях «Метаморфозы» уже есть намек на бесконечность; однако другие картины Эшера являют еще более смелые образы бесконечного, На некоторых его рисунках одна и та же тема «звучит» на нескольких уровнях реальности. Скажем, один из планов легко узнается как фантастический, в то время как другой представляет реальность. Сама картина, возможно, содержит только эти два плана; однако само наличие подобной «двусмысленности» приглашает зрителя увидеть самого себя как часть еще одного плана. Сделав этот шаг, он уже околдован предложенной Эшером возможностью бесконечной последовательности планов, где для каждого данного уровня существует высший, более «реальный», и низший, более «фантастичный» уровни. Такая ситуация сама по себе является достаточно удивительной и пугающей. Однако что произойдет, если цепь уровней к тому же будет не линейная, а замкнутая саму на себя, образуя Петлю? Что тогда будет реальностью, а что фантазией? Гений Эшера заключается в том, что он не только придумал, но и сумел изобразить десятки полуреальных, полумифических миров, миров, полных Странных Петель, куда он приглашает войти Зрителя.

Рис. 9. Курт Гёдель

Во всех примерах Странных Петель, которые мы видели у Баха и Эшера, присутствует конфликт между конечным и бесконечным, конфликт, рождающий ощущение парадокса. Интуиция подсказывает, что здесь замешано нечто, связанное с математикой. В самом деле, не так давно — в нашем веке — было найдено математическое соответствие этого явления. Это открытие оказало огромное влияние на развитие логической мысли. Подобно Петлям Баха и Эшера, основанным на простых и привычных образах (музыкальная гамма, лестница), открытие Странных Петель в математических системах, принадлежащее К. Гёделю, берет свое начало в простых и интуитивных идеях. В самой упрощенной форме открытие Гёделя сводится к переводу на язык математики одного из старинных философских парадоксов, так называемого парадокса Эпименида (или парадокса лжеца). Критский философ Эпименид был автором бессмертного суждения: «Все критяне — лжецы». В более прямой форме парадокс звучит так: «Я лгу» или «Это высказывание — ложь». В дальнейшем, говоря о парадоксе Эпименида, я буду иметь в виду последний вариант. Это суждение грубо нарушает обычное представление о том, что все суждения делятся на истинные и ложные, так как если мы на минуту представим, что оно истинно, то тут же увидим, что мы ошиблись, и на самом деле суждение ложно. Точно так же, из предпосылки ложности этого суждения вытекает, что оно должно быть истинным, Попробуйте сами!

Парадокс Эпименида является Странной Петлей «в одну ступеньку», так же, как «Картинная галерея» Эшера. Но какое отношение имеет он к математике? В этом как раз и заключается открытие, сделанное Гёделем. Он попытался использовать математические рассуждения для анализа самих же математических рассуждений. Идея заставить математику заняться «самоанализом» оказалась необычайно продуктивной; теорема Гёделя о неполноте, пожалуй, самое важное её следствие. То, что эта теорема утверждает, и то, как это утверждение в ней доказывается, это разные вещи, которые мы подробно рассмотрим в дальнейшем. Саму теорему можно сравнить с жемчужиной, а метод доказательства — с устрицей, её скрывающей. Мы восхищаемся сияющей простотой жемчужины; устрица же является сложным живым организмом, в чьем нутре зарождается эта таинственно простая драгоценность.