Выбрать книгу по жанру
Фантастика и фэнтези
- Боевая фантастика
- Героическая фантастика
- Городское фэнтези
- Готический роман
- Детективная фантастика
- Ироническая фантастика
- Ироническое фэнтези
- Историческое фэнтези
- Киберпанк
- Космическая фантастика
- Космоопера
- ЛитРПГ
- Мистика
- Научная фантастика
- Ненаучная фантастика
- Попаданцы
- Постапокалипсис
- Сказочная фантастика
- Социально-философская фантастика
- Стимпанк
- Технофэнтези
- Ужасы и мистика
- Фантастика: прочее
- Фэнтези
- Эпическая фантастика
- Юмористическая фантастика
- Юмористическое фэнтези
- Альтернативная история
Детективы и триллеры
- Боевики
- Дамский детективный роман
- Иронические детективы
- Исторические детективы
- Классические детективы
- Криминальные детективы
- Крутой детектив
- Маньяки
- Медицинский триллер
- Политические детективы
- Полицейские детективы
- Прочие Детективы
- Триллеры
- Шпионские детективы
Проза
- Афоризмы
- Военная проза
- Историческая проза
- Классическая проза
- Контркультура
- Магический реализм
- Новелла
- Повесть
- Проза прочее
- Рассказ
- Роман
- Русская классическая проза
- Семейный роман/Семейная сага
- Сентиментальная проза
- Советская классическая проза
- Современная проза
- Эпистолярная проза
- Эссе, очерк, этюд, набросок
- Феерия
Любовные романы
- Исторические любовные романы
- Короткие любовные романы
- Любовно-фантастические романы
- Остросюжетные любовные романы
- Порно
- Прочие любовные романы
- Слеш
- Современные любовные романы
- Эротика
- Фемслеш
Приключения
- Вестерны
- Исторические приключения
- Морские приключения
- Приключения про индейцев
- Природа и животные
- Прочие приключения
- Путешествия и география
Детские
- Детская образовательная литература
- Детская проза
- Детская фантастика
- Детские остросюжетные
- Детские приключения
- Детские стихи
- Детский фольклор
- Книга-игра
- Прочая детская литература
- Сказки
Поэзия и драматургия
- Басни
- Верлибры
- Визуальная поэзия
- В стихах
- Драматургия
- Лирика
- Палиндромы
- Песенная поэзия
- Поэзия
- Экспериментальная поэзия
- Эпическая поэзия
Старинная литература
- Античная литература
- Древневосточная литература
- Древнерусская литература
- Европейская старинная литература
- Мифы. Легенды. Эпос
- Прочая старинная литература
Научно-образовательная
- Альтернативная медицина
- Астрономия и космос
- Биология
- Биофизика
- Биохимия
- Ботаника
- Ветеринария
- Военная история
- Геология и география
- Государство и право
- Детская психология
- Зоология
- Иностранные языки
- История
- Культурология
- Литературоведение
- Математика
- Медицина
- Обществознание
- Органическая химия
- Педагогика
- Политика
- Прочая научная литература
- Психология
- Психотерапия и консультирование
- Религиоведение
- Рефераты
- Секс и семейная психология
- Технические науки
- Учебники
- Физика
- Физическая химия
- Философия
- Химия
- Шпаргалки
- Экология
- Юриспруденция
- Языкознание
- Аналитическая химия
Компьютеры и интернет
- Базы данных
- Интернет
- Компьютерное «железо»
- ОС и сети
- Программирование
- Программное обеспечение
- Прочая компьютерная литература
Справочная литература
Документальная литература
- Биографии и мемуары
- Военная документалистика
- Искусство и Дизайн
- Критика
- Научпоп
- Прочая документальная литература
- Публицистика
Религия и духовность
- Астрология
- Индуизм
- Православие
- Протестантизм
- Прочая религиозная литература
- Религия
- Самосовершенствование
- Христианство
- Эзотерика
- Язычество
- Хиромантия
Юмор
Дом и семья
- Домашние животные
- Здоровье и красота
- Кулинария
- Прочее домоводство
- Развлечения
- Сад и огород
- Сделай сам
- Спорт
- Хобби и ремесла
- Эротика и секс
Деловая литература
- Банковское дело
- Внешнеэкономическая деятельность
- Деловая литература
- Делопроизводство
- Корпоративная культура
- Личные финансы
- Малый бизнес
- Маркетинг, PR, реклама
- О бизнесе популярно
- Поиск работы, карьера
- Торговля
- Управление, подбор персонала
- Ценные бумаги, инвестиции
- Экономика
Жанр не определен
Техника
Прочее
Драматургия
Фольклор
Военное дело
ГЕДЕЛЬ, ЭШЕР, БАХ: эта бесконечная гирлянда - Хофштадтер Даглас Р. - Страница 22
Когда у вас имеется алгоритм разрешения, все теоремы системы приобретают конкретную характеристику. С первого взгляда может показаться, что правила и аксиомы формальной системы сами по себе характеризуют ее теоремы не менее полно, чем алгоритм разрешения; однако проблема здесь заключается в слове «характеризуют». Безусловно, как правила вывода, так и аксиомы системы MIU косвенно характеризуют строчки, являющиеся теоремами; еще более косвенно они характеризуют строчки, теоремами не являющиеся. Однако косвенная характеристика часто недостаточна. Если кто-нибудь утверждает, что он имеет в своем распоряжении характеристику всех теорем, но при этом тратит бесконечное время, чтобы установить, что данная строчка не является теоремой, вы, скорее всего, подумаете, что в его характеристике чего-то не хватает — она недостаточно конкретна. Именно поэтому так важно установить, есть ли в данной системе алгоритм разрешения. Положительный ответ будет означать, что вы всегда можете проверить, является ли данная строчка теоремой; при этом, какой бы длинной проверка ни была, она непременно придет к концу. В принципе, проверка — такой же простой, механический, конечный и верный процесс, как установление того, что первая буква строчки — M. Алгоритм разрешения — это «лакмусовая бумажка» для установления теоремности!
Кстати, одним из требований формальной системы является наличие алгоритма разрешения для аксиом: каждая формальная система должна иметь свою Лакмусовую бумажку для определения аксиомности. Таким образом, у нас не будет проблем по крайней мере в начале работы. Разница между множеством аксиом и множеством теорем в том, что первые всегда имеют алгоритм разрешения, в то время как последние могут его и не иметь.
Уверен, что вы согласитесь, что, когда вы начали работать с системой MIU, вам пришлось столкнуться именно с этой проблемой. Вам была известна единственная аксиома системы и простые правила вывода, косвенно характеризующие теоремы — и все же было неясно, каковы последствия этой характеристики. В частности, было совершенно непонятно, является ли MU теоремой.
Рис. 12. М. К. Эшер. «Воздушный замок» (гравюра на дереве), 1928.
Двухголосная инвенция
или Что Черепаха сказала Ахиллу (записано Льюисом Кэрроллом) [8]
Ахилл перегнал Черепаху и с комфортом уселся отдыхать на ее широкой спине.
«Так вам все же удалось добежать до финиша?» — сказала Черепаха. «Несмотря на то, что дистанция состояла из бесконечного ряда отрезков? Я-то думала, какой-то умник доказал, что это невозможно сделать?»
«Это ВОЗМОЖНО сделать», — сказал Ахилл: «И я это СДЕЛАЛ! Solvitur ambulando. Видите ли, дистанции постоянно УМЕНЬШАЛИСЬ…»
«А если бы они постоянно УВЕЛИЧИВАЛИСЬ?» — перебила Черепаха, — «Что тогда?»
«Тогда бы меня здесь еще не было,» — скромно ответил Ахилл, — «А Вы уже успели бы обежать несколько раз вокруг света.»
«Вы весьма великодушны, Ахилл. Вы меня просто подавили… я хочу сказать, придавили, поскольку вы нешуточный тяжеловес. А теперь, не угодно ли вам послушать про такую беговую дорожку, о которой большинство людей воображают, что могут преодолеть ее в два-три шага, когда на самом деле она состоит из бесконечного числа расстояний, где каждое последующее больше предыдущего?»
«С превеликим удовольствием,» — ответствовал греческий воин, доставая из шлема (в те дни мало кто из греческих воинов мог похвастаться карманами) огромный блокнот с карандашом. «Приступайте к своему рассказу, да говорите, пожалуйста, помедленнее — ведь стенография еще не изобретена!»
«Этот прекрасный Первый Постулат Эвклида…» — пробормотала мечтательно Черепаха, — «вы восхищаетесь Эвклидом?»
«Страстно! Постольку, конечно, поскольку можно восхищаться трудом, который будет опубликован лишь через несколько столетий…»
«Давайте, в таком случае, рассмотрим первые два пункта его доводов, и выводы, которые из них следуют. Будьте так любезны, запишите их к себе в блокнот — для удобства обозначим их А, В и Z:
(A) Вещи, равные одному и тому же, равны между собой.
(B) Две стороны этого треугольника суть вещи, равные одному и тому же.
(Z) Две стороны этого треугольника равны между собой.
Читатели Эвклида согласятся, я думаю, что Z логически следует из А и В, так что тот, кто согласен с истинностью А и В, ДОЛЖЕН считать истинным и Z?»
«Несомненно! Уж с ЭТИМ-то легко согласится любой старшеклассник — как только старшие классы будут изобретены, каких-нибудь пару тысяч лет спустя.»
«И если какой-нибудь читатель не принимает А и В за истинные, он, тем не менее, должен согласиться с тем, что ВЗЯТАЯ ЦЕЛИКОМ, эта последовательность имеет смысл?»
«Без сомнения, такого читателя можно вообразить. Он мог бы сказать: „Я принимаю за истинное Гипотетическое Утверждение, что ЕСЛИ А и В истинны, то Z должно быть тоже истинно.“ Такой читатель поступил бы мудро, если бы он оставил Эвклида и занялся футболом».
«А что, если какой-нибудь другой читатель сказал бы: „Я принимаю за истинные А и В, но НЕ Гипотетическое Утверждение“?»
«Наверное, и такой читатель мог бы существовать. Ему, впрочем, тоже было бы лучше заняться футболом.»
«И никакой из этих читателей ПОКА не обязан соглашаться с тем, что логически Z должно быть истинно?»
«Совершенно верно,» — кивнул Ахилл.
«Теперь представьте на минуту, что я — тот второй читатель, и попробуйте логически заставить меня признать, что Z истинно.»
«Черепаха, играющая в футбол, была бы…» — начал Ахилл.
«… совершеннейшей аномалией, конечно,» — торопливо перебила Черепаха. «Не будем отвлекаться; сначала давайте разберемся с Z, а потом уж поговорим о футболе!»
«Я должен заставить вас принять Z, не так ли?» — задумчиво пробормотал Ахилл. «И вы утверждаете, что принимаете А и В, но тем не менее не принимаете Гипотетическое Утверждение…»
«Назовем его С», — вставила Черепаха.
«Но вы не принимаете
(С) Если А и В истинны, следовательно Z должно быть истинно.»
«Именно это я и утверждаю,» — сказала Черепаха.
«В таком случае я должен попросить вас согласиться с С.»
«Я, пожалуй, уважу вашу просьбу, как только вы занесете ее в свой блокнот. Кстати, что у вас там еще записано?»
«Только несколько заметок на память,» — сказал Ахилл, нервно шурша страницами: «несколько заметок о… о сражениях в которых я отличился!»
«Здесь полно чистых страниц, как я погляжу!» — радостно заметила Черепаха. «Нам понадобятся ВСЕ они, до последней странички!» (Ахилл содрогнулся.) «Теперь пишите за мной:
(A) Вещи, равные одному и тому же, равны между собой.
(B) Две стороны этого треугольника суть вещи, равные одному и тому же.
(C) Если А и В истинны, следовательно Z должно быть истинно.
(Z) Две стороны этого треугольника равны между собой.»
«Вы должны бы называть последнее утверждение D, а не Z, поскольку оно прямо следует за первыми тремя. Если вы принимаете А, В, и С, вам ПРИДЕТСЯ принять Z.»
«Почему это мне „придется“?»
«Потому что Z ЛОГИЧЕСКИ следует из них. Если А, и В, и С истинны, Z ДОЛЖНО быть истинно. С этим-то вы, надеюсь, не станете спорить?»
«Если А, и В, и С истинны, Z ДОЛЖНО быть истинно,» — в раздумьи повторила Черепаха. «Это еще одно Гипотетическое Утверждение, не правда ли? И если я его не приму, я все еще могу считать истинными А, В и С, но не принимать Z, не так ли, мой друг?»
«Пожалуй, что и так,» — согласился простодушный герой, — «хотя такое упрямство было бы просто феноменально. Все же, это событие ВОЗМОЖНО. А раз так, я должен попросить вас принять еще одно Гипотетическое Утверждение.»
«Прекрасно! Я согласен принять и это Утверждение, как только вы его запишете. Мы назовем его D.
- Предыдущая
- 22/233
- Следующая