computability पर टैग किए गए जवाब

मैंने अक्सर यह कहा है कि आप चावल के प्रमेय के कारण किसी वेब ब्राउज़र, या वर्ड-प्रोसेसर, या ऑपरेटिंग सिस्टम में बग्स को पकड़ने के लिए कोई प्रोग्राम नहीं लिख सकते हैं: ट्यूरिंग-पूर्ण भाषा के लिए कोई भी शब्दार्थ संपत्ति अपरिहार्य है। हालांकि, मुझे यकीन नहीं है कि यह वास्तविक …

10 computability 

हार्वे फ्राइडमैन ने दिखाया कि एक साफ-सुथरा निश्चित बिंदु परिणाम है जो ZFC (सामान्य ज़र्मेलो-फ़्रैंकेल सेट ऑफ़ थ्योरी ऑफ़ चॉइस) में साबित नहीं किया जा सकता है। कई आधुनिक लॉजिक्स को निर्धारित बिंदु ऑपरेटरों पर बनाया गया है, इसलिए मैं सोच रहा था: क्या सैद्धांतिक कंप्यूटर विज्ञान के लिए ऊपरी …

10 computability  lo.logic 

प्रश्न : क्या भविष्यवाणी करना (जैसा कि नीचे परिभाषित किया गया है) कम्प्यूटिंग अनुक्रमों को रोकने की समस्या जितनी कठिन है? विस्तार : "भविष्यवाणी" का अर्थ सफलतापूर्वक भविष्यवाणी करना है, जिसका अर्थ है कि पिछले n-1 बिट्स तक पहुंच दिए गए अनुक्रम के n-वें बिट की भविष्यवाणी करने की कोशिश …

10 computability 

क्या किसी को समस्याओं का एक सेट पता है जो समान रूप से भिन्न है और जटिलता और कम्प्यूटेबिलिटी के "दिलचस्प" पदानुक्रमों में से एक को फैलाता है? दिलचस्प है, मेरा मतलब है, उदाहरण के लिए, बहुपद पदानुक्रम, अंकगणित पदानुक्रम, या विश्लेषणात्मक पदानुक्रम। या हो सकता है (एन) पी, (एन) …

10 cc.complexity-theory  computability 

चलो एचअ लटीnएचएएलटीnHALT_n लंबाई की स्ट्रिंग को निरूपित करें 2n2n2^n लंबाई के इनपुट के लिए पड़ाव समस्या की सत्य तालिका के अनुरूप nnn। यदि कोलमोगोरोव जटिलताओं का क्रम क( एचअ लटीn)क(एचएएलटीn)K(HALT_n) थे ओ ( 1 )हे(1)O(1), तो सलाह तार में से एक का उपयोग अक्सर असीम रूप से किया जाएगा, …

10 cc.complexity-theory  reference-request  computability  lower-bounds 

आदिम पुनरावर्ती कार्य प्राकृतिक संख्याओं पर परिभाषित होते हैं। हालांकि, ऐसा लगता है जैसे अवधारणा को अन्य डेटा प्रकारों के लिए सामान्यीकृत करना चाहिए, जिससे किसी को आदिम पुनरावर्ती कार्यों के बारे में बात करने की अनुमति मिलती है जो उदाहरण के लिए बाइनरी पेड़ों को सूचीबद्ध करता है। सादृश्य …

9 computability 

मैं एक सबूत की तलाश कर रहा हूं कि कोलमोगोरोव जटिलता एक अन्य असुविधाजनक समस्या से कमी का उपयोग करके असुविधाजनक है। सामान्य प्रमाण एक कमी के बजाय बेरी के विरोधाभास का एक औपचारिककरण है, लेकिन हैल्टिंग समस्या, या पोस्ट के पत्राचार समस्या जैसी किसी चीज़ से कम करके एक …

9 computability  reductions  kolmogorov-complexity 

