अनुमान (कंजेक्चर): Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 15: Line 15:
[[File:Map of United States vivid colors shown.png|thumb|संयुक्त राज्य अमेरिका के राज्यों के मानचित्र का एक चार-रंग (झीलों की उपेक्षा)।]]गणित में, [[चार रंग प्रमेय|चा]][[चार रंग प्रमेय|र रंग प्रमेय]], या चार रंग मानचित्र (मैप) प्रमेय, यह बताता है कि एक समतल के निकटवर्ती क्षेत्रों में किसी भी विभाजन को देखते हुए, मानचित्र नामक एक आकृति का उत्पादन होता है, मानचित्र के क्षेत्रों को रंगने के लिए चार से अधिक रंगों की आवश्यकता नहीं होती है - इसलिए कि किन्हीं भी दो निकटवर्ती क्षेत्रों का रंग एक जैसा नहीं है। दो क्षेत्रों को आसन्न कहा जाता है यदि वे एक सामान्य सीमा साझा करते हैं, जो एक किनारा नहीं है, जहां तीन किनारे या अधिक क्षेत्रों द्वारा साझा किए गए बिंदु हैं।<ref>{{cite journal |title=औपचारिक प्रमाण—चार रंग प्रमेय|author-link=Georges Gonthier|author=Georges Gonthier |journal=Notices of the AMS |volume=55 |issue=11 |date=December 2008 |pages=1382–1393|quote=इस पत्र से: परिभाषाएँ: एक प्लानर मैप, प्लेन के जोड़ीदार असंयुक्त सबसेट का एक सेट है, जिसे क्षेत्र कहा जाता है। एक साधारण नक्शा वह होता है जिसके क्षेत्र खुले सेट से जुड़े होते हैं। मानचित्र के दो क्षेत्र आसन्न होते हैं यदि उनके संबंधित क्लोजर में एक सामान्य बिंदु होता है जो मानचित्र का कोना नहीं होता है। एक बिंदु मानचित्र का एक कोना है अगर और केवल अगर यह कम से कम तीन क्षेत्रों के बंद होने से संबंधित है। प्रमेय: किसी भी साधारण तलीय मानचित्र के क्षेत्रों को केवल चार रंगों से रंगा जा सकता है, इस तरह कि किन्हीं दो आसन्न क्षेत्रों के अलग-अलग रंग होते हैं।}}</ref> उदाहरण के लिए, संयुक्त राज्य अमेरिका के मानचित्र में, यूटा और एरिजोना आसन्न हैं, लेकिन यूटा और न्यू मैक्सिको, जो केवल एरिजोना और कोलोराडो से संबंधित बिंदु साझा नहीं करते हैं।
[[File:Map of United States vivid colors shown.png|thumb|संयुक्त राज्य अमेरिका के राज्यों के मानचित्र का एक चार-रंग (झीलों की उपेक्षा)।]]गणित में, [[चार रंग प्रमेय|चा]][[चार रंग प्रमेय|र रंग प्रमेय]], या चार रंग मानचित्र (मैप) प्रमेय, यह बताता है कि एक समतल के निकटवर्ती क्षेत्रों में किसी भी विभाजन को देखते हुए, मानचित्र नामक एक आकृति का उत्पादन होता है, मानचित्र के क्षेत्रों को रंगने के लिए चार से अधिक रंगों की आवश्यकता नहीं होती है - इसलिए कि किन्हीं भी दो निकटवर्ती क्षेत्रों का रंग एक जैसा नहीं है। दो क्षेत्रों को आसन्न कहा जाता है यदि वे एक सामान्य सीमा साझा करते हैं, जो एक किनारा नहीं है, जहां तीन किनारे या अधिक क्षेत्रों द्वारा साझा किए गए बिंदु हैं।<ref>{{cite journal |title=औपचारिक प्रमाण—चार रंग प्रमेय|author-link=Georges Gonthier|author=Georges Gonthier |journal=Notices of the AMS |volume=55 |issue=11 |date=December 2008 |pages=1382–1393|quote=इस पत्र से: परिभाषाएँ: एक प्लानर मैप, प्लेन के जोड़ीदार असंयुक्त सबसेट का एक सेट है, जिसे क्षेत्र कहा जाता है। एक साधारण नक्शा वह होता है जिसके क्षेत्र खुले सेट से जुड़े होते हैं। मानचित्र के दो क्षेत्र आसन्न होते हैं यदि उनके संबंधित क्लोजर में एक सामान्य बिंदु होता है जो मानचित्र का कोना नहीं होता है। एक बिंदु मानचित्र का एक कोना है अगर और केवल अगर यह कम से कम तीन क्षेत्रों के बंद होने से संबंधित है। प्रमेय: किसी भी साधारण तलीय मानचित्र के क्षेत्रों को केवल चार रंगों से रंगा जा सकता है, इस तरह कि किन्हीं दो आसन्न क्षेत्रों के अलग-अलग रंग होते हैं।}}</ref> उदाहरण के लिए, संयुक्त राज्य अमेरिका के मानचित्र में, यूटा और एरिजोना आसन्न हैं, लेकिन यूटा और न्यू मैक्सिको, जो केवल एरिजोना और कोलोराडो से संबंधित बिंदु साझा नहीं करते हैं।


