यह एक भोला सवाल हो सकता है, लेकिन यहाँ जाता है। (संपादित करें - यह अपवित्र नहीं हो रहा है, लेकिन किसी ने भी प्रतिक्रिया की पेशकश नहीं की है; शायद यह प्रश्न मेरे विचार से अधिक कठिन, अस्पष्ट या अस्पष्ट है?)
गोडेल की पहली अपूर्णता प्रमेय को हॉल्टिंग समस्या की अनिर्वायता के उदाहरण के रूप में साबित किया जा सकता है (उदाहरण के लिए सिपसर च। 6; स्कॉट आरोनसन द्वारा ब्लॉग पोस्ट )।
जो मैं समझता हूं (टिप्पणियों द्वारा पुष्टि), यह प्रमाण चर्च-ट्यूरिंग थीसिस पर निर्भर नहीं करता है। हम एक पूर्ण और सुसंगत औपचारिक प्रणाली में एक ट्यूरिंग मशीन को हल करने की समस्या को हल करके दिखा सकते हैं। (यदि दूसरी ओर हमने केवल यह दिखाया था कि कुछ प्रभावी प्रक्रिया रुकने की समस्या को तय कर सकती है, तो हमें विरोधाभास प्राप्त करने के लिए चर्च-ट्यूरिंग थीसिस को भी मानना होगा।)
इसलिए, हम कह सकते हैं कि यह परिणाम चर्च-ट्यूरिंग थीसिस के लिए थोड़ा सहज समर्थन प्रदान करता है, क्योंकि यह दर्शाता है कि ट्यूरिंग मशीन की एक सीमा एक सार्वभौमिक सीमा का अर्थ है। (आरोनसन की ब्लॉग पोस्ट निश्चित रूप से इस दृष्टिकोण का समर्थन करती है।)
मेरा सवाल यह है कि क्या हम रिवर्स में जाकर कुछ अधिक ठोस हासिल कर सकते हैं: चर्च-ट्यूरिंग थीसिस के लिए गोदेल के प्रमेयों के क्या औपचारिक निहितार्थ हैं? उदाहरण के लिए, यह सहज रूप से संभव लगता है कि पहले अपूर्णता प्रमेय का तात्पर्य है कि कोई प्रभावी प्रक्रिया निर्धारित नहीं कर सकती है यदि कोई मनमाना ट्यूरिंग मशीन रुकता है; तर्क जा सकता है कि इस तरह के एक प्रक्रिया के अस्तित्व को पूरी तरह से निर्माण करने की क्षमता का अर्थ है -consistent सिद्धांत। क्या ये सही है? क्या इन पंक्तियों के साथ कोई परिणाम हैं?
(मैं जिज्ञासा से बाहर पूछ रहा हूं - मैं खुद तर्क का अध्ययन नहीं करता हूं - इसलिए मैं माफी मांगता हूं अगर यह अच्छी तरह से जाना जाता है या अनुसंधान-स्तर है। उस मामले में, यह एक संदर्भ अनुरोध पर विचार करें! किसी भी टिप्पणी या प्रतिक्रिया के लिए धन्यवाद! !)
प्रश्न जो संबंधित लगता है, लेकिन यह नहीं है: चर्च की प्रमेय और गोडेल की अपूर्णता संबंधी सिद्धांत
संपादित करें: मैं प्रश्न को और अधिक स्पष्ट करने की कोशिश करूँगा! पहला - मेरा अनुभवहीन अंतर्ज्ञान यह है कि गोडेल की अपूर्णता को कम से कम कुछ सीमाओं पर लागू करना चाहिए जो कि गणना योग्य नहीं है। ये सीमाएं बिना शर्त होंगी, यानी , उन्हें केवल ट्यूरिंग मशीनों के बजाय गणना के सभी मॉडलों पर लागू होना चाहिए ।
तो मैं सोच रहा था कि क्या यह मामला है ( कुछ निहितार्थ होना चाहिए , सही?)। यह मानते हुए, मैं सबसे ज्यादा उत्सुक हूं कि यह चर्च-ट्यूरिंग थीसिस को कैसे प्रभावित करता है - यह धारणा कि प्रभावी रूप से गणना की जाने वाली चीज की गणना ट्यूरिंग मशीन द्वारा की जा सकती है। उदाहरण के लिए, ऐसा लगता है कि यह तय करने के लिए एक प्रभावी प्रक्रिया का अस्तित्व कि क्या ट्यूरिंग मशीन हॉल्ट पहले अपूर्णता प्रमेय का विरोध करेगी। यह परिणाम प्रदर्शित करेगा कि गणना की कोई भी संभावित विधि ट्यूरिंग मशीनों की तुलना में "अधिक" अधिक शक्तिशाली हो सकती है; लेकिन क्या यह परिणाम सच है? मेरे पास टिप्पणियों में कुछ इसी तरह के प्रश्न हैं। मुझे इनमें से एक प्रश्न का उत्तर सुनने के लिए बहुत दिलचस्पी होगी, साहित्य में एक उत्तर के लिए एक संकेतक, इस बात का स्पष्टीकरण कि मेरा पूरा तर्क ऑफ-बेस, या कोई अन्य टिप्पणी क्यों है!