ब्रौवर-हेटिंग-कोलमोगोरोव व्याख्या: Difference between revisions

From Vigyanwiki
(Created page with "गणितीय तर्क में, अंतर्ज्ञानवादी तर्क की ब्रौवर-हेयटिंग-कोलमोग...")
 
No edit summary
Line 1: Line 1:
[[गणितीय तर्क]] में, [[अंतर्ज्ञानवादी तर्क]] की ब्रौवर-हेयटिंग-कोलमोगोरोव व्याख्या, या बीएचके व्याख्या, एल. ई. जे. ब्रौवर और [[एंड्रयू हेटिंग]] द्वारा और स्वतंत्र रूप से [[एंड्री कोलमोगोरोव]] द्वारा प्रस्तावित की गई थी। [[स्टीफन क्लेन]] के यथार्थता सिद्धांत से जुड़े होने के कारण इसे कभी-कभी यथार्थता व्याख्या भी कहा जाता है। यह अंतर्ज्ञानवादी तर्क की मानक व्याख्या है।<ref>{{cite SEP|url-id=intuitionistic-logic-development|title=अंतर्ज्ञानवादी तर्क का विकास|first=Mark|last=van Atten|date=Nov 8, 2017}}</ref>
[[गणितीय तर्क]] में, [[अंतर्ज्ञानवादी तर्क]] की '''ब्रौवर-हेयटिंग-कोलमोगोरोव व्याख्या''', या बीएचके व्याख्या, एल. ई. जे. ब्रौवर और [[एंड्रयू हेटिंग]] द्वारा और स्वतंत्र रूप से [[एंड्री कोलमोगोरोव]] द्वारा प्रस्तावित की गई थी। [[स्टीफन क्लेन]] के यथार्थता सिद्धांत से जुड़े होने के कारण इसे कभी-कभी यथार्थता व्याख्या भी कहा जाता है। यह अंतर्ज्ञानवादी तर्क की मानक व्याख्या है।<ref>{{cite SEP|url-id=intuitionistic-logic-development|title=अंतर्ज्ञानवादी तर्क का विकास|first=Mark|last=van Atten|date=Nov 8, 2017}}</ref>




== व्याख्या ==
== व्याख्या ==


व्याख्या बताती है कि किसी दिए गए फॉर्मूला (गणितीय तर्क) का प्रमाण क्या होना चाहिए। यह उस सूत्र की [[संरचना पर प्रेरण]] द्वारा निर्दिष्ट किया गया है:
व्याख्या बताती है कि किसी दिए गए सूत्रों (गणितीय तर्क) का प्रमाण क्या होना चाहिए। यह उस सूत्र की [[संरचना पर प्रेरण]] द्वारा निर्दिष्ट किया गया है:


