"यह असंभव है" कथनों पर थोड़ा विस्तार करने के लिए, यहां एक सरल प्रमाण स्केच दिया गया है।
हम ट्यूरिंग मशीनों द्वारा आउटपुट के साथ एल्गोरिदम को मॉडल कर सकते हैं जो उनके टेप पर उनके आउटपुट के साथ रुकते हैं। यदि आप ऐसी मशीनें रखना चाहते हैं जो या तो उनके टेप पर आउटपुट के साथ स्वीकार करने या अस्वीकार करने की स्थिति में हो सकती हैं (जिस स्थिति में कोई आउटपुट नहीं है) तो आप आसानी से एक एन्कोडिंग के साथ आ सकते हैं जो आपको इन मशीनों को "पड़ाव या पड़ाव नहीं" के साथ मॉडल करने की अनुमति देता है, कोई अस्वीकार नहीं है "मशीनें।
अब, मान लें कि मेरे पास यह निर्धारित करने के लिए एक एल्गोरिथ्म पी है कि क्या प्रत्येक इनपुट के लिए दो ऐसे टीएम का आउटपुट समान है। फिर, एक टीएम ए और एक इनपुट एक्स को देखते हुए , मैं एक नया टीएम बी बना सकता हूं जो निम्नानुसार संचालित होता है:
- जांचें कि क्या इनपुट बिल्कुल एक्स है
- यदि हाँ, तो एक अनंत लूप दर्ज करें
- यदि नहीं, तो इनपुट पर ए चलाएं
अब मैं P को A और B पर चला सकता हूँ । B , X पर रुकता नहीं है , लेकिन अन्य सभी इनपुट के लिए A के समान आउटपुट है , इसलिए यदि केवल और केवल A ही X पर रुकता नहीं है, तो इन दोनों एल्गोरिदम का प्रत्येक इनपुट के लिए समान आउटपुट है। लेकिन पी को यह बताने में सक्षम माना गया कि क्या दो एल्गोरिदम में प्रत्येक इनपुट के लिए एक ही आउटपुट है, इसलिए यदि हमारे पास पी था तो हम बता सकते हैं कि क्या एक मनमाना मशीन एक अनियंत्रित इनपुट पर रुकती है, जो हैल्टिंग समस्या है। चूंकि Halting Problem को undecidable के रूप में जाना जाता है, P मौजूद नहीं हो सकता है।
इसका मतलब यह है कि यह निर्धारित करने के लिए कोई सामान्य (कम्प्यूटेबल) दृष्टिकोण नहीं है कि दो एल्गोरिदम का एक ही आउटपुट है जो हमेशा काम करता है, इसलिए आपको उस विशेष एल्गोरिदम की जोड़ी को लागू करना होगा जिसका आप विश्लेषण कर रहे हैं। हालांकि व्यवहार में कम्प्यूटेशनल दृष्टिकोण हो सकते हैं जो एल्गोरिदम के बड़े वर्गों के लिए काम करते हैं, और निश्चित रूप से ऐसी तकनीकें हैं जिनका उपयोग आप किसी विशेष मामले के लिए एक प्रमाण के लिए प्रयास करने के लिए कर सकते हैं। डेव क्लार्क का जवाब आपको यहां देखने के लिए कुछ प्रासंगिक चीजें देता है। "असंभवता" परिणाम केवल एक सामान्य विधि को तैयार करने पर लागू होता है जो सभी जोड़े एल्गोरिदम के लिए एक बार और सभी के लिए समस्या का समाधान करेगा।