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

Черепаха : Не смешите меня. Этот флаг в принципе невозможен, следовательно, он не может развеваться. Это движется ветер.

(В этот момент мимо идет Зенон.)

Зенон : День добрый! Приветствую вас! Что слышно?

Ахилл : Флаг движется!

Черепаха : Ветер движется!

Зенон : О мои дражайшие друзья! Прекратите ваши словопрения! Оставьте ваши разногласия! Поберегите ваше красноречие! Я разрешу ваш спор, не сходя с места. Эгей, и в такой чудный денек!

Ахилл : Этот тип явно дурака валяет.

Черепаха : Нет, подождите, Ахилл, давайте-ка его послушаем. О неизвестный господин, будьте так любезны поделиться с нами вашими соображениями по этому поводу.

Зенон : С превеликим удовольствием. Не ветер и не флаг — на самом деле, вообще ничто не движется, что следует из моей великой Теоремы. Она гласит: «Мир Изменяется Исключительно Иллюзорно». А из этой Теоремы вытекает еще более великая Теорема, Теорема Зенона: «Мир Ультранеподвижен».

Ахилл : Теорема Зенона? Вы, случаем, уж не Зенон ли из Элей будете?

Зенон : Он самый, Ахилл.

Ахилл (чешет голову в замешательстве) : Откуда он знает, как меня зовут?

Зенон : Возможно ли убедить вас выслушать меня, чтобы вы поняли, почему это так? Я прошел сегодня от точки А до самой Элей, только затем, чтобы найти кого-нибудь, кто согласился бы послушать мои тщательно отточенные доводы. Но все встречные сразу разбегались. Им, видите ли, было некогда. Вы не представляете себе, как это разочаровывает, когда встречаешь отказ за отказом… Однако простите меня — я совсем замучил вас пересказом моих неприятностей. Я прошу вас только об одном: не согласитесь ли вы ублажить старика-философа и уделить несколько минут — обещаю вам, всего лишь несколько минут — его экстравагантным теориям?

Ахилл : О, без сомнения! Сделайте милость, просветите нас! Я знаю, что говорю за обоих, так как моя приятельница, госпожа Черепаха, только что отзывалась о вас весьма уважительно и упоминала как раз о ваших парадоксах.

Зенон : Благодарю вас. Видите ли, мой Мастер, пятый патриарх, учил меня, что реальность всегда одна и та же, единая и неизменная. Все разнообразие, изменение и движение — не более, чем иллюзии наших органов чувств. Некоторые смеялись над его взглядами, но я могу доказать всю абсурдность их насмешек. Мои доводы весьма просты. Я покажу их на примере двух персонажей моего собственного изобретения: Ахилл (греческий воин, самый быстроногий из смертных) и Черепаха. В моем рассказе, прохожий убеждает их бежать наперегонки к флагу, развевающемуся на ветру в конце беговой дорожки. Предположим, что Черепаха, как гораздо более медленный бегун, получит фору, скажем, в пятьдесят локтей. Соревнование начинается. В несколько прыжков Ахилл добегает до того места, откуда стартовала Черепаха.

Ахилл : Ха!

Зенон : Теперь Черепаха впереди него лишь на пять метров. Ахилл вмиг достигает того места.

Ахилл : Хо-хо!

Зенон : Все же за этот миг Черепаха успела немного продвинуться вперед. В мгновение ока Ахилл покрывает и эту дистанцию.

Ахилл : Хи-хи-хи!

Зенон : Но и в это кратчайшее мгновение Черепаха чуточку продвинулась, и опять Ахилл оказался позади. Теперь вы видите, что если Ахилл хочет нагнать Черепаху, ему придется играть в эти «догонялки» БЕСКОНЕЧНО — а следовательно, он НИКОГДА ее не догонит!

Черепаха : Хе-хе-хе-хе!

