थांबण्याची समस्या निराकरण करण्यायोग्य नाही.
पुढील परिच्छेदातून, थांबवण्याच्या समस्येबद्दल मुख्य निष्कर्ष काय आहे?
Context:संगणकीय सिद्धांतामध्ये, थांबविण्याची समस्या ही एक संगणक प्रोग्राम आणि इनपुटच्या वर्णनातून, प्रोग्राम चालू होईल की नाही हे निर्धारित करण्याची समस्या आहे, किंवा अनंतकाळ चालू राहील. अॅलन ट्युरिंग यांनी १९३६ मध्ये सिद्ध केले की सर्व संभाव्य प्रोग्राम-इनपुट जोड्यांसाठी थांबायची समस्या सोडविण्यासाठी एक सामान्य अल्गोरिदम अस्तित्वात नाही. कार्यक्रम थांबतील की नाही हे ठरविणार्या कोणत्याही प्रोग्राम f साठी, एक "रोगकारक" प्रोग्राम g, काही इनपुटसह कॉल केला जातो, तो स्वतःचा स्रोत आणि त्याचे इनपुट f ला पास करू शकतो आणि नंतर f जी करेल असे भाकीत करतो त्याउलट विशिष्टपणे करू शकतो. हे प्रकरण हाताळणारे कोणतेही एफ अस्तित्वात असू शकत नाही. पुराव्याचा एक महत्त्वाचा भाग म्हणजे संगणक आणि कार्यक्रमाची गणितीय व्याख्या, ज्याला ट्युरिंग मशीन म्हणून ओळखले जाते; थांबविण्याची समस्या ट्युरिंग मशीनवर अनिर्णीत आहे. निर्णय घेण्याच्या समस्यांचे हे पहिले प्रकरण आहे जे निराकरण करण्यायोग्य नसल्याचे सिद्ध झाले. हा पुरावा व्यावहारिक संगणकीय प्रयत्नांसाठी महत्त्वपूर्ण आहे, ज्या अनुप्रयोगांचा कोणताही प्रोग्रामिंग शोध परिपूर्णपणे करू शकत नाही.