Kantorning diagonal usuli. Oqim miqdori tushunchasi. Yig’indi va qatorlar algoritmlarining tahlili

001guruh Zulfiqorov Doston

Yakuniy nazorat

47-variant

1. 
   Kantorning diagonal usuli.
   
2. 
   Oqim miqdori tushunchasi.
   
3. 
   Yig’indi va qatorlar algoritmlarining tahlili.
   

Javoblar

1. Cantorning diagonal usuli.

Cantorning diagonali usuli

Cantorning son-sanoqsiz haqiqiy sonlari to'plami: natural sonlar to'plami va [0, 1] segmentning haqiqiy raqamlari to'plami har xil kuchlarga ega.

Misol. Rasmiy arifmetikaning to'liq emasligi haqidagi Godel teoremasi. Har qanday izchil aksiomalar to'plamiga asoslanib isbotlab bo'lmaydigan va rad etilmaydigan ba'zi bayonotlar mavjud (bunday bayonotlar qaytarib bo'lmaydigan deb nomlanadi).