Difference between revisions of "АКСИОМАТИКА ЫКМАСЫ"
Jump to navigation
Jump to search
м (1 revision imported) |
|||
| 1 -сап: | 1 -сап: | ||
‒ кандайдыр бир ил. теорияны түзүү ыкмасы. Бул ыкманын негизинде теориянын аксиомалары деп аталган | ‒ кандайдыр бир ил. теорияны түзүү ыкмасы. Бул ыкманын негизинде теориянын аксиомалары деп аталган теориянын негизги баштапкы жоболорунун жардамы м-н анын калган сүйлөмдөрүнүн бардыгы аксиомалардын логикалык жыйынтыгы катары алынат. Ал адегенде Евклиддин «Башталыштарында» (б. з. ч. 300-ж.) геометрия негизделгенде жарык көргөн. Н. И. Лобачевский ж-а Я. Больяйдын 19-к-дын башында Евклиддик эмес геометрияны ачышы анын өнүгүшүнө түрткү берген. А. ы-нын негизинде элементардык геометриянын логикалык модели тургузулган (М. Паша, Дж. Пеано, Д. Гильберт). Анын жаӊы деӊгээлдеги өнүгүшү Д. Гильберт негиздеген математиканын негиздериндеги формализм методуна таянган, ал топологияга да таркаган. А. ы. каалагандай көптүктө топологиянын аксиоматикалык аныкталышы, топологиялык мейкиндиктин өлчөмү ''dim, ind, lnd''‒ аксиоматикалык аныкталыштары ж. б. <br> | ||
Ад.: ''Александров П.С., Пасынков Б. А''. Введение в теорию размерности. М., 1973. ''А. А. Чекеев.'' <br> | |||
Ад.: ''Александров П.С., Пасынков Б. А''. Введение в теорию размерности. М., 1973. ''А. А. Чекеев.'' <br> | |||
13:14, 25 Февраль (Бирдин айы) 2022 -деги абалы
‒ кандайдыр бир ил. теорияны түзүү ыкмасы. Бул ыкманын негизинде теориянын аксиомалары деп аталган теориянын негизги баштапкы жоболорунун жардамы м-н анын калган сүйлөмдөрүнүн бардыгы аксиомалардын логикалык жыйынтыгы катары алынат. Ал адегенде Евклиддин «Башталыштарында» (б. з. ч. 300-ж.) геометрия негизделгенде жарык көргөн. Н. И. Лобачевский ж-а Я. Больяйдын 19-к-дын башында Евклиддик эмес геометрияны ачышы анын өнүгүшүнө түрткү берген. А. ы-нын негизинде элементардык геометриянын логикалык модели тургузулган (М. Паша, Дж. Пеано, Д. Гильберт). Анын жаӊы деӊгээлдеги өнүгүшү Д. Гильберт негиздеген математиканын негиздериндеги формализм методуна таянган, ал топологияга да таркаган. А. ы. каалагандай көптүктө топологиянын аксиоматикалык аныкталышы, топологиялык мейкиндиктин өлчөмү dim, ind, lnd‒ аксиоматикалык аныкталыштары ж. б.
Ад.: Александров П.С., Пасынков Б. А. Введение в теорию размерности. М., 1973. А. А. Чекеев.