Мы поможем в написании ваших работ!
ЗНАЕТЕ ЛИ ВЫ?
|
Требования , предъявляемые к системам аксиом.
Содержание книги
- Сущность языковых систем состоит в том, что закономерности мыслительных процессов реализуются в законах организации текстовых структур.
- Каковы закономерности знаковых систем, представляющих интеллектуальную продукцию в текстовой форме?
- О понятии действительных чисел
- Операции, определяющие формирование множества рациональных чисел.
- Аксиоматика рациональных чисел должна содержать правила, определяющие операции сложения, умножения, сравнения чисел и связь между этими операциями.
- Аксиома связи сложения и умножения.
- Задачи, приводящие к расширению множества рациональных чисел.
- Существуют числа, не являющиеся результатом конечного числа арифметических операций над целыми числами и не представимые в виде p/q ни для каких целых p, Q.
- О представлении действительных чисел.
- Аксиоматическое обоснование евклидовой геометрии.
- Аксиоматика Д. Гильберта(1862-1943)
- Группа 3. Аксиомы конгруэнтности.
- Теорема (о внешнем угле треугольника).
- Группа 4. Аксиомы непрерывности.
- Группа 5. Аксиома параллельности.
- Два недостатка аксиоматики Д. Гильберта.
- Структура векторного пространства.
- Множество всех векторов назовем векторным пространством, а построенную модель направленных отрезков - геометрической моделью векторного пространства.
- Если в пространстве задан базис { 1, 2, 3}, то между множеством векторов и упорядоченными тройками чисел (x,y,z) установлено взаимно-однозначное соответствие
- Абстрактное векторное пространство.
- Определение абстрактного векторного пространства.
- Аксиомы скалярного произведения векторов.
- Модель Вейля евклидовой геометрии.
- Свойства операции откладывания вектора.
- Многомерное арифметическое евклидово пространство.
- Модель А. Пуанкаре плоскости Лобачевского.
- Определение плоскости Лобачевского.
- Основные факты в планиметрии Лобачевского.
- Взаимное расположение прямых в плоскости L2.
- О роли открытия неевклидовой геометрии.
- Свойства аксиоматических систем.
- Понятие математической структуры.
- Модель или реализация системы аксиом.
- Формальная и содержательная аксиоматики. Теории и структуры.
- Другими словами, Изоморфизм моделей - это такое взаимно-однозначное соответствие между элементами моделей, которое сохраняет отношения элементов, задаваемые системой аксиом.
- Требования , предъявляемые к системам аксиом.
- Независимость аксиоматической системы.
- Независимость аксиомы параллельности.
- Определение (дедуктивной полноты).
- Историческая роль V постулата Евклида в развитии оснований математики.
- Анализ текстовых парадоксов. . Языковые свойства имен объектов. . Пример 1. . Пример 2. . Пример 3.
- Проблема выразимости.. Понятие искусственного языка.
- Парадокс достижимости в натуральном ряде.
Вывод 3.
Если систему аксиом Т и ее аксиоматическую теорию Т  рассматривать как мыслимые или абстрактные объекты, и если существует реализация R(T) этой системы Т, то соответствие между элементами базового множества М и элементами объекта R(M), реализующего М, устанавливает изоморфизм между мыслимой структурой  T,Ð;М  и моделью этой структуры  T;P;R(M) .
Вывод 4.
Разница между абстрактной (формальной) системой аксиом с некоторой реализацией и содержательной системой аксиом состоит только в способе построения структуры. Действительно, можно вначале построить абстрактную систему аксиом, а затем указать ее модель. Можно наоборот, вначале выбрать те свойства модели, которые определяют ее с точностью до изоморфизма, а затем эти свойства принять за аксиомы. Оба способа определяют две изоморфные структуры.
Вывод 5.
Всякая аксиоматическая структура T,Ð;М определена с точностью до изоморфизма. Это означает, что любая ее изоморфная модель  T;P;R(M) рассматривается как совокупность тех и только тех свойств, которые выводятся логическим путем в теории Т .
§7 Требования , предъявляемые к системам аксиом.
7.1 Непротиворечивость системы аксиом.
Система аксиом называется непротиворечивой или совместной, если в теории Т∑ этой системы невозможно доказать какое-нибудь утверждение А и его отрицание ùА. В противном случае система аксиом называется противоречивой.
Теория Т∑ , содержащая вместе с некоторым утверждением АÎТ∑ и отрицание этого утверждения ùАÎТ∑ называется не классической теорией. С точки зрения "здравого смысла" такая теория абсурдна, так как в мире "реальных вещей" некоторое свойство А "выражает" отношение этих реальных вещей и не может одновременно "не выражать" это отношение.
Теоретическая проверка совместности системы аксиом, основанная на непосредственном определении совместности, затруднительна. Действительно, пусть мы доказали утверждения А1,А2,...,Аn теории Т∑ и пусть отрицание этих свойств ùА1,..., ùАn невозможны в Т∑ . Где гарантия, что не найдется свойство Аn+1 , которое доказуемо вместе со своим отрицанием ùАn+1 в теории Т∑ ? Такой гарантии нет, поскольку перебрать все возможные утверждения некоторой теории практически невозможно. Например, евклидова геометрия, согласно работе профессора Гарвардского университета Гаррета Биркгоффа [10], основанная на 20 аксиомах Гильберта, включает около 20000 утверждений, получаемых логическим путем. Ясно, что нет никакой возможности проверить на непротиворечивость все эти 20000 утверждений, составляющий предмет геометрической теории Т∑ ={ А1,А2,...,А20000 }.
Мы уже говорили, что с точки зрения здравого смысла, противоречивая система аксиом не должна допускать никакой реализации или модели (кроме, быть может, мыслимой модели), так как ни одно свойство в реальной модели не может иметь место вместе со своим отрицанием. Отсюда, легко получаем следующее достаточное условие совместности.
Система аксиом Т совместна или непротиворечива, если существует хотя бы одна реализация R(T) этой системы.
Доказательство. Пусть Т  А и Т ùА. Тогда реализация R(T) содержит свойство А и его отрицание, что невозможно в непротиворечивой реализации.
|
