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

Revision as of 22:15, 24 December 2022

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

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

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

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

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

इस प्रमेय को पहली बार 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 में परिमेय बिंदुओं की एक सीमित संख्या होती है, साथ ही उस क्षेत्र वाले q^k तत्वों के साथ हर परिमित क्षेत्र पर बिंदु होते हैं। जनरेटिंग कारक में q^k तत्वों के साथ (अनिवार्य रूप से अद्वितीय) क्षेत्र पर अंकों के अंक N_k से प्राप्त गुणांक हैं।

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

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

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

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

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

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

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

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

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

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

रीमैन परिकल्पना का अर्थ है अभाज्य संख्याओं के वितरण के बारे में परिणाम। उपयुक्त सामान्यीकरणों के साथ, कुछ गणितज्ञ इसे शुद्ध गणित में सबसे महत्वपूर्ण अनसुलझी समस्या मानते हैं।^[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 में प्रमेय-सिद्ध सॉफ़्टवेयर द्वारा इसकी पुष्टि की गई।

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

खंडन

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

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

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

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

सशर्त प्रमाण

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

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

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

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

यह भी देखें

संदर्भ

↑ "अनुमान की परिभाषा". www.merriam-webster.com (in English). Retrieved 2019-11-12.
↑ अंग्रेजी का ऑक्सफोर्ड डिक्शनरी (2010 ed.).
↑ Schwartz, JL (1995). विशेष और सामान्य के बीच शटलिंग: विज्ञान और गणित में ज्ञान की पीढ़ी में अनुमान और परिकल्पना की भूमिका पर प्रतिबिंब।. p. 93. ISBN 9780195115772.
↑ Weisstein, Eric W. "फर्मेट की अंतिम प्रमेय". mathworld.wolfram.com (in English). Retrieved 2019-11-12.
↑ Ore, Oystein (1988) [1948], Number Theory and Its History, Dover, pp. 203–204, ISBN 978-0-486-65620-5
↑ "Science and Technology". गिनीज बुक ऑफ वर्ल्ड रिकॉर्ड्स. Guinness Publishing Ltd. 1995.
↑ Georges Gonthier (December 2008). "औपचारिक प्रमाण—चार रंग प्रमेय". Notices of the AMS. 55 (11): 1382–1393. इस पत्र से: परिभाषाएँ: एक प्लानर मैप, प्लेन के जोड़ीदार असंयुक्त सबसेट का एक सेट है, जिसे क्षेत्र कहा जाता है। एक साधारण नक्शा वह होता है जिसके क्षेत्र खुले सेट से जुड़े होते हैं। मानचित्र के दो क्षेत्र आसन्न होते हैं यदि उनके संबंधित क्लोजर में एक सामान्य बिंदु होता है जो मानचित्र का कोना नहीं होता है। एक बिंदु मानचित्र का एक कोना है अगर और केवल अगर यह कम से कम तीन क्षेत्रों के बंद होने से संबंधित है। प्रमेय: किसी भी साधारण तलीय मानचित्र के क्षेत्रों को केवल चार रंगों से रंगा जा सकता है, इस तरह कि किन्हीं दो आसन्न क्षेत्रों के अलग-अलग रंग होते हैं।
↑ डब्ल्यू. डब्ल्यू. राउज़ बॉल (1960) द फोर कलर थ्योरम, इन मैथेमेटिकल रिक्रिएशन एंड एसेज, मैकमिलन, न्यूयॉर्क, पीपी 222-232।
↑ "त्रिभुज और मुख्य अनुमान". www.maths.ed.ac.uk. Retrieved 2019-11-12.
↑ Milnor, John W. (1961). "दो कॉम्प्लेक्स जो होमोमॉर्फिक हैं लेकिन कॉम्बीनेटरियल रूप से अलग हैं". Annals of Mathematics. 74 (2): 575–590. doi:10.2307/1970299. JSTOR 1970299. MR 0133127.
↑ Moise, Edwin E. (1977). आयाम 2 और 3 में ज्यामितीय टोपोलॉजी. New York: New York : Springer-Verlag. ISBN 978-0-387-90220-3.
↑ 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.
↑ Bombieri, Enrico (2000). "रीमैन परिकल्पना - आधिकारिक समस्या विवरण" (PDF). Clay Mathematics Institute. Retrieved 2019-11-12.
↑ 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
↑ Cook, Stephen (1971). "The complexity of theorem proving procedures". कम्प्यूटिंग के सिद्धांत पर तीसरी वार्षिक एसीएम संगोष्ठी की कार्यवाही. pp. 151–158. doi:10.1145/800157.805047. ISBN 9781450374644. S2CID 7573663.
↑ 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
↑ Richards, Ian (1974). "प्राइम्स के संबंध में दो अनुमानों की असंगति पर". Bull. Amer. Math. Soc. 80: 419–438. doi:10.1090/S0002-9904-1974-13434-8.
↑ Langlands, Robert (1967), Letter to Prof. Weil
↑ 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.
↑ Popper, Karl (2004). अनुमान और खंडन: वैज्ञानिक ज्ञान का विकास. London: Routledge. ISBN 0-415-28594-1.

उद्धृत कार्य

Deligne, Pierre (1974), "La conjecture de Weil. I", Publications Mathématiques de l'IHÉS, 43 (43): 273–307, doi:10.1007/BF02684373, ISSN 1618-1913, MR 0340258, S2CID 123139343
Dwork, Bernard (1960), "On the rationality of the zeta function of an algebraic variety", American Journal of Mathematics, American Journal of Mathematics, Vol. 82, No. 3, 82 (3): 631–648, doi:10.2307/2372974, ISSN 0002-9327, JSTOR 2372974, MR 0140494
Grothendieck, Alexander (1995) [1965], "Formule de Lefschetz et rationalité des fonctions L", Séminaire Bourbaki, vol. 9, Paris: Société Mathématique de France, pp. 41–55, MR 1608788

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

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

बाहरी संबंध

Media related to Conjectures at Wikimedia Commons
Open Problem Garden
Unsolved Problems web site

[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. इस पत्र से: परिभाषाएँ: एक प्लानर मैप, प्लेन के जोड़ीदार असंयुक्त सबसेट का एक सेट है, जिसे क्षेत्र कहा जाता है। एक साधारण नक्शा वह होता है जिसके क्षेत्र खुले सेट से जुड़े होते हैं। मानचित्र के दो क्षेत्र आसन्न होते हैं यदि उनके संबंधित क्लोजर में एक सामान्य बिंदु होता है जो मानचित्र का कोना नहीं होता है। एक बिंदु मानचित्र का एक कोना है अगर और केवल अगर यह कम से कम तीन क्षेत्रों के बंद होने से संबंधित है। प्रमेय: किसी भी साधारण तलीय मानचित्र के क्षेत्रों को केवल चार रंगों से रंगा जा सकता है, इस तरह कि किन्हीं दो आसन्न क्षेत्रों के अलग-अलग रंग होते हैं।

[rouse_ball_1960-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.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

@@ Line 35: / Line 35: @@
 वील ने अनुमान लगाया कि इस तरह के जीटा-फलन तर्कसंगत फलन होने चाहिए, [[कार्यात्मक समीकरण]] के एक रूप को संतुष्ट करना चाहिए, और प्रतिबंधित स्थानों में उनके शून्य होने चाहिए। पिछले दो भागों को [[रीमैन जीटा फ़ंक्शन|रीमैन जीटा कारक]] और रीमैन परिकल्पना पर काफी सचेत रूप से तैयार किया गया था। {{harvtxt|Dwork|1960}} द्वारा तर्कसंगतता, {{harvtxt|Grothendieck|1965}} द्वारा कार्यात्मक समीकरण, और रीमैन परिकल्पना के अनुरूप {{harvtxt|Deligne|1974}} द्वारा सिद्ध किया गया था।
-=== पोंकारे अनुमान ===
+=== पॉइनकेयर अनुमान ===
 {{main|पॉइनकेयर अनुमान}} गणित में, पॉइंकेयर अनुमान [[3-क्षेत्र]] के लक्षण वर्णन (गणित) के बारे में एक प्रमेय है, जो हाइपरस्फीयर है जो [[यूनिट बॉल]] को चार-आयामी अंतरिक्ष में बांधता है। अनुमान कहता है कि: {{quote|प्रत्येक [[सरलता से जुड़ा हुआ]], [[संकुचित बहुआयामी|संवृत]] 3-[[बहुआयामी]] 3-वृत्त में [[होमियोमॉर्फिक]] है।|sign=|source=}}
@@ Line 51: / Line 51: @@
 गणित में, बर्नहार्ड रीमैन (1859) {{harvs|txt|first=बर्नहार्ड|last= रीमैन|year=1859|author-link=Bernhard Riemann}} द्वारा प्रस्तावित रीमैन परिकल्पना, एक अनुमान है कि रीमैन ज़ेटा फ़ंक्शन के सभी गैर-तुच्छ शून्यों का [[वास्तविक भाग]] 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> रिमेंन परिकल्पना, [[गोल्डबैक अनुमान]] के साथ, [[डेविड हिल्बर्ट]] की 23 अनसुलझी समस्याओं की सूची में हिल्बर्ट की आठवीं समस्या का हिस्सा है। यह [[मिट्टी गणित संस्थान]] [[मिलेनियम पुरस्कार समस्याएं]] में से एक है।
+रीमैन परिकल्पना का अर्थ है अभाज्य संख्याओं के वितरण के बारे में परिणाम। उपयुक्त सामान्यीकरणों के साथ, कुछ गणितज्ञ इसे [[शुद्ध गणित]] में सबसे महत्वपूर्ण अनसुलझी समस्या मानते हैं।<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 अनसुलझी समस्याओं की सूची में हिल्बर्ट की आठवीं समस्या का हिस्सा है। यह [[मिट्टी गणित संस्थान|क्ले गणित संस्थान]] [[मिलेनियम पुरस्कार समस्याएं]] में '''से एक है।'''
-=== पी बनाम एनपी समस्या ===
+=== पी बनाम एनपी समस्या (P versus NP problem) ===
-{{main|P versus NP problem}}
+{{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> पी = एनपी समस्या का सटीक बयान 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 का पुरस्कार दिया जाए।
+कंप्यूटर विज्ञान में [[पी बनाम एनपी समस्या]] एक बड़ी अनसुलझी समस्या है। जिसे अनौपचारिक रूप से यह पूछता है कि क्या प्रत्येक समस्या जिसका समाधान एक कंप्यूटर द्वारा शीघ्रता से सत्यापित किया जा सकता है, तथा एक कंप्यूटर द्वारा भी शीघ्रता से हल किया जा सकता है। यह व्यापक रूप से अनुमान लगाया जाता है कि उत्तर नहीं है। अनिवार्य रूप से पहली बार 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 में प्रमेय-सिद्ध सॉफ़्टवेयर द्वारा इसकी पुष्टि की गई।
-जब एक अनुमान [[गणितीय प्रमाण]] हो गया है, तो यह अब अनुमान नहीं है बल्कि एक प्रमेय है। कई महत्वपूर्ण प्रमेय एक बार अनुमान थे, जैसे कि ज्यामितिकरण अनुमान (जिसने पॉइनकेयर अनुमान को हल किया), फ़र्मेट की अंतिम प्रमेय, और अन्य।
+'''जब एक अ'''नुमान [[गणितीय प्रमाण]] हो गया है, तो यह अब अनुमान नहीं है बल्कि एक प्रमेय है। कई महत्वपूर्ण प्रमेय एक बार अनुमान थे, जैसे कि ज्यामितिकरण अनुमान (जिसने पॉइनकेयर अनुमान को हल किया), फ़र्मेट की अंतिम प्रमेय, और अन्य।
 === खंडन ===

Anonymous

Search

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

Namespaces

More

Page actions

Revision as of 22:15, 24 December 2022

Contents

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

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

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

मुख्य अनुमान

वील अनुमान

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

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

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

अन्य अनुमान

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

प्रमाण (Proof)

खंडन

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

सशर्त प्रमाण

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

यह भी देखें

संदर्भ

उद्धृत कार्य

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

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Revision as of 22:15, 24 December 2022

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

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

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

मुख्य अनुमान

वील अनुमान

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

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

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

अन्य अनुमान

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

प्रमाण (Proof)

खंडन

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

सशर्त प्रमाण

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

यह भी देखें

संदर्भ

उद्धृत कार्य

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

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories