गोल्डबैक अनुमान और व्यस्त बीवर संख्या?


12

बैकग्राउंडर: मैं कंप्यूटर साइंस में पूरी तरह से एक आम आदमी हूं।

मैं यहां व्यस्त बीवर नंबरों के बारे में पढ़ रहा था , और मुझे निम्नलिखित मार्ग मिला:

मानवता निश्चित रूप से बीबी (6) के मूल्य को कभी नहीं जान सकती है, अकेले बी बी (7) या अनुक्रम में किसी भी उच्च संख्या को जाने दें।

वास्तव में, पहले से ही शीर्ष पांच और छह-नियम के दावेदार हमें बाहर निकाल देते हैं: हम यह नहीं समझा सकते हैं कि वे मानवीय संदर्भ में 'काम' कैसे करते हैं। अगर रचनात्मकता उनके डिजाइन की नकल करती है, तो ऐसा इसलिए नहीं है क्योंकि मनुष्य इसे वहां रखते हैं। इसे समझने का एक तरीका यह है कि छोटी-छोटी ट्यूरिंग मशीनें भी गणितीय समस्याओं को गहरा कर सकती हैं। गोल्डबैक के अनुमान को लें, तो यह भी कि प्रत्येक संख्या 4 या उच्चतर दो प्रमुख संख्याओं का योग है: 10 = 7 + 3, 18 = 13 + 5। अनुमान ने 1742 के बाद से सबूत का विरोध किया है। फिर भी हम 100 के साथ एक ट्यूरिंग मशीन को डिजाइन कर सकते हैं, चलो 100 नियम कहते हैं, यह देखने के लिए कि क्या यह दो प्रतियों का योग है, और यह कब और क्या एक प्रतिसाद पाता है, यह देखने के लिए प्रत्येक संख्या का भी परीक्षण करता है। अनुमान। फिर बीबी (100) को जानते हुए, हम सिद्धांत रूप में बीबी (100) चरणों के लिए इस मशीन को चला सकते हैं, यह तय कर सकते हैं कि क्या यह रुकता है, और इस तरह से गोल्डबैक के अनुमान को हल किया जा सकता है।

आरोनसन, स्कॉट। "बिग नंबर को कौन नाम दे सकता है?" बड़ा नंबर कौन ले सकता है? एनपी, एनडी वेब। 25 नवंबर 2016।

मुझे ऐसा लगता है कि लेखक सुझाव दे रहा है कि हम गणना की एक सीमित संख्या में, गोल्डबैक अनुमान को प्रमाणित या नापसंद कर सकते हैं। क्या मुझे कुछ याद आ रही है?


@ ईविल मुझे लगता है कि यह संभव है कि कुछ गणितीय अनुमान अभी भी अनसुलझे हैं क्योंकि उनके प्रस्तावित प्रमाण गणना की परिमित (अभी तक अथाह रूप से बड़ी) संख्या पर निर्भर हैं। मैं सिर्फ यह देखना चाहता था कि गोल्डबैक अनुमान के साथ ऐसा नहीं था।
ओवी

ध्यान रखें कि सभी औपचारिक साक्ष्यों में एक सीमित संख्या के चरण होते हैं, चाहे वे "असीम रूप से कई संख्याओं के बारे में एक बयान" की चिंता करते हों या नहीं। इस काल्पनिक स्थिति में दावा गोल्डबैक के अनुमान को सत्यापित करने (या विरोधाभासी) करने के लिए कितने नंबरों की जांच करनी है, इस पर एक ऊपरी बाध्य "जानने" पर निर्भर करता है।
हार्डमैथ

1
आपका प्रश्न गणितीय प्रमाणों के दिल में जाता है जो आम तौर पर अनंत गुणों को परिमित तार्किक बयानों में बदलने का प्रबंधन करते हैं। "यह कैसे होता है" अभी भी अध्ययन के अधीन है। गणितीय समस्याओं को खोलने के लिए असंदिग्ध समस्याओं के पत्राचार की ओर इशारा करते हुए संकोच, सभी खुले गणितीय अनुमानों के लिए लगभग 1-1 पत्राचार है। (यदि कोई रुचि है तो ups के माध्यम से expr जैसे कुछ समय के जवाब में इसे पका सकते हैं)। कंप्यूटर विज्ञान चैट और मेरे ब्लॉग आदि में भी अधिक चर्चा
vzn

