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