(Haiwezi Kuamuliwa Katika nadharia ya utangamano, tatizo lisiloweza kuamuliwa ni aina ya tatizo la kimahesabu ambalo linahitaji jibu la ndiyo/hapana, lakini ambapo hakuwezi kuwa na programu yoyote ya kompyuta ambayo kila wakati inatoa jibu sahihi; yaani, programu yoyote inayowezekana wakati mwingine inaweza kutoa jibu lisilo sahihi au kukimbia milele bila kutoa jibu lolote.
Orodha ya matatizo yasiyoweza kuamuliwa - Wikipedia
kwa urahisi ina maana isiyoweza kutatanishwa katika muktadha wa tatizo la uamuzi, ambalo jibu lake (au matokeo) ni "kweli" au "sivyo"). Tatizo lisiloweza kutekelezeka ni ambalo hakuna algoriti ambayo inaweza kutumika kulitatua.
Matatizo gani yasiyoweza kuunganishwa?
Katika nadharia ya utangamano, tatizo lisiloweza kuamuliwa ni aina ya tatizo la hesabu ambalo linahitaji jibu la ndiyo/hapana, lakini ambapo hakuna uwezekano wa kuwa na programu yoyote ya kompyuta inayotoa sahihi kila wakati. jibu; yaani, programu yoyote inayowezekana wakati mwingine inaweza kutoa jibu lisilo sahihi au kukimbia milele bila kutoa jibu lolote.
Nambari isiyoweza kuunganishwa ni ipi?
Nambari isiyobadilika ya Chaitin ni mfano (familia ya mifano) ya nambari isiyoweza kukokotwa. Inawakilisha inawakilisha uwezekano kwamba programu inayozalishwa bila mpangilio (katika muundo fulani) itasitishwa. Inaweza kuhesabiwa takriban, lakini hakuna (inawezekana) hakuna algoriti ya kuikokotoa kwa usahihi wa kiholela.
Tatizo ni niniKompyuta?
Tatizo la hisabati linaweza kuunganishwa ikiwa linaweza kutatuliwa kimsingi kwa kifaa cha kompyuta. Baadhi ya visawe vya kawaida vya "inayoweza kutambulika" ni "inayoweza kutatuliwa", "inayoamua", na "jirudishi". Hilbert aliamini kwamba matatizo yote ya hisabati yanaweza kutatuliwa, lakini katika miaka ya 1930 Gödel, Turing, na Church walionyesha kwamba sivyo.
Je, Empty imewekwa inaweza kutatiki?
Seti tupu ni computable. Seti nzima ya nambari za asili zinaweza kuunganishwa. Kila nambari asilia (kama inavyofafanuliwa katika nadharia ya kuweka kiwango) inaweza kuunganishwa; yaani, seti ya nambari asilia chini ya nambari asilia fulani inaweza kuunganishwa.