अनुमान: Difference between revisions

Revision as of 15:50, 11 July 2023

महत्वपूर्ण रेखा Re(s) = 1/2 के साथ रीमैन जीटा फलन का वास्तविक भाग (लाल) और काल्पनिक भाग (नीला)। प्रथम गैर-तुच्छ शून्य Im(s) = ±14.135, ±21.022 और ±25.011 पर देखा जा सकता है। रीमैन परिकल्पना, प्रसिद्ध अनुमान है, जो कहती है कि जीटा फलन के सभी गैर-तुच्छ शून्य महत्वपूर्ण रेखा के साथ स्थित हैं।

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

महत्वपूर्ण उदाहरण

फर्मेट की अंतिम प्रमेय

इस प्रकार से संख्या सिद्धांत में, फ़र्मेट का अंतिम प्रमेय (कभी-कभी फ़र्मेट का अनुमान कहा जाता है, विशेष रूप से प्राचीन ग्रंथों में) कहता है कि कोई तीन धनात्मक संख्या पूर्णांक $a$ , $b$ , और $c$ दो से अधिक $n$ के किसी भी पूर्णांक मान के लिए समीकरण $a^{n}+b^{n}=c^{n}$ को संतुष्ट नहीं कर सकते हैं।

अतः इस प्रमेय को प्रथमतः 1637 में अंकगणित की प्रति के लाभ में पियरे डी फर्मेट द्वारा अनुमान लगाया गया था, जहां उन्होंने अनुरोध किया था कि उनके निकट प्रमाण है जो लाभ में फिट होने के लिए बहुत बड़ा था।^[5] फ़र्मेट की अंतिम प्रमेय का विल्स का प्रमाण 1994 में एंड्रयू विल्स द्वारा जारी किया गया था, और गणितज्ञों के 358 वर्षों के प्रयास के बाद औपचारिक रूप से 1995 में प्रकाशित हुआ था। इस प्रकार से अनसुलझी समस्या ने 19वीं शताब्दी में बीजगणितीय संख्या सिद्धांत के विकास और 20वीं शताब्दी में मॉड्यूलरिटी प्रमेय के प्रमाण को प्रेरित किया था। यह गणित के इतिहास में सबसे उल्लेखनीय प्रमेयों में से है, और इसके प्रमाण से पूर्व यह सबसे जटिल गणितीय समस्याओं के लिए गिनीज बुक ऑफ वर्ल्ड रिकॉर्ड्स में सम्मिलित था।^[6]

चार वर्ण प्रमेय

File:Map of United States vivid colors shown.png

संयुक्त राज्य अमेरिका के राज्यों के प्रतिचित्र का चार-वर्ण (झीलों की उपेक्षा)।

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

अगस्त फर्डिनेंड मोबियस ने 1840 के प्रारम्भ में अपने व्याख्यानों में इस समस्या का उल्लेख किया।^[8] इस प्रकार से यह अनुमान प्रथमतः 23 अक्टूबर, 1852 को प्रस्तावित किया गया था,^[9] जब फ्रांसिस गुथरी ने इंग्लैंड की काउंटियों के प्रतिचित्र को रंगने का प्रयत्न करते हुए देखा कि मात्र चार अलग-अलग वर्णों की आवश्यकता थी। अतः पांच वर्ण प्रमेय, जिसका संक्षिप्त प्रारंभिक प्रमाण है, कहता है कि पांच वर्ण प्रतिचित्र को रंगने के लिए पर्याप्त हैं और 19वीं शताब्दी के अंत में सिद्ध हो गए थे;^[10] यद्यपि, यह सिद्ध करना कि पर्याप्त चार वर्ण अत्यधिक जटिल निकले। 1852 में चार वर्ण प्रमेय के पूर्व कथन के बाद से कई असत्य प्रमाण और असत्य प्रति उदाहरण सामने आए हैं।

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

मुख्य अनुमान

