प्रमेय: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| Line 3: | Line 3: | ||
[[File:Pythagorean Proof (3).PNG|thumb|200px|right|[[पाइथागोरस प्रमेय]] के कम से कम 370 ज्ञात प्रमाण हैं<ref name='Loomis'>{{cite web|url=http://www.eric.ed.gov/PDFS/ED037335.pdf|author=Elisha Scott Loomis |title=पायथागॉरियन प्रस्ताव: इसके प्रदर्शनों का विश्लेषण और वर्गीकरण, और चार प्रकार के प्रमाणों के डेटा के लिए स्रोतों की ग्रंथ सूची|access-date=2010-09-26 |work=[[Education Resources Information Center]] |publisher=[[Institute of Education Sciences]] (IES) of the [[U.S. Department of Education]] }} Originally published in 1940 and reprinted in 1968 by National Council of Teachers of Mathematics.</ref>]]गणित में, एक प्रमेय एक [[कथन (तर्क)]] है जो [[गणितीय प्रमाण]] हो चुका है, या सिद्ध किया जा सकता है।{{efn|In general, the distinction is weak, as the standard way to prove that a statement is provable consists of proving it. However, in mathematical logic, one considers often the set of all theorems of a theory, although one cannot prove them individually.}}<ref>{{Cite web|url=https://www.merriam-webster.com/dictionary/theorem|title=प्रमेय की परिभाषा|website=www.merriam-webster.com|language=en|access-date=2019-11-02}}</ref><ref>{{Cite web|url=https://www.lexico.com/en/definition/theorem|archive-url=https://web.archive.org/web/20191102041621/https://www.lexico.com/en/definition/theorem|url-status=dead|archive-date=November 2, 2019|title=प्रमेय {{!}} लेक्सिको द्वारा प्रमेय की परिभाषा|website=Lexico Dictionaries {{!}} English|language=en|access-date=2019-11-02}}</ref> एक प्रमेय का प्रमाण एक [[तार्किक तर्क]] है जो एक निगमनात्मक प्रणाली के अनुमान नियमों का उपयोग यह स्थापित करने के लिए करता है कि प्रमेय [[स्वयंसिद्ध]]ों और पहले सिद्ध प्रमेयों का एक [[तार्किक परिणाम]] है। | [[File:Pythagorean Proof (3).PNG|thumb|200px|right|[[पाइथागोरस प्रमेय]] के कम से कम 370 ज्ञात प्रमाण हैं<ref name='Loomis'>{{cite web|url=http://www.eric.ed.gov/PDFS/ED037335.pdf|author=Elisha Scott Loomis |title=पायथागॉरियन प्रस्ताव: इसके प्रदर्शनों का विश्लेषण और वर्गीकरण, और चार प्रकार के प्रमाणों के डेटा के लिए स्रोतों की ग्रंथ सूची|access-date=2010-09-26 |work=[[Education Resources Information Center]] |publisher=[[Institute of Education Sciences]] (IES) of the [[U.S. Department of Education]] }} Originally published in 1940 and reprinted in 1968 by National Council of Teachers of Mathematics.</ref>]]गणित में, एक प्रमेय एक [[कथन (तर्क)]] है जो [[गणितीय प्रमाण]] हो चुका है, या सिद्ध किया जा सकता है।{{efn|In general, the distinction is weak, as the standard way to prove that a statement is provable consists of proving it. However, in mathematical logic, one considers often the set of all theorems of a theory, although one cannot prove them individually.}}<ref>{{Cite web|url=https://www.merriam-webster.com/dictionary/theorem|title=प्रमेय की परिभाषा|website=www.merriam-webster.com|language=en|access-date=2019-11-02}}</ref><ref>{{Cite web|url=https://www.lexico.com/en/definition/theorem|archive-url=https://web.archive.org/web/20191102041621/https://www.lexico.com/en/definition/theorem|url-status=dead|archive-date=November 2, 2019|title=प्रमेय {{!}} लेक्सिको द्वारा प्रमेय की परिभाषा|website=Lexico Dictionaries {{!}} English|language=en|access-date=2019-11-02}}</ref> एक प्रमेय का प्रमाण एक [[तार्किक तर्क]] है जो एक निगमनात्मक प्रणाली के अनुमान नियमों का उपयोग यह स्थापित करने के लिए करता है कि प्रमेय [[स्वयंसिद्ध]]ों और पहले सिद्ध प्रमेयों का एक [[तार्किक परिणाम]] है। | ||
गणित की मुख्यधारा में, अभिगृहीत और अनुमान नियम सामान्यतः | गणित की मुख्यधारा में, अभिगृहीत और अनुमान नियम सामान्यतः अंतर्निहित छोड़ दिए जाते हैं, और, इस स्थिति में, वे लगभग हमेशा ज़र्मेलो-फ्रेंकेल सेट सिद्धांत के होते हैं, जिसमें [[पसंद का स्वयंसिद्ध]] या कम शक्तिशाली सिद्धांत होता है, जैसे कि पीनो (peano) अंकगणित। एक उल्लेखनीय अपवाद फ़र्मेट के अंतिम प्रमेय का विल्स का प्रमाण है, जिसमें [[ग्रोथेंडिक ब्रह्मांड]] प्रयोग हैं जिनके अस्तित्व के लिए सेट सिद्धांत के लिए एक नया स्वयंसिद्ध जोड़ना आवश्यक है।{{efn|The fact that Wiles's proof involves Grothendieck universes does not mean that the proof cannot be improved for avoiding this, and many specialist think that it is possible. Nevertheless, it is rather astonishing that the proof of a theorem that is stated in terms of elementary [[arithmetics]] involves the existence of Grothendieck universes, which are very large infinite sets.}}सामान्यतः, एक अभिकथन जिसे स्पष्ट रूप से प्रमेय कहा जाता है, एक सिद्ध परिणाम है जो अन्य ज्ञात प्रमेयों का तत्काल परिणाम नहीं है। इसके अलावा, कई लेखक केवल सबसे महत्वपूर्ण परिणाम प्रमेय के रूप में अर्हता प्राप्त करते हैं, और कम महत्वपूर्ण प्रमेय के लिए शब्द प्रमेयिका, प्रस्ताव और परिणाम का उपयोग करते हैं। | ||
[[गणितीय तर्क]] में, उनके बारे में गणितीय तर्क की अनुमति देने के लिए प्रमेय और प्रमाण की अवधारणा [[औपचारिक प्रणाली]] रही है। इस संदर्भ में कथन कुछ [[औपचारिक भाषा]] के सुव्यवस्थित सूत्र बन जाते हैं। एक [[सिद्धांत (गणितीय तर्क)]] में कुछ आधार कथन होते हैं जिन्हें स्वयंसिद्ध कहा जाता है, और कुछ निगमन नियम (कभी-कभी स्वयंसिद्धों में | [[गणितीय तर्क]] में, उनके बारे में गणितीय तर्क की अनुमति देने के लिए प्रमेय और प्रमाण की अवधारणा [[औपचारिक प्रणाली]] रही है। इस संदर्भ में कथन कुछ [[औपचारिक भाषा]] के सुव्यवस्थित सूत्र बन जाते हैं। एक [[सिद्धांत (गणितीय तर्क)]] में कुछ आधार कथन होते हैं जिन्हें स्वयंसिद्ध कहा जाता है, और कुछ निगमन नियम (कभी-कभी स्वयंसिद्धों में सम्मलित होते हैं)। सिद्धांत के प्रमेय वे कथन हैं जो व्युत्पन्न नियमों का उपयोग करके स्वयंसिद्धों से प्राप्त किए जा सकते हैं।{{efn|A theory is often identified with the set of its theorems. This is avoided here for clarity, and also for not depending on [[set theory]].}} इस औपचारिकता ने प्रमाण सिद्धांत को जन्म दिया, जो प्रमेयों और प्रमाणों के बारे में सामान्य प्रमेयों को सिद्ध करने की अनुमति देता है। विशेष रूप से, गोडेल के अपूर्णता प्रमेयों से पता चलता है कि प्राकृतिक संख्याओं वाले प्रत्येक संगति सिद्धांत में प्राकृतिक संख्याओं पर सही कथन हैं जो सिद्धांत के प्रमेय नहीं हैं (अर्थात वे सिद्धांत के भीतर सिद्ध नहीं किए जा सकते हैं)। | ||
चूंकि अभिगृहीत अधिकांशतः [[भौतिक दुनिया]] के गुणों का सार होते हैं, प्रमेयों को कुछ सत्य व्यक्त करने के रूप में माना जा सकता है, लेकिन एक [[वैज्ञानिक कानून]] की धारणा के विपरीत, जो [[प्रयोगात्मक]] है, एक प्रमेय की सत्यता का औचित्य विशुद्ध रूप से निगमनात्मक है।<ref name=":0">{{Citation|last=Markie|first=Peter|title=Rationalism vs. Empiricism|date=2017|url=https://plato.stanford.edu/archives/fall2017/entries/rationalism-empiricism/|encyclopedia=The Stanford Encyclopedia of Philosophy|editor-last=Zalta|editor-first=Edward N.|edition=Fall 2017|publisher=Metaphysics Research Lab, Stanford University|access-date=2019-11-02}}</ref><ref>However, both theorems and scientific law are the result of investigations. See {{harvnb|Heath|1897}} Introduction, The terminology of [[Archimedes]], p. clxxxii:"theorem (θεὼρνμα) from θεωρεἳν to investigate"</ref> | चूंकि अभिगृहीत अधिकांशतः [[भौतिक दुनिया]] के गुणों का सार होते हैं, प्रमेयों को कुछ सत्य व्यक्त करने के रूप में माना जा सकता है, लेकिन एक [[वैज्ञानिक कानून]] की धारणा के विपरीत, जो [[प्रयोगात्मक]] है, एक प्रमेय की सत्यता का औचित्य विशुद्ध रूप से निगमनात्मक है।<ref name=":0">{{Citation|last=Markie|first=Peter|title=Rationalism vs. Empiricism|date=2017|url=https://plato.stanford.edu/archives/fall2017/entries/rationalism-empiricism/|encyclopedia=The Stanford Encyclopedia of Philosophy|editor-last=Zalta|editor-first=Edward N.|edition=Fall 2017|publisher=Metaphysics Research Lab, Stanford University|access-date=2019-11-02}}</ref><ref>However, both theorems and scientific law are the result of investigations. See {{harvnb|Heath|1897}} Introduction, The terminology of [[Archimedes]], p. clxxxii:"theorem (θεὼρνμα) from θεωρεἳν to investigate"</ref> | ||
| Line 15: | Line 15: | ||
गणित के मूलभूत संकट का एक पहलू गैर-[[यूक्लिडियन ज्यामिति]] की खोज थी जो किसी भी विरोधाभास की ओर नहीं ले जाती, चूंकि, ऐसे ज्यामिति में, त्रिभुज के कोणों का योग 180° से भिन्न होता है। इसलिए, 180° के बराबर त्रिभुज के कोणों के योग का गुण या तो सत्य है या असत्य, यह इस बात पर निर्भर करता है कि यूक्लिड की पाँचवीं अभिधारणा को ग्रहण किया गया है या इनकार किया गया है। इसी तरह, [[सेट (गणित)]] के स्पष्ट बुनियादी गुणों का उपयोग रसेल के विरोधाभास की ओर ले जाता है। सेट में परिचालन करने के लिए अनुमत नियमों को विस्तृत करके इसका समाधान किया गया है। | गणित के मूलभूत संकट का एक पहलू गैर-[[यूक्लिडियन ज्यामिति]] की खोज थी जो किसी भी विरोधाभास की ओर नहीं ले जाती, चूंकि, ऐसे ज्यामिति में, त्रिभुज के कोणों का योग 180° से भिन्न होता है। इसलिए, 180° के बराबर त्रिभुज के कोणों के योग का गुण या तो सत्य है या असत्य, यह इस बात पर निर्भर करता है कि यूक्लिड की पाँचवीं अभिधारणा को ग्रहण किया गया है या इनकार किया गया है। इसी तरह, [[सेट (गणित)]] के स्पष्ट बुनियादी गुणों का उपयोग रसेल के विरोधाभास की ओर ले जाता है। सेट में परिचालन करने के लिए अनुमत नियमों को विस्तृत करके इसका समाधान किया गया है। | ||
गणित की नींव को और अधिक [[गणितीय कठोरता]] बनाने के लिए इस संकट को हल किया गया है। इन नई नींवों में, एक प्रमेय एक गणितीय सिद्धांत का एक सुनिर्मित सूत्र है जिसे सिद्धांत के स्वयंसिद्धों और [[अनुमान नियम]]ों से सिद्ध किया जा सकता है। इसलिए, त्रिभुज के कोणों के योग पर उपरोक्त प्रमेय बन जाता है: यूक्लिडियन ज्यामिति के सिद्धांतों और अनुमान नियमों के तहत, त्रिभुज के आंतरिक कोणों का योग 180 डिग्री के बराबर होता है। इसी तरह, रसेल का विरोधाभास गायब हो जाता है, क्योंकि एक स्वयंसिद्ध सेट सिद्धांत में, सभी सेटों के सेट को एक अच्छी तरह से गठित सूत्र के साथ व्यक्त नहीं किया जा सकता है। अधिक | गणित की नींव को और अधिक [[गणितीय कठोरता]] बनाने के लिए इस संकट को हल किया गया है। इन नई नींवों में, एक प्रमेय एक गणितीय सिद्धांत का एक सुनिर्मित सूत्र है जिसे सिद्धांत के स्वयंसिद्धों और [[अनुमान नियम]]ों से सिद्ध किया जा सकता है। इसलिए, त्रिभुज के कोणों के योग पर उपरोक्त प्रमेय बन जाता है: यूक्लिडियन ज्यामिति के सिद्धांतों और अनुमान नियमों के तहत, त्रिभुज के आंतरिक कोणों का योग 180 डिग्री के बराबर होता है। इसी तरह, रसेल का विरोधाभास गायब हो जाता है, क्योंकि एक स्वयंसिद्ध सेट सिद्धांत में, सभी सेटों के सेट को एक अच्छी तरह से गठित सूत्र के साथ व्यक्त नहीं किया जा सकता है। अधिक शुद्ध रूप से, यदि सभी सेटों के सेट को एक अच्छी तरह से गठित सूत्र के साथ व्यक्त किया जा सकता है, तो इसका तात्पर्य है कि सिद्धांत [[असंगत]] है, और हर अच्छी तरह से गठित अभिकथन, साथ ही साथ इसकी अस्वीकृति, एक प्रमेय है। | ||
इस संदर्भ में, किसी प्रमेय की वैधता केवल उसकी उपपत्ति की सत्यता पर निर्भर करती है। यह सत्य से स्वतंत्र है, या स्वयंसिद्धों के महत्व से भी। इसका मतलब यह नहीं है कि स्वयंसिद्धों का महत्व अरुचिकर है, बल्कि केवल यह है कि एक प्रमेय की वैधता स्वयंसिद्धों के महत्व से स्वतंत्र है। यह स्वतंत्रता गणित के कुछ क्षेत्र के परिणामों के उपयोग की अनुमति देकर स्पष्ट रूप से असंबद्ध क्षेत्रों में उपयोगी हो सकती है। | इस संदर्भ में, किसी प्रमेय की वैधता केवल उसकी उपपत्ति की सत्यता पर निर्भर करती है। यह सत्य से स्वतंत्र है, या स्वयंसिद्धों के महत्व से भी। इसका मतलब यह नहीं है कि स्वयंसिद्धों का महत्व अरुचिकर है, बल्कि केवल यह है कि एक प्रमेय की वैधता स्वयंसिद्धों के महत्व से स्वतंत्र है। यह स्वतंत्रता गणित के कुछ क्षेत्र के परिणामों के उपयोग की अनुमति देकर स्पष्ट रूप से असंबद्ध क्षेत्रों में उपयोगी हो सकती है। | ||
गणित के बारे में सोचने के इस तरीके का एक महत्वपूर्ण परिणाम यह है कि यह गणितीय सिद्धांतों और प्रमेयों को [[गणितीय वस्तु]]ओं के रूप में परिभाषित करने और उनके बारे में प्रमेयों को सिद्ध करने की अनुमति देता है। गोडेल | गणित के बारे में सोचने के इस तरीके का एक महत्वपूर्ण परिणाम यह है कि यह गणितीय सिद्धांतों और प्रमेयों को [[गणितीय वस्तु]]ओं के रूप में परिभाषित करने और उनके बारे में प्रमेयों को सिद्ध करने की अनुमति देता है। गोडेल की अपूर्णता प्रमेय इसका उदाहरण हैं। विशेष रूप से, अच्छी तरह से गठित अभिकथन हैं जो परिवेश सिद्धांत के प्रमेय नहीं प्रमाणित हो सकते हैं, चूंकि वे एक व्यापक सिद्धांत में सिद्ध हो सकते हैं। एक उदाहरण गुडस्टीन का प्रमेय है, जिसे पीनो अंकगणित में कहा जा सकता है, लेकिन पीनो अंकगणित में प्रमाणित नहीं किया जा सकता है। तथापि, यह कुछ और सामान्य सिद्धांतों में सिद्ध है, जैसे ज़र्मेलो-फ्रेंकेल सेट सिद्धांत। | ||
== ज्ञानमीमांसा संबंधी विचार == | == ज्ञानमीमांसा संबंधी विचार == | ||
| Line 26: | Line 26: | ||
चूंकि प्रमेयों को पूरी तरह से प्रतीकात्मक रूप में लिखा जा सकता है (उदाहरण के लिए, प्रस्तावपरक कलन में प्रस्तावों के रूप में), बेहतर पठनीयता के लिए उन्हें सामान्यतः अंग्रेजी जैसी प्राकृतिक भाषा में अनौपचारिक रूप से व्यक्त किया जाता है। प्रमाणों के बारे में भी यही सच है, जिन्हें प्रायः तार्किक रूप से संगठित और स्पष्ट शब्दों में अनौपचारिक तर्कों के रूप में व्यक्त किया जाता है, जिसका उद्देश्य पाठकों को किसी भी संदेह से परे प्रमेय के कथन की सच्चाई से अभिव्यक्त कराना है, और जिससे सैद्धांतिक रूप से एक औपचारिक प्रतीकात्मक प्रमाण का निर्माण किया जा सकता है। | चूंकि प्रमेयों को पूरी तरह से प्रतीकात्मक रूप में लिखा जा सकता है (उदाहरण के लिए, प्रस्तावपरक कलन में प्रस्तावों के रूप में), बेहतर पठनीयता के लिए उन्हें सामान्यतः अंग्रेजी जैसी प्राकृतिक भाषा में अनौपचारिक रूप से व्यक्त किया जाता है। प्रमाणों के बारे में भी यही सच है, जिन्हें प्रायः तार्किक रूप से संगठित और स्पष्ट शब्दों में अनौपचारिक तर्कों के रूप में व्यक्त किया जाता है, जिसका उद्देश्य पाठकों को किसी भी संदेह से परे प्रमेय के कथन की सच्चाई से अभिव्यक्त कराना है, और जिससे सैद्धांतिक रूप से एक औपचारिक प्रतीकात्मक प्रमाण का निर्माण किया जा सकता है। | ||
बेहतर पठनीयता के अतिरिक्त, अनौपचारिक तर्क सामान्यतः विशुद्ध रूप से प्रतीकात्मक तर्कों की तुलना में जांचना आसान होता है- वास्तव में, कई गणितज्ञ एक प्रमाण के लिए प्राथमिकता व्यक्त करेंगे जो न केवल एक प्रमेय की वैधता को प्रदर्शित करता है, बल्कि किसी तरह 'क्यों' की व्याख्या भी करता है। ' यह स्पष्ट रूप से सच है। कुछ | बेहतर पठनीयता के अतिरिक्त, अनौपचारिक तर्क सामान्यतः विशुद्ध रूप से प्रतीकात्मक तर्कों की तुलना में जांचना आसान होता है- वास्तव में, कई गणितज्ञ एक प्रमाण के लिए प्राथमिकता व्यक्त करेंगे जो न केवल एक प्रमेय की वैधता को प्रदर्शित करता है, बल्कि किसी तरह 'क्यों' की व्याख्या भी करता है। ' यह स्पष्ट रूप से सच है। कुछ स्थितियों में, एक चित्र को इसके प्रमाण के रूप में उपयोग करके एक प्रमेय को प्रमाणित करने में भी सक्षम हो सकता है। | ||
क्योंकि प्रमेय गणित के मूल में स्थित हैं, वे इसके गणित के सौंदर्यशास्त्र के केंद्र में भी हैं। प्रमेयों को प्रायः तुच्छ, या कठिन, या गहरा, या यहां तक कि सुंदर के रूप में वर्णित किया जाता है। ये व्यक्तिपरक निर्णय न केवल एक व्यक्ति से दूसरे व्यक्ति में भिन्न होते हैं, बल्कि समय और संस्कृति के साथ भी भिन्न होते हैं: उदाहरण के लिए, एक प्रमाण के रूप में प्राप्त किया जाता है, सरलीकृत या | क्योंकि प्रमेय गणित के मूल में स्थित हैं, वे इसके गणित के सौंदर्यशास्त्र के केंद्र में भी हैं। प्रमेयों को प्रायः तुच्छ, या कठिन, या गहरा, या यहां तक कि सुंदर के रूप में वर्णित किया जाता है। ये व्यक्तिपरक निर्णय न केवल एक व्यक्ति से दूसरे व्यक्ति में भिन्न होते हैं, बल्कि समय और संस्कृति के साथ भी भिन्न होते हैं: उदाहरण के लिए, एक प्रमाण के रूप में प्राप्त किया जाता है, सरलीकृत या श्रेष्ठ समझा जाता है, एक प्रमेय जो कभी कठिन था वह तुच्छ हो सकता है।<ref>{{Cite web|url=http://mathworld.wolfram.com/प्रमेय.html|title=प्रमेय|last=Weisstein|first=Eric W.|website=mathworld.wolfram.com|language=en|access-date=2019-11-02}}</ref> दूसरी ओर, एक गहन प्रमेय को आसानी से कहा जा सकता है, लेकिन इसके प्रमाण में गणित के अलग-अलग क्षेत्रों के बीच आश्चर्यजनक और सूक्ष्म संबंध प्रयुक्त हो सकते हैं। फ़र्मेट की अंतिम प्रमेय ऐसी प्रमेय का एक विशेष रूप से प्रसिद्ध उदाहरण है।<ref name=":1">{{Cite web|url=http://www.math.mcgill.ca/darmon/pub/Articles/Expository/05.DDT/paper.pdf|title=फर्मेट की अंतिम प्रमेय|last1=Darmon|first1=Henri|last2=Diamond|first2=Fred|date=2007-09-09|website=McGill University – Department of Mathematics and Statistics|access-date=2019-11-01|last3=Taylor|first3=Richard}}</ref> | ||
== प्रमेयों का अनौपचारिक खाता == | == प्रमेयों का अनौपचारिक खाता == | ||
तार्किक रूप से, कई प्रमेय [[सांकेतिक सशर्त]] के रूप में हैं: यदि A, तो B। ऐसा प्रमेय B पर जोर नहीं देता है - केवल यह कि B A का एक आवश्यक परिणाम है। {{anchor|Hypothesis|Conclusion|Proposition}}इस | तार्किक रूप से, कई प्रमेय [[सांकेतिक सशर्त]] के रूप में हैं: यदि A, तो B। ऐसा प्रमेय B पर जोर नहीं देता है - केवल यह कि B A का एक आवश्यक परिणाम है। {{anchor|Hypothesis|Conclusion|Proposition}}इस स्थितियों में, A को प्रमेय की परिकल्पना कहा जाता है (यहाँ परिकल्पना का अर्थ [[अनुमान]] से बहुत अलग है), और B प्रमेय का निष्कर्ष है। दोनों को एक साथ (बिना प्रमाण के) प्रमेय का प्रस्ताव या कथन कहा जाता है (जैसे यदि A, तो B प्रस्ताव है)। वैकल्पिक रूप से, A और B को क्रमशः [[पूर्ववर्ती (तर्क)]] और परिणामी भी कहा जा सकता है।<ref>{{Cite web |url=http://intrologic.stanford.edu/glossary/implication.html |title=निहितार्थ|website=intrologic.stanford.edu |access-date=2019-11-02}}</ref> प्रमेय यदि n एक सम प्राकृतिक संख्या है, तो n/2 एक प्राकृतिक संख्या है एक विशिष्ट उदाहरण है जिसमें परिकल्पना n एक सम प्राकृतिक संख्या है, और निष्कर्ष n/2 भी एक प्राकृतिक संख्या है। | ||
किसी प्रमेय को सिद्ध करने के लिए, उसे सैद्धांतिक रूप से | किसी प्रमेय को सिद्ध करने के लिए, उसे सैद्धांतिक रूप से निश्चित, औपचारिक कथन के रूप में अभिव्यक्त होना चाहिए। चूंकि, प्रमेयों को सामान्यतः पूरी तरह से प्रतीकात्मक रूप के अतिरिक्त प्राकृतिक भाषा में व्यक्त किया जाता है - इस धारणा के साथ कि एक औपचारिक बयान अनौपचारिक से प्राप्त किया जा सकता है। | ||
गणित में किसी दी गई भाषा के भीतर कई परिकल्पनाओं को चुनना और यह घोषित करना | गणित में किसी दी गई भाषा के भीतर कई परिकल्पनाओं को चुनना और यह घोषित करना सामान्य बात है कि सिद्धांत में इन परिकल्पनाओं से सिद्ध होने वाले सभी कथन उपयोग हैं। ये परिकल्पनाएँ सिद्धांत का मूलभूत आधार बनाती हैं और इन्हें स्वयंसिद्ध या अभिगृहीत कहा जाता है। प्रमाण सिद्धांत के रूप में जाना जाने वाला गणित का क्षेत्र औपचारिक भाषाओं, स्वयंसिद्धों और प्रमाणों की संरचना का अध्ययन करता है। | ||
[[File:4CT Non-Counterexample 1.svg|frame|right|पांच रंगों वाला एक समतल (गणित) नक्शा इस प्रकार कि कोई भी दो क्षेत्र एक ही रंग के साथ न मिलें। इसे वास्तव में केवल चार रंगों से इस तरह से रंगा जा सकता है। [[चार रंग प्रमेय]] में कहा गया है कि इस तरह के रंग किसी भी समतल मानचित्र के लिए संभव हैं, लेकिन प्रत्येक ज्ञात प्रमाण में एक कम्प्यूटेशनल खोज प्रयुक्त है जो हाथ से जांचने के लिए बहुत लंबी है।]]कुछ प्रमेय [[तुच्छता (गणित)]] हैं, इस अर्थ में कि वे परिभाषाओं, स्वयंसिद्धों और अन्य प्रमेयों से स्पष्ट रूप से अनुसरण करते हैं और उनमें कोई आश्चर्यजनक अंतर्दृष्टि नहीं होती है। दूसरी ओर, कुछ को गहरा कहा जा सकता है, क्योंकि उनके प्रमाण लंबे और कठिन हो सकते हैं, गणित के क्षेत्रों को प्रमेय के कथन से सतही रूप से अलग करते हैं, या गणित के असमान क्षेत्रों के बीच आश्चर्यजनक संबंध दिखाते हैं।<ref>{{MathWorld|title=Deep Theorem|urlname=DeepTheorem}}</ref> एक प्रमेय का वर्णन करना सरल हो सकता है और फिर भी गहरा हो सकता है। फ़र्मेट की अंतिम प्रमेय एक उत्कृष्ट उदाहरण है,<ref name=":1" />और अन्य क्षेत्रों के अतिरिक्त, [[संख्या सिद्धांत]] और [[साहचर्य]] में सरल लेकिन गहन प्रमेय के कई अन्य उदाहरण हैं। | [[File:4CT Non-Counterexample 1.svg|frame|right|पांच रंगों वाला एक समतल (गणित) नक्शा इस प्रकार कि कोई भी दो क्षेत्र एक ही रंग के साथ न मिलें। इसे वास्तव में केवल चार रंगों से इस तरह से रंगा जा सकता है। [[चार रंग प्रमेय]] में कहा गया है कि इस तरह के रंग किसी भी समतल मानचित्र के लिए संभव हैं, लेकिन प्रत्येक ज्ञात प्रमाण में एक कम्प्यूटेशनल खोज प्रयुक्त है जो हाथ से जांचने के लिए बहुत लंबी है।]]कुछ प्रमेय [[तुच्छता (गणित)]] हैं, इस अर्थ में कि वे परिभाषाओं, स्वयंसिद्धों और अन्य प्रमेयों से स्पष्ट रूप से अनुसरण करते हैं और उनमें कोई आश्चर्यजनक अंतर्दृष्टि नहीं होती है। दूसरी ओर, कुछ को गहरा कहा जा सकता है, क्योंकि उनके प्रमाण लंबे और कठिन हो सकते हैं, गणित के क्षेत्रों को प्रमेय के कथन से सतही रूप से अलग करते हैं, या गणित के असमान क्षेत्रों के बीच आश्चर्यजनक संबंध दिखाते हैं।<ref>{{MathWorld|title=Deep Theorem|urlname=DeepTheorem}}</ref> एक प्रमेय का वर्णन करना सरल हो सकता है और फिर भी गहरा हो सकता है। फ़र्मेट की अंतिम प्रमेय एक उत्कृष्ट उदाहरण है,<ref name=":1" />और अन्य क्षेत्रों के अतिरिक्त, [[संख्या सिद्धांत]] और [[साहचर्य]] में सरल लेकिन गहन प्रमेय के कई अन्य उदाहरण हैं। | ||
| Line 99: | Line 99: | ||
== तर्क में प्रमेय == | == तर्क में प्रमेय == | ||
गणितीय तर्क में, एक सिद्धांत (गणितीय तर्क) एक औपचारिक भाषा के भीतर वाक्यों का एक समूह है। एक वाक्य एक [[अच्छी तरह से गठित सूत्र]] है | अच्छी तरह से गठित सूत्र जिसमें कोई मुक्त चर नहीं है। एक वाक्य जो एक सिद्धांत का सदस्य है, उसका एक प्रमेय है, और सिद्धांत उसके प्रमेयों का समुच्चय है। सामान्यतः किसी सिद्धांत को तार्किक परिणाम के संबंध में बंद समझा जाता है। कुछ खाते एक सिद्धांत को तार्किक परिणाम | गणितीय तर्क में, एक सिद्धांत (गणितीय तर्क) एक औपचारिक भाषा के भीतर वाक्यों का एक समूह है। एक वाक्य एक [[अच्छी तरह से गठित सूत्र]] है | अच्छी तरह से गठित सूत्र जिसमें कोई मुक्त चर नहीं है। एक वाक्य जो एक सिद्धांत का सदस्य है, उसका एक प्रमेय है, और सिद्धांत उसके प्रमेयों का समुच्चय है। सामान्यतः किसी सिद्धांत को तार्किक परिणाम के संबंध में बंद समझा जाता है। कुछ खाते एक सिद्धांत को तार्किक परिणाम सिमेंटिक परिणाम संबंध के अंतर्गत बंद करने के लिए परिभाषित करते हैं (<math>\models</math>), जबकि अन्य इसे तार्किक परिणाम सिंटैक्टिक परिणाम, या व्युत्पन्नता संबंध के अंतर्गत बंद होने के रूप में परिभाषित करते हैं (<math>\vdash</math>).<ref>Boolos, et al 2007, p. 191.</ref><ref>Chiswell and Hodges, p. 172.</ref><ref>Enderton, p. 148</ref><ref>Hedman, p. 89.</ref><ref>Hinman, p. 139.</ref><ref>Hodges, p. 33.</ref><ref>Johnstone, p. 21.</ref><ref>Monk, p. 208.</ref><ref>Rautenberg, p. 81.</ref><ref>van Dalen, p. 104.</ref> | ||
{{Clear}}<!-- stop picture bleeding into completely unrelated next section --> | {{Clear}}<!-- stop picture bleeding into completely unrelated next section --> | ||
[[File:Formal languages.svg|thumb|300px|right|यह आरेख [[सिंटेक्स (तर्क)]]तर्क) दिखाता है जिसे औपचारिक भाषाओं से बनाया जा सकता है। [[प्रतीक (औपचारिक)]] और [[स्ट्रिंग (कंप्यूटर विज्ञान)]] को | [[File:Formal languages.svg|thumb|300px|right|यह आरेख [[सिंटेक्स (तर्क)]]तर्क) दिखाता है जिसे औपचारिक भाषाओं से बनाया जा सकता है। [[प्रतीक (औपचारिक)]] और [[स्ट्रिंग (कंप्यूटर विज्ञान)]] को लगभग [[बकवास]] और सुगठित सूत्रों में विभाजित किया जा सकता है। एक औपचारिक भाषा को उसके सुव्यवस्थित सूत्रों के समुच्चय के समान माना जा सकता है। सुगठित सूत्रों के समुच्चय को [[बकवास|लगभग]] प्रमेयों और गैर-प्रमेयों में विभाजित किया जा सकता है।]]व्युत्पन्नता संबंध के तहत एक सिद्धांत को बंद करने के लिए, इसे औपचारिक प्रणाली डिडक्टिव सिस्टम से जोड़ा जाना चाहिए जो निर्दिष्ट करता है कि प्रमेय कैसे व्युत्पन्न होते हैं। डिडक्टिव सिस्टम को स्पष्ट रूप से कहा जा सकता है, या यह संदर्भ से स्पष्ट हो सकता है। तार्किक परिणाम के संबंध के अंतर्गत खाली सेट को बंद करने से वह सेट प्राप्त होता है जिसमें केवल उन वाक्यों को सम्मलित किया जाता है जो निगमनात्मक प्रणाली के प्रमेय हैं। | ||
जिस व्यापक अर्थ में इस शब्द का उपयोग तर्क के भीतर किया जाता है, एक प्रमेय का सत्य होना जरूरी नहीं है, क्योंकि जिस सिद्धांत में यह सम्मलित है वह किसी दिए गए शब्दार्थ के सापेक्ष ध्वनि हो सकता है, या अंतर्निहित भाषा के मानक [[व्याख्या (तर्क)]] के सापेक्ष हो सकता है। . एक सिद्धांत जो संगति है | जिस व्यापक अर्थ में इस शब्द का उपयोग तर्क के भीतर किया जाता है, एक प्रमेय का सत्य होना जरूरी नहीं है, क्योंकि जिस सिद्धांत में यह सम्मलित है वह किसी दिए गए शब्दार्थ के सापेक्ष ध्वनि हो सकता है, या अंतर्निहित भाषा के मानक [[व्याख्या (तर्क)]] के सापेक्ष हो सकता है। . एक सिद्धांत जो संगति है [[मॉडल सिद्धांत]] में प्रमेय के रूप में सभी वाक्य हैं। | ||
एक औपचारिक भाषा के वाक्यों के रूप में प्रमेयों की परिभाषा प्रूफ थ्योरी के भीतर उपयोगी है, जो गणित की एक शाखा है जो औपचारिक प्रमाणों की संरचना और सिद्ध सूत्रों की संरचना का अध्ययन करती है। यह मॉडल सिद्धांत में भी महत्वपूर्ण है, जो औपचारिक सिद्धांतों और संरचनाओं के बीच संबंध से संबंधित है जो व्याख्या (तर्क) के माध्यम से उनके लिए शब्दार्थ प्रदान करने में सक्षम हैं। | एक औपचारिक भाषा के वाक्यों के रूप में प्रमेयों की परिभाषा प्रूफ थ्योरी के भीतर उपयोगी है, जो गणित की एक शाखा है जो औपचारिक प्रमाणों की संरचना और सिद्ध सूत्रों की संरचना का अध्ययन करती है। यह मॉडल सिद्धांत में भी महत्वपूर्ण है, जो औपचारिक सिद्धांतों और संरचनाओं के बीच संबंध से संबंधित है जो व्याख्या (तर्क) के माध्यम से उनके लिए शब्दार्थ प्रदान करने में सक्षम हैं। | ||
| Line 126: | Line 126: | ||
=== सिंटेक्स और शब्दार्थ === | === सिंटेक्स और शब्दार्थ === | ||
{{Main| | {{Main|सिंटैक्स (तर्क)|औपचारिक शब्दार्थ (तर्क)}} | ||
एक औपचारिक प्रमेय की अवधारणा मौलिक रूप से वाक्यात्मक है, एक सच्चे प्रस्ताव की धारणा के विपरीत, जो शब्दार्थ का परिचय देती है। व्युत्पत्ति नियमों (यानी [[विश्वास]], [[औचित्य का सिद्धांत]] या अन्य [[मॉडल तर्क]]) के अनुमानों के आधार पर विभिन्न निगमनात्मक प्रणालियां अन्य व्याख्याएं उत्पन्न कर सकती हैं। एक औपचारिक प्रणाली की सुदृढ़ता इस बात पर निर्भर करती है कि इसके सभी प्रमेय भी [[वैधता (तर्क)]] हैं या नहीं। एक वैधता एक सूत्र है जो किसी भी संभावित व्याख्या के तहत सत्य है (उदाहरण के लिए, शास्त्रीय प्रस्तावपरक तर्क में, वैधता पुनरुक्ति (तर्क) है)। एक औपचारिक प्रणाली को [[पूर्णता (तर्क)]] माना जाता है जब उसके सभी प्रमेय भी पुनरुक्ति होते हैं। | एक औपचारिक प्रमेय की अवधारणा मौलिक रूप से वाक्यात्मक है, एक सच्चे प्रस्ताव की धारणा के विपरीत, जो शब्दार्थ का परिचय देती है। व्युत्पत्ति नियमों (यानी [[विश्वास]], [[औचित्य का सिद्धांत]] या अन्य [[मॉडल तर्क]]) के अनुमानों के आधार पर विभिन्न निगमनात्मक प्रणालियां अन्य व्याख्याएं उत्पन्न कर सकती हैं। एक औपचारिक प्रणाली की सुदृढ़ता इस बात पर निर्भर करती है कि इसके सभी प्रमेय भी [[वैधता (तर्क)]] हैं या नहीं। एक वैधता एक सूत्र है जो किसी भी संभावित व्याख्या के तहत सत्य है (उदाहरण के लिए, शास्त्रीय प्रस्तावपरक तर्क में, वैधता पुनरुक्ति (तर्क) है)। एक औपचारिक प्रणाली को [[पूर्णता (तर्क)]] माना जाता है जब उसके सभी प्रमेय भी पुनरुक्ति होते हैं। | ||
=== एक औपचारिक प्रमेय की व्याख्या === | === एक औपचारिक प्रमेय की व्याख्या === | ||
{{Main| | {{Main|व्याख्या (तर्क)}}<!-- Wouldn't this fit better in the page "formal theorem"? --> | ||
=== प्रमेय और सिद्धांत === | === प्रमेय और सिद्धांत === | ||
{{Main| | {{Main|सिद्धांत | ||
| | |||
सिद्धांत (गणितीय तर्क) | |||
}} | |||
Revision as of 08:26, 28 November 2022
File:Pythagorean Proof (3).PNG
.PNG){kind=link}
पाइथागोरस प्रमेय के कम से कम 370 ज्ञात प्रमाण हैं[1]
गणित में, एक प्रमेय एक कथन (तर्क) है जो गणितीय प्रमाण हो चुका है, या सिद्ध किया जा सकता है।[lower-alpha 1][2][3] एक प्रमेय का प्रमाण एक तार्किक तर्क है जो एक निगमनात्मक प्रणाली के अनुमान नियमों का उपयोग यह स्थापित करने के लिए करता है कि प्रमेय स्वयंसिद्धों और पहले सिद्ध प्रमेयों का एक तार्किक परिणाम है।
गणित की मुख्यधारा में, अभिगृहीत और अनुमान नियम सामान्यतः अंतर्निहित छोड़ दिए जाते हैं, और, इस स्थिति में, वे लगभग हमेशा ज़र्मेलो-फ्रेंकेल सेट सिद्धांत के होते हैं, जिसमें पसंद का स्वयंसिद्ध या कम शक्तिशाली सिद्धांत होता है, जैसे कि पीनो (peano) अंकगणित। एक उल्लेखनीय अपवाद फ़र्मेट के अंतिम प्रमेय का विल्स का प्रमाण है, जिसमें ग्रोथेंडिक ब्रह्मांड प्रयोग हैं जिनके अस्तित्व के लिए सेट सिद्धांत के लिए एक नया स्वयंसिद्ध जोड़ना आवश्यक है।[lower-alpha 2]सामान्यतः, एक अभिकथन जिसे स्पष्ट रूप से प्रमेय कहा जाता है, एक सिद्ध परिणाम है जो अन्य ज्ञात प्रमेयों का तत्काल परिणाम नहीं है। इसके अलावा, कई लेखक केवल सबसे महत्वपूर्ण परिणाम प्रमेय के रूप में अर्हता प्राप्त करते हैं, और कम महत्वपूर्ण प्रमेय के लिए शब्द प्रमेयिका, प्रस्ताव और परिणाम का उपयोग करते हैं।
गणितीय तर्क में, उनके बारे में गणितीय तर्क की अनुमति देने के लिए प्रमेय और प्रमाण की अवधारणा औपचारिक प्रणाली रही है। इस संदर्भ में कथन कुछ औपचारिक भाषा के सुव्यवस्थित सूत्र बन जाते हैं। एक सिद्धांत (गणितीय तर्क) में कुछ आधार कथन होते हैं जिन्हें स्वयंसिद्ध कहा जाता है, और कुछ निगमन नियम (कभी-कभी स्वयंसिद्धों में सम्मलित होते हैं)। सिद्धांत के प्रमेय वे कथन हैं जो व्युत्पन्न नियमों का उपयोग करके स्वयंसिद्धों से प्राप्त किए जा सकते हैं।[lower-alpha 3] इस औपचारिकता ने प्रमाण सिद्धांत को जन्म दिया, जो प्रमेयों और प्रमाणों के बारे में सामान्य प्रमेयों को सिद्ध करने की अनुमति देता है। विशेष रूप से, गोडेल के अपूर्णता प्रमेयों से पता चलता है कि प्राकृतिक संख्याओं वाले प्रत्येक संगति सिद्धांत में प्राकृतिक संख्याओं पर सही कथन हैं जो सिद्धांत के प्रमेय नहीं हैं (अर्थात वे सिद्धांत के भीतर सिद्ध नहीं किए जा सकते हैं)।
चूंकि अभिगृहीत अधिकांशतः भौतिक दुनिया के गुणों का सार होते हैं, प्रमेयों को कुछ सत्य व्यक्त करने के रूप में माना जा सकता है, लेकिन एक वैज्ञानिक कानून की धारणा के विपरीत, जो प्रयोगात्मक है, एक प्रमेय की सत्यता का औचित्य विशुद्ध रूप से निगमनात्मक है।[4][5]