सिर्फ रिकॉर्ड के लिए, हॉल्टिंग समस्या की अस्वाभाविकता का मानक प्रमाण एक ही विचार पर निर्भर करता है: यह प्रोग्राम को कुछ उप-टर्म लिखना संभव है, जो पूरे कार्यक्रम के लिए स्रोत कोड का मूल्यांकन करता है। फिर, यदि कोई फ़ंक्शन था halts
, जो किसी प्रोग्राम के लिए स्रोत कोड दिया गया था , तो यह सही है कि यदि यह प्रोग्राम सभी इनपुट और गलत पर रुका हुआ है, तो वापस लौटा दिया जाएगा, यह एक कानूनी प्रोग्राम होगा:
prog() = if halts "prog" then prog() else ()
"prog"
कुछ अभिव्यक्ति के लिए स्रोत कोड के लिए मूल्यांकन किया जाएगा, जहां होगा prog
; हालाँकि, आप जल्दी से उस prog
पड़ाव को देख सकते हैं (सभी सूचनाओं के लिए) अगर यह रुकता नहीं है, जो एक विरोधाभास है। इस प्रमाण में कुछ भी किसी भी तरह से I / O पर निर्भर नहीं करता है (क्या आपको quine लिखने के लिए I / O की आवश्यकता है?)।
वैसे, आप आगे के सबूतों के लिए "संवाद-आधारित I / O" में देखना चाह सकते हैं कि I / O आपकी समस्या के लिए पूरी तरह अप्रासंगिक है (मूल रूप से, I / O प्रोग्राम जो इनपुट के रूप में लेते हैं, उन्हें कम किया जा सकता है। (स्पष्ट) कार्यात्मक तर्क और वापसी उत्पादन के रूप में (स्पष्ट) एक आलसी भाषा में अतिरिक्त परिणाम)। दुर्भाग्य से, मैं अभी वेब पर एक उचित, संयुक्त राष्ट्र के पक्षपाती (या समर्थक संवाद) पृष्ठ नहीं खोज सकता।