(Шийдвэрлэх боломжгүй Шийдвэрлэх боломжгүй Тооцооллын онолын хувьд шийдвэрлэх боломжгүй асуудал гэдэг нь тийм/үгүй хариулт шаарддаг тооцооллын нэг төрлийн асуудал юм, гэхдээ компьютерийн ямар ч программ байж болохгүй. зөв хариулт өгдөг, өөрөөр хэлбэл ямар ч боломжит програм заримдаа буруу хариулт өгөх эсвэл ямар ч хариулт өгөхгүйгээр үүрд ажиллах болно. https://en.wikipedia.org › wiki › Шийдвэрлэх боломжгүй асуудлуудын_жагсаалт
Шийдвэрлэх боломжгүй асуудлуудын жагсаалт - Википедиа
нь хариулт (эсвэл гаралт) нь "үнэн" эсвэл "худал" гэсэн шийдвэрийн асуудлын хүрээнд тооцоолох боломжгүй гэсэн үг юм). Тооцоолдоггүй асуудал гэдэг нь түүнийг шийдвэрлэх алгоритмгүй асуудлыг хэлнэ.
Тооцоолох боломжгүй асуудлууд юу вэ?
Тооцоолох чадварын онолд шийдвэрлэх боломжгүй асуудал гэдэг нь тийм/үгүй хариулт шаарддагтөрлийн тооцооллын асуудал юм, гэхдээ үргэлж зөвийг өгдөг компьютерийн программ байж болохгүй. хариулт; өөрөөр хэлбэл ямар ч боломжит програм заримдаа буруу хариулт өгөх эсвэл ямар ч хариу өгөхгүйгээр үүрд ажиллах болно.
Тооцолдох боломжгүй тоо гэж юу вэ?
Чайтины тогтмол нь тооцоолох боломжгүй тооны жишээ (үнэндээ гэр бүлийн жишээ) юм. Энэ нь санамсаргүй байдлаар үүсгэсэн программ (тодорхой загварт) зогсох магадлалыг илэрхийлнэ. Ойролцоогоор тооцоолж болно, гэхдээ дурын нарийвчлалтайгаар тооцоолох алгоритм байхгүй.
Ямар асуудал байнатооцоолох боломжтой юу?
Математикийн бодлого нь тооцоолох төхөөрөмжөөр зарчмын хувьд шийдэж чадвал тооцоолох боломжтой. "Тооцоолох"-ын зарим нийтлэг синонимууд нь "шийдэгдэх боломжтой", "шийдвэрлэх боломжтой", "рекурсив" юм. Хилберт математикийн бүх асуудлыг шийдвэрлэх боломжтой гэж үздэг байсан ч 1930-аад онд Годель, Тюринг, Черч нар тийм биш гэдгийг харуулсан.
Хоосон багцыг тооцоолох боломжтой юу?
Хоосон багц нь тооцох боломжтой байна. Натурал тооны багцыг бүхэлд нь тооцоолох боломжтой. Натурал тоо бүр (стандарт олонлогын онолд тодорхойлсон) тооцоолж болно; өөрөөр хэлбэл өгөгдсөн натурал тооноос бага натурал тоонуудын багцыг тооцоолох боломжтой.