*इसका एक प्रमाण <math>P \wedge Q</math> एक जोड़ी है <math>\langle a, b \rangle</math> कहाँ <math>a</math> का प्रमाण है <math>P</math> और <math>b</math> का प्रमाण है <math>Q</math>.
*<math>P \wedge Q</math> का प्रमाण एक जोड़ी <math>\langle a, b \rangle</math> है जहां <math>a</math>, <math>P</math>का प्रमाण है और <math>b</math>, <math>Q</math> का प्रमाण है।
*इसका एक प्रमाण <math>P \vee Q</math> भी है <math>\langle 0, a \rangle</math> कहाँ <math>a</math> का प्रमाण है <math>P</math> या <math>\langle 1, b\rangle</math> कहाँ <math>b</math> का प्रमाण है <math>Q</math>.
*इसका एक प्रमाण <math>P \vee Q</math> भी है <math>\langle 0, a \rangle</math> जहाँ <math>a</math> का प्रमाण है <math>P</math> या <math>\langle 1, b\rangle</math> जहाँ <math>b</math> ,<math>Q</math> का प्रमाण है .
*इसका एक प्रमाण <math>P \to Q</math> एक फ़ंक्शन है <math>f</math> जो एक प्रमाण को परिवर्तित करता है <math>P</math> के प्रमाण में <math>Q</math>.
*इसका एक प्रमाण <math>P \to Q</math> एक फलन है <math>f</math> जो एक प्रमाण को परिवर्तित करता है <math>P</math> , <math>Q</math> के प्रमाण में है
*इसका एक प्रमाण <math>(\exists x {\in} S) (Px)</math> एक जोड़ी है <math>\langle x, a \rangle</math> कहाँ <math>x</math> का एक तत्व है <math>S</math> और <math>a</math> का प्रमाण है <math>Px</math>.
*इसका एक प्रमाण <math>(\exists x {\in} S) (Px)</math> एक जोड़ी है <math>\langle x, a \rangle</math> जहाँ <math>x</math> का एक तत्व है <math>S</math> और <math>a</math>, <math>Px</math> का प्रमाण है
*इसका एक प्रमाण <math>(\forall x {\in} S) (Px)</math> एक फ़ंक्शन है <math>f</math> जो एक तत्व को परिवर्तित करता है <math>x</math> का <math>S</math> के प्रमाण में <math>Px</math>.
*इसका एक प्रमाण <math>(\forall x {\in} S) (Px)</math> एक फलन है <math>f</math> जो एक तत्व को परिवर्तित करता है <math>x</math> का <math>S</math>, <math>Px</math> के प्रमाण में है
*सूत्र <math>\neg P</math> परिभाषित किया जाता है <math>P \to \bot</math>, इसलिए इसका प्रमाण एक फ़ंक्शन है <math>f</math> जो एक प्रमाण को परिवर्तित करता है <math>P</math> के प्रमाण में <math>\bot</math>.
*सूत्र <math>\neg P</math> को <math>P \to \bot</math> के रूप में परिभाषित किया गया है, इसलिए इसका एक प्रमाण एक फलन <math>f</math> है जो <math>P</math> के प्रमाण को <math>\bot</math> के प्रमाण में परिवर्तित करता है।
*इसका कोई प्रमाण नहीं है <math>\bot</math>, बेतुकापन या [[निचला प्रकार]] (कुछ प्रोग्रामिंग भाषाओं में नॉनटर्मिनेशन)
*<math>\bot</math> असंगति या निचला प्रकार (कुछ प्रोग्रामिंग भाषाओं में नॉनटर्मिनेशन) का कोई प्रमाण नहीं है।


किसी आदिम प्रस्ताव की व्याख्या संदर्भ से ज्ञात होनी चाहिए। अंकगणित के सन्दर्भ में सूत्र का एक प्रमाण <math>x = y</math> यह दो पदों को एक ही अंक में घटाने वाली एक गणना है।
किसी प्राचीन प्रस्ताव की व्याख्या संदर्भ से ज्ञात होनी चाहिए। अंकगणित के सन्दर्भ में सूत्र का एक प्रमाण <math>x = y</math> यह दो पदों को एक ही अंक में घटाने वाली एक गणना है।


कोलमोगोरोव ने भी उसी पंक्ति का अनुसरण किया लेकिन अपनी व्याख्या को समस्याओं और समाधानों के संदर्भ में व्यक्त किया। किसी सूत्र पर ज़ोर देना उस सूत्र द्वारा प्रस्तुत समस्या का समाधान जानने का दावा करना है। उदाहरण के लिए <math>P \to Q</math> कम करने की समस्या है <math>Q</math> को <math>P</math>; इसे हल करने के लिए समस्या को हल करने के लिए एक विधि की आवश्यकता होती है <math>Q</math> समस्या का समाधान दिया <math>P</math>.
कोलमोगोरोव ने भी उसी पंक्ति का अनुसरण किया किंतु अपनी व्याख्या को समस्याओं और समाधानों के संदर्भ में व्यक्त किया। किसी सूत्र पर ज़ोर देना उस सूत्र द्वारा प्रस्तुत समस्या का समाधान जानने का प्रमाणित करना है। उदाहरण के लिए <math>P \to Q</math><math>Q</math> को <math>P</math>;  तक कम करने की समस्या है; इसे हल करने के लिए समस्या को हल करने के लिए एक विधि की आवश्यकता है <math>Q</math> ने समस्या <math>P</math> का समाधान दिया है।


== उदाहरण ==
== उदाहरण ==


पहचान फ़ंक्शन सूत्र का प्रमाण है <math>P \to P</math>, इससे कोई फर्क नहीं पड़ता कि P क्या है।
पहचान फलन  सूत्र <math>P \to P</math> का प्रमाण है, या फिर  P कुछ भी हो।