क्या लैम्ब्डा कैलकुलस के समान कोई प्रणाली है जो मजबूत सामान्यीकरण है, इसके शीर्ष पर एक प्रकार की प्रणाली को जोड़ने की आवश्यकता के बिना?

9 pl.programming-languages  computability  lambda-calculus  functional-programming 

भ्रूण, यदि आपने इसके बारे में नहीं सुना है, तो यहां पढ़ा जा सकता है । यह एक फ़ंक्शन में पुनरावर्ती कॉल के सभी 'पुनरावृत्ति व्यवहार' को खोजने के लिए 'कॉल मैट्रिस' और 'कॉल ग्राफ़' की एक प्रणाली का उपयोग करता है। यह दिखाने के लिए कि एक फ़ंक्शन इसे …

9 lo.logic  computability  functional-programming 

ऐसी समस्याएं हैं जो निर्णायक हैं, कुछ ऐसे हैं जो अनिर्दिष्ट हैं, जिनमें अर्धविक्षिप्तता है, आदि। इस मामले में मुझे आश्चर्य है कि क्या कोई समस्या मेटा-अनिर्दिष्ट हो सकती है। इसका मतलब है (कम से कम मेरे सिर में) हम यह नहीं बता सकते हैं कि यह निर्णायक है या …

9 computability  decidability  undecidability 

मुझे निम्नलिखित प्रश्न का सामना करना पड़ा, जो एक आसान व्यायाम है (नीचे बिगाड़ने वाला)। हमें समस्या के उदाहरण दिए गए हैं (यानी ), और हमें यह तय करने की आवश्यकता है कि उनमें से कौन सा पर रुका हुआ है । यही है, हमें आउटपुट करने की आवश्यकता है …

9 computability  lower-bounds 

प्राथमिक-पुनरावर्ती कार्यों पर क्रिस प्रेसे के दिलचस्प सवाल से प्रेरित होकर , मैं वेब पर इस प्रश्न का उत्तर खोजने के लिए अधिक खोज कर रहा था और असमर्थ था। प्राथमिक पुनरावर्ती कार्यों घातीय पदानुक्रम के लिए अच्छी तरह से अनुरूप,DTIME(2n)∪DTIME(22n)∪⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots। यह परिभाषा से सीधा लगता …

9 cc.complexity-theory  reference-request  complexity-classes  computability 

मान लीजिए कि हम 1994 से जोए बी। वेल्स के परिणाम को नहीं जानते हैं, दोनों टाइपेबिलिटी और टाइप चेकिंग सिस्टम एफ (AKA) में अनिर्दिष्ट हैं λ 2λ2\lambda 2)। टाइप्स (1992) के साथ बेंड्रिग्गेट के लैंबडा कैल्कुली में मुझे मालेकी 1989 के कारण एक प्रमाण मिला कि टाइप चेकिंग से …

9 lo.logic  computability  type-theory  lambda-calculus  type-inference 

मेरे पास एक प्रश्न है, जिसका उत्तर शायद अच्छी तरह से ज्ञात है, लेकिन मुझे खोज के बाद कुछ भी सार्थक नहीं मिल सकता है, इसलिए मैं आपकी मदद की सराहना करूंगा। मेरा प्रश्न यह है कि क्या यह ज्ञात है कि यह तय करना कि कोई संख्या पारलौकिक है …

9 computability  computable-analysis 

प्राकृतिक घटना से प्रेरित अभिकलन के प्रसिद्ध उदाहरण क्वांटम कंप्यूटर और डीएनए कंप्यूटर हैं। मैक्सवेल के नियमों या गुरुत्वाकर्षण के साथ कंप्यूटिंग की क्षमता और / या सीमाओं के बारे में क्या ज्ञात है? यही है, मैक्सवेल के समीकरणों या एन-बॉडी समस्या को प्रकृति के "त्वरित" समाधानों को सीधे एक …

9 computability  machine-models  physics  natural-computing