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