'''अगस्त फर्डिनेंड मो'''बियस | मोबियस ने 1840 की शुरुआत में अपने व्याख्यानों में इस समस्या का उल्लेख किया।<ref name="rouse_ball_1960">डब्ल्यू. डब्ल्यू. राउज़ बॉल (1960) द फोर कलर थ्योरम, इन मैथेमेटिकल रिक्रिएशन एंड एसेज, मैकमिलन, न्यूयॉर्क, पीपी 222-232।</ref> यह अनुमान पहली बार 23 अक्टूबर, 1852 को प्रस्तावित किया गया था। रेफरी नाम=मैकेंजी>डोनाल्ड मैकेंजी, मैकेनाइजिंग प्रूफ: कम्प्यूटिंग, रिस्क, एंड ट्रस्ट (एमआईटी प्रेस, 2004) पृष्ठ 103</रेफ> जब [[फ्रांसिस गुथरी]] ने इंग्लैंड की काउंटियों के मानचित्र को रंगने की कोशिश करते हुए देखा कि केवल चार अलग-अलग रंग थे आवश्यकता है। [[पांच रंग प्रमेय]], जिसका एक संक्षिप्त प्रारंभिक प्रमाण है, कहता है कि पांच रंग एक मानचित्र को रंगने के लिए पर्याप्त हैं और 19वीं शताब्दी के अंत में सिद्ध हो गए थे; रेफरी>{{Cite journal|last=Heawood|first=P. J.|date=1890|title=मानचित्र-रंग प्रमेय|journal=Quarterly Journal of Mathematics|location=Oxford|volume=24|pages=332–338}}</ref> हालांकि, यह साबित करना कि पर्याप्त चार रंग काफी कठिन निकले। 1852 में चार रंग [[प्रमेय]] के पहले बयान के बाद से कई झूठे प्रमाण और झूठे [[प्रति उदाहरण]] सामने आए हैं।
मोबियस ने 1840 के प्रारम्भ में ही अपने व्याख्यानों(lectures) में इस समस्या का उल्लेख किया था।<ref name="rouse_ball_1960">डब्ल्यू. डब्ल्यू. राउज़ बॉल (1960) द फोर कलर थ्योरम, इन मैथेमेटिकल रिक्रिएशन एंड एसेज, मैकमिलन, न्यूयॉर्क, पीपी 222-232।</ref> अनुमान पहली बार 23 अक्टूबर, 1852 को प्रस्तावित किया गया था। रेफरी नाम=मैकेंजी>डोनाल्ड मैकेंजी, मैकेनाइजिंग प्रूफ: कम्प्यूटिंग, रिस्क, एंड ट्रस्ट (एमआईटी प्रेस, 2004) पृष्ठ 103</रेफ> जब [[फ्रांसिस गुथरी]] ने इंग्लैंड के काउंटियों के मानचित्र को रंगने की कोशिश करते हुए देखा कि केवल चार अलग-अलग रंगों की आवश्यकता थी। [[पांच रंग प्रमेय]], जिसका एक छोटा प्रारंभिक प्रमाण यह कहता है, कि पांच रंग एक मानचित्र को रंगने के लिए पर्याप्त हैं और 19वीं शताब्दी के अंत में सिद्ध हो गया था। रेफरी>{{Cite journal|last=Heawood|first=P. J.|date=1890|title=मानचित्र-रंग प्रमेय|journal=Quarterly Journal of Mathematics|location=Oxford|volume=24|pages=332–338}}<nowiki></ref></nowiki> हालांकि, यह सिद्ध करना कि चार रंग ही पर्याप्त हैं, बहुत जटिल निकला था। लेकिन 1852 में चार रंग [[प्रमेय]] के पहले कथन के बाद से कई गतल प्रमाण और गलत [[प्रति उदाहरण]] सामने आए हैं।


