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