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