من الفقرة التالية، ماهو الاستنتاج الرئيسي بخصوص مشكلة التوقف؟
Context:في نظرية قابلية الحساب، مشكلة التوقف هي مشكلة تحديد، من وصف لبرنامج كمبيوتر تعسفي ومدخل، سواء البرنامج سيكمل التشغيل، او سيكمل التشغيل للأبد. اثبت آلان تورينج في 1936 انو الخوارزمية العامة لحل مشكلة التوقف لكل البرامج المحتملة والإدخال الزوجات لا يمكن وجودها. لأي برنامج f الذي قد يحدد ما إذا كانت البرامج تتوقف، برنامج "مريض" g، يدعى مع بعض المدخلات، يمكن أن يمرر مصدرها الخاص ودخوله إلى f ومن ثم يفعل على وجه التحديد عكس ما يتوقع f g سيفعله. ما في ايف يُمْكِنُ أَنْ يَعْمَلُ هَذِه القِصَةَ. جزء رئيسي من البرهان هو تعريف رياضي للكمبيوتر والبرنامج، والمعروف باسم آلة تورينج؛ مشكلة التوقف غير قابلة للاختيار على آلات تورينج. هو واحد من اول حالات مشاكل القرار اتضح انها غير قابلة للحل. هذا الدليل مهم للجهود الحاسوبية العملية، ويحدد فئة من التطبيقات التي لا يمكن لأي اختراع برمجة ان يؤديها بشكل مثالي.
مشكله التوقف غير قابله الحل.