Выбрать книгу по жанру
Фантастика и фэнтези
- Боевая фантастика
- Героическая фантастика
- Городское фэнтези
- Готический роман
- Детективная фантастика
- Ироническая фантастика
- Ироническое фэнтези
- Историческое фэнтези
- Киберпанк
- Космическая фантастика
- Космоопера
- ЛитРПГ
- Мистика
- Научная фантастика
- Ненаучная фантастика
- Попаданцы
- Постапокалипсис
- Сказочная фантастика
- Социально-философская фантастика
- Стимпанк
- Технофэнтези
- Ужасы и мистика
- Фантастика: прочее
- Фэнтези
- Эпическая фантастика
- Юмористическая фантастика
- Юмористическое фэнтези
- Альтернативная история
Детективы и триллеры
- Боевики
- Дамский детективный роман
- Иронические детективы
- Исторические детективы
- Классические детективы
- Криминальные детективы
- Крутой детектив
- Маньяки
- Медицинский триллер
- Политические детективы
- Полицейские детективы
- Прочие Детективы
- Триллеры
- Шпионские детективы
Проза
- Афоризмы
- Военная проза
- Историческая проза
- Классическая проза
- Контркультура
- Магический реализм
- Новелла
- Повесть
- Проза прочее
- Рассказ
- Роман
- Русская классическая проза
- Семейный роман/Семейная сага
- Сентиментальная проза
- Советская классическая проза
- Современная проза
- Эпистолярная проза
- Эссе, очерк, этюд, набросок
- Феерия
Любовные романы
- Исторические любовные романы
- Короткие любовные романы
- Любовно-фантастические романы
- Остросюжетные любовные романы
- Порно
- Прочие любовные романы
- Слеш
- Современные любовные романы
- Эротика
- Фемслеш
Приключения
- Вестерны
- Исторические приключения
- Морские приключения
- Приключения про индейцев
- Природа и животные
- Прочие приключения
- Путешествия и география
Детские
- Детская образовательная литература
- Детская проза
- Детская фантастика
- Детские остросюжетные
- Детские приключения
- Детские стихи
- Детский фольклор
- Книга-игра
- Прочая детская литература
- Сказки
Поэзия и драматургия
- Басни
- Верлибры
- Визуальная поэзия
- В стихах
- Драматургия
- Лирика
- Палиндромы
- Песенная поэзия
- Поэзия
- Экспериментальная поэзия
- Эпическая поэзия
Старинная литература
- Античная литература
- Древневосточная литература
- Древнерусская литература
- Европейская старинная литература
- Мифы. Легенды. Эпос
- Прочая старинная литература
Научно-образовательная
- Альтернативная медицина
- Астрономия и космос
- Биология
- Биофизика
- Биохимия
- Ботаника
- Ветеринария
- Военная история
- Геология и география
- Государство и право
- Детская психология
- Зоология
- Иностранные языки
- История
- Культурология
- Литературоведение
- Математика
- Медицина
- Обществознание
- Органическая химия
- Педагогика
- Политика
- Прочая научная литература
- Психология
- Психотерапия и консультирование
- Религиоведение
- Рефераты
- Секс и семейная психология
- Технические науки
- Учебники
- Физика
- Физическая химия
- Философия
- Химия
- Шпаргалки
- Экология
- Юриспруденция
- Языкознание
- Аналитическая химия
Компьютеры и интернет
- Базы данных
- Интернет
- Компьютерное «железо»
- ОС и сети
- Программирование
- Программное обеспечение
- Прочая компьютерная литература
Справочная литература
Документальная литература
- Биографии и мемуары
- Военная документалистика
- Искусство и Дизайн
- Критика
- Научпоп
- Прочая документальная литература
- Публицистика
Религия и духовность
- Астрология
- Индуизм
- Православие
- Протестантизм
- Прочая религиозная литература
- Религия
- Самосовершенствование
- Христианство
- Эзотерика
- Язычество
- Хиромантия
Юмор
Дом и семья
- Домашние животные
- Здоровье и красота
- Кулинария
- Прочее домоводство
- Развлечения
- Сад и огород
- Сделай сам
- Спорт
- Хобби и ремесла
- Эротика и секс
Деловая литература
- Банковское дело
- Внешнеэкономическая деятельность
- Деловая литература
- Делопроизводство
- Корпоративная культура
- Личные финансы
- Малый бизнес
- Маркетинг, PR, реклама
- О бизнесе популярно
- Поиск работы, карьера
- Торговля
- Управление, подбор персонала
- Ценные бумаги, инвестиции
- Экономика
Жанр не определен
Техника
Прочее
Драматургия
Фольклор
Военное дело
ГЕДЕЛЬ, ЭШЕР, БАХ: эта бесконечная гирлянда - Хофштадтер Даглас Р. - Страница 30
Существуют узнаваемые формы, чье негативное пространство не является никакой узнаваемой формой. Или, выражаясь более технично:
Существуют курсивно рисуемые рисунки, которые не рекурсивны.
Рис. 17. Скотт Е. Ким Рисунок «РИСУНОК-РИСУНОК».
На рис. 17 показано решение предложенной выше головоломки, принадлежащее Скотту Киму; я называю это решение «рисунок РИСУНОК — РИСУНОК». На какую бы часть — белую или черную — вы не посмотрели, вы увидите только «ФИГУРЕ» (= английское «РИСУНОК»), и никакого «ФОНА». Великолепный образчик рекурсивного рисунка! Черные области этого хитроумного рисунка можно охарактеризовать двумя способами:
(1) как негативное пространство белых областей;
(2) как видоизмененные копии белых областей (полученные путем их окраски и сдвига каждой белой области).
(В данном случае обе характеристики эквивалентны; для большинства черно-белых рисунков это не так.) В главе VIII, создавая Типографскую Теорию Чисел (ТТЧ), мы будем надеяться, что нам удастся охарактеризовать множество всех ложных утверждений аналогичными способами:
(1) как негативное пространство множества всех теорем ТТЧ;
(2) как модифицированные копии множества всех теорем ТТЧ (полученные путем отрицания каждой теоремы ТТЧ).
Однако этой надежда окажется напрасной, так как:
(1) среди множества всех не-теорем существуют некоторые истинные утверждения;
(2) вне множества всех отрицаний теорем, существуют некоторые ложные утверждения.
Отчего так получается, вы увидите в главе XIV; а пока можете поразмыслить над графическим изображением данной ситуации (Рис. 18).
Рис. 18. Эта диаграмма отношений между различными классами строчек ТТЧ весьма богата зрительным символизмом. Самый большой прямоугольник — множество всех строчек ТТЧ. Следующий прямоугольник — все правильно построенные строчки ТТЧ. Внутри него находится множество всех предложений ТТЧ. Именно на этом уровне начинают происходить интересные вещи. Множество теорем изображено в виде дерева, чей ствол — множество аксиом. Символ дерева был выбран из-за того, что оно растет «рекурсивно» новые ветви (теоремы) вырастают из старых. Пальцеобразные ветви проникают во все уголки области представляющей множество истинных высказываний, однако они не могут занять эту область целиком. Граница между областями истинных и ложных высказываний представляет собой изломанную «береговую линию», которая, как бы близко вы ее не рассматривали, всегда имеет еще более мелкие уровни структуры и таким образом, не поддается описанию каким либо конечным методом (См. книгу Мандельбродта «Фракталы» (В. Mandelbrodt Fractals)). Отраженное дерево справа представляет отрицания теорем все они ложны, но вкупе они не в состоянии заполнить всю область ложных высказываний (Рисунок автора)
Аналогию с понятием рисунка и фона можно также найти и в музыке. Примером может служить различие между мелодией и аккомпанементом: мелодия всегда на первом плане, тогда как аккомпанемент в каком-то смысле второстепенен. Поэтому нам кажется удивительным, когда мы узнаем мелодии на «низшем» уровне музыкального произведения. Для пост-барочной музыки это редкое явление — обычно гармонии там не выходят на первый план. Но в барочной музыке — и прежде всего, у Баха — все уровни «работают» в качестве «рисунка». В этом смысле баховские композиции могут быть названы рекурсивными.
В музыке есть еще одно различие между рисунком и фоном — ударные и безударные такты. Если вы начнете отмечать ритм счетом «раз-и, два-и, три-и…», большинство нот мелодии придутся на числа, а не на «и». Иногда, однако, мелодия бывает нарочно смещена на «и», чем достигается интересный эффект. Это происходит, например, в нескольких фортепианных этюдах Шопена. Тот же прием можно найти у Баха, в особенности, в сонатах и партитурах для скрипки соло и в сюитах для виолончели соло. В этих композициях Баху удается поместить несколько мелодий одновременно на разных уровнях. Иногда он достигает этого эффекта, заставляя солирующий инструмент играть дублировки — две ноты сразу. В других случаях, однако, он помещает один голос на ударные такты, а другой — на безударные, так что слух различает две разные мелодии, вплетающиеся одну в другую и гармонически сочетающиеся. Нет нужды говорить, что Бах не останавливается на этом уровне сложности…
Перенесем понятие рисунка и фона обратно в область формальных систем. В нашем примере роль позитивного пространства играют теоремы типа S, а роль негативного пространства — строчки, в которых количество тире выражается простым числом. Пока что единственный способ, который нам удалось найти для выражения простых чисел типографским путем, это негативное пространство. Существует ли какой нибудь способ выразить простые числа в виде позитивного пространства, то есть в виде множества теорем некой системы?
Интуиция подсказывает разным людям разные ответы. Я отчетливо помню, как был озадачен и заинтригован, заметив разницу между негативной и позитивной характеристиками. Я был совершенно уверен в том, что не только простые числа, но и вообще любое негативно определяемое множество чисел может быть определено позитивно. Интуитивное обоснование моей уверенности заключалось в следующем вопросе: «Как это возможно, чтобы рисунок и фон не содержали совершенно одинаковой информации?» Мне казалось, что они представляют собой одну и ту же информацию, закодированную двумя разными способами. А что думаете по этому поводу вы, читатель?
Выяснилось, что я был прав насчет простых чисел, но ошибался в остальном. Тогда это меня поразило и продолжает поражать и по сей день. Оказывается, что:
существуют такие формальные системы, чье негативное пространство (множество не-теорем) не является позитивным пространством никакой другой формальной системы.
Как выяснилось, этот результат сравним по глубине с Теоремой Гёделя — так что неудивительно, что моя интуиция не могла принять его сразу. Подобно математикам начала двадцатого века, я считал мир формальных систем и натуральных чисел более предсказуемым, чем он оказался в действительности. Выраженное более техническим языком, это утверждение звучит так:
Существуют рекурсивно счетные множества, не являющиеся рекурсивными.
Выражение «рекурсивно счетные» (часто сокращаемое как р.с.) — математическое соответствие нашему художественному понятию «курсивно рисуемые», а рекурсивный — соответствие «рекурсивным». Множество строчек является р. с., когда все они могут быть выведены путем применения типографских правил — например, множество теорем типа S или множество теорем системы MIU; на самом деле, это определение приложимо ко множеству теорем любой формальной системы. Оно сравнимо с понятием о «рисунке» как о «множестве линий, которые могут быть произведены в соответствии с художественными правилами» (что бы это последнее не означало!). А «рекурсивное множество» подобно рисунку, чей фон, в свою очередь, также является рисунком — в таком случае не только рисунок, но и его дополнение будут р. с. Из этого вытекает следующий результат:
Существуют такие формальные системы, у которых нет типографского алгоритма разрешения.
Из чего это следует? Очень просто. Типографский алгоритм разрешения — это метод, отличающий теоремы от не-теорем. Он позволяет нам выводить не-теоремы систематически, идя по списку всех строчек и отбрасывая те, что не являются теоремами. Эту процедуру можно назвать типографским методом вывода множества не-теорем. Однако из предыдущего утверждения (которое мы пока принимаем на веру) следует, что для некоторых формальных систем это невозможно.
- Предыдущая
- 30/233
- Следующая