Историческая роль V постулата Евклида в развитии оснований математики.

Исключительная роль V постулата "Нагал" Евклида состоит в том, что в течение почти двух тысяч лет предпринимались безуспешные попытки доказательства этого постулата в качестве Теоремы. Около 1826 года Н. И. Лобачевским была впервые осознана независимость этого утверждения от остальных аксиом геометрии.

Этот факт является историческим моментом в развитии современной Теории оснований математики.

Следующий исторический шаг, совершенный Лобачевским же, состоял в построении непротиворечивой Теории, основанной на принятии утверждения, противоположного постулату параллельности Евклида.

Следующий шаг – принятие математиками этой "мыслимой" геометрии и математическое исследование отношений между Теорией и ее моделью. Этот шаг бы проделан благодаря трудам А. Пуанкаре, Феликса Христиана Клейна (1842-1925), К. Ф. Гаусса и др. математиков ХIХ века.

Эти геометрические открытия второй половины ХIХ века послужили мощным импульсом исследования аксиоматических начал всей математики.

Георг Фердинанд Людвиг Филипп Кантор (1843-1918) предпринял попытку аксиоматического построения Теории множеств. Исследование противоречий языкового характера , с которыми столкнулись математики в его "наивной" Теории множеств привели в современному пониманию требований, предъявляемых к системам аксиом. Наконец, в 1899 г. появляется практически современная геометрическая аксиоматика Д. Гильберта, которая легла в основу современного математического формализма, названного в математике Гильбертовым формализмом. В современных приложениях геометрии используется аксиоматики А. Вейля арифметической модели евклидова пространства, см. §4.

8. Содержание

   • Оглавление.
   • Пример 1
   • Пример 2
   • Пример 3
   • Вопрос.
   • Глава I Математический формализм
   • О понятии действительных чисел
   • Формализм натуральных чисел.
   • Операции, определяющие формирование множества рациональных чисел.
   • Вывод 1.
   • Вывод 2.
   • Аксиома связи сложения и умножения.
   • Задача 2.
   • Вывод 3.
   • Аксиоматизация множества действительных чисел.
   • Аксиома непрерывности Кантора.
   • Аксиоматическое обоснование евклидовой геометрии.
   • О“Началах” Евклида.
   • Аксиоматика д. Гильберта(1862-1943)
   • Группа 1. Аксиомы соединения.
   • Теорема 1.
   • Теорема 2.
   • Теорема 3.
   • Группа 2. Аксиомы порядка.
   • Определение.
   • Группа 3. Аксиомы конгруэнтности.
   • Теорема (о внешнем угле треугольника).
   • Определение движения.
   • Замечание 1.
   • Вывод 1.
   • Вывод 2.
   • Группа 4. Аксиомы непрерывности.
   • Замечание 2.
   • Замечание 3.
   • Вывод 3.
   • Группа 5. Аксиома параллельности.
   • Замечание 4.
   • Два недостатка аксиоматики д. Гильберта.
   • Структура векторного пространства.
   • Модель направленных отрезков.
   • Сложение обладает свойствами:
   • Свойства операции умножения:
   • Определение.
   • Арифметическая модель векторного пространства.
   • Теорема размерности.
   • Вывод 1.
   • Вывод 2.
   • Вывод 3.
   • Аксиомы скалярного произведения векторов.
   • Следствие.
   • Следствие.
   • Вывод 4.
   • Определение.
   • Модель Вейля евклидовой геометрии.
   • Арифметизация трехмерного евклидова пространства.
   • Свойства операции откладывания вектора.
   • Определение.
   • Вывод 1.
   • Вывод 2.
   • Многомерное арифметическое евклидово пространство.
   • Вывод 3.
   • Замечание.
   • Следствие 1.
   • Основные факты в планиметрии Лобачевского.
   • 1. Сумма углов многоугольника в плоскости l2.
   • Следствие 2.
   • Вывод 3.
   • Главаii Свойства аксиоматических систем.
   • Математические структуры и аксиоматические теории.
   • Понятие отношений между объектами.
   • Следствие 1.
   • Пример 1.
   • Определение.
   • Следствие 2.
   • Понятие математической структуры.
   • Определение.
   • Замечание 1.
   • Формальная и содержательная аксиоматики. Теории и структуры.
   • Рассмотрим пример.
   • Вывод 1.
   • Вывод 2.
   • Определение.
   • Изоморфизм.
   • Пример 1.
   • Пример 2.
   • Определение изоморфизма.
   • Вывод 3.
   • Вывод 1.
   • Независимость аксиоматической системы.
   • Независимость аксиомы параллельности.
   • Замечание 1.
   • Дедуктивная полнота и категоричность системы аксиом.
   • Определение (дедуктивной полноты).
   • Определение (категоричности).
   • Историческая роль V постулата Евклида в развитии оснований математики.
   • Анализ текстовых парадоксов.
   • Языковые свойства имен объектов.
   • Пример 1.
   • Пример 2.
   • Пример 3.
   • Проблема выразимости.
   • Понятие искусственного языка.
   • Понятие парадокса.
   • “Ахиллес и черепаха”.
   • Парадокс пустого множества.
   • Парадокс достижимости в натуральном ряде.
   • “Одно и то же, но по-разному”
   • Пример 1.
   • Пример 2.
   • Заключение.
   • Обозначения.
   • Литература