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