|
Теорияның қарама-қайшылықсыздығы мен толықтығы
|
| бет | 11/24 | | Дата | 06.01.2022 | | өлшемі | 0,97 Mb. | | #16160 |
| Байланысты: algebran n geometriyan n zhane logikan n irgeli maseleleri25. Теорияның қарама-қайшылықсыздығы мен толықтығы.
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 Арифметика аксиомаларының негізгі салдарлары.
Достарыңызбен бөлісу: |
|
|
