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

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

17 computability  upper-bounds 

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

17 computability 

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

17 computability  turing-machines  physics  machine-models  ar.hardware-architecture 

क्या एक सामान्य प्रमेय है, जो उचित स्वच्छता के साथ, वास्तविक संख्याओं के उपयोग के बारे में सबसे अधिक ज्ञात परिणाम वास्तव में इस्तेमाल किया जा सकता है, जब केवल कम्प्यूटेशनल रियल पर विचार किया जाता है? या क्या केवल कम्प्यूटेशनल रियल्स पर विचार करते हुए परिणामों की उचित विशेषता …

16 computability  computing-over-reals  topology  model-theory 

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

16 computability  turing-machines  board-games  halting-problem  recreational 

कंप्यूटर विज्ञान के बारे में आश्चर्यजनक चीजों में से एक यह है कि भौतिक कार्यान्वयन कुछ अर्थों में "अप्रासंगिक" है। लोगों ने कई अलग-अलग सब्सट्रेट्स - रिले, वैक्यूम ट्यूब, असतत ट्रांजिस्टर आदि से कंप्यूटर का सफलतापूर्वक निर्माण किया है। लोग जल्द ही ट्यूरिंग-पूर्ण कंप्यूटर को गैर-रेखीय ऑप्टिकल सामग्री, विभिन्न बायोमोलेक्यूल्स …

16 computability  turing-machines  terminology  physics  natural-computing 

( अद्यतन : बेहतर प्रश्न का उत्तर यहां दिया गया है क्योंकि नीचे दिए गए उत्तर के लिए टिप्पणियों से पता चलता है कि यह प्रश्न अच्छी तरह से परिभाषित नहीं है) पड़ाव समस्या की असंभवता का शास्त्रीय प्रमाण इनपुट के रूप में स्वयं को हॉल्ट डिटेक्शन एल्गोरिदम को लागू …

16 computability  lo.logic 

कोई भी भाषा जो ट्यूरिंग पूर्ण नहीं है, वह इसके लिए एक दुभाषिया नहीं लिख सकती है। मुझे कोई सुराग नहीं है कि मैंने कहाँ पढ़ा है लेकिन मैंने देखा है कि यह कई बार इस्तेमाल किया गया है। ऐसा लगता है कि यह एक प्रकार की "परम" गैर ट्यूरिंग …

16 computability  turing-machines 

इस प्रश्न को Math.SE पर भी पोस्ट किया गया है, /math/1002540/fixed-points-in-computability-nd-logic मुझे उम्मीद है कि इसे यहां पोस्ट करना भी ठीक है। यदि नहीं, या यदि यह CS.SE के लिए बहुत बुनियादी है, तो कृपया मुझे बताएं और मैं इसे हटा दूंगा। मैं तर्क में निश्चित बिंदु प्रमेयों और के …

15 lo.logic  computability  lambda-calculus 

हम कहते हैं कि ट्यूरिंग मशीन नश्वर है यदि एम हर शुरुआती कॉन्फ़िगरेशन के लिए रुकता है (विशेष रूप से, टेप सामग्री और प्रारंभिक स्थिति मनमानी हो सकती है)। क्या प्रत्येक पुनरावर्ती भाषा को नश्वर ट्यूरिंग मशीन द्वारा मान्यता प्राप्त है? (यानी अगर कोई टीएम है जो एल को स्वीकार …

15 computability 

क्या आप यह बता सकते हैं कि एकरमैन फंक्शन (वास्तव में मैं रोससा पेटर और राफेल रॉबिन्सन द्वारा प्रस्तावित संस्करण में दिलचस्पी रखता हूं) को मानक म्यू-पुनरावर्ती ऑपरेटरों के माध्यम से कैसे बनाया जा सकता है? मैंने पैटर और रॉबिन्सन द्वारा मूल पत्रों की कोशिश की, लेकिन पेटर का पेपर …

15 computability 

ट्यूरिंग मशीन द्वारा परिभाषित एक भाषा L को देखते हुए, जो इसे तय करती है, क्या यह एल्गोरिदमिक रूप से निर्धारित करना संभव है कि L, NP में निहित है या नहीं?

15 cc.complexity-theory  computability  turing-machines 

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

14 reference-request  computability  big-picture 

मैं Collatz अनुमान के लिए "निकटतम" (और "सबसे जटिल") समस्या में दिलचस्पी रखता हूं जिसे सफलतापूर्वक हल किया गया है (जो एर्दोस ने प्रसिद्ध रूप से कहा था "गणित अभी भी ऐसी समस्याओं के लिए परिपक्व नहीं है")। यह साबित हो चुका है कि "Collatz जैसी" समस्याओं का एक वर्ग …

14 reference-request  open-problem  nt.number-theory  halting-problem  computability 

यह लंबे समय से ज्ञात है कि, किसी भी ट्यूरिंग डिग्री को देखते हुए, एक बारीक प्रस्तुत समूह है जिसकी शब्द समस्या उस डिग्री में है। मेरा सवाल यह है कि क्या एक ही बात मनमाने ढंग से बहुपद समय ट्यूरिंग डिग्री के लिए सही है । विशेष रूप से, …

14 cc.complexity-theory  computability  gr.group-theory