Ахилл : Хм… хм… хм… хм… хм… Этот довод кажется мне неверным. Однако я никак не могу понять, в чем здесь ошибка.

Зенон : Хороша головоломочка? Это мой любимый парадокс.

Черепаха : Прошу прощения, Зенон, но мне кажется, что вы рассказали нам что-то не то. Через несколько веков этот ваш рассказ будет известен как парадокс Зенона «Ахилл и Черепаха»; он показывает — гм! — что Ахилл никогда не догонит Черепаху. Доказательство же того, что Мир Изменяется Исключительно Иллюзорно (а следовательно, Мир Ультранеподвижен) содержится в вашем «Дихотомическом Парадоксе», не так ли?

Зенон : Ах, какой стыд. Конечно же, вы правы. Это тот парадокс, где объясняется, что идя от А до Б, надо сначала пройти половину пути — но от этой половины также придется сначала пройти половину… и так далее. Оба эти парадокса очень похожи; честно говоря, я просто обыгрывал мою Великую Идею с разных сторон.

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

Зенон : Так вы сомневаетесь в правильности моих парадоксов? Отчего же вам самим не попробовать? Видите тот красный флаг в конце дорожки?

Ахилл : Невозможный, сделанный по гравюре Эшера?

Зенон : Тот самый. Как насчет того, чтобы вам с Черепахой пробежаться к флагу наперегонки? Конечно, ей надо будет дать приличную фору, скажем…

Черепаха : Как насчет пятидесяти локтей?

Зенон : Отлично — пусть будут пятьдесят локтей.

Ахилл : Я-то всегда готов.

Зенон : Вот и чудесно. Все это захватывающе интересно! Сейчас мы проверим мою строго доказанную Теорему на опыте! Госпожа Черепаха, будьте так добры, займите позицию на пятьдесят локтей впереди Ахилла.

(Черепаха продвигается на пятьдесят локтей ближе к флагу.)

Ну как, вы оба готовы?

Черепаха и Ахилл : Готовы!

Зенон : На старт… Внимание… Марш!

ОДНИМ ИЗ центральных понятий этой книги является понятие формальной системы. Формальные системы того типа, который я использую, были изобретены американским логиком Эмилем Постом в 1920-х годах; их часто называют системами продукции или системами Поста. Эта глава познакомит вас с одной из таких формальных систем. Надеюсь, что вам захочется хотя бы немного ее исследовать — чтобы вас заинтересовать, я придумал небольшую головоломку.

Головоломка формулируется просто: «Можете ли вы получить MU?» Для начала вам будет дана некая строчка (последовательность букв). {1} 1 Далее в книге, говоря о строчках, мы будем использовать следующие знаки: когда строчка будет напечатана тем же шрифтом, как и окружающий ее текст, она будет заключена в простые или двойные кавычки. Знаки препинания, принадлежащие тексту, будут, как того требует логика, вне кавычек. Например, первая буква этой фразы — «Н», в то время, как первая буква «этой фразы» — «э». Однако, когда строчка будет напечатана другим шрифтом или латинским алфавитом, кавычки использоваться не будут — за исключением тех случаев, когда это будет абсолютно необходимо для ясности. Например, первая буква stola — s. Чтобы не мучить вас неизвестностью, сообщу эту строчку сразу — это будет MI. Кроме этого, вам будут даны правила, с помощью которых вы сможете превращать одну строчку в другую. Вы можете использовать любое правило, применимое в данный момент; при этом, если таких правил несколько, у вас имеется свободный выбор. Именно в этот момент игра с формальной системой ближе всего подходит к искусству. Само собой, главное требование игры — следование правилам. Это ограничение может быть названо «требованием формальности». Возможно, что в данной главе нам не придется подробно на нем останавливаться. Однако, как бы удивительно это вам не казалось, работая с формальными системами последующих глав, вы увидите, что вам частенько захочется нарушать требование формальности, если у вас раньше не было навыка работы с подобными системами.