सर्वज्ञता का सीमित सिद्धांत

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

परिभाषाएँ

सर्वज्ञता का सीमित सिद्धांत बताता है (Bridges & Richman 1987, p. 3):

एलपीओ: किसी भी क्रम के लिए $a_{0}$, $a_{1}$, ...ऐसे कि प्रत्येक $a_{i}$ भी है $0$ या $1$, निम्नलिखित धारण करता है: या तो $a_{i}=0$ सभी के लिए $i$, या वहाँ है $k$ साथ $a_{k}=1$.

दूसरे विच्छेद को इस प्रकार व्यक्त किया जा सकता है $\exists k.a_{k}\neq 0$ और रचनात्मक रूप से पहले के निषेध से अधिक मजबूत है, $\neg \forall k.a_{k}=0$. वह कमजोर स्कीमा जिसमें पहले को बाद वाले से बदल दिया जाता है, 'डब्ल्यूएलपीओ' कहलाती है और बहिष्कृत मध्य के विशेष उदाहरणों का प्रतिनिधित्व करती है।

सर्वज्ञता का कम सीमित सिद्धांत कहता है:

एलएलपीओ: किसी भी क्रम के लिए $a_{0}$, $a_{1}$, ...ऐसे कि प्रत्येक $a_{i}$ भी है $0$ या $1$, और ऐसा कि अधिकतम $a_{i}$ गैर-शून्य है, तो निम्नलिखित मान्य है: या तो $a_{2i}=0$ सभी के लिए $i$, या $a_{2i+1}=0$ सभी के लिए $i$, कहाँ $a_{2i}$ और $a_{2i+1}$ क्रमशः सम और विषम सूचकांक वाली प्रविष्टियाँ हैं।

यह रचनात्मक रूप से सिद्ध किया जा सकता है कि बहिष्कृत मध्य का नियम एलपीओ को दर्शाता है, और एलपीओ का तात्पर्य एलएलपीओ से है। हालाँकि, इनमें से किसी भी निहितार्थ को रचनात्मक गणित की विशिष्ट प्रणालियों में उलटा नहीं किया जा सकता है।

शब्दावली

सर्वज्ञता शब्द विचार प्रयोग से आया है कि गणितज्ञ कैसे बता सकता है कि एलपीओ के निष्कर्ष में दो मामलों में से कौन सा दिए गए अनुक्रम के लिए सही है। $(a_{i})$. प्रश्न का उत्तर है वहाँ $k$ साथ $a_{k}=1$? नकारात्मक रूप से, यह मानते हुए कि उत्तर नकारात्मक है, संपूर्ण अनुक्रम का सर्वेक्षण करने की आवश्यकता प्रतीत होती है। क्योंकि इसके लिए अनंत शब्दों की जांच की आवश्यकता होगी, इस निर्धारण को संभव बताने वाले स्वयंसिद्ध सिद्धांत को सर्वज्ञता सिद्धांत करार दिया गया था Bishop (1967).

वेरिएंट

तार्किक संस्करण

दोनों सिद्धांतों को प्राकृतिक पर निर्णय लेने योग्य विधेय के संदर्भ में ढालकर, विशुद्ध रूप से तार्किक सिद्धांतों के रूप में व्यक्त किया जा सकता है। अर्थात। $P$ जिसके लिए $\forall n.P(n)\lor \neg P(n)$ धारण करता है.

छोटा सिद्धांत उस डी मॉर्गन के नियमों के विधेय संस्करण से मेल खाता है#Intuitionistic_logic|डी मॉर्गन का नियम जो अंतर्ज्ञानवादी तर्क को नहीं रखता है, यानी संयोजन के निषेध की वितरणशीलता।

विश्लेषणात्मक संस्करण

रचनात्मक विश्लेषण में दोनों सिद्धांतों के समान गुण हैं। विश्लेषणात्मक एलपीओ बताता है कि प्रत्येक वास्तविक संख्या ट्राइटोक्टोमी को संतुष्ट करती है $x<0$ या $x=0$ या $x>0$ . विश्लेषणात्मक एलएलपीओ का कहना है कि प्रत्येक वास्तविक संख्या डिटोचटॉमी को संतुष्ट करती है $x\geq 0$ या $x\leq 0$, जबकि विश्लेषणात्मक मार्कोव का सिद्धांत कहता है कि यदि $x\leq 0$ तो फिर झूठ है $x>0$.

यदि सभी तीन विश्लेषणात्मक सिद्धांतों को डेडेकाइंड या कॉची वास्तविक संख्याओं के लिए माना जाता है, तो उनके अंकगणितीय संस्करण का संकेत मिलता है, जबकि यदि हम (कमजोर) गणनीय विकल्प मानते हैं, तो इसका विपरीत सत्य है, जैसा कि दिखाया गया है Bishop (1967).

यह भी देखें

• रचनात्मक विश्लेषण

संदर्भ

• Bishop, Errett (1967). Foundations of Constructive Analysis. ISBN 4-87187-714-0.
• Bridges, Douglas; Richman, Fred (1987). Varieties of Constructive Mathematics. ISBN 0-521-31802-5.

बाहरी संबंध

• "Constructive Mathematics" entry by Douglas Bridges in the Stanford Encyclopedia of Philosophy