Выбрать книгу по жанру
Фантастика и фэнтези
- Боевая фантастика
- Героическая фантастика
- Городское фэнтези
- Готический роман
- Детективная фантастика
- Ироническая фантастика
- Ироническое фэнтези
- Историческое фэнтези
- Киберпанк
- Космическая фантастика
- Космоопера
- ЛитРПГ
- Мистика
- Научная фантастика
- Ненаучная фантастика
- Попаданцы
- Постапокалипсис
- Сказочная фантастика
- Социально-философская фантастика
- Стимпанк
- Технофэнтези
- Ужасы и мистика
- Фантастика: прочее
- Фэнтези
- Эпическая фантастика
- Юмористическая фантастика
- Юмористическое фэнтези
- Альтернативная история
Детективы и триллеры
- Боевики
- Дамский детективный роман
- Иронические детективы
- Исторические детективы
- Классические детективы
- Криминальные детективы
- Крутой детектив
- Маньяки
- Медицинский триллер
- Политические детективы
- Полицейские детективы
- Прочие Детективы
- Триллеры
- Шпионские детективы
Проза
- Афоризмы
- Военная проза
- Историческая проза
- Классическая проза
- Контркультура
- Магический реализм
- Новелла
- Повесть
- Проза прочее
- Рассказ
- Роман
- Русская классическая проза
- Семейный роман/Семейная сага
- Сентиментальная проза
- Советская классическая проза
- Современная проза
- Эпистолярная проза
- Эссе, очерк, этюд, набросок
- Феерия
Любовные романы
- Исторические любовные романы
- Короткие любовные романы
- Любовно-фантастические романы
- Остросюжетные любовные романы
- Порно
- Прочие любовные романы
- Слеш
- Современные любовные романы
- Эротика
- Фемслеш
Приключения
- Вестерны
- Исторические приключения
- Морские приключения
- Приключения про индейцев
- Природа и животные
- Прочие приключения
- Путешествия и география
Детские
- Детская образовательная литература
- Детская проза
- Детская фантастика
- Детские остросюжетные
- Детские приключения
- Детские стихи
- Детский фольклор
- Книга-игра
- Прочая детская литература
- Сказки
Поэзия и драматургия
- Басни
- Верлибры
- Визуальная поэзия
- В стихах
- Драматургия
- Лирика
- Палиндромы
- Песенная поэзия
- Поэзия
- Экспериментальная поэзия
- Эпическая поэзия
Старинная литература
- Античная литература
- Древневосточная литература
- Древнерусская литература
- Европейская старинная литература
- Мифы. Легенды. Эпос
- Прочая старинная литература
Научно-образовательная
- Альтернативная медицина
- Астрономия и космос
- Биология
- Биофизика
- Биохимия
- Ботаника
- Ветеринария
- Военная история
- Геология и география
- Государство и право
- Детская психология
- Зоология
- Иностранные языки
- История
- Культурология
- Литературоведение
- Математика
- Медицина
- Обществознание
- Органическая химия
- Педагогика
- Политика
- Прочая научная литература
- Психология
- Психотерапия и консультирование
- Религиоведение
- Рефераты
- Секс и семейная психология
- Технические науки
- Учебники
- Физика
- Физическая химия
- Философия
- Химия
- Шпаргалки
- Экология
- Юриспруденция
- Языкознание
- Аналитическая химия
Компьютеры и интернет
- Базы данных
- Интернет
- Компьютерное «железо»
- ОС и сети
- Программирование
- Программное обеспечение
- Прочая компьютерная литература
Справочная литература
Документальная литература
- Биографии и мемуары
- Военная документалистика
- Искусство и Дизайн
- Критика
- Научпоп
- Прочая документальная литература
- Публицистика
Религия и духовность
- Астрология
- Индуизм
- Православие
- Протестантизм
- Прочая религиозная литература
- Религия
- Самосовершенствование
- Христианство
- Эзотерика
- Язычество
- Хиромантия
Юмор
Дом и семья
- Домашние животные
- Здоровье и красота
- Кулинария
- Прочее домоводство
- Развлечения
- Сад и огород
- Сделай сам
- Спорт
- Хобби и ремесла
- Эротика и секс
Деловая литература
- Банковское дело
- Внешнеэкономическая деятельность
- Деловая литература
- Делопроизводство
- Корпоративная культура
- Личные финансы
- Малый бизнес
- Маркетинг, PR, реклама
- О бизнесе популярно
- Поиск работы, карьера
- Торговля
- Управление, подбор персонала
- Ценные бумаги, инвестиции
- Экономика
Жанр не определен
Техника
Прочее
Драматургия
Фольклор
Военное дело
Teopeмa Гёделя - Нагель Эрнст - Страница 5
Мы можем, например, отметить простоту или симметричность какой-нибудь «строчки», сходство ее с некоторой другой «строчкой» можем заметить, что одна «строчка» может быть представлена в виде сочленения трех других «строчек» и т. п. Такие высказывания, безусловно, осмыслены и, более того, могут выражать весьма существенную информацию о нашей формальной системе. Следует, однако, сразу же отметить, что все эти осмысленные высказывания о бессмысленной (или, что то же самое, — формализованной) математике никоим образом не принадлежат сами по себе этой математике. Они относятся к области, которую Гильберт назвал «метаматематикой», к языку, на котором говорят о математике. Метаматематические высказывания — это высказывания о символах, входящих в формализованную математическую систему (т. е. в исчисление), о видах символов, об их упорядочении внутри формальной системы, о способах составления из этих символов более длинных знакосочетаний («строчек»), которые естественно называть «формулами» системы, наконец, о соотношениях между формулами, в частности о том, какие формулы могут быть получены (по фиксированным нами правилам обращения с ними) в качестве «следствий» других формул.
Приведем несколько примеров, иллюстрирующих различие между математикой и метаматематикой. Скажем, выражение «2+3=5» принадлежит математике (арифметике) и строится исходя лишь из элементарных арифметических символов, в то время как высказывание «„2+3=5“ есть арифметическая формула» утверждает нечто об этом выражении. Оно само по себе не выражает никакого арифметического факта и не принадлежит формальному языку арифметики, а относится к метаматематике, характеризуя некоторую строчку, составленную из арифметических символов, как формулу.
Формулы
x = x,
0 = 0,
0 ≠ 0
принадлежат математике (арифметике); каждая из них составлена из одних только арифметических знаков. Высказывание же «„x“ есть переменная» относится уже к метаматематике, поскольку оно характеризует некоторый арифметический символ, утверждая, что он принадлежит некоторому специальному классу символов (а именно, классу переменных). Принадлежит метаматематике и высказывание «формула „0 = 0“ выводима из формулы „x = x“ посредством подстановки „0“ вместо переменной, x“», описывающее определенное отношение между некоторыми двумя формулами. Относится к метаматематике и утверждение «„0 ≠ 0“ не есть теорема», гласящее, что некоторая арифметическая формула не может быть выведена из аксиом арифметики. Метаматематике, конечно, принадлежит и высказывание «арифметика непротиворечива» (иными словами, из аксиом арифметики нельзя вывести двух взаимно противоречивых формул, например формул «0 = 0» и «0 ≠ 0»). Ясно, что это высказывание гласит нечто об арифметике, а именно, оно утверждает, что пары арифметических формул определенного вида не находятся в определенном отношении к формулам, составляющим систему аксиом арифметики.
Следует отметить, что все эти метаматематические высказывания не содержат никаких математических знаков и формул, а содержат лишь их имена. Различие между выражениями и именами выражений очень важно. Кстати, и в обычном разговорном языке никакое предложение не содержит объектов, о которых в нем говорится, — оно содержит лишь их имена. Скажем, когда мы говорим о каком-нибудь городе, то мы вставляем в предложение не сам город, а его имя (название). Точно так же, если мы хотим сказать что-нибудь о каком-либо слове (или вообще любом языковом выражении), то мы должны использовать в качестве члена предложения не само слово/выражение, а его имя. Обычно это делается при помощи кавычек. Наше изложение как раз и следует этому обычаю. Мы можем сказать, например, «Чикаго — большой город». Но фраза «Чикаго состоит из трек слогов» бессмысленна (безграмотна). Чтобы выразить последнее утверждение правильно, мы должны написать: «„Чикаго" состоит из трех слогов».
Точно так же неверно было бы написать:
«x = 5 есть уравнение».
Правильная запись такова:
«„x = 5" есть уравнение».
Конечно, различие между теорией и метатеорией может относиться не только к математике — ведь это просто хорошо известное всем нам различие между каким-либо изучаемым нами предметом и разговорами об этом предмете. Например, высказывание «у птиц из рода плавунчиков яйца высиживают самцы» относится к предмету, изучаемому зоологами, и принадлежит зоологии; но если мы скажем, что утверждение относительно плавунчиков показывает, что в зоологии есть много загадочного, то это уже будет утверждение не о плавунчиках, а о предыдущем высказывании, и дисциплину, в которую входит такое суждение, следовало бы назвать метазоологией.
Точно таково же соотношение между математикой и метаматематикой: предмет первой составляют сами формальные системы, которые придумывают математики, предмет второй — описание таких формальных систем, выяснение и обсуждение их свойств.
Важность столь настоятельно подчеркиваемого нами различения математики и метаматематики трудно переоценить. Игнорирование или недооценка этого различения приводят к недоразумениям, а то и к прямым противоречиям. Осознание его важности позволило глубже уяснить логическую структуру математических методов рассуждения и четко регламентировать употребление различных формальных символов, превращая математику в чисто формальное исчисление, свободное от всяческих неявно подразумеваемых допущений и побочных смысловых ассоциаций. Только на базе таких новых представлений стало возможным дать точные определения математических операций и логических правил, которыми математики пользовались до тех пор без ясного понимания того, что же, собственно, они делают.
Гильберт уловил самую суть проблемы, положив в основу своих попыток построения «абсолютных» доказательств непротиворечивости различие между формальным исчислением и его описанием. Он поставил задачу развития специального метода, с помощью которого можно было бы проводить доказательства непротиворечивости той же степени убедительности, что и доказательства, использующие конечные модели, на которых реализуются определенные системы постулатов. Искомый метод должен был бы состоять в исчерпывающем анализе конечного числа структурных свойств выражений в полностью формализованных исчислениях. Анализ должен исходить из точной фиксации различных видов, входящих в рассматриваемое исчисление символов, указания на способы соединения этих символов в формулы, описания способа вывода одних формул из других и давать способ решения вопроса, выводимы ли формулы какого-либо определенного вида из некоторых определенных формул посредством явно сформулированных правил оперирования с формулами. Гильберт был убежден в том, что каждое математическое исчисление можно представить «на геометрический манер», т. е. в виде такой совокупности формул, каждая из которых связана с любой другой формулой того же исчисления лишь структурными соотношениями из некоторого конечного перечня соотношений.
На этом убеждении и основывался его расчет, что он сумеет посредством систематического и исчерпывающего обозрения этих структурных свойств выражений данной системы показать, что из аксиом данного исчисления нельзя получить формально противоречащие друг другу формулы. Существеннейшим условием гильбертовской программы в первоначальной ее формулировке было разрешение употреблять в доказательствах непротиворечивости лишь такие приемы рассуждений, которые ни в какой форме не используют ни бесконечного множества структурных свойств формул, ни бесконечного множества операций над формулами.
Такие методы рассуждений он назвал «финитными», а доказательства непротиворечивости, проведенные финитными средствами, — «абсолютными». «Абсолютное» доказательство достигает своей цели с помощью некоторого минимального арсенала принципов вывода и не исходит из непротиворечивости никакой другой системы аксиом. Таким образом, если бы, например, удалось получить абсолютное доказательство непротиворечивости арифметики, оно должно было бы посредством некоторой финитной метаматематической процедуры установить невозможность одновременного вывода из аксиом (т. е. из исходных формул) арифметики с помощью фиксированных правил вывода никакой пары взаимно противоречивых формул, скажем «0 = 0» и ее отрицания «~ (0 = 0)» (здесь знак «~» означает «не»).
- Предыдущая
- 5/19
- Следующая