गैर-विरोधाभास का नियम <math>\neg (P \wedge \neg P)</math> तक फैलता है <math>(P \wedge (P \to \bot)) \to \bot</math>:
गैर-विरोधाभास का नियम <math>\neg (P \wedge \neg P)</math> का विस्तार <math>(P \wedge (P \to \bot)) \to \bot</math> तक होता है:
* इसका एक प्रमाण <math>(P \wedge (P \to \bot)) \to \bot</math> एक फ़ंक्शन है <math>f</math> जो एक प्रमाण को परिवर्तित करता है <math>(P \wedge (P \to \bot))</math> के प्रमाण में <math>\bot</math>.
*<math>(P \wedge (P \to \bot)) \to \bot</math> का एक प्रमाण एक फलन <math>f</math> है जो <math>(P \wedge (P \to \bot))</math> के प्रमाण को <math>\bot</math> के प्रमाण में परिवर्तित करता है।
* इसका एक प्रमाण <math>(P \wedge (P \to \bot))</math> प्रमाणों की एक जोड़ी है <a, b>, जहां <math>a</math> P का प्रमाण है, और <math>b</math> का प्रमाण है <math>P \to \bot</math>.
*<math>(P \wedge (P \to \bot))</math> का एक प्रमाण, प्रमाणों की एक जोड़ी है <a, b>, जहां a, P का प्रमाण है, और b, <math>P \to \bot</math> का प्रमाण है।
* इसका एक प्रमाण <math>P \to \bot</math> एक ऐसा फ़ंक्शन है जो P के प्रमाण को इसके प्रमाण में परिवर्तित करता है <math>\bot</math>.
*<math>P \to \bot</math> का प्रमाण एक फलन है जो P के प्रमाण को <math>\bot</math> के प्रमाण में परिवर्तित करता है।
यह सब एक साथ रखने पर, इसका प्रमाण मिलता है <math>(P \wedge (P \to \bot)) \to \bot</math> एक फ़ंक्शन है <math>f</math> जो एक जोड़ी <a, b> को परिवर्तित करता है - जहां <math>a</math> P का प्रमाण है, और <math>b</math> एक ऐसा फ़ंक्शन है जो P के प्रमाण को इसके प्रमाण में परिवर्तित करता है <math>\bot</math> - के प्रमाण में <math>\bot</math>.
इन सबको एक साथ रखने पर, <math>(P \wedge (P \to \bot)) \to \bot</math> का एक प्रमाण एक फलन <math>f</math> है जो एक जोड़ी <a, b> को परिवर्तित करता है - जहां a, P का प्रमाण है, और b एक फलन है जो P के प्रमाण को <math>\bot</math> के प्रमाण में -<math>\bot</math> के प्रमाण में परिवर्तित करता है। एक फलन <math>f</math> है जो ऐसा करता है, जहां <math>f(\langle a, b \rangle) = b(a)</math>, गैर-विरोधाभास के नियम को सिद्ध करता है, चाहे P कुछ भी हो।
एक फंक्शन है <math>f</math> वह ऐसा करता है, कहाँ <math>f(\langle a, b \rangle) = b(a)</math>, गैर-विरोधाभास के नियम को साबित करते हुए, चाहे P कुछ भी हो।


वास्तव में, विचार की वही पंक्ति इसका प्रमाण प्रदान करती है <math>(P \wedge (P \to Q)) \to Q</math> साथ ही, कहां <math>Q</math> क्या कोई प्रस्ताव है.
इसलिए  विचार की यही पंक्ति <math>(P \wedge (P \to Q)) \to Q</math> के लिए भी एक प्रमाण प्रदान करती है, जहां <math>Q</math> कोई प्रस्ताव है।


दूसरी ओर, [[बहिष्कृत मध्य का कानून]] <math>P \vee (\neg P)</math> तक फैलता है <math>P \vee (P \to \bot)</math>, और सामान्य तौर पर इसका कोई प्रमाण नहीं है। व्याख्या के अनुसार, का एक प्रमाण <math>P \vee (\neg P)</math> एक जोड़ी है <a, b> जहां a 0 है और b, P का प्रमाण है, या a 1 है और b, P का प्रमाण है <math>P \to \bot</math>. इस प्रकार यदि न तो पी और न ही <math>P \to \bot</math> साबित करने योग्य है तो दोनों में से कोई भी नहीं है <math>P \vee (\neg P)</math>.
दूसरी ओर, बहिष्कृत मध्य <math>P \vee (\neg P)</math> का नियम <math>P \vee (P \to \bot)</math> तक विस्तारित होता है, और सामान्य रूप से इसका कोई प्रमाण नहीं है। व्याख्या के अनुसार, <math>P \vee (\neg P)</math> का एक प्रमाण एक युग्म <a, b> है जहां a 0 है और b, P का प्रमाण है, या a 1 है और b, <math>P \to \bot</math> का प्रमाण है। इस प्रकार यदि न तो P और न ही <math>P \to \bot</math> सिद्ध है तो दोनों में से कोई भी <math>P \vee (\neg P)</math> नहीं है।


