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

Глава II: Значение и форма в математике. Вводится новая формальная система (система pr), еще более простая, чем система MIU предыдущей главы. Ее символы, вначале кажущиеся бессмысленными, приобретают значение благодаря форме тех теорем, в которых они находятся. Глубокая связь значения с изоморфизмом — наше первое важное открытие. В этой главе обсуждаются многие темы, связанные со значением: истина, доказательство, манипуляция символами, а также само ускользающее понятие «формы».

Соната для Ахилла соло. Диалог, имитирующий сонату Баха для скрипки соло. Ахилл — единственный собеседник, поскольку это запись его реплик в телефонном разговоре с Черепахой. Речь идет о «рисунке» и «фоне» в разных контекстах — например, рисунки Эшера. Сам Диалог — пример такого различия, поскольку реплики Ахилла представляют «рисунок», а соответствующие воображаемые ответы Черепахи — «фон».

Глава III: Рисунок и фон. Различие между рисунком и фоном в изобразительном искусстве сравнивается с различием между теоремами и не-теоремами в формальных системах. Вопрос «содержит ли рисунок ту же информацию, что и фон?» ведет к различию между рекурсивно перечислимыми и рекурсивными множествами.

Акростиконтрапунктус. Это центральный Диалог книги, поскольку он содержит множество перифразов Гёделева автореферентного построения и теоремы о неполноте. Один из них утверждает: «Для каждого патефона существует запись, которую он не может воспроизвести». Название Диалога — комбинация слов «акростих» и «контрапунктус» — латинское слово, использованное Бахом для названия многих фуг и канонов, составляющих «Искусство фуги». «Искусство фуги» несколько раз упоминается в Диалоге. Сам Диалог содержит хитрые трюки типа акростихов.

Глава IV: Непротиворечивость, полнота и геометрия. Предыдущий Диалог разъясняется настолько, насколько это возможно на данном этапе. Это снова приводит к вопросу, когда и каким образом символы в формальных системах приобретают значение. Для иллюстрации труднообъяснимого понятия «неопределенных термов» используется история эвклидовой и неэвклидовой геометрии. Это ведет к идеям о непротиворечивости различных и, возможно, «соперничающих» геометрий. Это обсуждение разъясняет понятие неопределенных термов и их отношение к восприятию и мыслительным процессам.

Маленький гармонический лабиринт. Этот Диалог основан на органной пьесе Баха того же названия. Это забавное введение в понятие рекурсивных — то есть вложенных одна в другую — структур. Основная история, вместо того, чтобы закончиться, обрывается на полпути, так что читатель зависает в воздухе. Одна из историй-матрешек касается модуляций в музыке и, в особенности, в одной органной пьесе, заканчивающейся в неправильной тональности, так что слушатель зависает в воздухе.

Глава V: Рекурсивные структуры и процессы. Идея рекурсии представлена в разных контекстах: музыкальные, лингвистические и геометрические структуры, математические функции, физические теории, компьютерные программы и т. д.

Канон с интервальным увеличением. Ахилл и Черепаха пытаются ответить на вопрос: «Где содержится больше информации — в пластинке или в патефоне?» Этот странный вопрос возникает, когда Черепаха описывает пластинку с некоей оригинальной записью. Будучи проиграна на разных патефонах, эта запись воспроизводит две различные мелодии: В-А-С-H и C-A-G-E. Однако оказывается, что, в некотором смысле, эти две мелодии — «одно и то же».

Глава VI: Местонахождение значения. Подробное обсуждение того, каким образом значение разделено между закодированным сообщением, дешифрующим механизмом и получателем этого сообщения. В качестве примеров приводятся цепочки ДНК, нерасшифрованные старинные надписи и пластинки, затерянные в космосе. Предполагается связь разума с «абсолютным» значением.

Хроматическая фантазия и фига. Короткий Диалог, почти ничем, кроме названия, не похожий на Баховскую «Хроматическую фантазию и фугу». Речь здесь идет о том, как правильно манипулировать высказываниями, чтобы они оставались истинными; в частности, обсуждается вопрос, существуют ли правила обращения с союзом «и».

Глава VII: Исчисление высказываний. Обсуждается, как слова, подобные «и», могут управляться формальными правилами. Снова используются идеи изоморфима и автоматического приобретения значения символами в подобной системе. Между прочим, все примеры в этой главе — «дзентенции», суждения, взятые из коанов дзена. Это сделано специально; ирония в том, что коаны дзена намеренно нелогичны.