((Hisoblash nazariyasida hal qilib boʻlmaydigan muammo bu ha/yoʻq javobini talab qiladigan hisoblash muammosi turidir, lekin har doim kompyuter dasturi boʻlishi mumkin emas. to'g'ri javob beradi, ya'ni har qanday mumkin bo'lgan dastur ba'zan noto'g'ri javob beradi yoki hech qanday javob bermasdan abadiy ishlaydi. https://en.wikipedia.org › wiki › List_of_undecidable_problems
Qabul qilib boʻlmaydigan muammolar roʻyxati - Vikipediya
oddiygina javobi (yoki chiqishi) "to'g'ri" yoki "noto'g'ri" bo'lgan qaror muammosi kontekstida hisoblab bo'lmaydigan degan ma'noni anglatadi). Hisoblab bo'lmaydigan muammo - bu muammoni hal qilish uchun hech qanday algoritm mavjud emas.
Hisoblab boʻlmaydigan muammolar nima?
Hisoblash nazariyasida hal qilib boʻlmaydigan muammo bu turidagi hisoblash muammosi boʻlib, unga “ha/yoʻq” javobini talab qiladi, lekin har doim ham toʻgʻri javob beradigan kompyuter dasturi boʻlishi mumkin emas. javob; ya'ni har qanday mumkin bo'lgan dastur ba'zan noto'g'ri javob beradi yoki hech qanday javob bermasdan abadiy ishlaydi.
Hisoblab bo'lmaydigan raqam nima?
Chaytin doimiysi hisoblanmaydigan songa misol (aslida misollar turkumi). Bu tasodifiy yaratilgan dasturning (muayyan modelda) toʻxtab qolish ehtimolini ifodalaydi. Uni taxminan hisoblash mumkin, lekin (tasdiqlash mumkin) ixtiyoriy aniqlik bilan hisoblash algoritmi yo'q.
Qaysi muammohisoblash mumkinmi?
Matematik muammo hisoblash mumkin, agar u printsipial ravishda hisoblash qurilmasi yordamida yechilsa. "Hisoblash mumkin bo'lgan" so'zining ba'zi umumiy sinonimlari "echiladigan", "hal qilinadigan" va "rekursiv". Gilbert barcha matematik masalalarni yechish mumkin deb hisoblardi, ammo 1930-yillarda Gödel, Tyuring va Cherç bunday emasligini ko'rsatdilar.
Bo'sh to'plamni hisoblash mumkinmi?
Bo'sh to'plam hisoblash mumkin. Natural sonlarning butun to'plamini hisoblash mumkin. Har bir natural son (standart to'plam nazariyasida aniqlanganidek) hisoblash mumkin; ya'ni berilgan natural sondan kichik natural sonlar to'plamini hisoblash mumkin.