चार रंगों वाली प्रमेय अंततः 1976 में [[केनेथ एपल]] और [[वोल्फगैंग हेकेन]] द्वारा सिद्ध की गई थी। यह कंप्यूटर-सहायता प्रमाण होने वाला पहला प्रमुख प्रमेय था # प्रमेय कंप्यूटर प्रोग्राम की मदद से सिद्ध हुआ। एपेल और हेकेन का दृष्टिकोण यह दिखाते हुए शुरू हुआ कि 1,936 नक्शों का एक विशेष सेट है, जिनमें से प्रत्येक चार रंग प्रमेय के लिए एक छोटे आकार के प्रति उदाहरण का हिस्सा नहीं हो सकता है (यानी, यदि वे प्रकट होते हैं, तो कोई एक छोटा प्रति-उदाहरण बना सकता है) ). Appel और Haken ने एक विशेष प्रयोजन के कंप्यूटर प्रोग्राम का उपयोग यह पुष्टि करने के लिए किया कि इनमें से प्रत्येक नक्शे में यह संपत्ति थी। इसके अतिरिक्त, कोई नक्शा जो संभावित रूप से एक प्रति उदाहरण हो सकता है, उसमें एक भाग होना चाहिए जो इन 1,936 मानचित्रों में से एक जैसा दिखता है। हाथों के विश्लेषण के सैकड़ों पृष्ठों के साथ इसे दिखाते हुए, एपेल और हेकेन ने निष्कर्ष निकाला कि कोई भी सबसे छोटा प्रति उदाहरण मौजूद नहीं है क्योंकि किसी में भी इन 1,936 मानचित्रों में से एक होना चाहिए, फिर भी शामिल नहीं है। इस विरोधाभास का मतलब है कि कोई भी प्रति उदाहरण नहीं है और इसलिए प्रमेय सत्य है। प्रारंभ में, उनके प्रमाण को गणितज्ञों द्वारा बिल्कुल भी स्वीकार नहीं किया गया था क्योंकि कंप्यूटर-सहायता प्राप्त प्रमाण मानव द्वारा हाथ से जांचना संभव नहीं था। रेफरी>{{Cite journal|last=Swart|first=E. R.|date=1980|title=चार रंगों की समस्या के दार्शनिक निहितार्थ|journal=The American Mathematical Monthly|volume=87|issue=9|pages=697–702|doi=10.2307/2321855|issn=0002-9890|jstor=2321855}}</ रेफ> हालांकि, सबूत तब से व्यापक स्वीकृति प्राप्त कर चुका है, हालांकि संदेह अभी भी बना हुआ है। रेफरी>{{Cite book|title=चार रंग पर्याप्त हैं: मानचित्र की समस्या को कैसे हल किया गया|last=Wilson|first=Robin|publisher=Princeton University Press|year=2014|isbn=9780691158228|edition=Revised color|location=Princeton, New Jersey|pages=216–222|oclc=847985591}}</रेफरी>
चार रंगों वाली प्रमेय अंततः 1976 में [[केनेथ एपल]] और [[वोल्फगैंग हेकेन]] द्वारा सिद्ध की गई थी। कंप्यूटर का उपयोग करके सिद्ध किया जाने वाला यह पहला प्रमुख प्रमेय था। एपेल और हेकेन का दृष्टिकोण यह दिखाते हुए प्रारम्भ हुआ कि 1,936 का मानचित्र एक विशेष संग्रह है, जिनमें से प्रत्येक चार रंग प्रमेय के लिए एक छोटे आकार के प्रति उदाहरण का भाग(part) नहीं हो सकता है (अर्थात, यदि वे प्रकट होते हैं, तो कोई एक छोटा प्रति-उदाहरण बना सकता है) एपेल और हेकेन ने एक विशेष प्रयोजन के कंप्यूटर प्रोग्राम का उपयोग यह पुष्टि करने के लिए किया।, कि इनमें से प्रत्येक मानचित्र में यह अधिकार था। तथा इसके अतिरिक्त, कोई मानचित्र जो संभावित रूप से एक प्रति उदाहरण हो सकता है, उसमें एक भाग होना चाहिए।, जो इन 1,936 मानचित्रों में से एक जैसा दिखता है। हाथों के विश्लेषण के सैकड़ों पृष्ठों के साथ इसे दिखाते हुए, एपेल और हेकेन ने निष्कर्ष निकाला कि कोई भी सबसे छोटा प्रति उदाहरण उपस्थित नहीं है क्योंकि किसी में भी इन 1,936 मानचित्रों में से एक होना चाहिए, फिर भी सम्मिलित नहीं है। इस विरोधाभास का अर्थ यह है कि कोई भी प्रति उदाहरण नहीं है और इसलिए प्रमेय सत्य है। प्रारंभ में, उनके प्रमाण को गणितज्ञों द्वारा बिल्कुल भी स्वीकार नहीं किया गया था।, क्योंकि कंप्यूटर-सहायता प्राप्त प्रमाण मानव द्वारा हाथ से जांचना संभव नहीं थी। रेफरी>{{Cite journal|last=Swart|first=E. R.|date=1980|title=चार रंगों की समस्या के दार्शनिक निहितार्थ|journal=The American Mathematical Monthly|volume=87|issue=9|pages=697–702|doi=10.2307/2321855|issn=0002-9890|jstor=2321855}}</ रेफ> हालाँकि, तब से प्रमाण को व्यापक स्वीकृति मिल गई है, यद्यपि संदेह अभी भी बना हुआ है। रेफरी>{{Cite book|title=चार रंग पर्याप्त हैं: मानचित्र की समस्या को कैसे हल किया गया|last=Wilson|first=Robin|publisher=Princeton University Press|year=2014|isbn=9780691158228|edition=Revised color|location=Princeton, New Jersey|pages=216–222|oclc=847985591}}</रेफरी>


