Чтение онлайн

на главную - закладки

Жанры

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

Счастливого пути!

Обзор

Часть I: ГЭБ

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

уровнями у Баха; затем я перехожу к параллельным идеям в рисунках Эшера и Теореме Гёделя. Чтобы поместить последнюю в исторический контекст, дана краткая история логики и парадоксов. Это ведет к обсуждению механистической философии и компьютеров и спора о возможности создания искусственного интеллекта. В заключение я объясняю, как возникла идея этой книги и, в особенности, Диалогов.

Трехголосная инвенция. Бах написал пятнадцать трехголосных инвенций. В этом трехголосном Диалоге Черепаха и Ахилл — главные действующие лица моих Диалогов — «изобретаются» Зеноном (как на самом деле и произошло, для иллюстрации парадоксов Зенона о движении). Этот Диалог совсем коротенький; он дает читателю почувствовать дух последующих Диалогов.

Глава I: Головоломка MU. Представлена простая формальная система, MIU; чтобы ближе ознакомиться с формальными системами, читателю предлагается найти решение некоей головоломки. Вводится несколько основных понятий: строчка, теорема, аксиома, правило вывода, деривация, формальная система, разрешающая процедура, работа внутри и вне системы.

Двухголосная инвенция. Бах написал также пятнадцать двухголосных инвенций. Этот двухголосный Диалог был написан не мной, а Люисом Кэрроллом в 1895 году. Кэрролл позаимствовал Ахилла и Черепаху у Зенона, а я, в свою очередь, позаимствовал их у Кэрролла. Тема Диалога — отношения между рассуждениями, рассуждениями о рассуждениях, рассуждениями о рассуждениях о рассуждениях и так далее. В каком-то смысле парадокс Кэрролла параллелен парадоксу Зенона о невозможности движения, путем бесконечного регресса доказывая, что рассуждения невозможны. Этот парадокс очень красив; он упоминается в книге несколько раз.

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

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

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

Акростиконтрапунктус.

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

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

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

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

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

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

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

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

Поделиться:
Популярные книги

Магия чистых душ

Шах Ольга
Любовные романы:
любовно-фантастические романы
5.40
рейтинг книги
Магия чистых душ

Здравствуй, 1985-й

Иванов Дмитрий
2. Девяностые
Фантастика:
альтернативная история
5.25
рейтинг книги
Здравствуй, 1985-й

Месть бывшему. Замуж за босса

Россиус Анна
3. Власть. Страсть. Любовь
Любовные романы:
современные любовные романы
5.00
рейтинг книги
Месть бывшему. Замуж за босса

Безымянный раб

Зыков Виталий Валерьевич
1. Дорога домой
Фантастика:
фэнтези
9.31
рейтинг книги
Безымянный раб

Действуй, дядя Доктор!

Юнина Наталья
Любовные романы:
короткие любовные романы
6.83
рейтинг книги
Действуй, дядя Доктор!

#Бояръ-Аниме. Газлайтер. Том 11

Володин Григорий Григорьевич
11. История Телепата
Фантастика:
фэнтези
попаданцы
аниме
5.00
рейтинг книги
#Бояръ-Аниме. Газлайтер. Том 11

Невеста вне отбора

Самсонова Наталья
Любовные романы:
любовно-фантастические романы
7.33
рейтинг книги
Невеста вне отбора

Темный Патриарх Светлого Рода 3

Лисицин Евгений
3. Темный Патриарх Светлого Рода
Фантастика:
юмористическое фэнтези
попаданцы
аниме
5.00
рейтинг книги
Темный Патриарх Светлого Рода 3

Черный Маг Императора 13

Герда Александр
13. Черный маг императора
Фантастика:
попаданцы
аниме
сказочная фантастика
фэнтези
5.00
рейтинг книги
Черный Маг Императора 13

Воин

Бубела Олег Николаевич
2. Совсем не герой
Фантастика:
фэнтези
попаданцы
9.25
рейтинг книги
Воин

Барон не играет по правилам

Ренгач Евгений
1. Закон сильного
Фантастика:
фэнтези
попаданцы
аниме
5.00
рейтинг книги
Барон не играет по правилам

Провинциал. Книга 4

Лопарев Игорь Викторович
4. Провинциал
Фантастика:
космическая фантастика
рпг
аниме
5.00
рейтинг книги
Провинциал. Книга 4

Возвращение Безумного Бога 4

Тесленок Кирилл Геннадьевич
4. Возвращение Безумного Бога
Фантастика:
фэнтези
юмористическое фэнтези
попаданцы
аниме
5.00
рейтинг книги
Возвращение Безумного Бога 4

Измена. Мой заклятый дракон

Марлин Юлия
Любовные романы:
любовно-фантастические романы
7.50
рейтинг книги
Измена. Мой заклятый дракон