Два недостатка аксиоматики Д.Гильберта - раздел Математика, Геометрия Евклида Огромное Значение Аксиоматики Д. Гильберта Для Всей Математики, И Геометрии В...
Огромное значение аксиоматики Д. Гильберта для всей математики, и геометрии в частности, неоспоримо и продолжает исследоваться до сих пор. А о той роли, которую сыграли выделенные ниже два «недостатка» упоминается не часто.
Первым недостатком является «язык» аксиоматики. Дело в том, что часть формулируемых аксиом содержит понятия, обоснование которых проводится на уровне теорем существования, доказываемых из предыдущих аксиом. Например, формулировка аксиомы Паша требует понятия отрезка и существования его внутренних точек. Последнее приходится доказывать. Далее, требование откладывания конгруэнтного угла с заданной стороны прямой в аксиоме 16 требует же доказательства существования двух сторон, на которые всякая прямая разбивает плоскость. Есть еще ряд замечаний, которые вместе с отмеченными выше двумя, приводят к вопросам о взаимной совместимости и зависимости аксиоматических требований и критериях проверки этих свойств.
Второй «недостаток» состоит в том, что описание отношений между основными геометрическими объектами – точками, прямыми и плоскостями, приведенное в аксиоматике Д. Гилберта, не может быть индуктивно перенесено на «мыслимые» свойства «мыслимых» же геометрических объектов размерности большее трех. Необходимость построения многомерной геометрии была продиктована задачами аналитической механики систем n–точек уже в XIX в. В XX в. модель многомерной геометрии возникла в экономических задачах линейного программирования и других задачах естествознания и социальной практики человека [4, c 23].
Для аксиоматического построения многомерной евклидовой геометрии потребовалось переосмыслить процесс арифметизации (введения координат) трехмерного евклидова пространства, связать этот процесс со структурой n–мерного векторного пространства.
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ:
Два недостатка аксиоматики Д.Гильберта
Что будем делать с полученным материалом:
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Аксиоматика Д.Гильберта
Появилась в 1899 г. и считается одним из современных аксиоматических обоснований евклидовой геометрии. Вся система аксиом состоит из 20 аксиом и содержит 26 требований, которые описывают 5 видов от
Аксиома Паша
12. Пусть задан треугольник АВС и в его плоскости прямая а, не проходящая через А, B, C. Если прямая а пересекает одну сторону АС треугольника, то она пересекает по крайней мер
Теорема (о внешнем угле треугольника)
Внешний угол треугольника больше любого не смежного с ним угла треугольника.
Аксиомы 13–17 позволяют ввести операцию движения в геометрии.
Определение движения. Взаимно одн
Группа 5. Аксиома параллельности
20. Через любую точку А, не инцидентную прямой “a” , можно провести в плоскости (определяемой этой точкой А и прямой “a”) не более одной прямой, не пересекающейся с “
Непротиворечивость системы аксиом
Система аксиом называется непротиворечивой, или совместной, если в теории этой системы невозможно доказать какое–нибудь утверждение А и его отрицание ùА. В противном случае сис
Независимость аксиоматической системы
Непротиворечивая система аксиом называется независимой, если ни одна из аксиом этой системы не может быть выведена из остальных аксиом как теорема. В противном случае система аксиом называется зави
Интерпретация плоской геометрии Евклида
Рассмотрим множество всех прямых в пространстве, параллельных между собой (связку прямых), и множество всех плоскостей, параллельных хотя бы одной прямой связки [3,c 106-107] .
Дадим катег
Числовая модель планиметрии
В аналитической геометрии на плоскости уже содержится числовая модель планиметрии; нужно только дать алгебраические определения основных объектов и отношений планиметрии [6, c 45-47].
Тогд
Интерпретация Федорова
Рассмотрим еще одну интерпретацию геометрии Евклида, принадлежащую русскому кристаллографу и геометру академику Евграфу Степановичу Федорову (1853 – 1919) [3,c 107-110]. Он составил такую модель. В
Аналитическая интерпретация геометрии Евклида
Введем основные объекты. Пусть «точками» будут упорядоченные пары действительных чисел (x, y). «Прямые» - отношения трех упорядоченных чисел (u:v:w), из которых u и v одновременно не равны н
Интерпретация Пуанкаре планиметрии Евклида
Рассмотрим в плоскости Евклида множество всех прямых [7, c 264-265]. Выбрав в этой плоскости некоторую произвольную точку О в качестве центра инверсии с произвольным радиусом инверсии, преобразуем
Хотите получать на электронную почту самые свежие новости?
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Новости и инфо для студентов