Рассмотренные выше неевклидовы отношения 1-4 между прямыми на плоскости Лобачевского являются логическим следствием 15 аксиом планиметрии Лобачевского и реализуются в модели Пуанкаре L2.
О роли открытия неевклидовой геометрии.
Открытие мыслимой неевклидовой геометрии задолго до построения ее реализаций и последовавшие затем открытия ее реализаций Гауссом, Клейном, Бельтрами и Пуанкаре явились прологом пересмотра многих устоявшихся фундаментальных понятий в теории познания. Вначале подверглись анализу идеи и методы доказательства в классической математике и математической логике. Это привело к рождению теории множеств и развитию дедуктивного формализма в математике на новом структурном уровне. Новые геометрические идеи математического формализма подняли научный уровень теоретической физики, а затем и всего естествознания.
В современной науке понятие реализации или модели некоторой системы аксиом используется для проверки основных требований, предъявляемых к аксиоматическому методу в моделировании вообще и в математическом моделировании в частности.
|
|
Вывод 3.
Открытие и построение неевклидовой геометрии предшествовало, а затем и сопутствовало развитию современного математического формализма. Роль математического формализма в современной науке не сводится только к формированию математического аппарата. Многие законы, открытые в теории математического формализма, т.е. в математических языках, моделируют интеллектуальную деятельность вообще и исследовательскую деятельность в частности.
Формирование математических текстов на основе дедуктивного метода, т.е. построение теории на базе системы аксиом, должно удовлетворять некоторым законам - свойствам аксиоматических систем. К изучению этих законов мы приступаем в следующей главе.
“Лучший метод для предвидения будущего развития математических наук заключается в изучении истории и нынешнего состояния этих наук”
Анри Пуанкаре.
ГЛАВА II
Свойства аксиоматических систем.
Математические структуры и аксиоматические теории.