रचनात्मक प्रमाण: Difference between revisions

Latest revision as of 09:20, 12 February 2023

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

रचनात्मक प्रमाण एक प्रमाण की शक्तिशालि अवधारणा को भी संदर्भित कर सकता है जो रचनात्मक गणित में मान्य है।

रचनावाद (गणित) गणितीय धारणा है जो उन सभी प्रमाण विधियों को अस्वीकार करता है जिनमें ऐसी वस्तुओं का अस्तित्व सम्मिलित है जो स्पष्ट रूप से निर्मित नहीं हैं। इसमें, विशेष रूप से, बहिष्कृत मध्य के नियम, अनन्तता की सूक्ति, और चुनाव की सूक्ति का उपयोग सम्मिलित नहीं है, और कुछ शब्दावली के लिए एक अलग अर्थ उत्पन्न करता है (उदाहरण के लिए, शब्द "या" पारम्परिक गणित से अधिक रचनात्मक गणित में एक तीक्ष्ण अर्थ है)।^[1]

कुछ गैर-रचनात्मक प्रमाण बताते हैं कि यदि कोई निश्चित प्रस्ताव गलत है, तो एक विरोधाभास सामने आता है; फलस्वरूप प्रस्ताव सत्य होना चाहिए (विरोधाभास द्वारा प्रमाण)। हालांकि, विस्फोट के सिद्धांत को रचनात्मक गणित की कुछ प्रकारों में स्वीकार किया गया है, जिसमें अंतर्ज्ञानवाद भी सम्मिलित है।

रचनात्मक प्रमाणों को प्रमाणित गणितीय कलन विधि को परिभाषित करने के रूप में देखा जा सकता है: इस विचार को रचनात्मक तर्क की ब्रोवर-हेटिंग-कोलमोगोरोव व्याख्या, प्रमाणों और कार्यक्रमों के बीच करी-हावर्ड पत्राचार, और प्रति मार्टिन-लोफ के अंतर्ज्ञानवादी प्रकार के सिद्धांत के रूप में ऐसी तार्किक प्रणालियों में खोजा गया है।

एक ऐतिहासिक उदाहरण

19वीं शताब्दी के अंत तक, सभी गणितीय प्रमाण अनिवार्य रूप से रचनात्मक थे। पहला गैर-रचनात्मक निर्माण जॉर्ज कैंटर के अनंत सम्मुच्चयों के सिद्धांत और वास्तविक संख्याओं की औपचारिक परिभाषा के साथ प्रकट हुआ।

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

नलस्टेलनसैट्ज को इस प्रकार कहा जा सकता है: यदि $f_{1},\ldots ,f_{k}$ में $n$ बहुपद हैं, सम्मिश्र संख्या गुणांकों के साथ अनिश्चित है, जिसमें किसी प्रकार्य का कोई सामान्य जटिल शून्य नहीं है, तो बहुपद हैं $g_{1},\ldots ,g_{k}$ ऐसा है कि

f_{1}g_{1}+\ldots +f_{k}g_{k}=1.

इस तरह का एक गैर-रचनात्मक अस्तित्व प्रमेय उस समय के गणितज्ञों के लिए एक ऐसा आश्चर्य था कि उनमें से एक, पॉल गॉर्डन ने लिखा: यह गणित नहीं है, यह धर्मशास्त्र है।^[2]

पच्चीस साल बाद, ग्रेट हरमन ने कंप्यूटिंग के लिए एक कलन विधि $g_{1},\ldots ,g_{k},$ प्रदान की जो मजबूत अर्थों में एक रचनात्मक प्रमाण नहीं है, क्योंकि उसने हिल्बर्ट के परिणाम का प्रयोग किया था। उसने प्रमाणित कर दिया कि अगर $g_{1},\ldots ,g_{k}$ उपस्थित हैं, वे डिग्री से कम के साथ पाए जा सकते हैं।

 $2^{2^{n}}$ .^[3]

यह एक कलन विधि प्रदान करता है, क्योंकि समस्या रैखिक समीकरणों की एक प्रणाली को हल करने के लिए अज्ञात के गुणांक की सीमित संख्या $g_{i}.$ पर विचार करके कम हो जाती है।

उदाहरण

अरचनात्मक प्रमाण

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

अब इस प्रमेय पर विचार करें कि वहाँ अपरिमेय संख्याएँ $a$ और $b$ उपस्थित हैं। ऐसा है कि $a^{b}$ परिमेय संख्या है। इस प्रमेय को रचनात्मक प्रमाण और गैर रचनात्मक प्रमाण दोनों का उपयोग करके सिद्ध किया जा सकता है।

डोव जॉर्डन द्वारा निम्नलिखित 1953 के प्रमाण को कम से कम 1970 के बाद से एक गैर-रचनात्मक प्रमाण के उदाहरण के रूप में व्यापक रूप से उपयोग किया गया है:^[4]^[5] एक साधारण प्रमाण कि एक अपरिमेय संख्या की शक्ति एक अपरिमेय प्रतिपादक के लिए तर्कसंगत हो सकती है।

${\sqrt {2}}^{\sqrt {2}}$ या तो तर्कसंगत है या तर्कहीन है। यदि यह तर्कसंगत है, तो हमारा कथन सिद्ध होता है। यदि यह तर्कहीन है, $({\sqrt {2}}^{\sqrt {2}})^{\sqrt {2}}=2$ हमारे वर्णन को प्रमाणित करता है।
डोव जॉर्डन यरूशलेम

थोड़ा और विस्तार से:

याद करें कि ${\sqrt {2}}$ तर्कहीनता के प्रमाण का वर्गमूल, और 2 परिमेय है। $q={\sqrt {2}}^{\sqrt {2}}$ संख्या पर विचार करें, या तो यह तर्कसंगत है या यह तर्कहीन है।
अगर $q$ तर्कसंगत है, तो प्रमेय सत्य है, जहां a और b दोनों ${\sqrt {2}}$ हैं।
यदि $q$ अपरिमेय है, तो प्रमेय सत्य है, के साथ $a$ प्राणी ${\sqrt {2}}^{\sqrt {2}}$ और $b$ ${\sqrt {2}}$ है, तब से

\left({\sqrt {2}}^{\sqrt {2}}\right)^{\sqrt {2}}={\sqrt {2}}^{({\sqrt {2}}\cdot {\sqrt {2}})}={\sqrt {2}}^{2}=2.

इसके मूल में, यह प्रमाण गैर-रचनात्मक है क्योंकि यह कथन पर निर्भर करता है या तो q तर्कसंगत है या यह तर्कहीन है - बहिष्कृत मध्य के नियम का एक उदाहरण, जो एक रचनात्मक प्रमाण के भीतर मान्य नहीं है। गैर-रचनात्मक प्रमाण उदाहरण a और b का निर्माण नहीं करता है; यह केवल कई संभावनाएँ देता है (इस स्तिथि में, दो परस्पर अनन्य संभावनाएँ) और दिखाता है कि उनमें से एक - लेकिन यह नहीं दिखाता है कि कौनसी - वांछित उदाहरण देना चाहिए।

