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

From Vigyanwiki
(Created page with "{{short description|Proposition in mathematics that is unproven}} {{for|text reconstruction|Conjecture (textual criticism)}} File:RiemannCriticalLine.svg|thumb|350px|मह...")
 
No edit summary
 
(13 intermediate revisions by 6 users not shown)
Line 1: Line 1:
{{short description|Proposition in mathematics that is unproven}}
{{short description|Proposition in mathematics that is unproven}}
{{for|text reconstruction|Conjecture (textual criticism)}}
{{for|टेक्स्ट पुनर्निर्माण| अनुमान (शाब्दिक समीक्षा)}}
[[File:RiemannCriticalLine.svg|thumb|350px|महत्वपूर्ण रेखा Re(s) = 1/2 के साथ Riemann zeta फ़ंक्शन का वास्तविक भाग (लाल) और काल्पनिक भाग (नीला)। पहला गैर-तुच्छ शून्य Im(s) = ±14.135, ±21.022 और ±25.011 पर देखा जा सकता है। [[रीमैन परिकल्पना]], एक प्रसिद्ध अनुमान है, जो कहती है कि ज़ेटा फ़ंक्शन के सभी गैर-तुच्छ शून्य महत्वपूर्ण रेखा के साथ स्थित हैं।]]गणित में, एक अनुमान एक [[प्रस्ताव]] का एक परिणाम है जिसे [[औपचारिक प्रमाण]] के बिना अस्थायी आधार पर पसंद किया जाता है।<ref>{{Cite web|url=https://www.merriam-webster.com/dictionary/conjecture|title=अनुमान की परिभाषा|website=www.merriam-webster.com|language=en|access-date=2019-11-12}}</ref><ref>{{cite book|title=अंग्रेजी का ऑक्सफोर्ड डिक्शनरी|edition=2010}}</ref><ref>{{cite book|last1=Schwartz|first1=JL|title=विशेष और सामान्य के बीच शटलिंग: विज्ञान और गणित में ज्ञान की पीढ़ी में अनुमान और परिकल्पना की भूमिका पर प्रतिबिंब।|date=1995|page=93|url=https://books.google.com/books?id=JyKelnvECc4C&q=%22although+counterpoint+between+the+particular+and+the+general%22&pg=PA93|isbn=9780195115772}}</ref> कुछ अनुमान, जैसे कि रीमैन परिकल्पना (अभी भी एक अनुमान) या फ़र्मेट की अंतिम प्रमेय ([[एंड्रयू विल्स]] द्वारा 1995 में सिद्ध किए जाने तक एक अनुमान), ने गणितीय इतिहास को आकार दिया है क्योंकि उन्हें साबित करने के लिए गणित के नए क्षेत्रों का विकास किया गया है।<ref>{{Cite web|url=http://mathworld.wolfram.com/FermatsLastTheorem.html|title=फर्मेट की अंतिम प्रमेय|last=Weisstein|first=Eric W.|website=mathworld.wolfram.com|language=en|access-date=2019-11-12}}</ref>
[[File:RiemannCriticalLine.svg|thumb|350px|महत्वपूर्ण रेखा Re(s) = 1/2 के साथ रीमैन ज़ेटा कारक का वास्तविक भाग (लाल) और काल्पनिक भाग (नीला)। पहला गैर-तुच्छ शून्य Im(s) = ±14.135, ±21.022 और ±25.011 पर देखा जा सकता है। [[रीमैन परिकल्पना]], एक प्रसिद्ध अनुमान है, जो कहती है कि ज़ेटा कारक के सभी गैर-तुच्छ शून्य महत्वपूर्ण रेखा के साथ स्थित हैं।]]'''''गणित में अनुमान (कंजेक्चर/conjecture)''''' एक निष्कर्ष या [[प्रस्ताव]] है, जिसे [[औपचारिक प्रमाण]] के बिना अस्थायी आधार पर प्रस्तुत किया जाता है।<ref>{{Cite web|url=https://www.merriam-webster.com/dictionary/conjecture|title=अनुमान की परिभाषा|website=www.merriam-webster.com|language=en|access-date=2019-11-12}}</ref><ref>{{cite book|title=अंग्रेजी का ऑक्सफोर्ड डिक्शनरी|edition=2010}}</ref><ref>{{cite book|last1=Schwartz|first1=JL|title=विशेष और सामान्य के बीच शटलिंग: विज्ञान और गणित में ज्ञान की पीढ़ी में अनुमान और परिकल्पना की भूमिका पर प्रतिबिंब।|date=1995|page=93|url=https://books.google.com/books?id=JyKelnvECc4C&q=%22although+counterpoint+between+the+particular+and+the+general%22&pg=PA93|isbn=9780195115772}}</ref> कुछ अनुमान, जैसे कि रीमैन परिकल्पना (स्थिर अनुमान) या फ़र्मेट की अंतिम प्रमेय [[एंड्रयू विल्स]] द्वारा 1995 में सिद्ध किए जाने तक एक अनुमान ने गणितीय इतिहास को रचना दिया है, क्योंकि उन्हें सत्यापित करने के लिए गणित के नए क्षेत्रों का विकास किया गया है।<ref>{{Cite web|url=http://mathworld.wolfram.com/FermatsLastTheorem.html|title=फर्मेट की अंतिम प्रमेय|last=Weisstein|first=Eric W.|website=mathworld.wolfram.com|language=en|access-date=2019-11-12}}</ref>
 
 
== महत्वपूर्ण उदाहरण ==
== महत्वपूर्ण उदाहरण ==


=== फर्मेट की अंतिम प्रमेय ===
=== फर्मेट की अंतिम प्रमेय ===
{{main|Fermat's Last Theorem}}
{{main|फर्मेट की अंतिम प्रमेय}}
[[संख्या सिद्धांत]] में, फ़र्मेट का अंतिम प्रमेय (कभी-कभी फ़र्मेट का अनुमान कहा जाता है, विशेष रूप से पुराने ग्रंथों में) कहता है कि कोई तीन [[सकारात्मक संख्या]] [[पूर्णांक]] नहीं <math>a</math>,<math>b</math>, तथा<math>c</math>समीकरण को संतुष्ट कर सकता है<math>a^n + b^n = c^n</math>के किसी भी पूर्णांक मान के लिए<math>n</math>दो से अधिक।
[[संख्या सिद्धांत]] में, फ़र्मेट की अंतिम प्रमेय (कभी-कभी फ़र्मेट का अनुमान कहा जाता है, विशेष रूप से पुराने ग्रंथों में कहा जाता है कि कोई भी तीन [[सकारात्मक संख्या|धनात्मक]] [[पूर्णांक]] <math>a</math>, <math>b</math> और <math>c</math> समीकरण <math>a^n + b^n = c^n</math> को संतुष्ट नहीं कर सकते हैं। तथा दो अधिक <math>n</math> के किसी पूर्णांक मान के लिए।
 
इस प्रमेय को पहली बार 1637 में [[अंकगणित]] की एक प्रति के मार्जिन में [[पियरे डी फर्मेट]] द्वारा अनुमान लगाया गया था, जहां उन्होंने दावा किया था कि उनके पास एक प्रमाण है जो मार्जिन में फिट होने के लिए बहुत बड़ा था।<ref>{{citation|first=Oystein|last=Ore|title=Number Theory and Its History|year=1988|orig-year=1948|publisher=Dover|isbn=978-0-486-65620-5|pages=[https://archive.org/details/numbertheoryitsh0000orey/page/203 203–204]|url=https://archive.org/details/numbertheoryitsh0000orey/page/203}}</ref> फ़र्मेट की अंतिम प्रमेय का विल्स का प्रमाण 1994 में एंड्रयू विल्स द्वारा जारी किया गया था, और गणितज्ञों के 358 वर्षों के प्रयास के बाद औपचारिक रूप से 1995 में प्रकाशित हुआ था। अनसुलझी समस्या ने 19वीं शताब्दी में [[बीजगणितीय संख्या सिद्धांत]] के विकास और 20वीं शताब्दी में [[मॉड्यूलरिटी प्रमेय]] के प्रमाण को प्रेरित किया। यह गणित के इतिहास में सबसे उल्लेखनीय प्रमेयों में से एक है, और इसके प्रमाण से पहले यह सबसे कठिन गणितीय समस्याओं के लिए [[गिनीज बुक ऑफ वर्ल्ड रिकॉर्ड्स]] में शामिल था।<ref>{{Cite book|title=गिनीज बुक ऑफ वर्ल्ड रिकॉर्ड्स|publisher=Guinness Publishing Ltd.|year=1995|chapter=Science and Technology}}</ref>


इस प्रमेय को पहली बार 1637 में [[अंकगणित]] की एक प्रति के अतिरिक्त राशि में [[पियरे डी फर्मेट]] द्वारा अनुमानित किया गया था, जहां उन्होंने दावा किया था। कि उनके पास एक प्रमाण है, जो अतिरिक्त राशि में उपयुक्त होने के लिए बहुत बड़ा था।<ref>{{citation|first=Oystein|last=Ore|title=Number Theory and Its History|year=1988|orig-year=1948|publisher=Dover|isbn=978-0-486-65620-5|pages=[https://archive.org/details/numbertheoryitsh0000orey/page/203 203–204]|url=https://archive.org/details/numbertheoryitsh0000orey/page/203}}</ref>


पहला सफल प्रमाण 1994 में एंड्रयू विल्स द्वारा लागू किया गया था, और गणितज्ञों द्वारा 358 वर्षों के प्रयास के बाद औपचारिक रूप से 1995 में प्रकाशित किया गया था। अनसुलझी(unsolved) समस्या ने 19वीं सदी में [[बीजगणितीय संख्या सिद्धांत]] के विकास को और 20वीं सदी में [[मॉड्यूलरिटी प्रमेय|प्रतिरूपकता(modularity) प्रमेय]] के प्रमाण को प्रेरित किया।यह गणित के इतिहास में सबसे उल्लेखनीय प्रमेयों में से एक है, और इसके प्रमाण से पहले यह सबसे जटिल गणितीय समस्याओं के लिए [[गिनीज बुक ऑफ वर्ल्ड रिकॉर्ड्स]] में सम्मिलित था।<ref>{{Cite book|title=गिनीज बुक ऑफ वर्ल्ड रिकॉर्ड्स|publisher=Guinness Publishing Ltd.|year=1995|chapter=Science and Technology}}</ref>
=== चार रंग प्रमेय ===
=== चार रंग प्रमेय ===
{{Main|Four color theorem}}
{{Main|चार रंग प्रमेय}}
[[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}} [[परिमित क्षेत्र]]ों पर बीजगणितीय विविधता पर अंकों की संख्या की गणना से प्राप्त [[जनरेटिंग फ़ंक्शन]] (स्थानीय जीटा-फ़ंक्शंस के रूप में जाना जाता है) पर।


क्यू तत्वों के साथ एक परिमित क्षेत्र पर एक किस्म वी में परिमेय बिंदुओं की एक परिमित संख्या होती है, साथ ही क्यू के साथ हर परिमित क्षेत्र पर अंक होते हैं।<sup>k</sup> उस फ़ील्ड वाले तत्व। जनरेटिंग फ़ंक्शन में संख्या N से प्राप्त गुणांक होते हैं<sub>''k''</sub> क्यू के साथ (अनिवार्य रूप से अद्वितीय) फ़ील्ड पर अंक<sup>कश्मीर</sup> तत्व।
गणित में, वील अनुमान {{harvs|txt|authorlink=André Weil|first=एंड्रे |last=वेइल|year=1949}} द्वारा [[जनरेटिंग फ़ंक्शन|जनक(generating) फलन]] (स्थानीय जेटा-फलन के रूप में जाना जाता है) पर परिमित क्षेत्रों पर बीजगणितीय किस्मों पर अंकों के संख्या की गणना से प्राप्त कुछ अत्यधिक प्रभावशाली प्रस्ताव थे।


वेइल ने अनुमान लगाया कि इस तरह के जीटा-फ़ंक्शन तर्कसंगत फ़ंक्शन होने चाहिए, [[कार्यात्मक समीकरण]] के एक रूप को संतुष्ट करना चाहिए, और प्रतिबंधित स्थानों में उनके शून्य होने चाहिए। पिछले दो भागों को [[रीमैन जीटा फ़ंक्शन]] और रीमैन परिकल्पना पर काफी सचेत रूप से तैयार किया गया था। तर्कसंगतता द्वारा सिद्ध किया गया था {{harvtxt|Dwork|1960}}, द्वारा कार्यात्मक समीकरण {{harvtxt|Grothendieck|1965}}, और रीमैन परिकल्पना के अनुरूप द्वारा सिद्ध किया गया था {{harvtxt|Deligne|1974}}
q तत्वों के साथ एक परिमित क्षेत्र पर एक किस्म V में परिमेय बिंदुओं की एक सीमित संख्या होती है, साथ ही उस क्षेत्र वाले ''q<sup>k</sup>'' तत्वों के साथ हर परिमित क्षेत्र पर बिंदु होते हैं। जनरेटिंग कारक में ''q<sup>k</sup>'' तत्वों के साथ (अनिवार्य रूप से अद्वितीय) क्षेत्र पर अंकों के अंक ''N<sub>k</sub>'' से प्राप्त गुणांक हैं।


वील ने अनुमान लगाया कि इस तरह के जीटा-फलन तर्कसंगत फलन होने चाहिए, [[कार्यात्मक समीकरण]] के एक रूप को संतुष्ट करना चाहिए, और प्रतिबंधित स्थानों में उनके शून्य होने चाहिए। पिछले दो भागों को [[रीमैन जीटा फ़ंक्शन|रीमैन जीटा कारक]] और रीमैन परिकल्पना पर लगभग सचेत रूप से तैयार किया गया था। {{harvtxt|Dwork|1960}} द्वारा तर्कसंगतता, {{harvtxt|Grothendieck|1965}} द्वारा कार्यात्मक समीकरण, और रीमैन परिकल्पना के अनुरूप {{harvtxt|Deligne|1974}} द्वारा सिद्ध किया गया था।
=== पॉइनकेयर अनुमान ===
{{main|पॉइनकेयर अनुमान}} गणित में, पॉइंकेयर अनुमान [[3-क्षेत्र]] के लक्षण वर्णन (गणित) के बारे में एक प्रमेय अति क्षेत्र है, जो [[यूनिट बॉल]] को चार-आयामी अंतरिक्ष में बांधता है। अनुमान कहता है कि: {{quote|प्रत्येक [[सरलता से जुड़ा हुआ]], [[संकुचित बहुआयामी|संवृत]] 3-[[बहुआयामी]] 3-वृत्त में [[होमियोमॉर्फिक]] है।|sign=|source=}}


=== पोंकारे अनुमान ===
अनुमान के समतुल्य रूप में होमोमोर्फिज्म की तुलना में समरूपता का एक अपरिष्कृत(coarser) रूप सम्मिलित होता है जिसे होमोटोपी समतुल्य कहा जाता है। यदि [[3-कई गुना|3-बहुआयामी]] होमोटोपी 3-क्षेत्र के बराबर है, तो यह आवश्यक रूप से होमोमोर्फिक होता है।
{{main|Poincaré conjecture}} गणित में, पॉइंकेयर अनुमान [[3-क्षेत्र]] के लक्षण वर्णन (गणित) के बारे में एक प्रमेय है, जो हाइपरस्फीयर है जो [[यूनिट बॉल]] को चार-आयामी अंतरिक्ष में बांधता है। अनुमान कहता है कि: {{quote|Every [[simply connected]], [[closed manifold|closed]] 3-[[manifold]] is [[homeomorphic]] to the 3-sphere.|sign=|source=}} अनुमान के समतुल्य रूप में होमोमोर्फिज्म की तुलना में समरूपता का एक मोटा रूप शामिल होता है जिसे होमोटोपी समतुल्य कहा जाता है: यदि [[3-कई गुना]] होमोटोपी 3-क्षेत्र के बराबर है, तो यह आवश्यक रूप से होमोमोर्फिक है।


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


गणितज्ञों द्वारा लगभग एक सदी के प्रयास के बाद, [[त्वरित पेरेलमैन]] ने 2002 और 2003 में [[arXiv]] पर उपलब्ध कराए गए तीन पत्रों में अनुमान का प्रमाण प्रस्तुत किया। समस्या को हल करने का प्रयास करने के लिए [[रिक्की प्रवाह]] का उपयोग करने के लिए रिचर्ड एस। हैमिल्टन के कार्यक्रम से सबूत का पालन किया गया। हैमिल्टन ने बाद में मानक रिक्की प्रवाह का एक संशोधन पेश किया, जिसे सर्जरी के साथ रिक्की प्रवाह कहा जाता है, ताकि एक नियंत्रित तरीके से व्यवस्थित रूप से एकवचन क्षेत्रों को विकसित किया जा सके, लेकिन यह साबित करने में असमर्थ था कि यह विधि तीन आयामों में परिवर्तित हो गई है।<ref>{{cite journal | last = Hamilton | first = Richard S. | author-link = Richard S. Hamilton | title = सकारात्मक आइसोट्रोपिक वक्रता के साथ चार गुना| 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 = सकारात्मक आइसोट्रोपिक वक्रता के साथ चार गुना| 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> पेरेलमैन ने प्रमाण के इस हिस्से को पूरा किया। तथा गणितज्ञों की कई टीमों ने सत्यापित किया है कि पेरेलमैन का प्रमाण सही है।


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


=== रीमैन परिकल्पना ===
=== रीमैन परिकल्पना ===
{{main|Riemann hypothesis}}
{{main|रीमैन परिकल्पना}}
गणित में, रीमैन परिकल्पना, द्वारा प्रस्तावित {{harvs|txt|first=Bernhard|last= Riemann|year=1859|author-link=Bernhard Riemann}}, एक अनुमान है कि Riemann zeta फ़ंक्शन के सभी गैर-तुच्छ रूटों का [[वास्तविक भाग]] 1/2 है। नाम का उपयोग कुछ निकट संबंधी अनुरूपताओं के लिए भी किया जाता है, जैसे परिमित क्षेत्रों पर घटता के लिए रीमैन परिकल्पना।


रीमैन परिकल्पना का अर्थ है अभाज्य संख्याओं के वितरण के बारे में परिणाम। उपयुक्त सामान्यीकरणों के साथ, कुछ गणितज्ञ इसे [[शुद्ध गणित]] की सबसे महत्वपूर्ण अनसुलझी समस्या मानते हैं।<ref>{{Cite web|url=http://www.claymath.org/sites/default/files/official_problem_description.pdf|title=रीमैन परिकल्पना - आधिकारिक समस्या विवरण|last=Bombieri|first=Enrico|date=2000|website=Clay Mathematics Institute|access-date=2019-11-12}}</ref> रिमेंन परिकल्पना, [[गोल्डबैक अनुमान]] के साथ, [[डेविड हिल्बर्ट]] की हिल्बर्ट की समस्याओं की सूची में हिल्बर्ट की आठवीं समस्या का हिस्सा है; यह [[मिट्टी गणित संस्थान]] [[मिलेनियम पुरस्कार समस्याएं]] में से एक है।
गणित में, बर्नहार्ड रीमैन (1859) {{harvs|txt|first=बर्नहार्ड|last= रीमैन|year=1859|author-link=Bernhard Riemann}} द्वारा प्रस्तावित रीमैन परिकल्पना, एक अनुमान है कि रीमैन ज़ेटा फलन के सभी असतहीय(non-trivial) शून्यों का [[वास्तविक भाग]] 1/2 है। नाम का उपयोग कुछ निकट संबंधी अनुरूपताओं के लिए भी किया जाता है, जैसे परिमित क्षेत्रों पर वक्रों के लिए रीमैन परिकल्पना


=== पी बनाम एनपी समस्या ===
रीमैन परिकल्पना का अर्थ यह है कि अभाज्य संख्याओं के वितरण के बारे में परिणाम उपयुक्त सामान्यीकरणों के साथ, कुछ गणितज्ञ इसे [[शुद्ध गणित|शुद्ध(pure) गणित]] में सबसे महत्वपूर्ण अनसुलझी समस्या मानते हैं।<ref>{{Cite web|url=http://www.claymath.org/sites/default/files/official_problem_description.pdf|title=रीमैन परिकल्पना - आधिकारिक समस्या विवरण|last=Bombieri|first=Enrico|date=2000|website=Clay Mathematics Institute|access-date=2019-11-12}}</ref> रिमेंन परिकल्पना, [[गोल्डबैक अनुमान]] के साथ, [[डेविड हिल्बर्ट]] की 23 अनसुलझी समस्याओं की सूची में हिल्बर्ट की आठवीं समस्या का भाग है। यह [[मिट्टी गणित संस्थान|क्ले गणित संस्थान]] [[मिलेनियम पुरस्कार समस्याएं]] में से एक है।
{{main|P versus NP problem}}
 
[[पी बनाम एनपी समस्या]] कंप्यूटर विज्ञान में अनसुलझी समस्याओं की एक प्रमुख सूची है। अनौपचारिक रूप से, यह पूछता है कि क्या प्रत्येक समस्या जिसका समाधान एक कंप्यूटर द्वारा शीघ्रता से सत्यापित किया जा सकता है, एक कंप्यूटर द्वारा भी शीघ्रता से हल किया जा सकता है; यह व्यापक रूप से अनुमान लगाया जाता है कि उत्तर नहीं है। अनिवार्य रूप से पहली बार 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
=== पी बनाम एनपी समस्या (P versus NP problem) ===
European Association for Theoretical Computer Science, vol. 38, pp. 101–107</ref> पी = एनपी समस्या का सटीक बयान 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=कम्प्यूटिंग के सिद्धांत पर तीसरी वार्षिक एसीएम संगोष्ठी की कार्यवाही|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 का पुरस्कार दिया जाए।
{{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=कम्प्यूटिंग के सिद्धांत पर तीसरी वार्षिक एसीएम संगोष्ठी की कार्यवाही|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 अनुमान]]
* [[Collatz अनुमान|कोल्लट्ज(Collatz) अनुमान]]
* मैनिन अनुमान
* मैनिन अनुमान
* [[मालदासेना अनुमान]]
* [[मालदासेना अनुमान|मालदासेना(Maldacena) अनुमान]]
* 18वीं शताब्दी में यूलर द्वारा प्रस्तावित यूलर की शक्तियों का योग, लेकिन जिसके लिए कई प्रतिपादकों के लिए प्रति उदाहरण (n = 4 से शुरू) 20वीं शताब्दी के मध्य में पाए गए
* 18वीं शताब्दी में यूलर द्वारा प्रस्तावित यूलर अनुमान, लेकिन जिसके लिए कई घातांकों के लिए प्रति उदाहरण (n=4 से प्रारम्भ) 20वीं शताब्दी के मध्य में पाए गए।
* दूसरा हार्डी-लिटिलवुड अनुमान | हार्डी-लिटिलवुड अनुमान अभाज्य संख्याओं के वितरण से संबंधित अनुमानों की एक जोड़ी है, जिनमें से पहला पूर्वोक्त जुड़वां प्रधान अनुमान पर विस्तार करता है। न तो कोई सिद्ध हुआ है और न ही असिद्ध, लेकिन यह सिद्ध हो चुका है कि दोनों एक साथ सत्य नहीं हो सकते (यानी, कम से कम एक असत्य होना चाहिए)यह सिद्ध नहीं हुआ है कि कौन सा गलत है, लेकिन यह व्यापक रूप से माना जाता है कि पहला अनुमान सत्य है और दूसरा असत्य है।<ref>{{cite journal | first=Ian | last=Richards | title=प्राइम्स के संबंध में दो अनुमानों की असंगति पर| journal=Bull. Amer. Math. Soc. | volume=80 | pages=419–438 | year=1974 | doi=10.1090/S0002-9904-1974-13434-8 | doi-access=free }}</ref>
* हार्डी-लिटिलवुड अनुमान अभाज्य संख्याओं के वितरण से संबंधित अनुमानों की एक जोड़ी है, जिनमें से पहला पूर्वोक्त ट्विन प्राइम अनुमान पर विस्तार करता है। न तो कोई सिद्ध हुआ है और न ही असिद्ध(disproven), लेकिन यह सिद्ध हो चुका है कि दोनों एक साथ सत्य नहीं हो सकते (अर्थात, कम से कम एक असत्य होना चाहिए।) यह सिद्ध नहीं हुआ है कि कौन सा गलत है, लेकिन यह व्यापक रूप से माना जाता है कि पहला अनुमान सत्य है और दूसरा गलत है।<ref>{{cite journal | first=Ian | last=Richards | title=प्राइम्स के संबंध में दो अनुमानों की असंगति पर| 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> '[[एकीकृत अनुमान]]' के इन विचारों का एक दूरगामी जाल है जो गणित के विभिन्न उपक्षेत्रों को जोड़ता है (उदाहरण के लिए संख्या सिद्धांत और लाई समूहों के [[प्रतिनिधित्व सिद्धांत]] के बीच)इनमें से कुछ अनुमान तब से सिद्ध हो चुके हैं।
* [[लैंगलैंड्स कार्यक्रम]]<ref>{{citation|last=Langlands|first=Robert|title=Letter to Prof. Weil|year=1967|url=http://publications.ias.edu/rpl/section/21}}</ref> '[[एकीकृत अनुमान]] के इन विचारों का एक दूरगामी जाल(वेब) है जो गणित के विभिन्न उपक्षेत्रों को जोड़ता है (उदाहरण के लिए संख्या सिद्धांत और लाई समूहों के [[प्रतिनिधित्व सिद्धांत]] के बीच) इनमें से कुछ अनुमान तब से सिद्ध हो चुके हैं।


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


=== प्रमाण ===
=== प्रमाण (Proof) ===
औपचारिक गणित सिद्ध सत्य पर आधारित है। गणित में, [[सार्वभौमिक रूप से परिमाणित]] अनुमान का समर्थन करने वाले मामलों की संख्या, चाहे वह कितना भी बड़ा क्यों न हो, अनुमान की सत्यता स्थापित करने के लिए अपर्याप्त है, क्योंकि एक एकल प्रति उदाहरण अनुमान को तुरंत नीचे ला सकता है। गणितीय पत्रिकाएं कभी-कभी अनुसंधान टीमों के मामूली परिणामों को प्रकाशित करती हैं, जिन्होंने पहले की तुलना में एक प्रतिउदाहरण के लिए खोज को आगे बढ़ाया है। उदाहरण के लिए, Collatz अनुमान, जो इस बात से संबंधित है कि पूर्णांकों के कुछ अनु[[क्रम]] समाप्त होते हैं या नहीं, 1.2 × 10 तक सभी पूर्णांकों के लिए परीक्षण किया गया है।<sup>12</sup> (एक ट्रिलियन से अधिक)। हालांकि, व्यापक खोज के बाद एक प्रतिउदाहरण खोजने में विफलता इस बात का प्रमाण नहीं है कि अनुमान सत्य है - क्योंकि अनुमान गलत हो सकता है लेकिन एक बहुत बड़े न्यूनतम प्रति उदाहरण के साथ।
औपचारिक गणित सिद्ध सत्य पर आधारित है। गणित में, [[सार्वभौमिक रूप से परिमाणित]] अनुमान का समर्थन करने वाले स्थिति की संख्या, चाहे वह कितना भी बड़ा क्यों न हो, अनुमान की सत्यता स्थापित करने के लिए अपर्याप्त है, क्योंकि एकल प्रति उदाहरण अनुमान को तुरंत नीचे ला सकता है। गणितीय पत्रिकाएं कभी-कभी अनुसंधान टीमों के लघु परिणामों को प्रकाशित करती हैं, जिन्होंने पहले की तुलना में एक प्रति उदाहरण के लिए खोज को आगे बढ़ाया है। उदाहरण के लिए कोल्लट्ज अनुमान, जो इस बात से संबंधित है कि पूर्णांकों के कुछ क्रम समाप्त होते हैं या नहीं, 1.2 × 1012 (ट्रिलियन से अधिक) तक के सभी पूर्णांकों के लिए परीक्षण किया गया है। हालांकि, व्यापक खोज के बाद एक प्रति उदाहरण खोजने में विफलता इस बात का प्रमाण नहीं है कि अनुमान सत्य है - क्योंकि अनुमान गलत हो सकता है लेकिन एक बहुत बड़े न्यूनतम प्रति उदाहरण के साथ।
 
यद्यपि, गणितज्ञ प्रायः एक अनुमान को साक्ष्य द्वारा दृढ़ता से समर्थित मानते हैं, हालांकि अभी तक सिद्ध नहीं हुआ है। वह साक्ष्य विभिन्न प्रकार के हो सकते हैं, जैसे कि इसके परिणामों का सत्यापन या ज्ञात परिणामों के साथ जटिल अंतर्संबंध आदि।<ref>{{cite journal |last1=Franklin |first1=James  |date=2016 |title=तार्किक संभाव्यता और गणितीय अनुमानों की ताकत|url=https://web.maths.unsw.edu.au/~jim/logicalprobabilitymathintelldraft.pdf |archive-url=https://web.archive.org/web/20170309031840/http://web.maths.unsw.edu.au/~jim/logicalprobabilitymathintelldraft.pdf |archive-date=2017-03-09 |url-status=live |journal=Mathematical Intelligencer |volume=38 |issue=3 |pages=14–19 |doi=10.1007/s00283-015-9612-3 |s2cid=30291085 |access-date=30 June 2021}}</ref>


फिर भी, गणितज्ञ अक्सर एक अनुमान को साक्ष्य द्वारा दृढ़ता से समर्थित मानते हैं, हालांकि अभी तक सिद्ध नहीं हुआ है। वह साक्ष्य विभिन्न प्रकार के हो सकते हैं, जैसे कि उसके परिणामों का सत्यापन या ज्ञात परिणामों के साथ मजबूत अंतर्संबंध।<ref>{{cite journal |last1=Franklin |first1=James  |date=2016 |title=तार्किक संभाव्यता और गणितीय अनुमानों की ताकत|url=https://web.maths.unsw.edu.au/~jim/logicalprobabilitymathintelldraft.pdf |archive-url=https://web.archive.org/web/20170309031840/http://web.maths.unsw.edu.au/~jim/logicalprobabilitymathintelldraft.pdf |archive-date=2017-03-09 |url-status=live |journal=Mathematical Intelligencer |volume=38 |issue=3 |pages=14–19 |doi=10.1007/s00283-015-9612-3 |s2cid=30291085 |access-date=30 June 2021}}</ref>
एक अनुमान को तभी सिद्ध माना जाता है जब यह दिखाया गया हो कि उसका गलत होना तार्किक रूप से असंभव है। ऐसा करने के विभिन्न तरीके हैं। तथा अधिक विवरण के लिए गणितीय प्रमाण के तरीके देखें।
एक अनुमान को तभी सिद्ध माना जाता है जब यह दिखाया गया हो कि उसका झूठा होना तार्किक रूप से असंभव है। ऐसा करने के विभिन्न तरीके हैं; अधिक विवरण के लिए गणितीय उपपत्ति#उपपत्ति की विधियाँ देखें।


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


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


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


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


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


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


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


== अन्य विज्ञानों में ==
== अन्य विज्ञानों में ==
[[कार्ल पॉपर]] ने विज्ञान के दर्शनशास्त्र में अनुमान शब्द के प्रयोग का बीड़ा उठाया।<ref>{{cite book|last=Popper|first=Karl|title=अनुमान और खंडन: वैज्ञानिक ज्ञान का विकास|year=2004|publisher=Routledge|location=London|isbn=0-415-28594-1}}</ref> अनुमान [[परिकल्पना]] से संबंधित है, जो [[विज्ञान]] में एक परीक्षण योग्य अनुमान को संदर्भित करता है।
[[कार्ल पॉपर]] ने वैज्ञानिक सिद्धांत में अनुमान शब्द के प्रयोग का बीड़ा(pioneered) उठाया।<ref>{{cite book|last=Popper|first=Karl|title=अनुमान और खंडन: वैज्ञानिक ज्ञान का विकास|year=2004|publisher=Routledge|location=London|isbn=0-415-28594-1}}</ref> जो अनुमान [[परिकल्पना]] से संबंधित है, तथा [[विज्ञान]] में एक परीक्षण योग्य अनुमान को संदर्भित करता है।


== यह भी देखें ==
== यह भी देखें ==
Line 100: Line 103:
* [[काल्पनिक]]
* [[काल्पनिक]]
* [[अनुमानों की सूची]]
* [[अनुमानों की सूची]]
* [[रामानुजन मशीन]]
* [[रामानुजन मशीन|रामानुजन यंत्र]]


==संदर्भ==
==संदर्भ==
{{Reflist}}
{{Reflist}}
=== उद्धृत कार्य ===
=== उद्धृत कार्य ===
*{{Citation |last1=Deligne |first1=Pierre |author1-link=Pierre Deligne |title=La conjecture de Weil. I |url=http://www.numdam.org/item?id=PMIHES_1974__43__273_0 |mr=0340258 |year=1974 |journal=[[Publications Mathématiques de l'IHÉS]] |volume=43 |issn=1618-1913 |issue=43 |pages=273–307|doi=10.1007/BF02684373 |s2cid=123139343}}
*{{Citation |last1=Deligne |first1=Pierre |author1-link=Pierre Deligne |title=La conjecture de Weil. I |url=http://www.numdam.org/item?id=PMIHES_1974__43__273_0 |mr=0340258 |year=1974 |journal=[[Publications Mathématiques de l'IHÉS]] |volume=43 |issn=1618-1913 |issue=43 |pages=273–307|doi=10.1007/BF02684373 |s2cid=123139343}}
*{{Citation |last1=Dwork |first1=Bernard |author1-link=Bernard Dwork |title=On the rationality of the zeta function of an algebraic variety |jstor=2372974 |mr=0140494 |year=1960 |journal=[[American Journal of Mathematics]] |issn=0002-9327 |volume=82 |pages=631–648 |doi=10.2307/2372974 |issue=3 |publisher=American Journal of Mathematics, Vol. 82, No. 3}}
*{{Citation |last1=Dwork |first1=Bernard |author1-link=Bernard Dwork |title=On the rationality of the zeta function of an algebraic variety |jstor=2372974 |mr=0140494 |year=1960 |journal=[[American Journal of Mathematics]] |issn=0002-9327 |volume=82 |pages=631–648 |doi=10.2307/2372974 |issue=3 |publisher=American Journal of Mathematics, Vol. 82, No. 3}}
*{{Citation |last1=Grothendieck |first1=Alexander |author1-link=Alexander Grothendieck |title=Séminaire Bourbaki |url=http://www.numdam.org/item?id=SB_1964-1966__9__41_0 |publisher=[[Société Mathématique de France]] |location=Paris |mr=1608788 |year=1995 |volume=9 |chapter=Formule de Lefschetz et rationalité des fonctions L |pages=41–55 |orig-year=1965 |ref={{harvid|Grothendieck|1965}}}}
*{{Citation |last1=Grothendieck |first1=Alexander |author1-link=Alexander Grothendieck |title=Séminaire Bourbaki |url=http://www.numdam.org/item?id=SB_1964-1966__9__41_0 |publisher=[[Société Mathématique de France]] |location=Paris |mr=1608788 |year=1995 |volume=9 |chapter=Formule de Lefschetz et rationalité des fonctions L |pages=41–55 |orig-year=1965 |ref={{harvid|Grothendieck|1965}}}}
==इस पेज में लापता आंतरिक लिंक की सूची==
*अंक शास्त्र
*फलस्वरूप
*गणित का इतिहास
*चार कोनों का स्मारक
*कंप्यूटर की सहायता से सबूत
*त्रिकोणासन (टोपोलॉजी)
*विविध
*वील अनुमान
*तर्कसंगत बिंदु
*स्थानीय जेटा-फ़ंक्शन
*बीजगणितीय किस्म
*तर्कसंगत कार्य
*विशेषता (गणित)
*होमोटॉपी तुल्यता
*अभाज्य सँख्या
*परिमित क्षेत्रों पर वक्रों के लिए रीमैन परिकल्पना
*एक समारोह की जड़
*कंप्यूटर विज्ञान में अनसुलझी समस्याओं की सूची
*मणिन अनुमान
*झूठ समूह
*ज्यामितीय अनुमान
*प्रमेय सिद्ध
*बुनियादी संख्या
*निरंतर परिकल्पना
*विज्ञान का दर्शन
==बाहरी संबंध==
==बाहरी संबंध==
{{Wiktionary|conjecture}}
*{{Commonscatinline|Conjectures}}
*[http://garden.irmacs.sfu.ca/ Open Problem Garden]
*[http://garden.irmacs.sfu.ca/ Open Problem Garden]
*[https://web.archive.org/web/20191107190855/http://www.unsolvedproblems.org/ Unsolved Problems web site]
*[https://web.archive.org/web/20191107190855/http://www.unsolvedproblems.org/ Unsolved Problems web site]


{{Portal bar|Mathematics|Science}}
{{Portal bar|Mathematics|Science}}
[[Category:अनुमान| ]]
[[Category: विज्ञान के दर्शन में अवधारणा]]
[[Category: कथन]]
[[Category: गणितीय शब्दावली]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Articles with short description]]
[[Category:CS1 English-language sources (en)]]
[[Category:CS1 français-language sources (fr)]]
[[Category:CS1 maint]]
[[Category:CS1 Ελληνικά-language sources (el)]]
[[Category:Citation Style 1 templates|W]]
[[Category:Collapse templates]]
[[Category:Created On 15/12/2022]]
[[Category:Created On 15/12/2022]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with empty portal template]]
[[Category:Pages with script errors]]
[[Category:Portal templates with redlinked portals]]
[[Category:Short description with empty Wikidata description]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates based on the Citation/CS1 Lua module]]
[[Category:Templates generating COinS|Cite web]]
[[Category:Templates generating microformats]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates used by AutoWikiBrowser|Cite web]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia fully protected templates|Cite web]]
[[Category:Wikipedia metatemplates]]
[[Category:अनुमान| ]]
[[Category:कथन]]
[[Category:गणितीय शब्दावली]]
[[Category:विज्ञान के दर्शन में अवधारणा]]

Latest revision as of 17:34, 24 August 2023

महत्वपूर्ण रेखा 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]

वील अनुमान

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

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

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

पॉइनकेयर अनुमान

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

प्रत्येक सरलता से जुड़ा हुआ, संवृत 3-बहुआयामी 3-वृत्त में होमियोमॉर्फिक है।

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

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

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

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

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

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

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

पी बनाम एनपी समस्या (P versus NP problem)

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

अन्य अनुमान

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

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

प्रमाण (Proof)

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

यद्यपि, गणितज्ञ प्रायः एक अनुमान को साक्ष्य द्वारा दृढ़ता से समर्थित मानते हैं, हालांकि अभी तक सिद्ध नहीं हुआ है। वह साक्ष्य विभिन्न प्रकार के हो सकते हैं, जैसे कि इसके परिणामों का सत्यापन या ज्ञात परिणामों के साथ जटिल अंतर्संबंध आदि।[19]

एक अनुमान को तभी सिद्ध माना जाता है जब यह दिखाया गया हो कि उसका गलत होना तार्किक रूप से असंभव है। ऐसा करने के विभिन्न तरीके हैं। तथा अधिक विवरण के लिए गणितीय प्रमाण के तरीके देखें।

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

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

अप्रमाणित (Disproof)

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

स्वतंत्र अनुमान (Independent conjectures)

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

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

सशर्त प्रमाण (Conditional proofs)

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

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

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

कार्ल पॉपर ने वैज्ञानिक सिद्धांत में अनुमान शब्द के प्रयोग का बीड़ा(pioneered) उठाया।[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.

उद्धृत कार्य

बाहरी संबंध