== बेतुकेपन की परिभाषा ==
== असंगति की परिभाषा ==


सामान्य तौर पर, किसी [[तार्किक प्रणाली]] के लिए औपचारिक निषेध संचालिका का होना संभव नहीं है, जैसे कि इसका प्रमाण न हो <math>P</math> ठीक तब जब इसका कोई प्रमाण हो <math>P</math>; गोडेल की अपूर्णता प्रमेय देखें। इसके बजाय बीएचके व्याख्या नहीं लेती है <math>P</math> इसका मतलब यह है <math>P</math> बेतुकेपन की ओर ले जाता है, नामित <math>\bot</math>, ताकि इसका एक प्रमाण हो <math>\lnot P</math> के प्रमाण को परिवर्तित करने वाला एक फ़ंक्शन है <math>P</math> बेतुकेपन के प्रमाण में।
सामान्य रूप से, एक तार्किक प्रणाली के लिए औपचारिक निषेध ऑपरेटर का होना संभव नहीं है, जैसे कि "नहीं" <math>P</math> का प्रमाण हो, जब <math>P</math> का कोई प्रमाण न हो; गोडेल की अपूर्णता प्रमेय देखें। बीएचके की व्याख्या इसके अतिरिक्त "नहीं" <math>P</math> लेती है, जिसका अर्थ यह है कि <math>P</math> असंगति की ओर ले जाता है, जिसे <math>\bot</math> नामित किया गया है, जिससे नहीं <math>\lnot P</math> का प्रमाण, <math>P</math> के प्रमाण को असंगति के प्रमाण में परिवर्तित करने वाला एक कार्य होता है ।