जैसे की वो पता चला, ${\sqrt {2}}^{\sqrt {2}}$ गेलफॉन्ड-श्नाइडर प्रमेय के कारण तर्कहीन है, लेकिन यह तथ्य गैर-रचनात्मक प्रमाण की शुद्धता के लिए अप्रासंगिक है।

रचनात्मक प्रमाण

अपरिमेय की अपरिमेय शक्तियों पर उपरोक्त प्रमेय का एक रचनात्मक प्रमाण एक वास्तविक उदाहरण देगा, जैसे:

a={\sqrt {2}}\,,\quad b=\log _{2}9\,,\quad a^{b}=3\,.

2 का वर्गमूल अपरिमेय है, और 3 परिमेय है। $\log _{2}9$ भी तर्कहीन है: यदि यह बराबर $m \over n$ थे, फिर, लघुगणक के गुणों से, 9ⁿ 2 के बराबर होगा^m, लेकिन पूर्व विषम है, और बाद वाला सम है।

एक अधिक महत्वपूर्ण उदाहरण लेखाचित्र लघु प्रमेय है। इस प्रमेय का एक परिणाम यह है कि टोरस्र्स पर एक लेखाचित्र (असतत गणित) खींचा जा सकता है, और केवल अगर, इसका कोई भी छोटा (लेखाचित्र सिद्धांत) वर्जित नाबालिगों के एक निश्चित सीमित सम्मुच्चय से संबंधित नहीं है। हालांकि, इस परिमित समुच्चय के अस्तित्व का प्रमाण रचनात्मक नहीं है, और निषिद्ध अवयस्क वास्तव में निर्दिष्ट नहीं हैं।^[6] वे अभी भी अज्ञात हैं।

ब्रोवरियन प्रति उदाहरण

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

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

ब्रोवर ने शक्तिहीन प्रति उदाहरण भी प्रदान किए।^[8] हालाँकि, इस तरह के प्रत्युदाहरण किसी कथन का खंडन नहीं करते हैं; वे केवल यह दिखाते हैं कि वर्तमान में, कथन का कोई रचनात्मक प्रमाण ज्ञात नहीं है। एक शक्तिहीन प्रति उदाहरण गणित की कुछ अनसुलझी समस्या को लेकर प्रारम्भ होता है, जैसे कि गोल्डबैक का अनुमान, जो पूछता है कि क्या 4 से बड़ी प्रत्येक प्राकृतिक संख्या भी दो अभाज्य संख्याओं का योग है। परिमेय संख्याओं के अनुक्रम a(n) को निम्नानुसार परिभाषित करें:^[9]

a(n)={\begin{cases}(1/2)^{n}&{\mbox{if every even natural number in the interval }}[4,n]{\mbox{ is the sum of two primes}},\\(1/2)^{k}&{\mbox{if }}k{\mbox{ is the least even natural number in the interval }}[4,n]{\mbox{ which is not the sum of two primes}}\end{cases}}

प्रत्येक n के लिए, a(n) का मान संपूर्ण खोज द्वारा निर्धारित किया जा सकता है, और इसलिए रचनात्मक रूप से एक अच्छी तरह से परिभाषित अनुक्रम है। इसके अलावा, क्योंकि एक निश्चित दर के साथ कॉची अनुक्रम है

अभिसरण का, रचनात्मक गणित में वास्तविक संख्याओं के सामान्य उपचार के अनुसार, कुछ वास्तविक संख्या α में अभिसरण करता है।

वास्तविक संख्या α के बारे में कई तथ्यों को रचनात्मक रूप से सिद्ध किया जा सकता है। हालांकि, रचनात्मक गणित में शब्दों के विभिन्न अर्थों के आधार पर, यदि कोई रचनात्मक प्रमाण है कि α = 0 या α ≠ 0 है तो इसका मतलब यह होगा कि गोल्डबैक के अनुमान (पूर्व स्तिथि में) या एक रचनात्मक प्रमाण है कि गोल्डबैक का अनुमान असत्य है (बाद की स्तिथि में)। क्योंकि ऐसा कोई प्रमाण ज्ञात नहीं है, उद्धृत कथन में ज्ञात रचनात्मक प्रमाण भी नहीं होना चाहिए। हालांकि, यह पूरी तरह से संभव है कि गोल्डबैक के अनुमान का एक रचनात्मक प्रमाण हो सकता है (जैसा कि हम वर्तमान में नहीं जानते हैं कि क्या यह होता है), इस स्तिथि में उद्धृत कथन के पास एक रचनात्मक प्रमाण भी होगा, हालांकि वर्तमान में अज्ञात है। शक्तिहीन प्रति उदाहरणों का मुख्य व्यावहारिक उपयोग किसी समस्या की कठोरता की पहचान करना है। उदाहरण के लिए, अभी दिखाया गया प्रति उदाहरण दर्शाता है कि उद्धृत कथन गोल्डबैक के अनुमान के रूप में प्रमाणित करने के लिए कम से कम उतना ही कठिन है। इस तरह के शक्तिहीन प्रति उदाहरण प्रायः सर्वज्ञता के सीमित सिद्धांत से संबंधित होते हैं।

यह भी देखें

रचनावाद (गणित का दर्शन)
एरेट बिशप - "रचनात्मक विश्लेषण की नींव" पुस्तक के लेखक।
अस्तित्व प्रमेय § 'शुद्ध' अस्तित्व परिणाम
गैर-रचनात्मक कलन विधि अस्तित्व प्रमाण
संभाव्य विधि

संदर्भ

↑ Bridges, Douglas; Palmgren, Erik (2018), "Constructive Mathematics", in Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (Summer 2018 ed.), Metaphysics Research Lab, Stanford University, retrieved 2019-10-25
↑ McLarty, Colin (April 15, 2008). Circles disturbed: the interplay of mathematics and narrative — Chapter 4. Hilbert on Theology and Its Discontents The Origin Myth of Modern Mathematics. Doxiadēs, Apostolos K., 1953-, Mazur, Barry. Princeton: Princeton University Press. doi:10.1515/9781400842681.105. ISBN 9781400842681. OCLC 775873004. S2CID 170826113.
↑ Hermann, Grete (1926). "Die Frage der endlich vielen Schritte in der Theorie der Polynomideale: Unter Benutzung nachgelassener Sätze von K. Hentzelt". Mathematische Annalen (in Deutsch). 95 (1): 736–788. doi:10.1007/BF01206635. ISSN 0025-5831. S2CID 115897210.
↑ J. Roger Hindley, "The Root-2 Proof as an Example of Non-constructivity", unpublished paper, September 2014, full text Archived 2014-10-23 at the Wayback Machine
↑ Dov Jarden, "A simple proof that a power of an irrational number to an irrational exponent may be rational", Curiosa No. 339 in Scripta Mathematica 19:229 (1953)
↑ Fellows, Michael R.; Langston, Michael A. (1988-06-01). "Nonconstructive tools for proving polynomial-time decidability" (PDF). Journal of the ACM. 35 (3): 727–739. doi:10.1145/44483.44491. S2CID 16587284.
↑ Mandelkern, Mark (1989). "Brouwerian Counterexamples". Mathematics Magazine. 62 (1): 3–27. doi:10.2307/2689939. ISSN 0025-570X. JSTOR 2689939.
↑ A. S. Troelstra, Principles of Intuitionism, Lecture Notes in Mathematics 95, 1969, p. 102
↑ Mark van Atten, 2015, "Weak Counterexamples", Stanford Encyclopedia of Mathematics

