ट्यूरिंग मशीन में गोडैलाइजेशन


12

मैं थ्योरी ऑफ कंपीटिशन कोर्स में गोड्डलाइज़ेशन देख रहा था। मैं गॉडल नंबरिंग अवधारणाओं को समझ सकता था, लेकिन थ्योरी ऑफ़ कम्प्यूटेशन में इसके महत्व को नहीं समझ सकता था। क्या कोई कृपया कुछ अच्छी सामग्रियों की ओर संकेत कर सकता है या इसके महत्व को इंगित कर सकता है।

जवाबों:


18

कंप्यूटर विज्ञान में गोडेल नंबरिंग का मतलब "स्रोत कोड" और "द्विआधारी प्रारूप में डेटा" है, इसलिए मुझे आशा है कि इसका महत्व स्पष्ट होना चाहिए अगर मैं आपको समझा सकता हूं कि यह वास्तव में ऐसा है।

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

01

010101

व्यवहार में हम के रूप में जाना प्रारूपों के एक किस्म में कार्यक्रमों और डेटा का प्रतिनिधित्व करते हैं .java, .py, .mp3, .jpgक्योंकि वे और अधिक आसानी से गणित के भीतर छेड़छाड़ कर रहे हैं, आदि तर्क और लोगों की गणना के सिद्धांत रूप में अच्छे पुराने नंबर के साथ छड़ी करने के लिए पसंद करते हैं।

0101


यह सुपर स्पष्ट है। मुझे इन पर कुछ तकनीकी सामग्री कहाँ से मिल सकती है?
user5507

"इन पर" क्या संदर्भित करता है?
बाउर

मेरे अस्पष्ट अंग्रेजी के लिए क्षमा करें। मैं ट्यूरिंग मशीन में Godelization पर सबूत युक्त कुछ सामग्रियों की तलाश कर रहा था। क्या आप मुझे यहाँ पर गॉडेल नंबरिंग के महत्व के बारे में भी बता सकते हैं। (एक क्रम से एक क्रम उत्पन्न करना)
user5507

मार्टिन डेविस की पुस्तक "कम्प्यूटेबिलिटी एंड अनसॉल्वेंबिलिटी" में ट्यूरिंग मशीन का एक बहुत विस्तृत उपचार है, शायद यही वह है जिसकी आप तलाश कर रहे हैं। मुझे यकीन नहीं है कि यह क्या है जो आप पूछ रहे हैं।
बाउर
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.