अंकगणित से निपटने में बेतुकेपन का एक मानक उदाहरण पाया जाता है। मान लें कि 0 = 1, और [[गणितीय प्रेरण]] द्वारा आगे बढ़ें: 0 = 0 समानता के सिद्धांत द्वारा। अब (आगमन परिकल्पना), यदि 0 एक निश्चित [[प्राकृतिक संख्या]] n के बराबर होता, तो 1 n + 1 के बराबर होता, ([[पीनो अंकगणित]]: 'S'm' = 'S'n यदि और केवल यदि m = n), लेकिन चूँकि 0 = 1, इसलिए 0 भी n+ 1 के बराबर होगा। प्रेरण द्वारा, 0 सभी संख्याओं के बराबर है, और इसलिए कोई भी दो प्राकृतिक संख्याएँ बराबर हो जाती हैं।
अंकगणित से निपटने में असंगति का एक मानक उदाहरण पाया जाता है। मान लें कि 0 = 1, और [[गणितीय प्रेरण]] द्वारा आगे बढ़ें: 0 = 0 समानता के सिद्धांत द्वारा अब (आगमन परिकल्पना), यदि 0 एक निश्चित [[प्राकृतिक संख्या]] n के समान होता, तो 1 n + 1 के समान होता, ([[पीनो अंकगणित]]: 'S'm' = 'S'n यदि और केवल यदि m = n), किंतु चूँकि 0 = 1, इसलिए 0 भी n+ 1 के समान होगा। प्रेरण द्वारा, 0 सभी संख्याओं के समान है, और इसलिए कोई भी दो प्राकृतिक संख्याएँ समान हो जाती हैं।


इसलिए, 0 = 1 के प्रमाण से किसी बुनियादी अंकगणितीय समानता के प्रमाण तक, और इस प्रकार किसी भी जटिल अंकगणितीय प्रस्ताव के प्रमाण तक जाने का एक तरीका है। इसके अलावा, इस परिणाम को प्राप्त करने के लिए पीनो सिद्धांत को लागू करना आवश्यक नहीं था जो बताता है कि 0 किसी भी प्राकृतिक संख्या का उत्तराधिकारी नहीं है। यह 0 = 1 को उपयुक्त बनाता है <math>\bot</math> हेयटिंग अंकगणित में (और पीनो स्वयंसिद्ध को 0 = S''n'' → 0 = S0 को फिर से लिखा गया है)। 0 = 1 का यह प्रयोग विस्फोट के सिद्धांत को मान्य करता है।


== फ़ंक्शन की परिभाषा ==
इसलिए, 0 = 1 के प्रमाण से किसी मूलभूत अंकगणितीय समानता के प्रमाण तक, और इस प्रकार किसी भी समष्टि अंकगणितीय प्रस्ताव के प्रमाण तक जाने का एक विधि है। इसके अतिरिक्त , इस परिणाम को प्राप्त करने के लिए पीनो सिद्धांत को प्रयुक्त करना आवश्यक नहीं था जो बताता है कि 0 किसी भी प्राकृतिक संख्या का उत्तराधिकारी नहीं है।  यह हेटिंग अंकगणित में 0 = 1 को <math>\bot</math> के रूप में उपयुक्त बनाता है (और पीनो स्वयंसिद्ध को 0 = S''n'' → 0 = S0 को फिर से लिखा गया है)। 0 = 1 का यह प्रयोग विस्फोट के सिद्धांत को मान्य करता है।


बीएचके की व्याख्या उस दृष्टिकोण पर निर्भर करेगी जो एक फ़ंक्शन का गठन करता है जो एक प्रमाण को दूसरे में परिवर्तित करता है, या जो एक डोमेन के एक तत्व को प्रमाण में परिवर्तित करता है। [[रचनावाद (गणित)]] के विभिन्न संस्करण इस बिंदु पर भिन्न होंगे।
== फलन की परिभाषा ==


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


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


== संदर्भ ==
== संदर्भ ==

Revision as of 15:14, 25 July 2023

गणितीय तर्क में, अंतर्ज्ञानवादी तर्क की ब्रौवर-हेयटिंग-कोलमोगोरोव व्याख्या, या बीएचके व्याख्या, एल. ई. जे. ब्रौवर और एंड्रयू हेटिंग द्वारा और स्वतंत्र रूप से एंड्री कोलमोगोरोव द्वारा प्रस्तावित की गई थी। स्टीफन क्लेन के यथार्थता सिद्धांत से जुड़े होने के कारण इसे कभी-कभी यथार्थता व्याख्या भी कहा जाता है। यह अंतर्ज्ञानवादी तर्क की मानक व्याख्या है।[1]


व्याख्या

व्याख्या बताती है कि किसी दिए गए सूत्रों (गणितीय तर्क) का प्रमाण क्या होना चाहिए। यह उस सूत्र की संरचना पर प्रेरण द्वारा निर्दिष्ट किया गया है:

  • का प्रमाण एक जोड़ी है जहां , का प्रमाण है और , का प्रमाण है।
  • इसका एक प्रमाण भी है जहाँ का प्रमाण है या जहाँ , का प्रमाण है .
  • इसका एक प्रमाण एक फलन है जो एक प्रमाण को परिवर्तित करता है , के प्रमाण में है
  • इसका एक प्रमाण एक जोड़ी है जहाँ का एक तत्व है और , का प्रमाण है
  • इसका एक प्रमाण एक फलन है जो एक तत्व को परिवर्तित करता है का , के प्रमाण में है
  • सूत्र को के रूप में परिभाषित किया गया है, इसलिए इसका एक प्रमाण एक फलन है जो के प्रमाण को के प्रमाण में परिवर्तित करता है।
  • असंगति या निचला प्रकार (कुछ प्रोग्रामिंग भाषाओं में नॉनटर्मिनेशन) का कोई प्रमाण नहीं है।

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

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

उदाहरण

पहचान फलन सूत्र का प्रमाण है, या फिर P कुछ भी हो।

गैर-विरोधाभास का नियम का विस्तार तक होता है:

  • का एक प्रमाण एक फलन है जो के प्रमाण को के प्रमाण में परिवर्तित करता है।
  • का एक प्रमाण, प्रमाणों की एक जोड़ी है <a, b>, जहां a, P का प्रमाण है, और b, का प्रमाण है।
  • का प्रमाण एक फलन है जो P के प्रमाण को के प्रमाण में परिवर्तित करता है।

इन सबको एक साथ रखने पर, का एक प्रमाण एक फलन है जो एक जोड़ी <a, b> को परिवर्तित करता है - जहां a, P का प्रमाण है, और b एक फलन है जो P के प्रमाण को के प्रमाण में - के प्रमाण में परिवर्तित करता है। एक फलन है जो ऐसा करता है, जहां , गैर-विरोधाभास के नियम को सिद्ध करता है, चाहे P कुछ भी हो।

इसलिए विचार की यही पंक्ति के लिए भी एक प्रमाण प्रदान करती है, जहां कोई प्रस्ताव है।

दूसरी ओर, बहिष्कृत मध्य का नियम तक विस्तारित होता है, और सामान्य रूप से इसका कोई प्रमाण नहीं है। व्याख्या के अनुसार, का एक प्रमाण एक युग्म <a, b> है जहां a 0 है और b, P का प्रमाण है, या a 1 है और b, का प्रमाण है। इस प्रकार यदि न तो P और न ही सिद्ध है तो दोनों में से कोई भी नहीं है।

असंगति की परिभाषा

सामान्य रूप से, एक तार्किक प्रणाली के लिए औपचारिक निषेध ऑपरेटर का होना संभव नहीं है, जैसे कि "नहीं" का प्रमाण हो, जब का कोई प्रमाण न हो; गोडेल की अपूर्णता प्रमेय देखें। बीएचके की व्याख्या इसके अतिरिक्त "नहीं" लेती है, जिसका अर्थ यह है कि असंगति की ओर ले जाता है, जिसे नामित किया गया है, जिससे नहीं का प्रमाण, के प्रमाण को असंगति के प्रमाण में परिवर्तित करने वाला एक कार्य होता है ।

अंकगणित से निपटने में असंगति का एक मानक उदाहरण पाया जाता है। मान लें कि 0 = 1, और गणितीय प्रेरण द्वारा आगे बढ़ें: 0 = 0 समानता के सिद्धांत द्वारा अब (आगमन परिकल्पना), यदि 0 एक निश्चित प्राकृतिक संख्या n के समान होता, तो 1 n + 1 के समान होता, (पीनो अंकगणित: 'S'm' = 'S'n यदि और केवल यदि m = n), किंतु चूँकि 0 = 1, इसलिए 0 भी n+ 1 के समान होगा। प्रेरण द्वारा, 0 सभी संख्याओं के समान है, और इसलिए कोई भी दो प्राकृतिक संख्याएँ समान हो जाती हैं।


इसलिए, 0 = 1 के प्रमाण से किसी मूलभूत अंकगणितीय समानता के प्रमाण तक, और इस प्रकार किसी भी समष्टि अंकगणितीय प्रस्ताव के प्रमाण तक जाने का एक विधि है। इसके अतिरिक्त , इस परिणाम को प्राप्त करने के लिए पीनो सिद्धांत को प्रयुक्त करना आवश्यक नहीं था जो बताता है कि 0 किसी भी प्राकृतिक संख्या का उत्तराधिकारी नहीं है। यह हेटिंग अंकगणित में 0 = 1 को के रूप में उपयुक्त बनाता है (और पीनो स्वयंसिद्ध को 0 = Sn → 0 = S0 को फिर से लिखा गया है)। 0 = 1 का यह प्रयोग विस्फोट के सिद्धांत को मान्य करता है।

फलन की परिभाषा

बीएचके की व्याख्या उस दृष्टिकोण पर निर्भर करेगी जो एक फलन का गठन करता है जो एक प्रमाण को दूसरे में परिवर्तित करता है, या जो एक डोमेन के एक तत्व को प्रमाण में परिवर्तित करता है। रचनावाद (गणित) के विभिन्न संस्करण इस बिंदु पर भिन्न होंगे।

क्लेन का यथार्थता सिद्धांत गणना योग्य कार्य के साथ कार्यों की पहचान करता है। यह हेयटिंग अंकगणित से संबंधित है, जहां परिमाणीकरण का क्षेत्र प्राकृतिक संख्याएं हैं और प्राचीन प्रस्ताव x = y के रूप में हैं। यदि x उसी संख्या पर मूल्यांकन करता है जो y करता है (जो प्राकृतिक संख्याओं के लिए सदैव निर्णय लेने योग्य होता है), तो x = y का प्रमाण केवल तुच्छ एल्गोरिथ्म है, अन्यथा कोई प्रमाण नहीं है। इन्हें फिर अधिक समष्टि एल्गोरिदम में सम्मिलित करके बनाया जाता है।

यदि कोई फलन की धारणा को परिभाषित करने के लिए लैम्ब्डा कैलकुलस लेता है, तो बीएचके व्याख्या प्राकृतिक कमी और कार्यों के बीच करी-हावर्ड पत्राचार का वर्णन करती है।

संदर्भ

  1. van Atten, Mark (Nov 8, 2017). "अंतर्ज्ञानवादी तर्क का विकास". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy.