halting-problem पर टैग किए गए जवाब

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

48 computability  approximation-algorithms  parameterized-complexity  halting-problem 

मुझे पता है कि रुकने की समस्या सामान्य रूप से अनिर्वाय है, लेकिन कुछ ट्यूरिंग मशीनें हैं जो स्पष्ट रूप से रुकती हैं और कुछ जो स्पष्ट रूप से नहीं होती हैं। सभी संभव ट्यूरिंग मशीनों में से कौन सी सबसे छोटी है जहां किसी के पास कोई सबूत नहीं …

31 halting-problem 

यह ज्ञात है कि एल्गोरिदम के एक गणनीय सेट (एक Gödel संख्या द्वारा विशेषता) के साथ, हम गणना नहीं कर सकते हैं (द्विआधारी एल्गोरिथ्म का निर्माण जो संबंधित जांच करता है) एन के सभी सबसेट। एक सबूत को संक्षेप में प्रस्तुत किया जा सकता है: यदि हम कर सकते हैं, …

29 computability  halting-problem 

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

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

मैं सोच रहा था कि क्या एक औपचारिक व्याकरण के रूप में Collatz अनुमान की जांच करने के प्रयासों की एक अच्छी ग्रंथ सूची है ? (या जेनेटिक घटना और उनके "पड़ाव" गुणों के इस वर्ग से निपटने के लिए सीएस समुदाय में कोई अन्य प्रयास)।

16 fl.formal-languages  nt.number-theory  halting-problem 

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

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

क्या कोई ट्यूरिंग मशीन है जो यह तय कर सकती है कि लगभग सभी अन्य ट्यूरिंग मशीनें रुक रही हैं या नहीं? N→{Mi}N→{Mi}\mathbb{N} \rightarrow \{M_i\}∥⋅∥‖⋅‖\| \cdot \| f(i)=∥{n:Mi can't decide whether Mn halts}∥.f(i)=‖{n:Mi can't decide whether Mn halts}‖.f(i) = \|\{n: M_i \text{ can't decide whether }M_n \text{ halts} \}\|. क्या …

12 turing-machines  halting-problem 

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

10 lo.logic  type-theory  oracles  halting-problem 

Gödel की पहली अपूर्णता प्रमेय का कमजोर रूप, प्रत्यक्ष प्रमाण जिसमें Gödel के तरीके लम्बे, शामिल हैं और किसी जगह पर प्रति-सहज, हॉल्टिंग समस्या की अनिर्वायता के आधार पर एक सरल और सहज प्रमाण है - उदाहरण के लिए देखें https: / /en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof किसने पहली बार इस प्रमाण को प्रस्तावित …

9 cc.complexity-theory  lo.logic  halting-problem 

मेरा एक भोला-भाला सवाल है: क्या कोई ट्यूरिंग मशीन मौजूद है जिसका समापन सत्य है, लेकिन किसी भी प्राकृतिक, सुसंगत और सूक्ष्म रूप से स्वयंसिद्ध सिद्धांत द्वारा अप्राप्य है? मैं एक विशिष्ट उदाहरण के बजाय मात्र अस्तित्व प्रमाण मांगता हूं। यह क्रमिक विश्लेषण के साथ कुछ संबंध हो सकता है …

9 turing-machines  proof-theory  halting-problem 

चूंकि दोनों प्रमाण विकर्ण तर्क का उपयोग करते हैं, इसलिए मैं सोच रहा हूं कि क्या बेशुमार अनंत सेटों के अस्तित्व और हॉल्टिंग समस्या की अनिच्छा के बीच एक अस्पष्ट लिंक है। यदि सभी सेट काउंटेबल थे, तो क्या हॉल्टिंग समस्या विकट होगी?

9 halting-problem