Kutokana na fungu lifuatalo, ni nini hitimisho kuu kuhusu tatizo la kuacha?
Context:Katika nadharia computability, kuacha tatizo ni tatizo la kuamua, kutoka maelezo ya programu ya kompyuta arbitrary na pembejeo, kama mpango kumaliza mbio, au kuendelea kukimbia milele. Alan Turing alithibitisha mwaka 1936 kwamba algorithm ya jumla ya kutatua tatizo la kusimamisha kwa wote inawezekana programu-input jozi haiwezi kuwepo. Kwa programu yoyote f ambayo inaweza kuamua kama programu kuacha, "pathological" programu g, kuitwa na baadhi ya pembejeo, unaweza kupita yake mwenyewe chanzo na pembejeo yake kwa f na kisha hasa kufanya kinyume cha kile f inatabiri g kufanya. Hakuna f haiwezi kuwepo kwamba kushughulikia kesi hii. Sehemu muhimu ya uthibitisho ni ufafanuzi wa hisabati wa kompyuta na programu, ambayo inajulikana kama mashine ya Turing; tatizo la kusimamisha haliwezi kuamuliwa juu ya mashine za Turing. Ni moja ya kesi ya kwanza ya matatizo ya uamuzi kuthibitika kuwa unsolvable. Uthibitisho huu ni muhimu kwa juhudi za kompyuta za vitendo, kuelezea darasa la maombi ambayo hakuna uvumbuzi wa programu unaweza kufanya kikamilifu.
Tatizo la kusimama haliwezi kutatuliwa.