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