इस प्रकार से ज्यामितीय टोपोलॉजी का मुख्य अनुमान (मुख्य अनुमान के लिए जर्मन) एक ऐसा अनुमान है कि त्रिकोणीय स्थान के किसी भी दो त्रिभुज (टोपोलॉजी) में सामान्य शोधन होता है, एकल त्रिभुज जो उन दोनों का उपखंड है। यह मूल रूप से 1908 में अर्नेस्ट स्टीनिट्ज़ और हेनरिक फ्रांज फ्रेडरिक टिट्ज़ द्वारा तैयार किया गया था।^[13]

इस प्रकार से यह अनुमान अब असत्य माना जाता है। गैर-कई गुना संस्करण जॉन मिल्नोर^[14] ने 1961 में रीडमिस्टर टोर्सन का उपयोग करके अस्वीकृत कर दिया था।

अतः कई गुना संस्करण विमाओं m ≤ 3 में सत्य है। स्थिति m = 2 और 3 को क्रमशः 1920 और 1950 के दशक में टिबोर राडो और एडविन ई. मोइज़ द्वारा सिद्ध किया गया था।^[15]

वील अनुमान

इस प्रकार से गणित में, वेइल अनुमान André Weil (1949) द्वारा परिमित क्षेत्रों पर बीजगणितीय विविधता पर अंकों की संख्या की गणना से प्राप्त जनक फलन (स्थानीय जीटा-फलन के रूप में जाना जाता है) पर कुछ अत्यधिक प्रभावशाली प्रस्ताव थे।

q अवयवों वाले एक परिमित क्षेत्र पर एक प्रकार V तर्कसंगत बिंदुओं की एक सीमित संख्या होती है, साथ ही उस क्षेत्र वाले q^k अवयवों वाले प्रत्येक परिमित क्षेत्र पर बिंदु होते हैं। जनक फलन में q_k अवयवों के साथ संख्या (अनिवार्य रूप से अद्वितीय) क्षेत्र पर बिंदुओं की संख्या N_k से प्राप्त गुणांक होते हैं।

इस प्रकार से वेइल ने अनुमान लगाया कि इस प्रकार के जीटा-फलन तर्कसंगत फलन होने चाहिए, कार्यात्मक समीकरण के रूप को संतुष्ट करना चाहिए, और प्रतिबंधित स्थानों में उनके शून्य होने चाहिए। अतः पूर्व दो भागों को रीमैन जीटा फलन और रीमैन परिकल्पना पर अत्यधिक सचेत रूप से तैयार किया गया था। तर्कसंगतता को डवर्क (1960), कार्यात्मक समीकरण ग्रोथेंडिक (1965), द्वारा सिद्ध किया गया था, और रीमैन परिकल्पना का समधर्मी डेलिग्ने (1974) द्वारा सिद्ध किया गया था।

पोंकारे अनुमान

गणित में, पॉइंकेयर अनुमान 3-क्षेत्र के लक्षण वर्णन (गणित) के विषय में एक प्रमेय है, जो अति क्षेत्र है जो इकाई बॉल को चार-विमीय समष्टि में बांधता है। अनुमान कहता है कि:

प्रत्येक मात्र संयोजित, संवृत 3-कई गुना 3-गोले से होमोमोर्फिक है।

इस प्रकार से अनुमान के समतुल्य रूप में होमोमोर्फिज्म की तुलना में समरूपता का स्थूलतर रूप सम्मिलित होता है जिसे समस्थेयता समतुल्य कहा जाता है: यदि 3-कई गुना समस्थेयता 3-क्षेत्र के बराबर है, तो यह आवश्यक रूप से होमोमोर्फिक है।

अतः मूल रूप से 1904 में हेनरी पोंकारे द्वारा अनुमानित, प्रमेय ऐसे स्थान से संबंधित है जो स्थानीय रूप से सामान्य त्रि-विमीय समष्टि के जैसे दिखता है परन्तु सम्बद्ध है, आकार में परिमित है, और किसी भी सीमा का अभाव है (एक संवृत कई गुना 3-कई गुना)। पोंकारे अनुमान का अनुरोध है कि यदि ऐसे स्थान में अतिरिक्त गुण है कि समष्टि में प्रत्येक पथ (टोपोलॉजी) को बिंदु पर निरंतर दृढ़ीकृत किया जा सकता है, तो यह अनिवार्य रूप से त्रि-विमीय क्षेत्र है। कुछ समय के लिए सामान्यीकृत पोंकारे अनुमान उच्च विमाओं में जाना जाता है।

