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