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

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

92 computability  decidability 

आकर्षक शीर्षक के लिए क्षमा करें। मैं समझना चाहता हूं कि चर्च-ट्यूरिंग थीसिस को भंग करने के लिए किसी को क्या करना चाहिए? कहीं मैंने पढ़ा है कि यह गणितीय रूप से असंभव है! क्यों? ट्यूरिंग, रोसेर आदि ने अलग-अलग शब्दों का इस्तेमाल किया: "क्या गणना की जा सकती है" …

83 computability  proofs  hypercomputation 

क्या ट्यूरिंग मशीन और लैंबडा कैलकुलस के बीच एक संबंध है - या क्या वे केवल एक ही समय के बारे में उत्पन्न हुए थे?

49 computability  lambda-calculus  turing-machines 

कुछ समस्याओं को अनिर्दिष्ट माना जाता है, लेकिन उन्हें हल करने पर कुछ प्रगति करना संभव है। उदाहरण के लिए, हॉल्टिंग समस्या अनिर्दिष्ट है, लेकिन आपके कोड में संभावित अनंत छोरों का पता लगाने के लिए उपकरण बनाने पर व्यावहारिक प्रगति की जा सकती है। टाइलिंग की समस्याएं अक्सर अनिर्दिष्ट …

48 computability  approximation-algorithms  parameterized-complexity  halting-problem 

मेरे पास तीन संबंधित उपवर्ग हैं, जो नीचे बुलेट बिंदुओं द्वारा हाइलाइट किए गए हैं (नहीं, वे विभाजित नहीं किए जा सकते, यदि आप सोच रहे हैं)। फ़ॉरेन बाउर ने यहां लिखा है कि कुछ कार्य ट्यूरिंग मशीन के माध्यम से साकार होते हैं, लेकिन लैम्ब्डा-कैलकुलस के माध्यम से नहीं। …

48 computability  lambda-calculus  turing-machines 

यह मेरी समझ है कि कम्प्यूटिंग का वर्णन करते समय ट्यूरिंग का मॉडल "मानक" बन गया है। मुझे यह जानने में दिलचस्पी है कि यह मामला क्यों है - यही कारण है कि, टीएम मॉडल अन्य सैद्धांतिक रूप से समकक्ष (मेरी जानकारी के लिए) मॉडल की तुलना में अधिक व्यापक …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

क्या प्रत्येक कार्य जो कि आकार के वर्णमाला का उपयोग करके एकल-टेप ट्यूरिंग मशीन पर समय में गणना करने योग्य है। समय एक टेप-ट्यूरिंग मशीन पर आकार की वर्णमाला का उपयोग करके (कहते हैं, और रिक्त)?टी कश्मीर = हे ( 1 ) हे ( टी ) 3 0 , 1 …

40 computability  turing-machines 

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

40 computability  lo.logic  proofs 

मैं "सही मायने में यादृच्छिक" संख्याओं की पीढ़ी को सुनिश्चित करने के लिए एक निश्चित उत्तर चाह रहा हूं कि ट्यूरिंग कम्प्यूटेबल है। मैं नहीं जानता कि यह कैसे मुहावरा है। StackExchange प्रश्न "रैंडम नंबर जनरेशन के लिए कुशल एल्गोरिदम" मेरे प्रश्न का उत्तर देने के करीब आता है। चार्ल्स …

39 reference-request  computability  turing-machines  randomness 

पॉल वेगनर और दीना गोल्डिन एक दशक से अधिक समय से पत्र-पत्रिकाओं का प्रकाशन कर रहे थे, जिसमें मुख्य रूप से तर्क दिया गया कि चर्च-ट्यूरिंग थीसिस को अक्सर सीएस थ्योरी समुदाय और अन्य जगहों पर गलत तरीके से प्रस्तुत किया गया है। यही है, यह सभी संगणना को शामिल …

38 computability  turing-machines  machine-models  church-turing-thesis 

मैंने हाल ही में यह सुना है - "एक गैर-नियतात्मक मशीन एक संभाव्य मशीन के समान नहीं है। कच्चे शब्दों में, एक गैर-नियतात्मक मशीन एक संभाव्य मशीन है जिसमें संक्रमण के लिए संभावनाएं ज्ञात नहीं हैं"। मुझे लगता है जैसे मुझे बात मिलती है, लेकिन मैं सच में नहीं। क्या …

38 automata-theory  randomness  computability 

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

37 reference-request  complexity-classes  computability  pl.programming-languages 

मैंने कम्प्यूटेबिलिटी और लॉजिक पर एक बार क्लास ली। सामग्री में जटिलता / कम्प्यूटेबिलिटी कक्षाओं (आर, आरई, आरई, सह-आरई, पी, एनपी, लॉगस्पेस, ...) और लॉजिक्स (प्रथम गणना तर्क, ...) के बीच सहसंबंध शामिल था। सहसंबंध में एक क्षेत्र में कई परिणाम शामिल थे, जो दूसरे क्षेत्र से तकनीकों का उपयोग …

33 cc.complexity-theory  lo.logic  computability 

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

32 cc.complexity-theory  computability  pl.programming-languages 

मैं कार्ड गेम के नियमों में एक साधारण ट्यूरिंग मशीन को एनकोड करना चाहता हूं। ट्यूरिंग पूर्णता साबित करने के लिए मैं इसे एक सार्वभौमिक ट्यूरिंग मशीन बनाना चाहता हूं। अब तक मैंने एक गेम स्टेट बनाया है जो एलेक्स स्मिथ के 2-स्टेट, 3-सिंबल ट्यूरिंग मशीन को एनकोड करता है …

31 computability  turing-machines  universal-computation