गणितज्ञों द्वारा लगभग शताब्दी के प्रयास के बाद, त्वरित पेरेलमैन ने 2002 और 2003 में अरक्सीव पर उपलब्ध कराए गए तीन लेखों में अनुमान का प्रमाण प्रस्तुत किया था। इस प्रकार से समस्या को हल करने का प्रयास करने के लिए रिक्की प्रवाह का उपयोग करने के लिए रिचर्ड एस. हैमिल्टन के कार्यक्रम से प्रमाण का पालन किया गया गया था। हैमिल्टन ने बाद में मानक रिक्की प्रवाह का संशोधन प्रस्तुत किया, जिसे सर्जरी के साथ रिक्की प्रवाह कहा जाता है, ताकि नियंत्रित विधि से व्यवस्थित रूप से एकवचन क्षेत्रों को विकसित किया जा सके, परन्तु यह सिद्ध करने में असमर्थ था कि यह विधि तीन विमाओं में परिवर्तित हो गई है।^[16] पेरेलमैन ने प्रमाण के इस भाग को पूर्ण किया। गणितज्ञों के कई समूहों ने सत्यापित किया है कि पेरेलमैन का प्रमाण सत्य है।

इस प्रकार से सिद्ध होने से पूर्व पोंकारे अनुमान, टोपोलॉजी में सबसे महत्वपूर्ण विवृत प्रश्नों में से था।

रीमैन परिकल्पना

अतः गण�

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