=== मुख्य अनुमान ===
=== मुख्य अनुमान ===
{{main|Hauptvermutung}}
{{main|मुख्य अनुमान}}
[[ज्यामितीय टोपोलॉजी]] का हाउप्टवर्मुटुंग ([[मुख्य अनुमान]] के लिए जर्मन) यह अनुमान है कि [[त्रिकोणीय स्थान]] के किसी भी दो त्रिभुज (टोपोलॉजी) में एक सामान्य शोधन होता है, एक एकल त्रिभुज जो उन दोनों का एक उपखंड है। यह मूल रूप से 1908 में [[अर्नेस्ट स्टीनिट्ज़]] और [[हेनरिक फ्रांज फ्रेडरिक टिट्ज़]] द्वारा तैयार किया गया था।<ref>{{Cite web|url=https://www.maths.ed.ac.uk/~v1ranick/haupt/|title=त्रिभुज और मुख्य अनुमान|website=www.maths.ed.ac.uk|access-date=2019-11-12}}</ref>
[[ज्यामितीय टोपोलॉजी]] का मुख्य अनुमान ([[मुख्य अनुमान]] के लिए जर्मन) यह अनुमान है कि [[त्रिकोणीय स्थान]] के किन्हीं भी दो त्रिभुजों में एक सामान्य शोधन होता है, तो एकल त्रिभुज जो उन दोनों का एक उपखण्ड है। वह मूल रूप से 1908 में [[अर्नेस्ट स्टीनिट्ज़]] और [[हेनरिक फ्रांज फ्रेडरिक टिट्ज़]] द्वारा तैयार किया गया था।<ref>{{Cite web|url=https://www.maths.ed.ac.uk/~v1ranick/haupt/|title=त्रिभुज और मुख्य अनुमान|website=www.maths.ed.ac.uk|access-date=2019-11-12}}</ref>
यह अनुमान अब झूठा माना जाता है। गैर-कई गुना संस्करण [[जॉन मिल्नोर]] द्वारा अस्वीकृत किया गया था<ref>{{Cite journal|first=John W.|last= Milnor |title=दो कॉम्प्लेक्स जो होमोमॉर्फिक हैं लेकिन कॉम्बीनेटरियल रूप से अलग हैं|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 and 3}} टिबोर राडो और एडविन ई. मूसा द्वारा प्रदान किए गए थे<ref>{{cite book | last = Moise | first = Edwin E. | title = आयाम 2 और 3 में ज्यामितीय टोपोलॉजी| publisher = New York : Springer-Verlag | location = New York | year = 1977 | isbn = 978-0-387-90220-3 }}</ref> क्रमशः 1920 और 1950 के दशक में।
यह अनुमान अब गलत माना जाता है। गैर-कई गुना संस्करण को 1961 में [[जॉन मिल्नोर]]<ref>{{Cite journal|first=John W.|last= Milnor |title=दो कॉम्प्लेक्स जो होमोमॉर्फिक हैं लेकिन कॉम्बीनेटरियल रूप से अलग हैं|journal= [[Annals of Mathematics]]|volume=74|year=1961|issue= 2 |pages=575&ndash;590|mr=133127|doi=10.2307/1970299|jstor=1970299}}</ref> द्वारा [[विश्लेषणात्मक मरोड़|विश्लेषणात्मक आघूर्ण बल]] का उपयोग करके अस्वीकृत कर दिया गया था।
 
बहुआयामी(manifold) संस्करण [[आयाम]] m ≤ 3 में सत्य है। इस स्थिति मे m = 2 और 3 क्रमशः 1920 और 1950 के दशक में टिबोर राडो और एडविन ई मोइज़ द्वारा सिद्ध किए गए थे।<ref>{{cite book | last = Moise | first = Edwin E. | title = आयाम 2 और 3 में ज्यामितीय टोपोलॉजी| publisher = New York : Springer-Verlag | location = New York | year = 1977 | isbn = 978-0-387-90220-3 }}</ref>


=== वील अनुमान ===
=== वील अनुमान ===
{{main|Weil conjectures}}
{{main|वील अनुमान}}
गणित में, वेइल अनुमान कुछ अत्यधिक प्रभावशाली प्रस्ताव थे {{harvs|txt|authorlink=André Weil|first=André |last=Weil|year=1949}} [[परिमित क्षेत्र]]ों पर बीजगणितीय विविधता पर अंकों की संख्या की गणना से प्राप्त [[जनरेटिंग फ़ंक्शन]] (स्थानीय जीटा-फ़ंक्शंस के रूप में जाना जाता है) पर।
 
'''गणित में, वेइ'''ल अनुमान कुछ अत्यधिक प्रभावशाली प्रस्ताव थे {{harvs|txt|authorlink=André Weil|first=André |last=Weil|year=1949}} [[परिमित क्षेत्र]]ों पर बीजगणितीय विविधता पर अंकों की संख्या की गणना से प्राप्त [[जनरेटिंग फ़ंक्शन]] (स्थानीय जीटा-फ़ंक्शंस के रूप में जाना जाता है) पर।


क्यू तत्वों के साथ एक परिमित क्षेत्र पर एक किस्म वी में परिमेय बिंदुओं की एक परिमित संख्या होती है, साथ ही क्यू के साथ हर परिमित क्षेत्र पर अंक होते हैं।<sup>k</sup> उस फ़ील्ड वाले तत्व। जनरेटिंग फ़ंक्शन में संख्या N से प्राप्त गुणांक होते हैं<sub>''k''</sub> क्यू के साथ (अनिवार्य रूप से अद्वितीय) फ़ील्ड पर अंक<sup>कश्मीर</sup> तत्व।
क्यू तत्वों के साथ एक परिमित क्षेत्र पर एक किस्म वी में परिमेय बिंदुओं की एक परिमित संख्या होती है, साथ ही क्यू के साथ हर परिमित क्षेत्र पर अंक होते हैं।<sup>k</sup> उस फ़ील्ड वाले तत्व। जनरेटिंग फ़ंक्शन में संख्या N से प्राप्त गुणांक होते हैं<sub>''k''</sub> क्यू के साथ (अनिवार्य रूप से अद्वितीय) फ़ील्ड पर अंक<sup>कश्मीर</sup> तत्व।

Revision as of 20:01, 24 December 2022

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

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

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

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

संख्या सिद्धांत में, फ़र्मेट की अंतिम प्रमेय (कभी-कभी फ़र्मेट का अनुमान कहा जाता है, विशेष रूप से पुराने ग्रंथों में) कहता है कि कोई भी तीन धनात्मक पूर्णांक , और समीकरण को संतुष्ट नहीं कर सकते हैं। तथा दो अधिक के किसी पूर्णांक मान के लिए।

इस प्रमेय को पहली बार 1637 में अंकगणित की एक प्रति के अतिरिक्त राशि में पियरे डी फर्मेट द्वारा अनुमानित किया गया था, जहां उन्होंने दावा किया था कि उनके पास एक प्रमाण है, जो अतिरिक्त राशि में उपयुक्त होने के लिए बहुत बड़ा था।[5]

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

चार रंग प्रमेय

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

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

मोबियस ने 1840 के प्रारम्भ में ही अपने व्याख्यानों(lectures) में इस समस्या का उल्लेख किया था।[8] अनुमान पहली बार 23 अक्टूबर, 1852 को प्रस्तावित किया गया था। रेफरी नाम=मैकेंजी>डोनाल्ड मैकेंजी, मैकेनाइजिंग प्रूफ: कम्प्यूटिंग, रिस्क, एंड ट्रस्ट (एमआईटी प्रेस, 2004) पृष्ठ 103</रेफ> जब फ्रांसिस गुथरी ने इंग्लैंड के काउंटियों के मानचित्र को रंगने की कोशिश करते हुए देखा कि केवल चार अलग-अलग रंगों की आवश्यकता थी। पांच रंग प्रमेय, जिसका एक छोटा प्रारंभिक प्रमाण यह कहता है, कि पांच रंग एक मानचित्र को रंगने के लिए पर्याप्त हैं और 19वीं शताब्दी के अंत में सिद्ध हो गया था। रेफरी>Heawood, P. J. (1890). "मानचित्र-रंग प्रमेय". Quarterly Journal of Mathematics. Oxford. 24: 332–338.</ref> हालांकि, यह सिद्ध करना कि चार रंग ही पर्याप्त हैं, बहुत जटिल निकला था। लेकिन 1852 में चार रंग प्रमेय के पहले कथन के बाद से कई गतल प्रमाण और गलत प्रति उदाहरण सामने आए हैं।

चार रंगों वाली प्रमेय अंततः 1976 में केनेथ एपल और वोल्फगैंग हेकेन द्वारा सिद्ध की गई थी। कंप्यूटर का उपयोग करके सिद्ध किया जाने वाला यह पहला प्रमुख प्रमेय था। एपेल और हेकेन का दृष्टिकोण यह दिखाते हुए प्रारम्भ हुआ कि 1,936 का मानचित्र एक विशेष संग्रह है, जिनमें से प्रत्येक चार रंग प्रमेय के लिए एक छोटे आकार के प्रति उदाहरण का भाग(part) नहीं हो सकता है (अर्थात, यदि वे प्रकट होते हैं, तो कोई एक छोटा प्रति-उदाहरण बना सकता है) एपेल और हेकेन ने एक विशेष प्रयोजन के कंप्यूटर प्रोग्राम का उपयोग यह पुष्टि करने के लिए किया।, कि इनमें से प्रत्येक मानचित्र में यह अधिकार था। तथा इसके अतिरिक्त, कोई मानचित्र जो संभावित रूप से एक प्रति उदाहरण हो सकता है, उसमें एक भाग होना चाहिए।, जो इन 1,936 मानचित्रों में से एक जैसा दिखता है। हाथों के विश्लेषण के सैकड़ों पृष्ठों के साथ इसे दिखाते हुए, एपेल और हेकेन ने निष्कर्ष निकाला कि कोई भी सबसे छोटा प्रति उदाहरण उपस्थित नहीं है क्योंकि किसी में भी इन 1,936 मानचित्रों में से एक होना चाहिए, फिर भी सम्मिलित नहीं है। इस विरोधाभास का अर्थ यह है कि कोई भी प्रति उदाहरण नहीं है और इसलिए प्रमेय सत्य है। प्रारंभ में, उनके प्रमाण को गणितज्ञों द्वारा बिल्कुल भी स्वीकार नहीं किया गया था।, क्योंकि कंप्यूटर-सहायता प्राप्त प्रमाण मानव द्वारा हाथ से जांचना संभव नहीं थी। रेफरी>Swart, E. R. (1980). "चार रंगों की समस्या के दार्शनिक निहितार्थ". The American Mathematical Monthly. 87 (9): 697–702. doi:10.2307/2321855. ISSN 0002-9890. JSTOR 2321855.</ रेफ> हालाँकि, तब से प्रमाण को व्यापक स्वीकृति मिल गई है, यद्यपि संदेह अभी भी बना हुआ है। रेफरी>Wilson, Robin (2014). चार रंग पर्याप्त हैं: मानचित्र की समस्या को कैसे हल किया गया (Revised color ed.). Princeton, New Jersey: Princeton University Press. pp. 216–222. ISBN 9780691158228. OCLC 847985591.</रेफरी>

मुख्य अनुमान

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

यह अनुमान अब गलत माना जाता है। गैर-कई गुना संस्करण को 1961 में जॉन मिल्नोर[10] द्वारा विश्लेषणात्मक आघूर्ण बल का उपयोग करके अस्वीकृत कर दिया गया था।

बहुआयामी(manifold) संस्करण आयाम m ≤ 3 में सत्य है। इस स्थिति मे m = 2 और 3 क्रमशः 1920 और 1950 के दशक में टिबोर राडो और एडविन ई मोइज़ द्वारा सिद्ध किए गए थे।[11]

वील अनुमान

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

क्यू तत्वों के साथ एक परिमित क्षेत्र पर एक किस्म वी में परिमेय बिंदुओं की एक परिमित संख्या होती है, साथ ही क्यू के साथ हर परिमित क्षेत्र पर अंक होते हैं।k उस फ़ील्ड वाले तत्व। जनरेटिंग फ़ंक्शन में संख्या N से प्राप्त गुणांक होते हैंk क्यू के साथ (अनिवार्य रूप से अद्वितीय) फ़ील्ड पर अंककश्मीर तत्व।

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


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

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

Every simply connected, closed 3-manifold is homeomorphic to the 3-sphere.

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

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

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

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

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

गणित में, रीमैन परिकल्पना, द्वारा प्रस्तावित Bernhard Riemann (1859), एक अनुमान है कि Riemann zeta फ़ंक्शन के सभी गैर-तुच्छ रूटों का वास्तविक भाग 1/2 है। नाम का उपयोग कुछ निकट संबंधी अनुरूपताओं के लिए भी किया जाता है, जैसे परिमित क्षेत्रों पर घटता के लिए रीमैन परिकल्पना।

रीमैन परिकल्पना का अर्थ है अभाज्य संख्याओं के वितरण के बारे में परिणाम। उपयुक्त सामान्यीकरणों के साथ, कुछ गणितज्ञ इसे शुद्ध गणित की सबसे महत्वपूर्ण अनसुलझी समस्या मानते हैं।[13] रिमेंन परिकल्पना, गोल्डबैक अनुमान के साथ, डेविड हिल्बर्ट की हिल्बर्ट की समस्याओं की सूची में हिल्बर्ट की आठवीं समस्या का हिस्सा है; यह मिट्टी गणित संस्थान मिलेनियम पुरस्कार समस्याएं में से एक है।

पी बनाम एनपी समस्या

पी बनाम एनपी समस्या कंप्यूटर विज्ञान में अनसुलझी समस्याओं की एक प्रमुख सूची है। अनौपचारिक रूप से, यह पूछता है कि क्या प्रत्येक समस्या जिसका समाधान एक कंप्यूटर द्वारा शीघ्रता से सत्यापित किया जा सकता है, एक कंप्यूटर द्वारा भी शीघ्रता से हल किया जा सकता है; यह व्यापक रूप से अनुमान लगाया जाता है कि उत्तर नहीं है। अनिवार्य रूप से पहली बार 1956 में कर्ट गोडेल द्वारा जॉन वॉन न्यूमैन को लिखे गए पत्र में इसका उल्लेख किया गया था। गोडेल ने पूछा कि क्या एक निश्चित एनपी-पूर्ण समस्या को द्विघात या रैखिक समय में हल किया जा सकता है।[14] पी = एनपी समस्या का सटीक बयान 1971 में स्टीफन कुक ने अपने सेमिनल पेपर प्रमेय साबित करने की प्रक्रियाओं की जटिलता में पेश किया था।[15] और कई लोगों द्वारा इसे क्षेत्र की सबसे महत्वपूर्ण खुली समस्या माना जाता है।[16] क्ले मैथमैटिक्स इंस्टीट्यूट द्वारा चुने गए सात सहस्राब्दी पुरस्कार समस्याओं में से एक यह है कि पहले सही समाधान के लिए यूएस $ 1,000,000 का पुरस्कार दिया जाए।

अन्य अनुमान

  • गोल्डबैक का अनुमान
  • जुड़वां प्रधान अनुमान
  • Collatz अनुमान
  • मैनिन अनुमान
  • मालदासेना अनुमान
  • 18वीं शताब्दी में यूलर द्वारा प्रस्तावित यूलर की शक्तियों का योग, लेकिन जिसके लिए कई प्रतिपादकों के लिए प्रति उदाहरण (n = 4 से शुरू) 20वीं शताब्दी के मध्य में पाए गए
  • दूसरा हार्डी-लिटिलवुड अनुमान | हार्डी-लिटिलवुड अनुमान अभाज्य संख्याओं के वितरण से संबंधित अनुमानों की एक जोड़ी है, जिनमें से पहला पूर्वोक्त जुड़वां प्रधान अनुमान पर विस्तार करता है। न तो कोई सिद्ध हुआ है और न ही असिद्ध, लेकिन यह सिद्ध हो चुका है कि दोनों एक साथ सत्य नहीं हो सकते (यानी, कम से कम एक असत्य होना चाहिए)। यह सिद्ध नहीं हुआ है कि कौन सा गलत है, लेकिन यह व्यापक रूप से माना जाता है कि पहला अनुमान सत्य है और दूसरा असत्य है।[17]
  • लैंगलैंड्स कार्यक्रम[18] 'एकीकृत अनुमान' के इन विचारों का एक दूरगामी जाल है जो गणित के विभिन्न उपक्षेत्रों को जोड़ता है (उदाहरण के लिए संख्या सिद्धांत और लाई समूहों के प्रतिनिधित्व सिद्धांत के बीच)। इनमें से कुछ अनुमान तब से सिद्ध हो चुके हैं।

अनुमानों का समाधान

प्रमाण

औपचारिक गणित सिद्ध सत्य पर आधारित है। गणित में, सार्वभौमिक रूप से परिमाणित अनुमान का समर्थन करने वाले मामलों की संख्या, चाहे वह कितना भी बड़ा क्यों न हो, अनुमान की सत्यता स्थापित करने के लिए अपर्याप्त है, क्योंकि एक एकल प्रति उदाहरण अनुमान को तुरंत नीचे ला सकता है। गणितीय पत्रिकाएं कभी-कभी अनुसंधान टीमों के मामूली परिणामों को प्रकाशित करती हैं, जिन्होंने पहले की तुलना में एक प्रतिउदाहरण के लिए खोज को आगे बढ़ाया है। उदाहरण के लिए, Collatz अनुमान, जो इस बात से संबंधित है कि पूर्णांकों के कुछ अनुक्रम समाप्त होते हैं या नहीं, 1.2 × 10 तक सभी पूर्णांकों के लिए परीक्षण किया गया है।12 (एक ट्रिलियन से अधिक)। हालांकि, व्यापक खोज के बाद एक प्रतिउदाहरण खोजने में विफलता इस बात का प्रमाण नहीं है कि अनुमान सत्य है - क्योंकि अनुमान गलत हो सकता है लेकिन एक बहुत बड़े न्यूनतम प्रति उदाहरण के साथ।

फिर भी, गणितज्ञ अक्सर एक अनुमान को साक्ष्य द्वारा दृढ़ता से समर्थित मानते हैं, हालांकि अभी तक सिद्ध नहीं हुआ है। वह साक्ष्य विभिन्न प्रकार के हो सकते हैं, जैसे कि उसके परिणामों का सत्यापन या ज्ञात परिणामों के साथ मजबूत अंतर्संबंध।[19] एक अनुमान को तभी सिद्ध माना जाता है जब यह दिखाया गया हो कि उसका झूठा होना तार्किक रूप से असंभव है। ऐसा करने के विभिन्न तरीके हैं; अधिक विवरण के लिए गणितीय उपपत्ति#उपपत्ति की विधियाँ देखें।

सबूत की एक विधि, लागू होती है जब मामलों की केवल एक सीमित संख्या होती है जो प्रति-उदाहरण का कारण बन सकती है, थकावट से सबूत के रूप में जाना जाता है: इस दृष्टिकोण में, सभी संभावित मामलों पर विचार किया जाता है और प्रति-उदाहरण नहीं देने के लिए दिखाया जाता है। कुछ अवसरों में, मामलों की संख्या काफी बड़ी होती है, ऐसे में सभी मामलों की जांच के लिए एक क्रूर-बल प्रमाण के लिए एक व्यावहारिक मामले के रूप में कंप्यूटर एल्गोरिदम के उपयोग की आवश्यकता हो सकती है। उदाहरण के लिए, कंप्यूटर द्वारा चार रंग प्रमेय के 1976 और 1997 के क्रूर-बल प्रमाण की वैधता पर शुरू में संदेह किया गया था, लेकिन अंततः 2005 में प्रमेय-सिद्ध सॉफ़्टवेयर द्वारा इसकी पुष्टि की गई।

जब एक अनुमान गणितीय प्रमाण हो गया है, तो यह अब अनुमान नहीं है बल्कि एक प्रमेय है। कई महत्वपूर्ण प्रमेय एक बार अनुमान थे, जैसे कि ज्यामितिकरण अनुमान (जिसने पॉइनकेयर अनुमान को हल किया), फ़र्मेट की अंतिम प्रमेय, और अन्य।

खंडन

प्रतिउदाहरण के माध्यम से अप्रमाणित अनुमानों को कभी-कभी झूठे अनुमानों के रूप में संदर्भित किया जाता है (cf. पोल्या अनुमान और यूलर की शक्तियों का योग अनुमान)। उत्तरार्द्ध के मामले में, एन = 4 मामले के लिए पाया गया पहला प्रति उदाहरण लाखों में शामिल है, हालांकि यह बाद में पाया गया है कि न्यूनतम प्रति उदाहरण वास्तव में छोटा है।

स्वतंत्र अनुमान

हर अनुमान सही या गलत साबित नहीं होता। सातत्य परिकल्पना, जो कुछ अनंत सेटों की सापेक्ष कार्डिनल संख्या का पता लगाने की कोशिश करती है, को अंततः सेट सिद्धांत के ज़र्मेलो-फ्रेंकेल स्वयंसिद्धों के आम तौर पर स्वीकृत सेट से स्वतंत्रता (गणितीय तर्क) के रूप में दिखाया गया था। इसलिए इस कथन को, या इसके निषेध को एक सुसंगत तरीके से एक नए स्वयंसिद्ध के रूप में अपनाना संभव है (जैसा कि यूक्लिड के समानांतर अभिधारणा को ज्यामिति के लिए एक स्वयंसिद्ध प्रणाली में या तो सत्य या असत्य के रूप में लिया जा सकता है)।

इस मामले में, यदि कोई प्रमाण इस कथन का उपयोग करता है, तो शोधकर्ता अक्सर एक नए प्रमाण की तलाश करेंगे, जिसके लिए परिकल्पना की आवश्यकता नहीं है (उसी तरह यह वांछनीय है कि यूक्लिडियन ज्यामिति में बयानों को केवल तटस्थ ज्यामिति के स्वयंसिद्धों का उपयोग करके सिद्ध किया जाए, यानी बिना समानांतर अभिधारणा के)। व्यवहार में इसका एक बड़ा अपवाद पसंद का स्वयंसिद्ध है, क्योंकि अधिकांश शोधकर्ता आमतौर पर चिंता नहीं करते हैं कि परिणाम की आवश्यकता है या नहीं - जब तक कि वे विशेष रूप से इस स्वयंसिद्ध का अध्ययन नहीं कर रहे हों।

सशर्त प्रमाण

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

हालाँकि, ये प्रमाण अलग हो जाएंगे यदि यह पता चला कि परिकल्पना झूठी थी, इसलिए इस प्रकार के अनुमानों की सत्यता या असत्यता को सत्यापित करने में काफी रुचि है।

अन्य विज्ञानों में

कार्ल पॉपर ने विज्ञान के दर्शनशास्त्र में अनुमान शब्द के प्रयोग का बीड़ा उठाया।[20] अनुमान परिकल्पना से संबंधित है, जो विज्ञान में एक परीक्षण योग्य अनुमान को संदर्भित करता है।

यह भी देखें

संदर्भ

  1. "अनुमान की परिभाषा". www.merriam-webster.com (in English). Retrieved 2019-11-12.
  2. अंग्रेजी का ऑक्सफोर्ड डिक्शनरी (2010 ed.).
  3. Schwartz, JL (1995). विशेष और सामान्य के बीच शटलिंग: विज्ञान और गणित में ज्ञान की पीढ़ी में अनुमान और परिकल्पना की भूमिका पर प्रतिबिंब।. p. 93. ISBN 9780195115772.
  4. Weisstein, Eric W. "फर्मेट की अंतिम प्रमेय". mathworld.wolfram.com (in English). Retrieved 2019-11-12.
  5. Ore, Oystein (1988) [1948], Number Theory and Its History, Dover, pp. 203–204, ISBN 978-0-486-65620-5
  6. "Science and Technology". गिनीज बुक ऑफ वर्ल्ड रिकॉर्ड्स. Guinness Publishing Ltd. 1995.
  7. Georges Gonthier (December 2008). "औपचारिक प्रमाण—चार रंग प्रमेय". Notices of the AMS. 55 (11): 1382–1393. इस पत्र से: परिभाषाएँ: एक प्लानर मैप, प्लेन के जोड़ीदार असंयुक्त सबसेट का एक सेट है, जिसे क्षेत्र कहा जाता है। एक साधारण नक्शा वह होता है जिसके क्षेत्र खुले सेट से जुड़े होते हैं। मानचित्र के दो क्षेत्र आसन्न होते हैं यदि उनके संबंधित क्लोजर में एक सामान्य बिंदु होता है जो मानचित्र का कोना नहीं होता है। एक बिंदु मानचित्र का एक कोना है अगर और केवल अगर यह कम से कम तीन क्षेत्रों के बंद होने से संबंधित है। प्रमेय: किसी भी साधारण तलीय मानचित्र के क्षेत्रों को केवल चार रंगों से रंगा जा सकता है, इस तरह कि किन्हीं दो आसन्न क्षेत्रों के अलग-अलग रंग होते हैं।
  8. डब्ल्यू. डब्ल्यू. राउज़ बॉल (1960) द फोर कलर थ्योरम, इन मैथेमेटिकल रिक्रिएशन एंड एसेज, मैकमिलन, न्यूयॉर्क, पीपी 222-232।
  9. "त्रिभुज और मुख्य अनुमान". www.maths.ed.ac.uk. Retrieved 2019-11-12.
  10. Milnor, John W. (1961). "दो कॉम्प्लेक्स जो होमोमॉर्फिक हैं लेकिन कॉम्बीनेटरियल रूप से अलग हैं". Annals of Mathematics. 74 (2): 575–590. doi:10.2307/1970299. JSTOR 1970299. MR 0133127.
  11. Moise, Edwin E. (1977). आयाम 2 और 3 में ज्यामितीय टोपोलॉजी. New York: New York : Springer-Verlag. ISBN 978-0-387-90220-3.
  12. Hamilton, Richard S. (1997). "सकारात्मक आइसोट्रोपिक वक्रता के साथ चार गुना". Communications in Analysis and Geometry. 5 (1): 1–92. doi:10.4310/CAG.1997.v5.n1.a1. MR 1456308. Zbl 0892.53018.
  13. Bombieri, Enrico (2000). "रीमैन परिकल्पना - आधिकारिक समस्या विवरण" (PDF). Clay Mathematics Institute. Retrieved 2019-11-12.
  14. Juris Hartmanis 1989, Gödel, von Neumann, and the P = NP problem, Bulletin of the European Association for Theoretical Computer Science, vol. 38, pp. 101–107
  15. Cook, Stephen (1971). "The complexity of theorem proving procedures". कम्प्यूटिंग के सिद्धांत पर तीसरी वार्षिक एसीएम संगोष्ठी की कार्यवाही. pp. 151–158. doi:10.1145/800157.805047. ISBN 9781450374644. S2CID 7573663.
  16. Lance Fortnow, The status of the P versus NP problem, Communications of the ACM 52 (2009), no. 9, pp. 78–86. doi:10.1145/1562164.1562186
  17. Richards, Ian (1974). "प्राइम्स के संबंध में दो अनुमानों की असंगति पर". Bull. Amer. Math. Soc. 80: 419–438. doi:10.1090/S0002-9904-1974-13434-8.
  18. Langlands, Robert (1967), Letter to Prof. Weil
  19. Franklin, James (2016). "तार्किक संभाव्यता और गणितीय अनुमानों की ताकत" (PDF). Mathematical Intelligencer. 38 (3): 14–19. doi:10.1007/s00283-015-9612-3. S2CID 30291085. Archived (PDF) from the original on 2017-03-09. Retrieved 30 June 2021.
  20. Popper, Karl (2004). अनुमान और खंडन: वैज्ञानिक ज्ञान का विकास. London: Routledge. ISBN 0-415-28594-1.



उद्धृत कार्य


इस पेज में लापता आंतरिक लिंक की सूची

  • अंक शास्त्र
  • फलस्वरूप
  • गणित का इतिहास
  • चार कोनों का स्मारक
  • कंप्यूटर की सहायता से सबूत
  • त्रिकोणासन (टोपोलॉजी)
  • विविध
  • वील अनुमान
  • तर्कसंगत बिंदु
  • स्थानीय जेटा-फ़ंक्शन
  • बीजगणितीय किस्म
  • तर्कसंगत कार्य
  • विशेषता (गणित)
  • होमोटॉपी तुल्यता
  • अभाज्य सँख्या
  • परिमित क्षेत्रों पर वक्रों के लिए रीमैन परिकल्पना
  • एक समारोह की जड़
  • कंप्यूटर विज्ञान में अनसुलझी समस्याओं की सूची
  • मणिन अनुमान
  • झूठ समूह
  • ज्यामितीय अनुमान
  • प्रमेय सिद्ध
  • बुनियादी संख्या
  • निरंतर परिकल्पना
  • विज्ञान का दर्शन

बाहरी संबंध