church-turing-thesis पर टैग किए गए जवाब

चर्च-ट्यूरिंग थीसिस में कहा गया है कि जो कुछ भी शारीरिक रूप से गणना की जा सकती है, उसकी गणना ट्यूरिंग मशीन पर की जा सकती है। पेपर "तंत्रिका नेटवर्क के माध्यम से एनालॉग गणना" (सीगलमैन और सोंटैग, सैद्धांतिक कंप्यूटर विज्ञान , 131: 331–360, 1994; पीडीएफ ) का दावा है …

29 computability  turing-machines  church-turing-thesis 

यह एक भोलापन है और इसलिए, संभवतः विकृत सवाल है, इसलिए अग्रिम में माफी! मेरा विचार है कि ट्यूरिंग मशीन को प्रक्रियात्मक / अनिवार्य प्रोग्रामिंग भाषाओं के लिए कम्प्यूटेशनल आधार के रूप में देखा जा सकता है। इसी प्रकार, लंबा कैलकुलस कार्यात्मक प्रोग्रामिंग भाषाओं की नींव है। मुझे हाल ही …

23 programming-languages  mathematical-foundations  church-turing-thesis 

वहाँ कई (और मेरा मतलब है कई) गिनने योग्य भाषाएं हैं जो ट्यूरिंग-डिसिडेबल हैं। क्या कोई भी बेशुमार भाषा ट्यूरिंग डिसिडेबल हो सकती है?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

वहाँ सापेक्ष स्थानिकताएँ हैं (उदाहरण MH spacetimes; हॉगर्थ 1994 देखें) जहाँ अनंत अवधि की एक विश्व रेखा को परिमित प्रेक्षक के अतीत में समाहित किया जा सकता है। इसका मतलब यह है कि एक सामान्य पर्यवेक्षक के पास गणना चरणों की अनंत संख्या तक पहुंच हो सकती है। यह मानते …

15 turing-machines  halting-problem  church-turing-thesis  hypercomputation 

यदि हमारे पास कोई मनमाना कंप्यूटर प्रोग्राम है जो उसके निर्देशों को संशोधित कर सकता है, तो क्या उस प्रोग्राम को किसी प्रोग्राम के साथ अनुकरण करना संभव है जो उसके निर्देशों को संशोधित नहीं कर सकता है? संपादित करें: मैं स्टेक्सएक्सचेंज के लिए नया हूं इसलिए निश्चित नहीं हूं …

12 computability  computation-models  turing-completeness  church-turing-thesis 

मैंने उन वेब साइटों को देखा है जो एचटीएमएल 5 + सीएसएस ट्यूरिंग कम्प्लीट करने के लिए "साबित" करने का उद्देश्य रखते हैं। मैंने उन वेब साइटों को देखा है जो कि एसक्यूएल ट्यूरिंग कम्प्लीट करने के लिए "साबित" करने के लिए है। मैंने उन वेब साइटों का एक समूह …

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis 

मैं नीलसन और चुआंग, क्वांटम संगणना और क्वांटम सूचना, 10 वीं वर्षगांठ संस्करण, पृष्ठ 5 (जोर मेरा) से उद्धृत करना चाहूंगा: मजबूत चर्च-ट्यूरिंग थीसिस के लिए चुनौतियों का एक वर्ग एनालॉग संगणना के क्षेत्र से आता है। ट्यूरिंग के बाद के वर्षों में, शोधकर्ताओं की कई अलग-अलग टीमों ने देखा …

9 computation-models  church-turing-thesis