Жаратытыстану институты


Теорияның қарама-қайшылықсыздығы мен толықтығы



бет11/24
Дата06.01.2022
өлшемі0,97 Mb.
#16160
1   ...   7   8   9   10   11   12   13   14   ...   24
Байланысты:
algebran n geometriyan n zhane logikan n irgeli maseleleri

25. Теорияның қарама-қайшылықсыздығы мен толықтығы.

25.1 Локальді қарама-қайшылықсыздық және теорияның қарама-қайшылықсыздығы.

25.2 Толықтық туралы Гедель теоремасы.

26. Пікір айтулардың формальді есептеулерінің толықтығы мен басқа да қасиеттері.

26.1 Теореманың дәлелденетіндігі.

26.2 Адекваттылық.

26.3 Пікір айтулардың формальді есептеулерінің шешілетіндігі.

27. Толық еместік туралы Гедель теоремасы.

27.1 Толық еместік туралы Гедель теоремасын тұжырымдау.

27.2 Гедельдің екінші теоремасы.

28. Гедель теоремаларының тарихи маңызы.

28.1 Гедель теоремаларының қысқаша тарихы.

28.2 Гедель теоремаларының тарихи маңызы.

29. Арифметика аксиомалары және олардың негізгі салдары.

29.1 Арифметика аксиомалары .

29.2 Арифметика аксиомаларының негізгі салдарлары.



Достарыңызбен бөлісу:
1   ...   7   8   9   10   11   12   13   14   ...   24




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

    Басты бет