हम जो "समान मूल्य" मानते हैं, उसमें थोड़ी स्वतंत्रता है। मुझे दिखाओ कि ऐसा कोई एल्गोरिथ्म नहीं है यदि "समान मूल्य" का अर्थ है "अवलोकन के बराबर"। मैं निर्माण के पथरी के एक टुकड़े का उपयोग करूँगा, अर्थात् गोडेल का सिस्टम टी (बस टाइप किए गए -calculus, प्राकृतिक संख्याएं, और उन पर आदिम पुनरावृत्ति), इसलिए तर्क पहले से ही बहुत कमजोर कलन पर लागू होता है।λ
एक संख्या को देखते हुए , ¯ n , s u c c से 0 के लिए , अर्थात, n के समान अनुप्रयोगों का प्रतिनिधित्व करने वाला संगत अंक है । यह देखते हुए एक ट्यूरिंग mahcine एम , चलो ⌈ एम ⌉ होना अंक एन्कोडिंग एम कुछ उचित तरीके से।nn¯¯¯nsucc0M⌈M⌉M
कहते हैं कि दो बंद शर्तों रहे बराबर , लिखा टी ≃ यू , जब सभी के लिए n ∈ एन , टीt,u:nat→natt≃un∈N औररोंtn¯¯¯ दोनों एक ही अंक को सामान्य करते हैं (वे एक अंक को सामान्य करते हैं क्योंकि हम दृढ़ता से क्लैक्ज़ुलस को सामान्य कर रहे हैं)।sn¯¯¯
मान लीजिए कि हमें एक एल्गोरिथ्म, जो प्रकार के किसी भी बंद की सजा दी थी गणना एक न्यूनतम समकक्ष शब्द है। फिर हम निम्नानुसार हलिंग के आभूषण को हल कर सकते हैं।nat→nat
वहाँ एक शब्द है ऐसा है कि, सभी के लिए n ∈ एन और सभी ट्यूरिंग मशीन एम ,
एस ( ⌈ एम ⌉ , ¯ एन ) के लिए सामान्य हो ¯ 1 अगर टी भीतर हाल्ट n चरणों , और यह ¯ 0 अन्यथा सामान्य हो जाता है। यह अच्छी तरह से ज्ञात है, क्योंकि एक निश्चित संख्या के लिए ट्यूरिंग मशीन का अनुकरण एन आदिम पुनरावर्ती है।S:nat×nat→natn∈NMS(⌈M⌉,n¯¯¯)1¯¯¯Tn0¯¯¯n
परिमित कई बंद शर्तों रहे हैं जो कम से कम बराबर शर्तों के हैं λ एक्स : n एक टी ।Z1,…,Zk । जब हम इसे λ x देते हैं, तो हमारा न्यूनतम एल्गोरिथ्म उनमें से एक लौटाता है : n a t ।λx:nat.0 , और यह भी मामला हो सकता है कि λ x : n a t ।λx:nat.0 वास्तव में एकमात्र ऐसा न्यूनतम शब्द है। यह सब कोई फर्क नहीं पड़ता, केवल एक चीज जो मायने रखती है वह यह है कि बहुत कम न्यूनतम शर्तें हैं जो λ x : n a t के बराबर हैं ।λx:nat.0 ।λx:nat.0
अब, किसी भी मशीन को देखते हुए, u शब्द पर विचार करें
: = λ x : n a t ।M
तो एम हमेशा के लिए तो चलाता यू ¯ n करने को सामान्य ¯ 0 हर के लिए एन और के बराबर है λ एक्स : n एक टी ।
u:=λx:nat.S(⌈M⌉,x)
Mun¯¯¯0¯¯¯n । यह तय करने के लिए कि
एम हमेशा के लिए चलता है, हम
यू को हमारे मिनिमाइज़ेशन एल्गोरिथ्म मेंफीडकरते हैं और जाँचते हैं कि क्या एल्गोरिथ्म
जेड 1 , … , जेड के में से एक है । अगर ऐसा होता, तो
M हमेशा के लिए चलता। अगर यह नहीं होता, तो यह रुक जाता है। (नोट: एल्गोरिथ्म की गणना नहीं की जरूरत
जेड 1 , ... , जेड कश्मीर से ही, इन हार्ड-कोडेड एल्गोरिथ्म में हो सकता है।)
λx:nat.0MuZ1,…,ZkMZ1,…,Zk
यह अच्छा होना एक तर्क है कि, तुल्यता की एक कमजोर धारणा के साथ काम करता है उदाहरण के लिए सिर्फ जानकारी देना चाहते हैं -reducibility।β