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