Mavzu: Mavzu: To`liqsizlik haqidagi Gyodel teoremasi Reja


Gyodelning to`liqsizlik haqidagi teoremalari



Yüklə 0,72 Mb.
səhifə3/7
tarix01.06.2022
ölçüsü0,72 Mb.
#60285
1   2   3   4   5   6   7
taqdimot.algebra.mohlaroy

2. Gyodelning to`liqsizlik haqidagi teoremalari.

  • 2. Gyodelning to`liqsizlik haqidagi teoremalari.
  • Gyodelning to`liqsizlik haqidagi teoremasi. Gyodelning to‘liqsizlik haqidagi teoremasi deganda Gyodelning quyida ifodalangan ikkita teoremasiga qo‘yilgan umumiy nom tushuniladi.
  • Gyodelning birinchi teoremasi (to`liqsizlik haqida). Minimum arifmetikani qamrab olgan har qanday qarama-qarshilikka ega bo'lmagan formal sistemada va, demak, natural sonlar nazariyasida formal yechilmovchi fikr topiladi, ya 'ni shunday yopiq A formula topiladiki, na A na ni sistemada keltirib chiqarish mumkin emas.
  • Gyodelning birinchi teoremasi quyidagini bildiradi: arifmetikada qanday aksiomalar tizimi tanlashimizdan qat’iy nazar, formal nazariya tilida ifodalangan natural sonlar haqida shunday mulohaza topiladiki, uni berilgan nazariyada na isbot qilib bo`ladi va na rad etib bo`ladi.
  • Gyodelning ikkinchi teoremasi (to`liqsizlik haqida). Tabiiy qo'shimcha shartlar bajarilganda A o'rnida ko'rilayotgan sistemaning qarama-qarshilikka ega emasligi haqidagi tasdiqni olish mumkin.
  •  

3. Birinchi tartibli til. Term va formulalar.

  • 3. Birinchi tartibli til. Term va formulalar.
  • 1- ta’rif . Har qanday simvollarning bo`sh bo `lmagan chekli to`plami alfavit deb, alfavitning simvollari esa harflar deb ataladi.
  • 2- ta’rif .Qaralayotgan A alfavit harflarining chekli ketma-ketligi A alfavitdagi so’z deb ataladi. Harflarning bo’sh ketma-ketligi bo’sh so’z deb ataladi va bilan belgilanadi.
  • 3- ta’rif. Agar A alfavitdagi va so'zlar uchun n=k va , bo’lsa, bu so’zlar teng deb ataladi va ko'rinishda yoziladi. Bu yerda n son so’zning uzunligi deb ataladi.
  • 4-ta’rif. Agar biror T nazariyaning alfaviti A(T) bo'lsa, u holda A(T) alfavitdagi E(T)so'zlar to'plami T nazariyaning ifodalar to’plami deb ataladi.
  •  

Yüklə 0,72 Mb.

Dostları ilə paylaş:
1   2   3   4   5   6   7




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©azkurs.org 2024
rəhbərliyinə müraciət

gir | qeydiyyatdan keç
    Ana səhifə


yükləyin