Vi bob matematik nazariyalar

Mustaqil ishlash uchun savollar

1. 
   Interpretasiyaning izomorfizmligi deganda nimani tushunasiz?
   
2. 
   Nazariyaning qat’iyligini qanday tushunish kerak?
   
3. 
   Bajariluvchi formula nima?
   
4. 
   -qat’iy nazariya deganda nimani tushunasiz?
   
5. 
   Zidsiz va ziddiyatga ega bo‘lgan nazariyalarga misollar keltira olasizmi?
   
6. 
   Zidsizlik muammosi deganda nimani tushunasiz?
   
7. 
   Absolyut to‘liq nazariya bilan tor ma’noda to‘liq nazariya bir-biridan qanday farq qiladi?
   
8. 
   To‘liqlilik muammosi deganda nimani tushunasiz?
   
9. 
   Nazariyaning yechilish muammosi nima?
   
10. 
    Birinchi tartibli predikatlar hisobi va uning zidsizligi haqida nimani bilasiz?
    
11. 
    Peano aksiomalar sistemasi qanday sistema hisoblanadi?
    
12. 
    Natural sonlar nazariyasining maxsus aksiomalarini bilasizmi?
    
13. 
    Aksiomalar sistemasidan qanday natijalar kelib chiqadi?
    

Gyodelning to‘liqsizlik haqidagi birinchi va ikkinchi teoremalarini qanday tushunish kerak?

1 Bu ibora Norvegiya matematigi Abel Nils Xenrik nomi bilan bog‘liq.

2 Lobachevskiy Nikolay Ivanovich (Никола́й Ива́нович Лобаче́вский, 1792-1856) – rus matematigi.

3 Dedekind Yulius Vilgelm Rixard (Julius Wilhelm Richard Dedekind, 1831-1916) – olmon matematigi.

4 Peano (Giuseppe Peano, 1858-1932) – Italiya matematigi, “latino-sine-fleksione” (lotinchadan “so‘zlari o‘zgarmagan lotincha” ma’nosini beradi) nomli xalqaro sun’iy til ijodkori.

5 Edmund Landau (Edmund Georg Hermann (Yehezkel) Landau, 1877-1938) – olmon matematigi.

6 II bobning 1- paragrafiga qarang.

7 Postulat – aksiomaning sinonimi.