Выбрать книгу по жанру
Фантастика и фэнтези
- Боевая фантастика
- Героическая фантастика
- Городское фэнтези
- Готический роман
- Детективная фантастика
- Ироническая фантастика
- Ироническое фэнтези
- Историческое фэнтези
- Киберпанк
- Космическая фантастика
- Космоопера
- ЛитРПГ
- Мистика
- Научная фантастика
- Ненаучная фантастика
- Попаданцы
- Постапокалипсис
- Сказочная фантастика
- Социально-философская фантастика
- Стимпанк
- Технофэнтези
- Ужасы и мистика
- Фантастика: прочее
- Фэнтези
- Эпическая фантастика
- Юмористическая фантастика
- Юмористическое фэнтези
- Альтернативная история
Детективы и триллеры
- Боевики
- Дамский детективный роман
- Иронические детективы
- Исторические детективы
- Классические детективы
- Криминальные детективы
- Крутой детектив
- Маньяки
- Медицинский триллер
- Политические детективы
- Полицейские детективы
- Прочие Детективы
- Триллеры
- Шпионские детективы
Проза
- Афоризмы
- Военная проза
- Историческая проза
- Классическая проза
- Контркультура
- Магический реализм
- Новелла
- Повесть
- Проза прочее
- Рассказ
- Роман
- Русская классическая проза
- Семейный роман/Семейная сага
- Сентиментальная проза
- Советская классическая проза
- Современная проза
- Эпистолярная проза
- Эссе, очерк, этюд, набросок
- Феерия
Любовные романы
- Исторические любовные романы
- Короткие любовные романы
- Любовно-фантастические романы
- Остросюжетные любовные романы
- Порно
- Прочие любовные романы
- Слеш
- Современные любовные романы
- Эротика
- Фемслеш
Приключения
- Вестерны
- Исторические приключения
- Морские приключения
- Приключения про индейцев
- Природа и животные
- Прочие приключения
- Путешествия и география
Детские
- Детская образовательная литература
- Детская проза
- Детская фантастика
- Детские остросюжетные
- Детские приключения
- Детские стихи
- Детский фольклор
- Книга-игра
- Прочая детская литература
- Сказки
Поэзия и драматургия
- Басни
- Верлибры
- Визуальная поэзия
- В стихах
- Драматургия
- Лирика
- Палиндромы
- Песенная поэзия
- Поэзия
- Экспериментальная поэзия
- Эпическая поэзия
Старинная литература
- Античная литература
- Древневосточная литература
- Древнерусская литература
- Европейская старинная литература
- Мифы. Легенды. Эпос
- Прочая старинная литература
Научно-образовательная
- Альтернативная медицина
- Астрономия и космос
- Биология
- Биофизика
- Биохимия
- Ботаника
- Ветеринария
- Военная история
- Геология и география
- Государство и право
- Детская психология
- Зоология
- Иностранные языки
- История
- Культурология
- Литературоведение
- Математика
- Медицина
- Обществознание
- Органическая химия
- Педагогика
- Политика
- Прочая научная литература
- Психология
- Психотерапия и консультирование
- Религиоведение
- Рефераты
- Секс и семейная психология
- Технические науки
- Учебники
- Физика
- Физическая химия
- Философия
- Химия
- Шпаргалки
- Экология
- Юриспруденция
- Языкознание
- Аналитическая химия
Компьютеры и интернет
- Базы данных
- Интернет
- Компьютерное «железо»
- ОС и сети
- Программирование
- Программное обеспечение
- Прочая компьютерная литература
Справочная литература
Документальная литература
- Биографии и мемуары
- Военная документалистика
- Искусство и Дизайн
- Критика
- Научпоп
- Прочая документальная литература
- Публицистика
Религия и духовность
- Астрология
- Индуизм
- Православие
- Протестантизм
- Прочая религиозная литература
- Религия
- Самосовершенствование
- Христианство
- Эзотерика
- Язычество
- Хиромантия
Юмор
Дом и семья
- Домашние животные
- Здоровье и красота
- Кулинария
- Прочее домоводство
- Развлечения
- Сад и огород
- Сделай сам
- Спорт
- Хобби и ремесла
- Эротика и секс
Деловая литература
- Банковское дело
- Внешнеэкономическая деятельность
- Деловая литература
- Делопроизводство
- Корпоративная культура
- Личные финансы
- Малый бизнес
- Маркетинг, PR, реклама
- О бизнесе популярно
- Поиск работы, карьера
- Торговля
- Управление, подбор персонала
- Ценные бумаги, инвестиции
- Экономика
Жанр не определен
Техника
Прочее
Драматургия
Фольклор
Военное дело
Teopeмa Гёделя - Нагель Эрнст - Страница 6
Вполне точных указаний на то, какие именно математические методы следует считать «финитными», Гильберт не дал. В первоначальной формулировке его программы требования, которым должны были удовлетворять абсолютные доказательства непротиворечивости, были значительно более сильными, чем в последующих разъяснениях гильбертовской программы, данных представителям школы Гильберта.
Будет, пожалуй, небесполезно сравнить метаматематику, понимаемую как теорию доказательства, с теорией шахматной игры. В шахматы играют с помощью 32 фигур определенного вида, передвигающихся по квадратной доске, разделенной на 64 клетки, причем передвижения эти («ходы») совершаются по некоторым строго определенным правилам. Разумеется, для игры не требуется никакой «интерпретации» фигур и их различных положений на доске, хотя такую интерпретацию при желании можно было бы и придумать. Например, можно было бы считать, что пешки — это армейские полки, а клетки доски — определенные географические районы и т. п. Но такого рода соглашения (интерпретации) не употребительны — на самом деле ни фигуры, ни клетки доски, ни положения фигур не означают ровно ничего вне игры как таковой. Иначе говоря, можно было бы сказать, что фигуры и их положения на доске «бессмысленны». Таким образом, игра в шахматы является далеко идущим аналогом формализованного математического исчисления. Фигуры и клетки доски соответствуют элементарным символам исчисления; допустимые правилами игры позиции соответствуют формулам исчисления; начальная позиция партии (или любой шахматной задачи) соответствует набору аксиом исчисления; последующие позиции — формулам, выводимым из аксиом (т. е. теоремам); наконец, правила игры соответствуют правилам вывода (правилам преобразования) исчисления. Аналогия простирается и дальше. Хотя сами по себе позиции (расположения фигур на доске), подобно формулам исчисления, «бессмысленны», высказывания об этих позициях, подобно метаматематическим высказываниям о формулах, вполне осмысленны.
«Меташахматное» утверждение может, например, гласить, что в данной позиции у белых возможны двадцать различных ходов, или, скажем, что в данной позиции белые, начиная, могут заматовать черных за три хода. Более того, можно говорить и об общих «меташахматных» теоремах, в доказательствах которых используется наличие лишь конечного числа возможных позиций. Можно, например, получить теорему относительно числа возможных ходов для белых в начальной (или любой другой) позиции; или, скажем, доказать теорему, согласно которой два белых коня с королем не могут форсировать мат одинокому черному королю. Эти и другие «меташахматные» теоремы удается, таким образом, доказывать, пользуясь финитными методами рассуждений, т. е. исследуя лишь конечное число возможных позиций, удовлетворяющих четко сформулированным условиям. Совершенно аналогично цель гильбертовской теории доказательства состоит в доказательстве такого же рода финитными методами невозможности вывода противоречащих друг другу формул в данном математическом исчислении.
4
Систематическое построение формальной логики
Прежде чем перейти к самой теореме Гёделя, нам придется преодолеть еще два препятствия. Прежде всего нам надо разобраться, зачем, собственно, ему понадобилась Principia Mathematica Уайтхеда и Рассела и в чем суть этой системы; далее, нам понадобится рассмотреть в качестве примера формализации дедуктивной системы один небольшой фрагмент системы Principia,и показать, как можно получить абсолютное доказательство непротиворечивости этого фрагмента.
Обычно, даже если математические доказательства проводятся с соблюдением общепринятых норм профессиональной строгости, эта строгость существенно умаляется в результате некоторого упрощения весьма принципиального характера. Дело в том, что принципы (правила) вывода, употребляемые в доказательствах, в явной форме не формулируются, так что математики применяют их не вполне осознанно. Возьмем, например, евклидовское доказательство того факта, что не существует наибольшего простого числа (целое число, как известно, называется простым, если оно не делится без остатка ни на одно число, кроме единицы и самого себя). Доказательство, проводимое методом reductio ad absurdum (от противного), выглядит следующим образом.
Пусть, в противоречии с доказываемым утверждением, имеется наибольшее простое число. Обозначим его через «x». Тогда:
1. x есть наибольшее простое число.
2. Образуем произведение всех простых чисел, меньших или равных x, и прибавим к этому произведению число 1. В результате получим некоторое число y:
y = (2 × З × 5 × 7 × … × x) + 1.
3. Если у само есть простое число, то x не есть наибольшее простое число, так как у, очевидно, больше x.
4. Если y — составное число (т. е. не является простым), то и тогда х не есть наибольшее простое число; в самом деле, если у — составное, то оно должно иметь некоторый простой делитель z; но z непременно должно быть отличным от всех простых чисел 2, 3, 5, 7, …, x, меньших или равных x, так что z должно в этом случае быть простым числом, превосходящим x.
5. Но у есть либо простое, либо составное число.
6. Следовательно, x не есть наибольшее простое число.
7. Наибольшего простого числа не существует.
Мы выписали здесь только основные шаги доказательства. Можно, однако, показать, что для восполнения всей цепочки рассуждений так или иначе пришлось бы использовать некоторые неявно подразумеваемые правила вывода и законы (теоремы) логики. Некоторые из этих правил и законов принадлежат самой элементарной части формальной логики, другие — более высоким ее разделам, например правила и законы, составляющие так называемую «теорию квалификаций». В этой теории формулируются правила употребления «кванторных» оборотов речи, вроде «все», «некоторые» и их синонимов. Приведем здесь примеры элементарной логической теоремы и правила вывода, используемые, хотя и неявно, в приведенном выше доказательстве теоремы Евклида.
Обратите внимание на 5-й шаг этого доказательства. Откуда он, собственно, получен? — Из логической теоремы («необходимой истины»), согласно которой «либо p, либо не p», где через «p» обозначена переменная («пропозициональная переменная»). Но как же именно 5-й шаг доказательства получается из этой теоремы? Посредством правила вывода, называемого «правилом подстановки вместо пропозициональных переменных», согласно которому из любого высказывания можно вывести другое высказывание, подставляя вместо каждого вхождения в исходное высказывание некоторой пропозициональной переменной (в нашем примере переменной «p») любого (одного и того же) высказывания (в рассматриваемом случае высказывания «y — простое число»). Применение такого рода правил и логических теорем, как мы уже отмечали, происходит на каждом шагу, но часто совершенно неосознанным образом. Явная же формулировка правил (даже для столь простого случая, как теорема Евклида) есть достижение лишь последнего столетия в истории логики.
Подобно мольеровскому господину Журдену, всю жизнь говорившему прозой, но не подозревавшему об этом обстоятельстве, математики в течение по крайней мере двух тысячелетий обходились без точной формулировки принципов, лежащих в основе всех их рассуждений. Понимание подлинной природы таких принципов — достижение самого недавнего времени.
Почти две тысячи лет аристотелевская теория правильных форм логического вывода безоговорочно считалась исчерпывающей и не нуждающейся в дальнейшей разработке. Еще в 1787 г. Иммануил Кант говорил, что формальную логику Аристотеля «не продвинешь дальше ни на один шаг — это наиболее завершенная и полная из всех наук». На самом же деле традиционная логика существеннейшим образом не полна, и средств ее недостаточно для обоснования многих принципов вывода, используемых даже во вполне элементарных математических рассуждениях.
- Предыдущая
- 6/19
- Следующая