Учебное пособие Харьков, хнэу, 009 2


Сопоставление гипотетико-дедуктивного



Pdf көрінісі
бет180/252
Дата08.02.2022
өлшемі4,86 Mb.
#121441
түріУчебное пособие
1   ...   176   177   178   179   180   181   182   183   ...   252
Байланысты:
Aspirantura Posibnyk Metodologiya-ta-organizatsiya-naukovyh-doslidzhen

Сопоставление гипотетико-дедуктивного
и аксиоматического метода 
П 
Пример 11.2 
Геометрия Лобачевского 
Примером формальной аксиоматической системы является гео-
метрия Н. И. Лобачевского. Данная геометрическая теория основывает-
ся на тех же аксиомах, что и геометрия Евклида, за исключением аксио-
мы о параллельных прямых. Евклидова аксиома о параллельных пря-
мых (в плоскости через точку, не лежащую на данной прямой, можно 
провести одну, и только одну, прямую, параллельную данной) заменена 


209 
209 
в геометрии Лобачевского следующей формальной аксиомой: в плоско-
сти через точку, не лежащую на данной прямой, можно провести более 
одной прямой, не пересекающей данную. Следствием этого изменения 
стало то, что в геометрии Лобачевского многие теоремы отличаются от 
соответствующих теорем евклидовой геометрии: например, сумма углов 
треугольника меньше 180 градусов. Однако при этом геометрия Лоба-
чевского является внутренне непротиворечивой системой и логически 
равноправна с евклидовой геометрией. 
 


Достарыңызбен бөлісу:
1   ...   176   177   178   179   180   181   182   183   ...   252




©engime.org 2024
әкімшілігінің қараңыз

    Басты бет