Математик назариялар - Алгебра - Рефераты

Математик назариялар

Загружено в:

12.09.2022

Скачано:

0

Размер:

39.5 KB

Математик назариялар P ежа : 1. Математик назария. 2. Математик назарияга мисоллар. 3. Формал арифметика.

M атематиканинг бирор былагини формаллаштиришда манти = ий аксиомалар билан бирга махсус ( номанти = ий , шу математик назарияни тасвирловчи ) аксиомалар ишлатилади . Махсус аксиомалар =аралаётган математик назария сигнатурасидаги предмет константалар (доимий предметлар)нинг , функциялар (амаллар)нинг щамда предикатларнинг махсус (асосий) хоссаларини билдирадиган формулалардан иборат былади. Хуллас, щар =андай математик назарияни схематик равишда ушбу кыринишда ифодалаш мумкин : {Математик назария} = {предикатлар щисоби}+ {махсус аксиомалар}. Математик назариялар махсус аксиомаларининг сони чекли ёки чексиз былишига =араб математик назариялар «чекли аксиомалаштирилувчи «ёки» чексиз аксиомалаштирилувчи » былади. +уйида математик назарияларга бир нечта мисоллар келтирамиз. 1. Группалар назарияси. Бу назариянинг сигнатураси < +, 0 >, махсус аксиомалари эса 1.  х  у  z [ x  (y  z)  (x  y)  z ], 2.  x [ x  0  0  x  x ], 3.  x  y [ x  y  y  x  0 ] лардан иборатдир. Агар бу махсус математик аксиомаларга ушбу махсус аксиомани =ышсак, Абель группалари (коммутатив группалар) назарияси пайдо былади: 4.  x  y [ x  y  y  x ]. Формал арифметика аксиомалари =уйидаги формулалардан иборат: 1.  х  (s(x)  0). 2.  x  y [s(x)  s(y)  x  y]. 3.  x  y [x  y  s(x)  s(y)]. 4.  x [x  0  x]. 5.  x  y [x  s(y)  s(x  y)]. 6.  x [x  0  0]. 7.  x  y [x  s(y)  x  y  x]. 8. A (0)   x [A(x)  A(s(х))]  A(t).

Бу ерда t - эркин ызгарувчи, А ( х ) – ихтиёрий формула, А ( 0 ) – х нинг А ( х ) формуладаги эркин =атнашган жойларига 0 ни =ыйиш натижасида хосил былган формула, А( s (х)) эса х нинг А(х) даги эркин =атнашган жойларига s (х) ни =ыйиш натижасида щосил былган формуладир. 1931 йили Австралиялик К.Гёдель ызининг машщур иккита теоремасини эълон =илди . Бу теоремалардан биринчисининг мазмуни шундан иборатки, (формал) арифметиканинг ёки (формал) арифметикани ыз ичига олган щар =андай формал системанинг зидсизлигини шу назариянинг ыз воситалари ёрдамида исботлаб былмайди , яъни формал системанинг зидсизлигини исботлаш учун унга кирмайдиган кучлиро= воситалар ишлатилиши керак. Гёдель теоремасининг иккинчиси ушбу мазмунга эгадир : Формал арифметикада шундай формула топиладики, у рост формула былиб, ызи щам , инкори щам формал арифметикада келтириб чи=арилувчи формулалар эмасдир. Мазкур теорема Гёделнинг арифметиканинг тыли= эмаслиги ща=идаги теоремаси дейилади. Гёдель теоремалари, биринчидан, арифметика аксиомалаштирилувчи назария эмаслигини кырсатган былса, иккинчидан Гильберт дастури бажарилмаслигини намойиш =илди. Адабиётлар :

1. Ё=убов Т.,Каллибеков С. Математик манти= элементлари.Т.,1996. 2. Новиков П.С. Элементы математической логики.М.1973. 3. Чёрч А. Введение в математическую логику.М.,1960. 4. Мальцев А.И. Алгоритмы и рекурсивные функции.М.,1965. 5. ЛавровИ.А., Максимова Л.Л. Задачи по теории множеств,математической логике и теории алгоритмов.М.,1975.

Похожие

Математик дастурлаш

Регрессион математик моделлар

Иктисодиётда математик моделлар

Математик дастурлаш фанининг асосий масаласи ва математик модели

Математик таҳлилга кириш тўпламлар назарияси