जवाबों:


10

बयान असीम रूप से कई नंबरों के बारे में है , लेकिन इसके प्रदर्शन (या खंडन) को एक परिमित अभ्यास होना चाहिए। अगर संभव हो तो।

आश्चर्य (झूठी) धारणा से हो सकता है कि बीबी (100) को ढूंढना एक "सैद्धांतिक रूप से आसान" समस्या होगी, केवल व्यावहारिक कारणों से असंभव बना दिया - चूंकि बहुत सारी मशीनें हैं, और वे रोकने से पहले इतने लंबे समय तक चल सकते हैं , अगर बिल्कुल - आखिरकार, वे सिर्फ मशीन हैं ...

सच्चाई यह है कि सैद्धांतिक रूप से व्यावहारिक और व्यावहारिक दोनों कारणों से बीबी (एन) की खोज करना, पर्याप्त रूप से बड़े पैमाने पर, एक अचूक कार्य होना चाहिए ।


2
हम्म तो मुझे यह सुनिश्चित करने दें कि मैं इसे समझूं। BB (n) "चरणों" की संख्या को मापता है जिसे कोड की 100 "लाइनों" में लिया जा सकता है (उन कार्यक्रमों के लिए जो रुकते नहीं हैं)। अगर हम एक प्रोग्राम 100 लाइनों या उससे कम का बना सकते हैं जो प्रत्येक समान संख्या की जांच करता है, और यह बीबी (100) चरणों में नहीं रुकता है, तो यह कभी नहीं रुकता है, जिससे अनुमान सही साबित होता है?
ओवी

3
@ ओवी बिलकुल नहीं। चरण हैं, जो "के साथ एक कार्यक्रम का अधिक से अधिक संभावित है कोड की लाइनों", के लिए चल सकता है या यह करता पड़ाव। लेकिन आपकी बाकी टिप्पणी बिल्कुल सही है। एनबीबी(n)n
डेविड रिचेर्बी

2
nबीबी(n)बीबी(n)

9

लेखक का विचार यह था कि आप 100 लाइनों (किसी भी निश्चित परिमित संख्या) में एक कार्यक्रम लिख सकते हैं जो निम्न कार्य करता है: संख्या x लेता है, परीक्षण अनुमान करता है। अगर सच नहीं है तो अगले नंबर पर रुकना जारी रखें।

व्यस्त बीवर नंबर को जानकर आप इस मशीन को उस संख्या के चरणों के लिए अनुकरण कर सकते हैं और फिर तय कर सकते हैं कि यह रुकता है या नहीं। ऊपर से, अगर यह रुका हुआ है - अनुमान सही नहीं है, अगर यह रुकता नहीं है - अनुमान सत्य है।


2
"अगर यह रुकता नहीं है - अनुमान सत्य है", क्योंकि मशीन बीबी (100) से अधिक चरणों के चलने के बाद कभी नहीं रुकेगी।
अल्बर्ट हेंड्रिक्स

7

आरोनसन ने हाल ही में येडिडिया के साथ काम करते हुए इस संगीत / विचार पर विस्तार से बताया है। [१] वे गोल्डबैक्स अनुमान के लिए एक स्पष्ट 4888 राज्य मशीन पाते हैं। आप कागज को यह देखने के लिए पढ़ सकते हैं कि इसका निर्माण कैसे किया गया था। टीएम का निर्माण शायद ही कभी किया जाता है लेकिन जो उच्च स्तरीय भाषाओं के आधार पर संकलक की तरह होते हैं और संकलक कई राज्यों को जोड़ते हैं। एक "हाथ से निर्मित" टीएम आसानी से 100 से कम या 100 से कम राज्यों के आदेश की मात्रा का उपयोग कर सकता है। दूसरे शब्दों में इस पेपर में वास्तव में राज्यों के # को कम से कम करने की कोशिश करने का प्रयास नहीं था। । सामान्य विचार ध्वनि है और कंप्यूटर वैज्ञानिक आमतौर पर सटीक स्थिरांक के बारे में चिंतित नहीं होते हैं।