@@ Line 21: / Line 21: @@
 इस प्रकार से [[ज्यामितीय टोपोलॉजी]] का मुख्य अनुमान ([[मुख्य अनुमान]] के लिए जर्मन) एक ऐसा अनुमान है कि [[त्रिकोणीय स्थान]] के किसी भी दो त्रिभुज (टोपोलॉजी) में सामान्य शोधन होता है, एकल त्रिभुज जो उन दोनों का उपखंड है। यह मूल रूप से 1908 में [[अर्नेस्ट स्टीनिट्ज़]] और [[हेनरिक फ्रांज फ्रेडरिक टिट्ज़]] द्वारा तैयार किया गया था।<ref>{{Cite web|url=https://www.maths.ed.ac.uk/~v1ranick/haupt/|title=Triangulation and the Hauptvermutung|website=www.maths.ed.ac.uk|access-date=2019-11-12}}</ref>
-इस प्रकार से यह अनुमान अब असत्य माना जाता है। गैर-कई गुना संस्करण [[जॉन मिल्नोर]]<ref>{{Cite journal|first=John W.|last= Milnor |title=Two complexes which are homeomorphic but combinatorially distinct|journal= [[Annals of Mathematics]]|volume=74|year=1961|issue= 2 |pages=575&ndash;590|mr=133127|doi=10.2307/1970299|jstor=1970299}}</ref> ने 1961 में [[विश्लेषणात्मक मरोड़|रीडमिस्टर आघूर्ण बल]] का उपयोग करके अस्वीकृत कर दिया था।
+इस प्रकार से यह अनुमान अब असत्य माना जाता है। गैर-कई गुना संस्करण [[जॉन मिल्नोर]]<ref>{{Cite journal|first=John W.|last= Milnor |title=Two complexes which are homeomorphic but combinatorially distinct|journal= [[Annals of Mathematics]]|volume=74|year=1961|issue= 2 |pages=575&ndash;590|mr=133127|doi=10.2307/1970299|jstor=1970299}}</ref> ने 1961 में [[विश्लेषणात्मक मरोड़|रीडमिस्टर टोर्सन]] का उपयोग करके अस्वीकृत कर दिया था।
 अतः [[कई गुना]] संस्करण [[आयाम|विमाओं]] {{nowrap|1=''m'' ≤ 3}} में सत्य है। स्थिति {{nowrap|1=''m'' = 2 और 3}} को क्रमशः 1920 और 1950 के दशक में टिबोर राडो और एडविन ई. मोइज़ द्वारा सिद्ध किया गया था।<ref>{{cite book | last = Moise | first = Edwin E. | title = Geometric Topology in Dimensions 2 and 3 | publisher = New York : Springer-Verlag | location = New York | year = 1977 | isbn = 978-0-387-90220-3 }}</ref>
@@ Line 30: / Line 30: @@
 इस प्रकार से गणित में, वेइल अनुमान {{harvs|txt|authorlink=André Weil|first=André |last=Weil|year=1949}} द्वारा [[परिमित क्षेत्र|परिमित क्षेत्रों]] पर बीजगणितीय विविधता पर अंकों की संख्या की गणना से प्राप्त [[जनरेटिंग फ़ंक्शन|जनक फलन]] (स्थानीय जीटा-फलन के रूप में जाना जाता है) पर कुछ अत्यधिक प्रभावशाली प्रस्ताव थे।
-q अवयवों वाले एक परिमित क्षेत्र पर एक प्रकार V तर्कसंगत बिंदुओं की एक सीमित संख्या होती है, साथ ही उस क्षेत्र वाले q<sup>k</sup> अवयवों वाले प्रत्येक परिमित क्षेत्र पर बिंदु होते हैं। जनक फलन में q<sub>''k''</sub> अवयवों के साथ संख्या (अनिवार्य रूप से अद्वितीय) क्षेत्र पर बिंदुओं की संख्या ''N<sub>k</sub>'' से प्राप्त गुणांक होते हैं।
+q अवयवों वाले एक परिमित क्षेत्र पर एक प्रकार V तर्कसंगत बिंदुओं की एक सीमित संख्या होती है, साथ ही उस क्षेत्र वाले '''''q<sup>k</sup>''''' अवयवों वाले प्रत्येक परिमित क्षेत्र पर बिंदु होते हैं। जनक फलन में '''q<sub>''k''</sub>''' अवयवों के साथ संख्या (अनिवार्य रूप से अद्वितीय) क्षेत्र पर बिंदुओं की संख्या '''''N<sub>k</sub>''''' से प्राप्त गुणांक होते हैं।
 इस प्रकार से वेइल ने अनुमान लगाया कि इस प्रकार के जीटा-फलन तर्कसंगत फलन होने चाहिए, [[कार्यात्मक समीकरण]] के रूप को संतुष्ट करना चाहिए, और प्रतिबंधित स्थानों में उनके शून्य होने चाहिए। अतः पूर्व दो भागों को [[रीमैन जीटा फ़ंक्शन|रीमैन जीटा फलन]] और रीमैन परिकल्पना पर अत्यधिक सचेत रूप से तैयार किया गया था। तर्कसंगतता को {{harvtxt|डवर्क|1960}}, कार्यात्मक समीकरण {{harvtxt|ग्रोथेंडिक|1965}}, द्वारा सिद्ध किया गया था, और रीमैन परिकल्पना का समधर्मी {{harvtxt|डेलिग्ने|1974}} द्वारा सिद्ध किया गया था।
@@ Line 40: / Line 40: @@
 अतः मूल रूप से 1904 में हेनरी पोंकारे द्वारा अनुमानित, प्रमेय ऐसे स्थान से संबंधित है जो स्थानीय रूप से सामान्य त्रि-विमीय समष्टि के जैसे दिखता है परन्तु सम्बद्ध है, आकार में परिमित है, और किसी भी सीमा का अभाव है (एक [[बंद कई गुना|संवृत कई गुना]] 3-कई गुना)। पोंकारे अनुमान का अनुरोध है कि यदि ऐसे स्थान में अतिरिक्त गुण है कि समष्टि में प्रत्येक [[पथ (टोपोलॉजी)]] को बिंदु पर निरंतर दृढ़ीकृत किया जा सकता है, तो यह अनिवार्य रूप से त्रि-विमीय क्षेत्र है। कुछ समय के लिए सामान्यीकृत पोंकारे अनुमान उच्च विमाओं में जाना जाता है।
-गणितज्ञों द्वारा लगभग शताब्दी के प्रयास के बाद, [[त्वरित पेरेलमैन]] ने 2002 और 2003 में [[arXiv|अरक्सीव]] पर उपलब्ध कराए गए तीन लेखों में अनुमान का प्रमाण प्रस्तुत किया था। इस प्रकार से समस्या को हल करने का प्रयास करने के लिए [[रिक्की प्रवाह]] का उपयोग करने के लिए रिचर्ड एस. हैमिल्टन के कार्यक्रम से प्रमाण का पालन किया गया गया था। हैमिल्टन ने बाद में मानक रिक्की प्रवाह का संशोधन प्रस्तुत किया, जिसे सर्जरी के साथ रिक्की प्रवाह कहा जाता है, ताकि नियंत्रित विधि से व्यवस्थित रूप से एकवचन क्षेत्रों को विकसित किया जा सके, परन्तु यह सिद्ध करने में असमर्थ था कि यह विधि तीन विमाओं में परिवर्तित हो गई है।<ref>{{cite journal | last = Hamilton | first = Richard S. | author-link = Richard S. Hamilton | title = Four-manifolds with positive isotropic curvature | journal = Communications in Analysis and Geometry | volume = 5 | issue = 1 | pages = 1&ndash;92 | year = 1997 | doi =  10.4310/CAG.1997.v5.n1.a1| mr = 1456308 | zbl = 0892.53018| doi-access = free }}</ref> पेरेलमैन ने प्रमाण के इस भाग को पूर्ण किया। गणितज्ञों की कई टीमों ने सत्यापित किया है कि पेरेलमैन का प्रमाण सत्य है।
+गणितज्ञों द्वारा लगभग शताब्दी के प्रयास के बाद, [[त्वरित पेरेलमैन]] ने 2002 और 2003 में [[arXiv|अरक्सीव]] पर उपलब्ध कराए गए तीन लेखों में अनुमान का प्रमाण प्रस्तुत किया था। इस प्रकार से समस्या को हल करने का प्रयास करने के लिए [[रिक्की प्रवाह]] का उपयोग करने के लिए रिचर्ड एस. हैमिल्टन के कार्यक्रम से प्रमाण का पालन किया गया गया था। हैमिल्टन ने बाद में मानक रिक्की प्रवाह का संशोधन प्रस्तुत किया, जिसे सर्जरी के साथ रिक्की प्रवाह कहा जाता है, ताकि नियंत्रित विधि से व्यवस्थित रूप से एकवचन क्षेत्रों को विकसित किया जा सके, परन्तु यह सिद्ध करने में असमर्थ था कि यह विधि तीन विमाओं में परिवर्तित हो गई है।<ref>{{cite journal | last = Hamilton | first = Richard S. | author-link = Richard S. Hamilton | title = Four-manifolds with positive isotropic curvature | journal = Communications in Analysis and Geometry | volume = 5 | issue = 1 | pages = 1&ndash;92 | year = 1997 | doi =  10.4310/CAG.1997.v5.n1.a1| mr = 1456308 | zbl = 0892.53018| doi-access = free }}</ref> पेरेलमैन ने प्रमाण के इस भाग को पूर्ण किया। गणितज्ञों के कई समूहों ने सत्यापित किया है कि पेरेलमैन का प्रमाण सत्य है।
 इस प्रकार से सिद्ध होने से पूर्व पोंकारे अनुमान, [[टोपोलॉजी]] में सबसे महत्वपूर्ण विवृत प्रश्नों में से था।
@@ Line 47: / Line 47: @@
 {{main|रीमैन परिकल्पना}}
-अतः गणित में, {{harvs|txt|first=बर्नहार्ड|last= रीमैन|year=1859|author-link=बर्नहार्ड रीमैन}} द्वारा प्रस्तावित रीमैन परिकल्पना का अनुमान है कि रीमैन जीटा फलन के सभी गैर-तुच्छ शून्यों का [[वास्तविक भाग]] 1/2 है। नाम का उपयोग कुछ निकट संबंधी अनुरूपताओं के लिए भी किया जाता है, जैसे परिमित क्षेत्रों पर घटता के लिए रीमैन परिकल्पना।
+अतः गणित में, {{harvs|txt|first=बर्नहार्ड|last= रीमैन|year=1859|author-link=बर्नहार्ड रीमैन}} द्वारा प्रस्तावित रीमैन परिकल्पना का अनुमान है कि रीमैन जीटा फलन के सभी गैर-तुच्छ शून्यों का [[वास्तविक भाग]] 1/2 है। नाम का उपयोग कुछ निकट संबंधी अनुरूपताओं के लिए भी किया जाता है, जैसे कि परिमित क्षेत्रों पर वक्रों के लिए रीमैन परिकल्पना।
-इस प्रकार से रीमैन परिकल्पना अभाज्य संख्याओं के वितरण के विषय में परिणाम बताती है। उपयुक्त सामान्यीकरणों के साथ, कुछ गणितज्ञ इसे [[शुद्ध गणित]] की सबसे महत्वपूर्ण अनसुलझी समस्या मानते हैं।<ref>{{Cite web|url=http://www.claymath.org/sites/default/files/official_problem_description.pdf|title=The Riemann Hypothesis – official problem description|last=Bombieri|first=Enrico|date=2000|website=Clay Mathematics Institute|access-date=2019-11-12}}</ref> अतः रिमेंन परिकल्पना, [[गोल्डबैक अनुमान]] के साथ, [[डेविड हिल्बर्ट]] की हिल्बर्ट की समस्याओं की सूची में हिल्बर्ट की आठवीं समस्या का भाग है; यह [[मिट्टी गणित संस्थान]] [[मिलेनियम पुरस्कार समस्याएं]] में से है।
+इस प्रकार से रीमैन परिकल्पना अभाज्य संख्याओं के वितरण के विषय में परिणाम बताती है। उपयुक्त सामान्यीकरणों के साथ, कुछ गणितज्ञ इसे [[शुद्ध गणित]] की सबसे महत्वपूर्ण अनसुलझी समस्या मानते हैं।<ref>{{Cite web|url=http://www.claymath.org/sites/default/files/official_problem_description.pdf|title=The Riemann Hypothesis – official problem description|last=Bombieri|first=Enrico|date=2000|website=Clay Mathematics Institute|access-date=2019-11-12}}</ref> अतः रिमेंन परिकल्पना, [[गोल्डबैक अनुमान]] के साथ, [[डेविड हिल्बर्ट]] की हिल्बर्ट की समस्याओं की सूची में हिल्बर्ट की आठवीं समस्या का भाग है; यह [[मिट्टी गणित संस्थान|क्ले मैथमैटिक्स इंस्टीट्यूट]] [[मिलेनियम पुरस्कार समस्याएं]] में से एक है।
 === पी बनाम एनपी समस्या ===
 {{main|पी बनाम एनपी समस्या}}
 इस प्रकार से [[पी बनाम एनपी समस्या]] कंप्यूटर विज्ञान में अनसुलझी समस्याओं की प्रमुख सूची है। अनौपचारिक रूप से, यह पूछता है कि क्या प्रत्येक समस्या जिसका हल कंप्यूटर द्वारा शीघ्रता से सत्यापित किया जा सकता है, कंप्यूटर द्वारा भी शीघ्रता से हल किया जा सकता है; यह व्यापक रूप से अनुमान लगाया जाता है कि उत्तर नहीं है। अनिवार्य रूप से प्रथमतः 1956 में कर्ट गोडेल द्वारा [[जॉन वॉन न्यूमैन]] को लिखे गए लेख में इसका उल्लेख किया गया था। गोडेल ने पूछा कि क्या निश्चित एनपी-पूर्ण समस्या को द्विघात या रैखिक समय में हल किया जा सकता है।<ref>Juris Hartmanis 1989, [http://ecommons.library.cornell.edu/bitstream/1813/6910/1/89-994.pdf Gödel, von Neumann, and the P = NP problem], Bulletin of the
-European Association for Theoretical Computer Science, vol. 38, pp. 101–107</ref> अतः P=NP समस्या का यथार्थ कथन 1971 में [[स्टीफन कुक]] द्वारा अपने मौलिक लेख "प्रमेय सिद्ध करने की प्रक्रियाओं की जटिलता" में प्रस्तुत किया गया था,<ref>{{Cite book|last=Cook|first=Stephen|author-link=Stephen Cook|year=1971|chapter=The complexity of theorem proving procedures|chapter-url=http://portal.acm.org/citation.cfm?coll=GUIDE&dl=GUIDE&id=805047|title=Proceedings of the Third Annual ACM Symposium on Theory of Computing|pages=151–158|doi=10.1145/800157.805047|isbn=9781450374644|s2cid=7573663}}</ref> और कई लोगों द्वारा इसे क्षेत्र में सबसे महत्वपूर्ण विवृत समस्या माना जाता है।<ref>[[Lance Fortnow]], [https://wayback.archive-it.org/all/20110224135332/http://www.cs.uchicago.edu/~fortnow/papers/pnp-cacm.pdf ''The status of the '''P''' versus '''NP''' problem''], Communications of the ACM 52 (2009), no.&nbsp;9, pp.&nbsp;78–86. {{doi|10.1145/1562164.1562186}}</ref> क्ले मैथमैटिक्स इंस्टीट्यूट द्वारा चुने गए सात सहस्राब्दी पुरस्कार समस्याओं में से एक है, जिसके पूर्व सत्य हल के लिए यूएस $ 1,000,000 का पुरस्कार दिया जाएगा।
+European Association for Theoretical Computer Science, vol. 38, pp. 101–107</ref> अतः P=NP समस्या का यथार्थ कथन 1971 में [[स्टीफन कुक]] द्वारा अपने मौलिक लेख "प्रमेय सिद्ध करने की प्रक्रियाओं की जटिलता" में प्रस्तुत किया गया था,<ref>{{Cite book|last=Cook|first=Stephen|author-link=Stephen Cook|year=1971|chapter=The complexity of theorem proving procedures|chapter-url=http://portal.acm.org/citation.cfm?coll=GUIDE&dl=GUIDE&id=805047|title=Proceedings of the Third Annual ACM Symposium on Theory of Computing|pages=151–158|doi=10.1145/800157.805047|isbn=9781450374644|s2cid=7573663}}</ref> और कई लोगों द्वारा इसे क्षेत्र में सबसे महत्वपूर्ण विवृत समस्या माना जाता है।<ref>[[Lance Fortnow]], [https://wayback.archive-it.org/all/20110224135332/http://www.cs.uchicago.edu/~fortnow/papers/pnp-cacm.pdf ''The status of the '''P''' versus '''NP''' problem''], Communications of the ACM 52 (2009), no.&nbsp;9, pp.&nbsp;78–86. {{doi|10.1145/1562164.1562186}}</ref> क्ले मैथमैटिक्स इंस्टीट्यूट द्वारा चुने गए सात मिलेनियम पुरस्कार समस्याओं में से एक है, जिसके पूर्व सत्य हल के लिए यूएस $ 1,000,000 का पुरस्कार दिया जाएगा।
 === अन्य अनुमान ===
 * गोल्डबैक का अनुमान
-* [[जुड़वां प्रधान अनुमान|जुड़वां अभाज्य अनुमान]]
+* [[जुड़वां प्रधान अनुमान|युग्मज अभाज्य अनुमान]]
 * [[Collatz अनुमान|कोल्लात्ज़ अनुमान]]
 * मैनिन अनुमान
 * [[मालदासेना अनुमान]]
 * यूलर अनुमान, 18वीं शताब्दी में यूलर द्वारा प्रस्तावित किया गया था, परन्तु जिसके लिए कई प्रतिपादकों (n = 4 से प्रारम्भ) के प्रति उदाहरण 20वीं शताब्दी के मध्य में पाए गए थे
-* दूसरा हार्डी-लिटिलवुड अनुमान अभाज्य संख्याओं के वितरण से संबंधित अनुमानों के युग्म है, जिनमें से प्रथम पूर्वोक्त जुड़वां अभाज्य अनुमान पर विस्तार करता है। अतः न तो कोई सिद्ध हुआ है और न ही असिद्ध, परन्तु यह सिद्ध हो चुका है कि दोनों साथ सत्य नहीं हो सकते (अर्थात, कम से कम असत्य होना चाहिए)। इस प्रकार से यह सिद्ध नहीं हुआ है कि कौन सा असत्य है, परन्तु यह व्यापक रूप से माना जाता है कि प्रथम अनुमान सत्य है और दूसरा असत्य है।<ref>{{cite journal | first=Ian | last=Richards | title=On the Incompatibility of Two Conjectures Concerning Primes | journal=Bull. Amer. Math. Soc. | volume=80 | pages=419–438 | year=1974 | doi=10.1090/S0002-9904-1974-13434-8 | doi-access=free }}</ref>
+* दूसरा हार्डी-लिटिलवुड अनुमान अभाज्य संख्याओं के वितरण से संबंधित अनुमानों के युग्म है, जिनमें से प्रथम पूर्वोक्त युग्मज अभाज्य अनुमान पर विस्तार करता है। अतः न तो कोई सिद्ध हुआ है और न ही असिद्ध, परन्तु यह सिद्ध हो चुका है कि दोनों साथ सत्य नहीं हो सकते (अर्थात, कम से कम असत्य होना चाहिए)। इस प्रकार से यह सिद्ध नहीं हुआ है कि कौन सा असत्य है, परन्तु यह व्यापक रूप से माना जाता है कि प्रथम अनुमान सत्य है और दूसरा असत्य है।<ref>{{cite journal | first=Ian | last=Richards | title=On the Incompatibility of Two Conjectures Concerning Primes | journal=Bull. Amer. Math. Soc. | volume=80 | pages=419–438 | year=1974 | doi=10.1090/S0002-9904-1974-13434-8 | doi-access=free }}</ref>
 * [[लैंगलैंड्स कार्यक्रम]]<ref>{{citation|last=Langlands|first=Robert|title=Letter to Prof. Weil|year=1967|url=http://publications.ias.edu/rpl/section/21}}</ref> '[[एकीकृत अनुमान]]' के इन विचारों का दूरगामी जाल है जो गणित के विभिन्न उपक्षेत्रों को जोड़ता है (उदाहरण के लिए संख्या सिद्धांत और लाई समूहों के [[प्रतिनिधित्व सिद्धांत]] के बीच)। इनमें से कुछ अनुमान तब से सिद्ध हो चुके हैं।
@@ Line 80: / Line 80: @@
 === खंडन ===
-इस प्रकार से प्रति उदाहरण के माध्यम से अप्रमाणित अनुमानों को कभी-कभी असत्य अनुमानों के रूप में संदर्भित किया जाता है (cf. पोल्या अनुमान और यूलर की घातों के योग अनुमान)। उत्तरार्द्ध की स्थिति में, एन = 4 स्थिति के लिए पाया गया प्रथम प्रति उदाहरण लाखों में सम्मिलित है, यद्यपि यह बाद में पाया गया है कि न्यूनतम प्रति उदाहरण वस्तुतः छोटा है।
+इस प्रकार से प्रति उदाहरण के माध्यम से अप्रमाणित अनुमानों को कभी-कभी असत्य अनुमानों के रूप में संदर्भित किया जाता है ( पोल्या अनुमान और यूलर की घातों के योग अनुमान)। उत्तरार्द्ध की स्थिति में, एन = 4 स्थिति के लिए पाया गया प्रथम प्रति उदाहरण लाखों में सम्मिलित है, यद्यपि यह बाद में पाया गया है कि न्यूनतम प्रति उदाहरण वस्तुतः छोटा है।
 === स्वतंत्र अनुमान ===

Anonymous

Search

अनुमान: Difference between revisions

Namespaces

More

Page actions