आगे की पढाई

J. Franklin and A. Daoud (2011) Proof in Mathematics: An Introduction. Kew Books, ISBN 0-646-54509-4, ch. 4
Hardy, G. H. & Wright, E. M. (1979) An Introduction to the Theory of Numbers (Fifth Edition). Oxford University Press. ISBN 0-19-853171-0
Anne Sjerp Troelstra and Dirk van Dalen (1988) "Constructivism in Mathematics: Volume 1" Elsevier Science. ISBN 978-0-444-70506-8

बाहरी कड़ियाँ

Weak counterexamples by Mark van Atten, Stanford Encyclopedia of Philosophy

[1] Bridges, Douglas; Palmgren, Erik (2018), "Constructive Mathematics", in Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (Summer 2018 ed.), Metaphysics Research Lab, Stanford University, retrieved 2019-10-25

[2] McLarty, Colin (April 15, 2008). Circles disturbed: the interplay of mathematics and narrative — Chapter 4. Hilbert on Theology and Its Discontents The Origin Myth of Modern Mathematics. Doxiadēs, Apostolos K., 1953-, Mazur, Barry. Princeton: Princeton University Press. doi:10.1515/9781400842681.105. ISBN 9781400842681. OCLC 775873004. S2CID 170826113.

[3] Hermann, Grete (1926). "Die Frage der endlich vielen Schritte in der Theorie der Polynomideale: Unter Benutzung nachgelassener Sätze von K. Hentzelt". Mathematische Annalen (in Deutsch). 95 (1): 736–788. doi:10.1007/BF01206635. ISSN 0025-5831. S2CID 115897210.

[4] J. Roger Hindley, "The Root-2 Proof as an Example of Non-constructivity", unpublished paper, September 2014, full text Archived 2014-10-23 at the Wayback Machine

[5] Dov Jarden, "A simple proof that a power of an irrational number to an irrational exponent may be rational", Curiosa No. 339 in Scripta Mathematica 19:229 (1953)

[6] Fellows, Michael R.; Langston, Michael A. (1988-06-01). "Nonconstructive tools for proving polynomial-time decidability" (PDF). Journal of the ACM. 35 (3): 727–739. doi:10.1145/44483.44491. S2CID 16587284.

[7] Mandelkern, Mark (1989). "Brouwerian Counterexamples". Mathematics Magazine. 62 (1): 3–27. doi:10.2307/2689939. ISSN 0025-570X. JSTOR 2689939.

[8] A. S. Troelstra, Principles of Intuitionism, Lecture Notes in Mathematics 95, 1969, p. 102

[9] Mark van Atten, 2015, "Weak Counterexamples", Stanford Encyclopedia of Mathematics

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

@@ Line 1: / Line 1: @@
 {{short description|Method of proof in mathematics}}