इस सामान्य सिद्धांत को दो उत्कृष्ट पत्रों में कैलेड्स ([1] द्वारा उद्धृत) द्वारा उल्लिखित किया गया है, जो इस क्षेत्र के कुछ लंबे-लोकगीत प्रमेयों को प्रस्तुत करते हैं और जिन्हें अन्य लेखकों (जैसे मिशेल) द्वारा नोट किया गया है। [२] 3] मूल रूप से किसी भी खुली गणितीय समस्या को अनिर्दिष्ट समस्याओं में बदला जा सकता है। इसका कारण यह है कि अधिकांश गणितीय समस्याओं में काउंटरटेम्पल के लिए अनंत संख्या में मामलों की खोज शामिल है और काउंटरटेक्मेंस एल्गोरिथम रूप से जांचने योग्य हैं (लेकिन शायद अक्षम या बड़े टीएम आदि की आवश्यकता होती है)।

इसके अलावा, "बहुत छोटे" टीएम (# राज्यों में गिने जाते हैं) गणित की बहुत जटिल समस्याओं की बराबर / जाँच कर सकते हैं। उदाहरण के लिए, टीएम के लिए कोलेजन अनुमान को हल करने के लिए एक मोटे अनुमान में कुछ दर्जन राज्य होंगे।

इसलिए अनिर्णयता और एनपी पूर्णता के बीच एक दिलचस्प संबंध / समानता है। एनपी कुशलता से जांचने योग्य समस्याओं की श्रेणी है, अर्थात P समय में उदाहरणों की जाँच की जा सकती है। अविवेकी समस्याएं उन सभी समस्याओं का वर्ग हैं जो दक्षता पर कोई सीमा नहीं होने के साथ काउंटरटेक्मेन्स के लिए एल्गोरिदमिक जांच की अनुमति देती हैं।

यहाँ व्यस्त बीवर समस्या के साथ संबंध को समझने का एक मूल तरीका है। ट्यूरिंग कम्प्यूटेबिलिटी / तुल्यता के कारण सभी अनिर्दिष्ट समस्याएं समतुल्य हैं। P समय (कटौती) में सभी NP पूर्ण समस्याओं को एक दूसरे में परिवर्तित किया जा सकता है, ट्यूरिंग पूर्णता और गणना योग्य कटौती (जो मनमाना समय ले सकती है) के कारण सभी अनिर्दिष्ट समस्याएं समान हैं। इसलिए व्यस्त बीवर समस्या इस अर्थ में रुकने की समस्या के बराबर है, और यदि कोई व्यस्त बीवर को हल कर सकता है, तो व्यक्ति सभी गणितीय प्रश्नों को हल कर सकता है।

[१] एक अपेक्षाकृत छोटा टीएम जिसका व्यवहार सेट सिद्धांत / येडिडिया, आरोनसन से स्वतंत्र है

[२] गणितीय समस्याओं की जटिलता का मूल्यांकन: भाग १ / कैलूड

[३] गणितीय समस्याओं की जटिलता का मूल्यांकन: भाग २ / कैलूड




1
  1. इस तरह के टीएम प्रोग्राम द्वारा गोल्डबैक अनुमान को गलत ठहराया जा सकता है (यदि वास्तव में गलत है); यह इस तरह से सही साबित नहीं किया जा सकता है (एक व्यावहारिक गणितज्ञ, हालांकि, ऐसा कर सकता है)।

  2. बीबी (27) को जानने से कुछ समय में गोल्डबैक की खोज बंद हो जाएगी; फिर भी बीबी (27) (या चैतीन का ओमेगा (27)) को पहले यह जानना होगा कि गोल्डबैक टीएम अंततः बंद हो जाता है, या नहीं।

इसलिए यह कहना भ्रामक है कि "बीबी (27) में गोल्डबैक का जवाब शामिल है"। हालाँकि, यह इस बिंदु पर अधिक है: "गोल्डबैक (और कई अन्य) संख्या बी बी (27) के लिए पूर्वापेक्षाएँ हैं", दूसरे शब्दों में "बीबी-फ़ंक्शन" जैसी कोई चीज नहीं है जो आप 27 को चुनौती देते हैं। बस सभी 27 राज्य मशीनों, इंकल चलाएं। गोल्डबैक, और इस तथ्य के बाद ही बीबी (27) देखें। और, एक व्यावहारिक पीओवी से, यहां तक ​​कि बीबी (6) मायावी लगता है।


0

मुझे लगता है कि साक्ष्यों के संदर्भ में यदि हम आरोनसन की बात को शांत करते हैं तो यह कम रहस्यमयी लगता है:

सीसीसीसी

सीसीnबीबी(n)सी=हे(बीबी(n))

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.