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