संक्षेप में: नहीं
वीचिंग के लिए ट्यूरिंग मशीनें हैं जो हम (अभी तक) जानते हैं कि क्या वे मशीनें हॉल्ट ( उदाहरण में Collatz अनुमान ) हैं।
जब तक हम सभी ट्यूरिंग मशीनों को हटाने के लिए एक रास्ता नहीं ढूंढ लेते हैं, तब तक हमारे पास हॉल्टिंग प्रूफ नहीं है, और जब तक हमें उन मशीनों के हॉल्ट-नेस को प्रूव करने का कोई तरीका नहीं मिल जाता है, तब तक हम ट्यूरिंग मशीन से बेहतर नहीं हैं (यदि मैं पहले से ही किसी को सही साबित कर रहा हूं कि हम सब कुछ साबित नहीं कर सकते, इस तथ्य की ओर एक बिंदु जो हम ट्यूरिंग मशीन के रूप में सीमित हैं)। ओह रुकिए, हम उन सभी मशीनों को नहीं बता सकते हैं क्योंकि हमारे पास एक सीमित मेमोरी और एक सीमित जीवन काल है।
हालाँकि आप सवाल करते हैं, स्व-उत्तर है:
आप पूछ रहे हैं कि क्या मानव "निर्णय" करने में सक्षम हैं, लेकिन निर्णय स्वयं एक एल्गोरिथ्म के रूप में परिभाषित किया गया है, इसलिए या हम अपने दिमाग पर एक एल्गोरिथ्म चलाते हैं और एक सही निष्कर्ष पर आते हैं (या बिल्कुल भी निष्कर्ष नहीं है: खुली समस्याएं), या हम सिर्फ एक अनुमान लगाते हैं।
संगणना सिद्धांत के बारे में है:
- मान लीजिए कि एक ब्लैक बॉक्स एल्गोरिदम मौजूद है (ओरेकल) कुछ सवालों के जवाब में हां या ना में जवाब दे सकता है
- फिर आप इसका उपयोग करने वाले किसी अन्य एल्गोरिथ्म का निर्माण करके अचूक प्रश्नों के उत्तर देने के लिए इसका उपयोग कर सकते हैं
- ऐसा करने से आप एक विरोधाभास के साथ समाप्त होते हैं
इसका मतलब है कि जब तक आपके पास कोई भी सिस्टम है जो उत्तर No
या Yes
उत्तर चाहता है , ओरेकल उस प्रणाली के साथ संगत नहीं है, इसलिए ओरेकल वास्तव में मौजूद हो सकता है, लेकिन हमारे पास उनके परिणामों को संप्रेषित करने का कोई तरीका नहीं है , क्योंकि अगर हम उनके परिणामों को संवाद करने में सक्षम हैं, तो हम कहीं न कहीं एक अंतर्विरोध के साथ समाप्त होते हैं।
मान लें कि क्वांटम यांत्रिकी कई छोटे oracles से बना है, तो आप उनके परिणामों को संप्रेषित नहीं कर सकते क्योंकि जब आप किसी कण की स्थिति को पढ़ते हैं, तो आप उस कण की स्थिति भी बदल देते हैं।
मेरे पास जवाब था, लेकिन मैंने इसे पढ़ा है।
अगर हम नकली हाइपोटिस से शुरू करते हैं, तो कुछ भी प्रभावित कर सकते हैं। इसलिए हम एक एल्गोरिथ्म को रोक सकते हैं, लेकिन हम यह भी कह सकते हैं कि एक एल्गोरिथ्म रुक नहीं सकता है, यह दिलचस्प हो सकता है, लेकिन यह एक विरोधाभासी के बाद से बेकार है (आप एक Yes
या No
उत्तर चाहते हैं ) परिणाम वह नहीं है जो आप चाहते हैं।