-गणित में, एक रचनात्मक सबूत गणितीय सबूत का एक तरीका है जो ऑब्जेक्ट बनाने के लिए एक विधि बनाकर या [[गणितीय वस्तु]] के अस्तित्व को प्रदर्शित करता है। यह एक गैर-रचनात्मक प्रमाण के विपरीत है (जिसे एक अस्तित्व प्रमाण या अस्तित्व प्रमेय के रूप में भी जाना जाता है। आने वाली मजबूत अवधारणा के साथ भ्रम से बचने के लिए, ऐसे रचनात्मक प्रमाण को कभी-कभी एक प्रभावी प्रमाण कहा जाता है।
+गणित में, रचनात्मक प्रमाण गणितीय प्रमाण का एक तरीका है जो वस्तु बनाने या बनाने के लिए एक विधि प्रदान करके गणितीय वस्तु के अस्तित्व को प्रदर्शित करता है। यह गैर-रचनात्मक प्रमाण के विपरीत है (जिसे एक अस्तित्व प्रमाण या अस्तित्व प्रमेय के रूप में भी जाना जाता है। आने वाली मजबूत अवधारणा के साथ भ्रम से बचने के लिए, ऐसे रचनात्मक प्रमाण को कभी-कभी प्रभावी प्रमाण कहा जाता है।
-एक रचनात्मक सबूत एक सबूत की मजबूत अवधारणा को भी संदर्भित कर सकता है जो [[रचनात्मक गणित]] में मान्य है।
+रचनात्मक प्रमाण एक प्रमाण की शक्तिशालि अवधारणा को भी संदर्भित कर सकता है जो [[रचनात्मक गणित]] में मान्य है।
-रचनावाद (गणित) एक गणितीय दर्शन है जो उन सभी प्रमाण विधियों को अस्वीकार करता है जिनमें ऐसी वस्तुओं का अस्तित्व शामिल है जो स्पष्ट रूप से निर्मित नहीं हैं। इसमें, विशेष रूप से, बहिष्कृत मध्य के नियम, अनन्तता की कसौटी, और पसंद की कसौटी का उपयोग शामिल नहीं है, और कुछ शब्दावली के लिए एक अलग अर्थ उत्पन्न करता है (उदाहरण के लिए, शब्द या रचनात्मक गणित में एक मजबूत अर्थ है शास्त्रीय में)।<ref>{{Citation|last1=Bridges|first1=Douglas|title=Constructive Mathematics|date=2018|url=https://plato.stanford.edu/archives/sum2018/entries/mathematics-constructive/|encyclopedia=The Stanford Encyclopedia of Philosophy|editor-last=Zalta|editor-first=Edward N.|edition=Summer 2018|publisher=Metaphysics Research Lab, Stanford University|access-date=2019-10-25|last2=Palmgren|first2=Erik}}</ref>
-कुछ गैर-रचनात्मक प्रमाण बताते हैं कि यदि कोई निश्चित प्रस्ताव गलत है, तो एक विरोधाभास सामने आता है; फलस्वरूप प्रस्ताव सत्य होना चाहिए ([[विरोधाभास द्वारा प्रमाण]])। हालांकि, विस्फोट के सिद्धांत (एक्स फाल्स क्वाडलिबेट) को रचनात्मक गणित की कुछ किस्मों में स्वीकार किया गया है, जिसमें अंतर्ज्ञानवाद भी शामिल है।
-रचनात्मक प्रमाणों को प्रमाणित गणितीय [[कलन विधि]] को परिभाषित करने के रूप में देखा जा सकता है: इस विचार को [[रचनात्मक तर्क]] की ब्रोवर-हेटिंग-कोलमोगोरोव व्याख्या, प्रमाणों और कार्यक्रमों के बीच करी-हावर्ड पत्राचार, और प्रति मार्टिन-लोफ के अंतर्ज्ञानवादी प्रकार के सिद्धांत के रूप में ऐसी तार्किक प्रणालियों में खोजा गया है। और [[थिएरी कोक्वांड]] और जेरार्ड ह्यूट के [[निर्माण की गणना]]।
+रचनावाद (गणित) गणितीय धारणा है जो उन सभी प्रमाण विधियों को अस्वीकार करता है जिनमें ऐसी वस्तुओं का अस्तित्व सम्मिलित है जो स्पष्ट रूप से निर्मित नहीं हैं। इसमें, विशेष रूप से, बहिष्कृत मध्य के नियम, अनन्तता की सूक्ति, और चुनाव की सूक्ति का उपयोग सम्मिलित नहीं है, और कुछ शब्दावली के लिए एक अलग अर्थ उत्पन्न करता है (उदाहरण के लिए, शब्द "या" पारम्परिक गणित से अधिक रचनात्मक गणित में एक तीक्ष्ण अर्थ है)।<ref>{{Citation|last1=Bridges|first1=Douglas|title=Constructive Mathematics|date=2018|url=https://plato.stanford.edu/archives/sum2018/entries/mathematics-constructive/|encyclopedia=The Stanford Encyclopedia of Philosophy|editor-last=Zalta|editor-first=Edward N.|edition=Summer 2018|publisher=Metaphysics Research Lab, Stanford University|access-date=2019-10-25|last2=Palmgren|first2=Erik}}</ref>
+कुछ गैर-रचनात्मक प्रमाण बताते हैं कि यदि कोई निश्चित प्रस्ताव गलत है, तो एक विरोधाभास सामने आता है; फलस्वरूप प्रस्ताव सत्य होना चाहिए ([[विरोधाभास द्वारा प्रमाण]])। हालांकि, विस्फोट के सिद्धांत को रचनात्मक गणित की कुछ प्रकारों में स्वीकार किया गया है, जिसमें अंतर्ज्ञानवाद भी सम्मिलित है।
+रचनात्मक प्रमाणों को प्रमाणित गणितीय [[कलन विधि]] को परिभाषित करने के रूप में देखा जा सकता है: इस विचार को [[रचनात्मक तर्क]] की ब्रोवर-हेटिंग-कोलमोगोरोव व्याख्या, प्रमाणों और कार्यक्रमों के बीच करी-हावर्ड पत्राचार, और प्रति मार्टिन-लोफ के अंतर्ज्ञानवादी प्रकार के सिद्धांत के रूप में ऐसी तार्किक प्रणालियों में खोजा गया है।
 == एक ऐतिहासिक उदाहरण ==
-वीं शताब्दी के अंत तक, सभी गणितीय प्रमाण अनिवार्य रूप से रचनात्मक थे। पहला गैर-रचनात्मक निर्माण [[जॉर्ज कैंटर]] के [[अनंत सेट]]ों के सिद्धांत और [[वास्तविक संख्या]]ओं की औपचारिक परिभाषा के साथ प्रकट हुआ।
+वीं शताब्दी के अंत तक, सभी गणितीय प्रमाण अनिवार्य रूप से रचनात्मक थे। पहला गैर-रचनात्मक निर्माण [[जॉर्ज कैंटर]] के [[अनंत सेट|अनंत सम्मुच्चयों]] के सिद्धांत और [[वास्तविक संख्या]]ओं की औपचारिक परिभाषा के साथ प्रकट हुआ।
-पहले से विचार की गई समस्याओं को हल करने के लिए गैर-रचनात्मक सबूतों का पहला उपयोग हिल्बर्ट के नलस्टेलेंसैट्स और हिल्बर्ट के आधार प्रमेय लगता है। एक दार्शनिक दृष्टिकोण से, पूर्व विशेष रूप से दिलचस्प है, जैसा कि एक अच्छी तरह से निर्दिष्ट वस्तु के अस्तित्व को दर्शाता है।
+पहले से विचार की गई समस्याओं को हल करने के लिए गैर-रचनात्मक प्रमाणों का पहला उपयोग हिल्बर्ट के नलस्टेलेंसैट्स और हिल्बर्ट के आधार प्रमेय लगता है। एक दार्शनिक दृष्टिकोण से, पूर्ववर्ती विशेष रूप से रोचक है, जैसा कि एक अच्छी तरह से निर्दिष्ट वस्तु के अस्तित्व को दर्शाता है।
-Nullstellensatz को इस प्रकार कहा जा सकता है: यदि <math>f_1,\ldots,f_k</math> में [[बहुपद]] हैं {{mvar|n}} सम्मिश्र संख्या गुणांकों के साथ अनिश्चित है, जिसमें किसी फ़ंक्शन का कोई सामान्य जटिल शून्य नहीं है, तो बहुपद हैं <math>g_1,\ldots, g_k</math> ऐसा है कि
+नलस्टेलनसैट्ज को इस प्रकार कहा जा सकता है: यदि <math>f_1,\ldots,f_k</math> में {{mvar|n}} [[बहुपद]] हैं, सम्मिश्र संख्या गुणांकों के साथ अनिश्चित है, जिसमें किसी प्रकार्य का कोई सामान्य जटिल शून्य नहीं है, तो बहुपद हैं <math>g_1,\ldots, g_k</math> ऐसा है कि
 :<math>f_1g_1+\ldots +f_kg_k=1.</math>
 इस तरह का एक गैर-रचनात्मक अस्तित्व प्रमेय उस समय के गणितज्ञों के लिए एक ऐसा आश्चर्य था कि उनमें से एक, [[पॉल गॉर्डन]] ने लिखा: यह गणित नहीं है, यह धर्मशास्त्र है।<ref>{{Cite book|title=Circles disturbed: the interplay of mathematics and narrative — Chapter 4. Hilbert on Theology and Its Discontents The Origin Myth of Modern Mathematics|last=McLarty|first=Colin|date=April 15, 2008|publisher=Princeton University Press|others=Doxiadēs, Apostolos K., 1953-, Mazur, Barry|s2cid=170826113|isbn=9781400842681|location=Princeton|doi=10.1515/9781400842681.105|oclc=775873004}}</ref>
-पच्चीस साल बाद, [[ग्रेट हरमन]] ने कंप्यूटिंग के लिए एक एल्गोरिथम प्रदान किया <math>g_1,\ldots, g_k,</math> जो मजबूत अर्थों में एक रचनात्मक सबूत नहीं है, क्योंकि उसने हिल्बर्ट के परिणाम का इस्तेमाल किया था। उसने साबित कर दिया कि अगर <math>g_1,\ldots, g_k</math> मौजूद हैं, वे डिग्री से कम के साथ पाए जा सकते हैं
+पच्चीस साल बाद, [[ग्रेट हरमन]] ने कंप्यूटिंग के लिए एक कलन विधि <math>g_1,\ldots, g_k,</math> प्रदान की जो मजबूत अर्थों में एक रचनात्मक प्रमाण नहीं है, क्योंकि उसने हिल्बर्ट के परिणाम का प्रयोग किया था। उसने प्रमाणित कर दिया कि अगर <math>g_1,\ldots, g_k</math> उपस्थित हैं, वे डिग्री से कम के साथ पाए जा सकते हैं।
   <math>2^{2^n}</math>.<ref>{{Cite journal|last=Hermann|first=Grete|date=1926|title=Die Frage der endlich vielen Schritte in der Theorie der Polynomideale: Unter Benutzung nachgelassener Sätze von K. Hentzelt|journal=Mathematische Annalen|language=de|volume=95|issue=1|pages=736–788|doi=10.1007/BF01206635|s2cid=115897210|issn=0025-5831}}</ref>
-यह एक एल्गोरिथ्म प्रदान करता है, क्योंकि समस्या रैखिक समीकरणों की एक प्रणाली को हल करने के लिए कम हो जाती है, अज्ञात के गुणांक की सीमित संख्या पर विचार करके <math>g_i.</math>
+यह एक कलन विधि प्रदान करता है, क्योंकि समस्या रैखिक समीकरणों की एक प्रणाली को हल करने के लिए अज्ञात के गुणांक की सीमित संख्या <math>g_i.</math> पर विचार करके कम हो जाती है।
@@ Line 26: / Line 30: @@
 === अरचनात्मक प्रमाण ===
-पहले इस प्रमेय पर विचार करें कि [[अभाज्य संख्या]]ओं की अनंतता होती है। [[यूक्लिड]] का यूक्लिड का प्रमेय रचनात्मक है। लेकिन यूक्लिड के प्रमाण को सरल बनाने का एक सामान्य तरीका यह बताता है कि, प्रमेय में अभिकथन के विपरीत, उनमें से केवल एक परिमित संख्या होती है, जिस स्थिति में सबसे बड़ा एक होता है, जिसे n द्वारा निरूपित किया जाता है। फिर संख्या n पर विचार करें! + 1 (1 + प्रथम n संख्याओं का गुणनफल)। या तो यह संख्या अभाज्य है, या इसके सभी अभाज्य गुणनखंड n से अधिक हैं। किसी विशिष्ट अभाज्य संख्या को स्थापित किए बिना, यह सिद्ध करता है कि एक का अस्तित्व है जो कि n से अधिक है, जो मूल अभिधारणा के विपरीत है।
+पहले इस प्रमेय पर विचार करें कि [[अभाज्य संख्या]]ओं की अनंतता होती है। [[यूक्लिड]] का प्रमेय रचनात्मक है। लेकिन यूक्लिड के प्रमाण को सरल बनाने का एक सामान्य तरीका यह बताता है कि, प्रमेय में अभिकथन के विपरीत, उनमें से केवल एक परिमित संख्या होती है, जिस स्थिति में सबसे बड़ा एक होता है, जिसे n द्वारा निरूपित किया जाता है। फिर संख्या n पर विचार करें! + 1 (1 + प्रथम n संख्याओं का गुणनफल)। या तो यह संख्या अभाज्य है, या इसके सभी अभाज्य गुणनखंड n से अधिक हैं। किसी विशिष्ट अभाज्य संख्या को स्थापित किए बिना, यह सिद्ध करता है कि एक का अस्तित्व है जो कि n से अधिक है, जो मूल अभिधारणा के विपरीत है।
+अब इस प्रमेय पर विचार करें कि वहाँ [[अपरिमेय संख्या]]एँ <math>a</math> और <math>b</math> उपस्थित हैं। ऐसा है कि <math>a^b</math> परिमेय संख्या है। इस प्रमेय को रचनात्मक प्रमाण और गैर रचनात्मक प्रमाण दोनों का उपयोग करके सिद्ध किया जा सकता है।
-अब इस प्रमेय पर विचार करें कि वहाँ [[अपरिमेय संख्या]]एँ मौजूद हैं <math>a</math> और <math>b</math> ऐसा है कि <math>a^b</math> परिमेय संख्या है। इस प्रमेय को रचनात्मक सबूत और गैर रचनात्मक सबूत दोनों का उपयोग करके सिद्ध किया जा सकता है।
+डोव जॉर्डन द्वारा निम्नलिखित 1953 के प्रमाण को कम से कम 1970 के बाद से एक गैर-रचनात्मक प्रमाण के उदाहरण के रूप में व्यापक रूप से उपयोग किया गया है:<ref>[[J. Roger Hindley]], "The Root-2 Proof as an Example of Non-constructivity", unpublished paper, September 2014, [http://www.users.waitrose.com/~hindley/Root2Proof2014.pdf full text] {{webarchive|url=https://web.archive.org/web/20141023060917/http://www.users.waitrose.com/~hindley/Root2Proof2014.pdf |date=2014-10-23 }}</ref><ref>Dov Jarden, "A simple proof that a power of an irrational number to an irrational exponent may be rational", ''Curiosa'' No. 339 in ''[[Scripta Mathematica]]'' '''19''':229 (1953)</ref> ''एक साधारण प्रमाण कि एक अपरिमेय संख्या की शक्ति एक अपरिमेय प्रतिपादक के लिए तर्कसंगत हो सकती है।''
-Dov Jarden द्वारा निम्नलिखित 1953 के प्रमाण को कम से कम 1970 के बाद से एक गैर-रचनात्मक प्रमाण के उदाहरण के रूप में व्यापक रूप से उपयोग किया गया है:<ref>[[J. Roger Hindley]], "The Root-2 Proof as an Example of Non-constructivity", unpublished paper, September 2014, [http://www.users.waitrose.com/~hindley/Root2Proof2014.pdf full text] {{webarchive|url=https://web.archive.org/web/20141023060917/http://www.users.waitrose.com/~hindley/Root2Proof2014.pdf |date=2014-10-23 }}</ref><ref>Dov Jarden, "A simple proof that a power of an irrational number to an irrational exponent may be rational", ''Curiosa'' No. 339 in ''[[Scripta Mathematica]]'' '''19''':229 (1953)</ref>
+<br><math>\sqrt{2}^{\sqrt{2}}</math> या तो तर्कसंगत है या तर्कहीन है। यदि यह तर्कसंगत है, तो हमारा कथन सिद्ध होता है। यदि यह तर्कहीन है, <math>(\sqrt{2}^{\sqrt{2}})^{\sqrt{2}} = 2</math> हमारे वर्णन को प्रमाणित करता है। <br> डोव जॉर्डन यरूशलेम
-<ब्लॉककोट>
-क्यूरियोसा<br>
-. ''एक साधारण प्रमाण कि एक अपरिमेय संख्या की शक्ति एक अपरिमेय प्रतिपादक के लिए तर्कसंगत हो सकती है।''<br>
-<math>\sqrt{2}^{\sqrt{2}}</math> या तो तर्कसंगत है या तर्कहीन है। यदि यह तर्कसंगत है, तो हमारा कथन सिद्ध होता है। यदि यह तर्कहीन है, <math>(\sqrt{2}^{\sqrt{2}})^{\sqrt{2}} = 2</math> हमारे बयान को साबित करता है। <br>
-डोव जॉर्डन     यरूशलेम
-</ब्लॉककोट>
 थोड़ा और विस्तार से:
-*याद करें कि <math>\sqrt{2}</math> 2#तर्कहीनता के प्रमाण का वर्गमूल, और 2 परिमेय है। संख्या पर विचार करें <math>q = \sqrt{2}^{\sqrt2}</math>. या तो यह तर्कसंगत है या यह तर्कहीन है।
+*याद करें कि <math>\sqrt{2}</math> तर्कहीनता के प्रमाण का वर्गमूल, और 2 परिमेय है। <math>q = \sqrt{2}^{\sqrt2}</math> संख्या पर विचार करें, या तो यह तर्कसंगत है या यह तर्कहीन है।
-*अगर <math>q</math> तर्कसंगत है, तो प्रमेय सत्य है, के साथ <math>a</math> और <math>b</math> दोनों जा रहा है <math>\sqrt{2}</math>.
+*अगर <math>q</math> तर्कसंगत है, तो प्रमेय सत्य है, जहां a और b दोनों <math>\sqrt{2}</math> हैं।
-*यदि <math>q</math> अपरिमेय है, तो प्रमेय सत्य है, के साथ <math>a</math> प्राणी <math>\sqrt{2}^{\sqrt2}</math> और <math>b</math> हो रहा <math>\sqrt{2}</math>, तब से
+*यदि <math>q</math> अपरिमेय है, तो प्रमेय सत्य है, के साथ <math>a</math> प्राणी <math>\sqrt{2}^{\sqrt2}</math> और <math>b</math> <math>\sqrt{2}</math> है, तब से
 :<math>\left (\sqrt{2}^{\sqrt2}\right )^{\sqrt2} = \sqrt{2}^{(\sqrt{2} \cdot \sqrt{2})} = \sqrt{2}^2 = 2.</math>
-इसके मूल में, यह प्रमाण गैर-रचनात्मक है क्योंकि यह कथन पर निर्भर करता है या तो क्यू तर्कसंगत है या यह तर्कहीन है - बहिष्कृत मध्य के कानून का एक उदाहरण, जो एक रचनात्मक प्रमाण के भीतर मान्य नहीं है। गैर-रचनात्मक सबूत उदाहरण ए और बी का निर्माण नहीं करता है; यह केवल कई संभावनाएँ देता है (इस मामले में, दो परस्पर अनन्य संभावनाएँ) और दिखाता है कि उनमें से एक - लेकिन यह नहीं दिखाता है कि कौन सी - वांछित उदाहरण देना चाहिए।
+इसके मूल में, यह प्रमाण गैर-रचनात्मक है क्योंकि यह कथन पर निर्भर करता है या तो q तर्कसंगत है या यह तर्कहीन है - बहिष्कृत मध्य के नियम का एक उदाहरण, जो एक रचनात्मक प्रमाण के भीतर मान्य नहीं है। गैर-रचनात्मक प्रमाण उदाहरण a और b का निर्माण नहीं करता है; यह केवल कई संभावनाएँ देता है (इस स्तिथि में, दो परस्पर अनन्य संभावनाएँ) और दिखाता है कि उनमें से एक - लेकिन यह नहीं दिखाता है कि कौनसी - वांछित उदाहरण देना चाहिए।
 जैसे की वो पता चला, <math>\sqrt{2}^{\sqrt2}</math> गेलफॉन्ड-श्नाइडर प्रमेय के कारण तर्कहीन है, लेकिन यह तथ्य गैर-रचनात्मक प्रमाण की शुद्धता के लिए अप्रासंगिक है।
-=== रचनात्मक सबूत ===
+=== रचनात्मक प्रमाण ===
 अपरिमेय की अपरिमेय शक्तियों पर उपरोक्त प्रमेय का एक रचनात्मक प्रमाण एक वास्तविक उदाहरण देगा, जैसे:
 :<math>a = \sqrt{2}\, , \quad b = \log_2 9\, , \quad a^b = 3\, .</math>
-[[2 का वर्गमूल]] अपरिमेय है, और 3 परिमेय है। <math>\log_2 9</math> भी तर्कहीन है: यदि यह बराबर थे <math>m \over n</math>, फिर, [[लघुगणक]] के गुणों से, 9<sup>n</sup> 2 के बराबर होगा<sup>m</sup>, लेकिन पूर्व विषम है, और बाद वाला सम है।
+[[2 का वर्गमूल]] अपरिमेय है, और 3 परिमेय है। <math>\log_2 9</math> भी तर्कहीन है: यदि यह बराबर <math>m \over n</math> थे, फिर, [[लघुगणक]] के गुणों से, 9<sup>n</sup> 2 के बराबर होगा<sup>m</sup>, लेकिन पूर्व विषम है, और बाद वाला सम है।
-एक अधिक महत्वपूर्ण उदाहरण [[ग्राफ मामूली प्रमेय]] है। इस प्रमेय का एक परिणाम यह है कि [[टोरस्र्स]] पर एक [[ग्राफ (असतत गणित)]] खींचा जा सकता है, और केवल अगर, इसका कोई भी छोटा (ग्राफ सिद्धांत) वर्जित नाबालिगों के एक निश्चित सीमित सेट से संबंधित नहीं है। हालांकि, इस परिमित सेट के अस्तित्व का प्रमाण रचनात्मक नहीं है, और निषिद्ध अवयस्क वास्तव में निर्दिष्ट नहीं हैं।<ref>{{Cite journal|last1=Fellows|first1=Michael R.|last2=Langston|first2=Michael A.|date=1988-06-01|title=Nonconstructive tools for proving polynomial-time decidability|url=http://www.mrfellows.net/papers/FL88_NonconstructiveTools.pdf|journal=Journal of the ACM|volume=35|issue=3|pages=727–739|doi=10.1145/44483.44491|s2cid=16587284}}</ref> वे अभी भी अज्ञात हैं।
+एक अधिक महत्वपूर्ण उदाहरण [[ग्राफ मामूली प्रमेय|लेखाचित्र लघु प्रमेय]] है। इस प्रमेय का एक परिणाम यह है कि [[टोरस्र्स]] पर एक [[ग्राफ (असतत गणित)|लेखाचित्र (असतत गणित)]] खींचा जा सकता है, और केवल अगर, इसका कोई भी छोटा (लेखाचित्र सिद्धांत) वर्जित नाबालिगों के एक निश्चित सीमित सम्मुच्चय से संबंधित नहीं है। हालांकि, इस परिमित समुच्चय के अस्तित्व का प्रमाण रचनात्मक नहीं है, और निषिद्ध अवयस्क वास्तव में निर्दिष्ट नहीं हैं।<ref>{{Cite journal|last1=Fellows|first1=Michael R.|last2=Langston|first2=Michael A.|date=1988-06-01|title=Nonconstructive tools for proving polynomial-time decidability|url=http://www.mrfellows.net/papers/FL88_NonconstructiveTools.pdf|journal=Journal of the ACM|volume=35|issue=3|pages=727–739|doi=10.1145/44483.44491|s2cid=16587284}}</ref> वे अभी भी अज्ञात हैं।
 == ब्रोवरियन [[प्रति उदाहरण]] ==
@@ Line 60: / Line 60: @@
 रचनात्मक गणित में, शास्त्रीय गणित की तरह, एक प्रति उदाहरण देकर एक कथन को असिद्ध किया जा सकता है। हालाँकि, यह दर्शाने के लिए कि कथन अरचनात्मक है, एक ब्रोवरियन प्रति उदाहरण देना भी संभव है।<ref>{{Cite journal|last=Mandelkern|first=Mark|date=1989|title=Brouwerian Counterexamples|journal=Mathematics Magazine|volume=62|issue=1|pages=3–27|doi=10.2307/2689939|issn=0025-570X|jstor=2689939}}</ref> इस प्रकार के प्रति उदाहरण से पता चलता है कि कथन का अर्थ कुछ सिद्धांत है जो गैर-रचनात्मक माना जाता है। यदि यह रचनात्मक रूप से सिद्ध किया जा सकता है कि, यदि एक कथन में कुछ सिद्धांत निहित है जो रचनात्मक रूप से सिद्ध नहीं है, तो कथन स्वयं रचनात्मक रूप से सिद्ध नहीं हो सकता है।
-उदाहरण के लिए, एक विशेष कथन को बहिष्कृत मध्य के कानून को लागू करने के लिए दिखाया जा सकता है। इस प्रकार के ब्रोवरियन काउंटर उदाहरण का एक उदाहरण डायकोनेस्कू का प्रमेय है, जो दर्शाता है कि पसंद का पूर्ण स्वयंसिद्ध [[रचनात्मक सेट सिद्धांत]] की प्रणालियों में गैर-रचनात्मक है, क्योंकि पसंद का स्वयंसिद्ध ऐसे सिस्टम में बहिष्कृत मध्य के कानून का तात्पर्य है। रचनात्मक रिवर्स गणित का क्षेत्र इस विचार को आगे बढ़ाता है कि विभिन्न सिद्धांतों को वर्गीकृत करके वे कितने गैर-रचनात्मक हैं, यह दिखाते हुए कि वे बहिष्कृत मध्य के कानून के विभिन्न टुकड़ों के बराबर हैं।
+उदाहरण के लिए, एक विशेष कथन को बहिष्कृत मध्य के नियम को लागू करने के लिए दिखाया जा सकता है। इस प्रकार के ब्रोवरियन प्रत्युदाहरण का एक उदाहरण डायकोनेस्कू का प्रमेय है, जो दर्शाता है कि पसंद का पूर्ण स्वयंसिद्ध [[रचनात्मक सेट सिद्धांत|रचनात्मक सम्मुच्चय सिद्धांत]] की प्रणालियों में गैर-रचनात्मक है, क्योंकि पसंद का स्वयंसिद्ध ऐसे प्रणाली में बहिष्कृत मध्य के नियम का तात्पर्य है। रचनात्मक पंट गणित का क्षेत्र इस विचार को आगे बढ़ाता है कि विभिन्न सिद्धांतों को वर्गीकृत करके वे कितने गैर-रचनात्मक हैं, यह दिखाते हुए कि वे बहिष्कृत मध्य के नियम के विभिन्न टुकड़ों के बराबर हैं।
-ब्रोवर ने कमजोर प्रति उदाहरण भी प्रदान किए।<ref>A. S. Troelstra, ''[https://books.google.com/books?id=V1l7CwAAQBAJ&printsec=frontcover#v=snippet&q=brouwer&f=false Principles of Intuitionism]'', Lecture Notes in Mathematics 95, 1969, p. 102</ref> हालाँकि, इस तरह के प्रत्युदाहरण किसी कथन का खंडन नहीं करते हैं; वे केवल यह दिखाते हैं कि वर्तमान में, कथन का कोई रचनात्मक प्रमाण ज्ञात नहीं है। एक कमजोर प्रति उदाहरण गणित की कुछ अनसुलझी समस्या को लेकर शुरू होता है, जैसे कि गोल्डबैक का अनुमान, जो पूछता है कि क्या 4 से बड़ी प्रत्येक प्राकृतिक संख्या भी दो अभाज्य संख्याओं का योग है। परिमेय संख्याओं के अनुक्रम a(n) को निम्नानुसार परिभाषित करें:<ref>Mark van Atten, 2015, "[https://plato.stanford.edu/entries/brouwer/weakcounterex.html Weak Counterexamples]", Stanford Encyclopedia of Mathematics</ref>
+ब्रोवर ने शक्तिहीन प्रति उदाहरण भी प्रदान किए।<ref>A. S. Troelstra, ''[https://books.google.com/books?id=V1l7CwAAQBAJ&printsec=frontcover#v=snippet&q=brouwer&f=false Principles of Intuitionism]'', Lecture Notes in Mathematics 95, 1969, p. 102</ref> हालाँकि, इस तरह के प्रत्युदाहरण किसी कथन का खंडन नहीं करते हैं; वे केवल यह दिखाते हैं कि वर्तमान में, कथन का कोई रचनात्मक प्रमाण ज्ञात नहीं है। एक शक्तिहीन प्रति उदाहरण गणित की कुछ अनसुलझी समस्या को लेकर प्रारम्भ होता है, जैसे कि गोल्डबैक का अनुमान, जो पूछता है कि क्या 4 से बड़ी प्रत्येक प्राकृतिक संख्या भी दो अभाज्य संख्याओं का योग है। परिमेय संख्याओं के अनुक्रम a(n) को निम्नानुसार परिभाषित करें:<ref>Mark van Atten, 2015, "[https://plato.stanford.edu/entries/brouwer/weakcounterex.html Weak Counterexamples]", Stanford Encyclopedia of Mathematics</ref>
 :<math>a(n) =
   \begin{cases} (1/2)^n  & \mbox{if every even natural number in the interval } [4,n] \mbox{ is the sum of two primes}, \\
@@ Line 68: / Line 68: @@
 \end{cases}</math>
 प्रत्येक n के लिए, a(n) का मान संपूर्ण खोज द्वारा निर्धारित किया जा सकता है, और इसलिए रचनात्मक रूप से एक अच्छी तरह से परिभाषित अनुक्रम है। इसके अलावा, क्योंकि एक निश्चित दर के साथ [[कॉची अनुक्रम]] है
 अभिसरण का, रचनात्मक गणित में वास्तविक संख्याओं के सामान्य उपचार के अनुसार, कुछ वास्तविक संख्या α में अभिसरण करता है।
-वास्तविक संख्या α के बारे में कई तथ्यों को रचनात्मक रूप से सिद्ध किया जा सकता है। हालांकि, रचनात्मक गणित में शब्दों के विभिन्न अर्थों के आधार पर, यदि कोई रचनात्मक सबूत है कि α = 0 या α ≠ 0 है तो इसका मतलब यह होगा कि गोल्डबैक के अनुमान (पूर्व मामले में) या एक रचनात्मक सबूत है सबूत है कि गोल्डबैक का अनुमान झूठा है (बाद के मामले में)। क्योंकि ऐसा कोई प्रमाण ज्ञात नहीं है, उद्धृत कथन में ज्ञात रचनात्मक प्रमाण भी नहीं होना चाहिए। हालांकि, यह पूरी तरह से संभव है कि गोल्डबैक के अनुमान का एक रचनात्मक प्रमाण हो सकता है (जैसा कि हम वर्तमान में नहीं जानते हैं कि क्या यह होता है), इस मामले में उद्धृत कथन के पास एक रचनात्मक सबूत भी होगा, हालांकि वर्तमान में अज्ञात है। कमजोर प्रतिउदाहरणों का मुख्य व्यावहारिक उपयोग किसी समस्या की कठोरता की पहचान करना है। उदाहरण के लिए, अभी दिखाया गया प्रति उदाहरण दर्शाता है कि उद्धृत कथन गोल्डबैक के अनुमान के रूप में साबित करने के लिए कम से कम उतना ही कठिन है। इस तरह के कमजोर प्रति उदाहरण अक्सर सर्वज्ञता के सीमित सिद्धांत से संबंधित होते हैं।
+वास्तविक संख्या α के बारे में कई तथ्यों को रचनात्मक रूप से सिद्ध किया जा सकता है। हालांकि, रचनात्मक गणित में शब्दों के विभिन्न अर्थों के आधार पर, यदि कोई रचनात्मक प्रमाण है कि α = 0 या α ≠ 0 है तो इसका मतलब यह होगा कि गोल्डबैक के अनुमान (पूर्व स्तिथि में) या एक रचनात्मक प्रमाण है कि गोल्डबैक का अनुमान असत्य है (बाद की स्तिथि में)। क्योंकि ऐसा कोई प्रमाण ज्ञात नहीं है, उद्धृत कथन में ज्ञात रचनात्मक प्रमाण भी नहीं होना चाहिए। हालांकि, यह पूरी तरह से संभव है कि गोल्डबैक के अनुमान का एक रचनात्मक प्रमाण हो सकता है (जैसा कि हम वर्तमान में नहीं जानते हैं कि क्या यह होता है), इस स्तिथि में उद्धृत कथन के पास एक रचनात्मक प्रमाण भी होगा, हालांकि वर्तमान में अज्ञात है। शक्तिहीन प्रति उदाहरणों का मुख्य व्यावहारिक उपयोग किसी समस्या की कठोरता की पहचान करना है। उदाहरण के लिए, अभी दिखाया गया प्रति उदाहरण दर्शाता है कि उद्धृत कथन गोल्डबैक के अनुमान के रूप में प्रमाणित करने के लिए कम से कम उतना ही कठिन है। इस तरह के शक्तिहीन प्रति उदाहरण प्रायः सर्वज्ञता के सीमित सिद्धांत से संबंधित होते हैं।
 == यह भी देखें ==
 * [[रचनावाद (गणित का दर्शन)]]
-*[[बिशप बचाओ]] - फाउंडेशन ऑफ कंस्ट्रक्टिव एनालिसिस पुस्तक के लेखक हैं।
+*[[बिशप बचाओ|एरेट बिशप]] - "रचनात्मक विश्लेषण की नींव" पुस्तक के लेखक।
-* {{slink|Existence theorem|'Pure' existence results}}
+* {{slink|अस्तित्व प्रमेय|'शुद्ध' अस्तित्व परिणाम}}
-* [[गैर-रचनात्मक एल्गोरिथम अस्तित्व प्रमाण]]
+* [[गैर-रचनात्मक एल्गोरिथम अस्तित्व प्रमाण|गैर-रचनात्मक कलन विधि अस्तित्व प्रमाण]]
 * [[संभाव्य विधि]]
@@ Line 94: / Line 95: @@
 * ''[http://plato.stanford.edu/entries/brouwer/weakcounterex.html Weak counterexamples]'' by Mark van Atten, Stanford Encyclopedia of Philosophy
-[[Category: गणितीय प्रमाण]] [[Category: निर्माणवाद (गणित)]]
-[[Category: Machine Translated Page]]
+[[Category:CS1 Deutsch-language sources (de)]]
 [[Category:Created On 03/02/2023]]
+[[Category:Lua-based templates]]
+[[Category:Machine Translated Page]]
+[[Category:Pages with script errors]]
+[[Category:Short description with empty Wikidata description]]
+[[Category:Templates Vigyan Ready]]
+[[Category:Templates that add a tracking category]]
+[[Category:Templates that generate short descriptions]]
+[[Category:Templates using TemplateData]]
+[[Category:Webarchive template wayback links]]
+[[Category:गणितीय प्रमाण]]
+[[Category:निर्माणवाद (गणित)]]

Anonymous

Search

रचनात्मक प्रमाण: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 09:20, 12 February 2023

Contents

एक ऐतिहासिक उदाहरण

उदाहरण

अरचनात्मक प्रमाण

रचनात्मक प्रमाण

ब्रोवरियन प्रति उदाहरण

यह भी देखें

संदर्भ

आगे की पढाई

बाहरी कड़ियाँ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

रचनात्मक प्रमाण: Difference between revisions

Latest revision as of 09:20, 12 February 2023

एक ऐतिहासिक उदाहरण

उदाहरण

अरचनात्मक प्रमाण

रचनात्मक प्रमाण

ब्रोवरियन प्रति उदाहरण

यह भी देखें

संदर्भ

आगे की पढाई

बाहरी कड़ियाँ

Navigation

Wiki tools

Page tools

Other projects

Categories