Noto'g'ri ma'lumot berib qo'ymaslik uchun yana aytaman. Tepadagi tushuntirish O'TA SODDALASHTIRILGAN. Bizning olam to'liqsizlik teoremalarida aytilgan formal sistemaga qo'yiladigan shartlarni qanoatlantirmaydi. Hammasi bunchalik oson emas ))
P.S. Lekin yaxshi "hint" menimcha.
Post #655
1.67K
Engineering Notes Menga eng yoqadigan teorema(lar) bu Gödelning to'liqsizlik teoremalari. Bu 2 ta teorema o'ta sodda va qo'pol qilib aytganda, sistemaning ichida turib shu sistemaning ishlashini to'liq isbotlab bo'lmasligining "ilmiy isboti". Tepadagi gapni yana bir marta o'qib…
- 🤯 7
- 👍 1