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

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

परिभाषाएँ

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

एलपीओ: किसी भी अनुक्रम $a_{0}$, $a_{1}$, ... के लिए जैसे कि प्रत्येक $a_{i}$ या तो $0$ या $1$, है, निम्नलिखित मान्य है: या तो सभी i के लिए $a_{i}=0$, या वहां $a_{k}=1$ के साथ एक $k$ है।

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

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

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

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

शब्दावली

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

वेरिएंट

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

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

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

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

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

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

तो $x\leq 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