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