उपगणनीयता: Difference between revisions

Latest revision as of 11:56, 14 February 2023

रचनात्मक गणित में संग्रह $X$ पर प्राकृतिक संख्याओं में से आंशिक फलन सर्जेन्ट होते है। तो यह उपगणनीय होते है। इस रूप में व्यक्त किया जाता है।

\exists (I\subseteq {\mathbb {N} }).\,\exists f.\,(f\colon I\twoheadrightarrow X),

जहाँ $f\colon I\twoheadrightarrow X$ दर्शाता है $f$ विशेषण फलन होते है $I$ पर $X$ . आगणन का सदस्य ${\mathbb {N} }\rightharpoonup X$ है और यहाँ उपवर्ग $I$ का ${\mathbb {N} }$ समुच्चय होता है। दूसरे शब्दों में, उपगणनीय संग्रह के सभी तत्व $X$ गणना संख्याओं के अनुक्रमण समुच्चय की छवि में कार्यात्मक रूप से होता है $I\subseteq {\mathbb {N} }$ और इस प्रकार समुच्चय $X$ गणनीय समुच्चय ${\mathbb {N} }$ .के प्रभुत्व के रूप में समझा जा सकता है।

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

चर्चा

उदाहरण

महत्वपूर्ण स्थितिया वह है जहां $X$ अभिकलनीयता सिद्धांत में अध्ययन के अनुसार फलनों के बड़े वर्ग के कुछ उपवर्ग को दर्शाता है।

कुल संगणनीय फलनों पर विचार करें और ध्यान दें कि कुल होना निर्णायक गुण धर्म नहीं है अर्थात कुल फलनों और प्राकृतिक संख्याओं के बीच रचनात्मक अवरोध नहीं हो सकती है। चूँकि, सभी संभावित आंशिक संगणनीय फलनों के कोडों की गणना के माध्यम से उनके सबसेट, जो गैर-समाप्ति वाले फलनों को अनुमति देता है जैसे कि कुल फलनों को उपगणनीय समुच्चय के रूप में देखा जाता है। ध्यान दें कि इंडेक्स समुच्चय रिकर्सन सिद्धांत पर राइस के प्रमेय द्वारा, अधिकांश डोमेन समुच्चय किए जाते हैं $I$ पुनरावर्ती नहीं हैं दरअसल, सभी गिनती संख्याओं के बीच कोई प्रभावी मानचित्र नहीं है ${\mathbb {N} }$ और अनंत गैर सीमित अनुक्रमण समुच्चय $I$ पर बल दिया गया है, केवल उपसमुच्चय संबंध $I\subseteq {\mathbb {N} }$ . संख्याओं के रचनात्मक रूप से गैर गणनीय समुच्चय का प्रभुत्व होता है $I$ , नाम उपगणनीय इस प्रकार प्रस्तुत करता है कि असंख्य समुच्चय $X$ से बड़ा ${\mathbb {N} }$ .नहीं होता है

प्रदर्शन जिसमें $X$ उप-गणना के रूप में है इसका तात्पर्य यह है कि यह मौलिक रूप से गैर-रचनात्मक रूप से गणनीय होता है, लेकिन यह किसी भी प्रभावी गणना क्षमता को प्रतिबिंबित नहीं करता है। दूसरे शब्दों में, इसका तात्पर्य यह है कि अनुक्रम में सभी फलनों को सूचीबद्ध करने वाले कलन विधि को कोडित नहीं किया जाता है, समुच्चय और फलन अस्तित्व के बारे में मौलिक स्वयंसिद्धि से अभिगृहीत नहीं किया गया है। हम देखते हैं कि किसी सिद्धांत के स्वयंसिद्धों के आधार पर, उप-गणना योग्यता की तुलना में सिद्ध होने की अधिक संभावना होती है।

बहिष्कृत मध्य से संबंध

रचनात्मक बहस और सिद्धांतों के आधार पर, अनंत अपरिमित समुच्चयों के मध्य निर्णायकता और संभवत: प्रभावशीलता के प्रश्नों के बीच किसी फलन की उपस्थिति को बाधते हैं। वहां, सबकाउंटेबिलिटी योग्यता काउंटेबिलिटी से भिन्न हो जाती है और इस तरह यह निरर्थक धारणा नहीं है। अनुक्रमण समुच्चय $I$ प्राकृतिक संख्याओं का अस्तित्व माना जा सकता है, जैसे विशिष्टता के स्वयंसिद्ध (एक्सिओम्स) स्कीमा समान समुच्चय सैद्धांतिक स्वयंसिद्धों के माध्यम से सबसमुच्चय के रूप में होते है। फिर परिभाषा के द्वारा $I\subseteq {\mathbb {N} }$ , के रूप में दर्शाते है

\forall (i\in I).(i\in {\mathbb {N} }).

लेकिन यह समुच्चय तब भी वियोज्य होने में विफल हो सकता है, इस अर्थ में कि,

\forall (n\in {\mathbb {N} }).{\big (}(n\in I)\lor \neg (n\in I){\big )}

इसे स्वयंसिद्ध माने बिना सिद्ध नहीं किया जा सकता है। उपगणनीय समुच्चय को प्रभावी प्रारूप से गिनने में कोई विफल हो सकता है

X

यदि कोई गिनती की संख्या को मैप करने में विफल रहता है

{\mathbb {N} }

अनुक्रमण समुच्चय में

I

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

\phi

रखती है

\phi \lor \neg \phi

.

मौलिक गणित में

मौलिक तर्क के सभी नियमो पर जोर देते हुए, की वियोगात्मक गुण धर्म $I$ पर चर्चा वास्तव में सभी समुच्चयों के लिए होती है। फिर, गैर-खाली के लिए $X$ , गुण संख्या जिसका' अर्थ कि $X$ में ${\mathbb {N} }$ इंजेक्ट करता है ${\mathbb {N} }$ गणनीय है $X$ इसकी सीमा के रूप में, उपगणनीय का सबसमुच्चय ${\mathbb {N} }$ प्रोजेक्ट करता है $X$ और ओमेगा गणनीयता गुण धर्म अनिवार्य रूप से सबसमुच्चय के संदर्भ में परिभाषित की गई है $X$ सभी समतुल्य हैं और व्यक्त करते हैं कि समुच्चय परिमित समुच्चय या गणनीय रूप से अनंत रूप में होते है।

गैर-मौलिक अभिकथन

बहिष्कृत मध्य के नियम के बिना, यह उन समुच्चयों की उपगणनीयता पर जोर देने के लिए संगत हो सकता है जो मौलिक रूप से अर्थात गैर-रचनात्मक रूप से प्राकृतिक संख्याओं की गणनांक से अधिक हो जाता है। ध्यान दें कि रचनात्मक सेटिंग में, फलन स्थान के बारे में काउंटेबिलिटी का अनुरोध ${\mathbb {N} }^{\mathbb {N} }$ पूरे समुच्चय से बाहर ${\mathbb {N} }$ , के रूप में ${\mathbb {N} }\twoheadrightarrow {\mathbb {N} }^{\mathbb {N} }$ , खंडन किया जा सकता है। लेकिन उपगणनीयता $I\twoheadrightarrow {\mathbb {N} }^{\mathbb {N} }$ असंख्य समुच्चय का ${\mathbb {N} }^{\mathbb {N} }$ समुच्चय द्वारा $I\subseteq {\mathbb {N} }$ से प्रभावी रूप से भिन्न करने योग्य नहीं होता है ${\mathbb {N} }$ की अनुमति दी जाती है।

जैसा ${\mathbb {N} }^{\mathbb {N} }$ असंख्य होते है और मौलिक रूप से उपगणनीय नहीं होते है, इसके बड़े फलन स्थान के साथ मौलिक ढांचा रचनात्मक चर्च की थीसिस के साथ असंगत रूप में होता है। जो रूसी रचनावाद का स्वयंसिद्ध रूप में होता है।

उपगणनीय और ओमेगा (ω) उत्पादक परस्पर अनन्य हैं

समुच्चय $X$ कहा जाता है ओमेगा रचनात्मक और उत्पादक अगर, जब भी इसका कोई उपसमुच्चय $W\subset X$ जो किसी फलन का वह कार्यक्षेत्र होता है जिस पर कोई आंशिक फलन ${\mathbb {N} }$ , के रूप में होता है वहाँ अधिकांशतः $d\in X\setminus W$ तत्व उपस्थित होता है, जो उस सीमा के पूरक में रहता है।^[1]

यदि कुछ पर कोई आगणन उपस्थित है $X$ , तो वर्णित अनुसार इसकी संबंधित प्रशंसा खाली समुच्चय $X\setminus X$ , के बराबर होती है और इसलिए उपगणनीय समुच्चय कभी नहीं होता है जैसा कि ऊपर परिभाषित किया गया है, ओमेगा उत्पादक होने का गुण श्रेणी को जोड़ता है $W$ किसी विशेष मान के किसी भी आंशिक फलन का $d\in X$ फलनों की श्रेणी में नहीं होता है। इस प्रकार समुच्चय $X$ :कि सभी तत्वों को उत्पन्न करना कितना कठिन होता है उन्हें ही फलन का उपयोग करके उत्पन्न नहीं किया जा सकता है। ओमेगा गुण धर्म उपगणनीयता में बाधा उत्पन्न करती है। जैसा कि इसका अर्थ यह भी है कि सत्तर के दशक के उत्तरार्ध से विकर्ण तर्क अधिकांशतः इस धारणा को स्पष्ट रूप से सम्मिलित करते हैं।

कोई गणना योग्य गणना की असंभवता स्थापित कर सकता है $X$ केवल संगणनीय रूप से गणना योग्य सबसमुच्चय पर विचार करके $W$ और किसी बाधाओं के समुच्चय की आवश्यकता हो सकती है $d$ कुल पुनरावर्ती तथाकथित उत्पादन फलन की छवि होती है।

समुच्चय सिद्धांत में, जहां आंशिक फलनों के रिक्त जोड़े के संग्रह के रूप में तैयार किया जाता है ${\mathbb {N} }\rightharpoonup X$ के रूप में दिया गया $\cup _{I\subseteq {\mathbb {N} }}X^{I}$ सभी आंशिक फलनों को चालू रखता है ${\mathbb {N} }$ जिनकी सीमा के रूप में केवल उपसमुच्चय हैं $W$ का $X$ .के लिए ओमेगा समुच्चय $X$ के रूप में होता है

\forall (w\in ({\mathbb {N} }\rightharpoonup X)).\exists (d\in X).\neg \exists (n\in {\mathbb {N} }).w(n)=d.

रचनात्मक रूप से पढ़ें, यह किसी आंशिक फलन को जोड़ता है $w$ तत्व के साथ $d$ उस फलन सीमा में नहीं होता है। यह गुण धर्म की असंगति पर जोर देती है ओमेगा समुच्चय $X$ किसी विशेषण संभवतः आंशिक फलन के साथ होता है। इसके नीचे सबकाउंटेबिलिटी मान्यताओं के अध्ययन में लागू किया जाता है।

समुच्चय सिद्धांत

भीलों के सबसमुच्चय पर कैंटोरियन तर्क

संदर्भ सिद्धांत के रूप में हम रचनात्मक समुच्चय सिद्धांत सीजेडएफ को देखते हैं, जिसमें प्रतिस्थापन की स्वयंसिद्ध स्कीमा होती है, विधेय पृथक्करण की स्वयंसिद्ध स्कीमा, अनंत का मजबूत अभिगृहीत शक्ति समुच्चयों के अस्तित्व के प्रति अज्ञेयवादी होती है, लेकिन इसमें वह स्वयंसिद्ध भी सम्मिलित है जो यह दावा करता है कि कोई भी फलन स्थान $Y^{X}$ के रूप में है, दिया गया है $X,Y$ समुच्चय भी हैं। इस सिद्धांत में, यह जोर देने के लिए भी संगत है कि प्रत्येक समुच्चय उपगणनीय होता है। गिनती संख्याओं के अनंत समुच्चय पर संभावित अनुमानों के माध्यम से इस खंड में आगे के विभिन्न अभिगृहीतों की अनुकूलता पर चर्चा की गई है। $I\subseteq {\mathbb {N} }$ . यहाँ ${\mathbb {N} }$ मानक प्राकृतिक संख्याओं के मॉडल को निरूपित करता है।

याद रखें कि फलनों के लिए $g\colon X\to Y$ , कुल कार्यक्षमता की परिभाषा के अनुसार, सभी मानों के लिए अद्वितीय मान उपस्थित होता है $x\in X$ डोमेन में,

\exists !(y\in Y).g(x)=y,

और उपगणनीय समुच्चय के लिए, आगणन अभी भी सबसमुच्चय पर कुल ${\mathbb {N} }$ .है रचनात्मक रूप से मौलिक रूप से ऐसे अस्तित्व संबंधी दावे कम सिद्ध होते है।

नीचे चर्चा की गई स्थितियाँ - पॉवर क्लास बनाम ऑन फलन स्पेस - ये दूसरे से भिन्न होते है सामान्य उपवर्ग को परिभाषित करने वाले विधेय और उनके सत्य मूल्यों को परिभाषित करने वाले सामान्य उपवर्ग के विपरीत जरूरी नहीं कि केवल सही और गलत फलन जो प्रोग्रामिंग शब्दों में समाप्त हो रहा है, $X$ के अपने सभी उप डोमेन सबसेट के लिए डेटा के बारे में सुलभ जानकारी बनाता है। जब उनके उपसमुच्चय के लिए विशिष्ट फलन के रूप में कार्य उनके वापसी मूल्यों के माध्यम से उपसमुच्चय सदस्यता तय करते हैं। जैसा कि सामान्यतः परिभाषित समुच्चय में सदस्यता जरूरी नहीं है, कुल फलन करता है $X\to \{0,1\}$ के सभी उपसमुच्चयों के साथ स्वचालित रूप से आपत्ति में नहीं हैं $X$ . तो रचनात्मक रूप से, उपसमुच्चय विशेषता फलनों की तुलना में अधिक विस्तृत अवधारणा रूप में होते है। वास्तव में, सीजेडएफ के शीर्ष पर कुछ गैर-मौलिक स्वयंसिद्धों के संदर्भ में, यहां तक कि सिंगलटन की शक्ति वर्ग के रूप में होती है उदाहरण कक्षा ${\mathcal {P}}\{0\}$ के सभी उपसमूहों में से $\{0\}$ , उचित वर्ग के रूप में दिखाया गया है।

बिजली वर्गों पर

नीचे, इस तथ्य का उपयोग किया जाता है कि विशेष स्थितियो $(P\implies \neg P)\implies \neg P$ निषेध परिचय का तात्पर्य है कि $P\iff \neg P$ विरोधाभासी रूप में होते है।

सरलता से तर्क के लिए मान लीजिए ${\mathcal {P}}{\mathbb {N} }$ समुच्चय रूप में होते है। फिर उपसमुच्चय पर विचार करते है $I\subseteq {\mathbb {N} }$ और फलन $w\colon I\to {\mathcal {P}}{\mathbb {N} }$ . इसके अतिरिक्त, जैसा कि कैंटर के विकर्ण तर्क कैंटोर के प्रमेय में शक्ति समुच्चय के बारे में परिभाषित है।^[2]

d=\{k\in {\mathbb {N} }\mid k\in I\land D(k)\}

जहाँ पे,

D(k)=\neg (k\in w(k)).

यह उपवर्ग है

{\mathbb {N} }

की निर्भरता में परिभाषित ओमेगा (

w

) इसे लिखा जा सकता है

d=\{k\in I\mid \neg (k\in w(k))\}.

यह पृथक्करण के माध्यम से सबसमुच्चय के रूप में उपस्थित होते है। और यह मानते हुए कि

n\in I

के साथ नंबर

w(n)=d

उपस्थित होते है इसका तात्पर्य विरोधाभास है।

n\in d\iff \neg (n\in d).

तो समुच्चय के रूप में, कोई पाता है ${\mathcal {P}}{\mathbb {N} }$ ओमेगा है इसलिए हम किसी भी सुरक्षा के लिए बाधा को परिभाषित कर सकते हैं। $d$ किसी दिए गए आगणन के लिए ध्यान दें कि आगणन का अस्तित्व $f\colon I\twoheadrightarrow {\mathcal {P}}{\mathbb {N} }$ स्वतः सीजेडएफ में प्रतिस्थापन के माध्यम से ${\mathcal {P}}{\mathbb {N} }$ को समुच्चय में कर देता है और इसलिए यह फलन अस्तित्व में बिना शर्त नमुमकिन रूप में है।

हम यह निष्कर्ष निकालते हैं कि सभी समुच्चयों का अभिकथन करने वाले सबगणना-योग्यता स्वयंसिद्ध, ${\mathcal {P}}{\mathbb {N} }$ के साथ असंगत रूप में होते है, जो कि निहित है जैसे शक्ति सेट स्वयंसिद्ध.होते है

पॉवर समुच्चय या इसके किसी समकक्ष के बिना मौलिक जेडएफसी में, यह सुसंगत होती है वास्तविक के सभी उपवर्ग जो कि समुच्चय उपगणनीय होते है। उस संदर्भ में, इस कथन का अनुवाद करता है कि वास्तविक संख्याओं के सभी समुच्चय गणनीय होते है।^[3] बेशक, उस सिद्धांत में फलन स्पेस समुच्चय नहीं होते है ${\mathbb {N} }^{\mathbb {N} }$ .

फलन स्पेस पर

फलन रिक्त स्थान की परिभाषा के अनुसार, समुच्चय ${\mathbb {N} }^{\mathbb {N} }$ समुच्चय के उन सबसमुच्चय को रखता है ${\mathbb {N} }\times {\mathbb {N} }$ जो संभाव्य रूप से पूर्ण और कार्यात्मक होते है। विशेष रूप से, सभी समुच्चयों की अनुमत उपगणनीयता पर जोर देते हुए, ${\mathbb {N} }^{\mathbb {N} }$

तो हम यहाँ विशेषण फलन $f\colon I\twoheadrightarrow {\mathbb {N} }^{\mathbb {N} }$ और ${\mathbb {N} }\times {\mathbb {N} }$ के उपसमुच्चय के रूप में भिन्न विचार करते हैं ^[4]

{\Big \{}\langle n,y\rangle \in {\mathbb {N} }\times {\mathbb {N} }\mid {\big (}n\in I\land D(n,y){\big )}\lor {\big (}\neg (n\in I)\land y=1{\big )}{\Big \}}

विकर्ण के साथ परिभाषित विधेय के रूप में हैं।

D(n,y)={\big (}\neg (f(n)(n)\geq 1)\land y=1{\big )}\lor {\big (}\neg (f(n)(n)=0)\land y=0{\big )}

हम बिना निषेध के रूप में वाक्यांश कर सकते हैं

D(n,y)={\big (}f(n)(n)=0\land y=1{\big )}\lor {\big (}f(n)(n)\geq 1\land y=0{\big )}.

यह समुच्चय मौलिक रूप से फलन है

{\mathbb {N} }^{\mathbb {N} }

, मूल्य लेने के लिए डिज़ाइन किया गया

y=0

विशेष इनपुट के लिए

n

. और यह मौलिक रूप से यह साबित करने के लिए उपयोग किया जाता है वास्तविकता

f

आगणन के रूप में विरोधाभासी होता है। चूँकि रचनात्मक रूप से, जब तक कि प्रस्ताव

n\in I

इसकी परिभाषा में निर्णायक होता है इसलिये समुच्चय वास्तव में कार्यात्मक असाइनमेंट को परिभाषित कर सकते है, हम इस समुच्चय को फलन स्पेस के सदस्य के रूप में साबित नहीं कर सकते। और इसलिए हम मौलिक निष्कर्ष नहीं निकाल सकते हैं।

इस प्रकार, की उपगणनीयता ${\mathbb {N} }^{\mathbb {N} }$ अनुमति है और वास्तव में सिद्धांत के मॉडल उपस्थितहोते है। फिर भी सीजेडएफ के स्थिति में भी पूर्ण आगणन का अस्तित्व ${\mathbb {N} }\twoheadrightarrow {\mathbb {N} }^{\mathbb {N} }$ डोमेन के साथ ${\mathbb {N} }$ , वास्तव में विरोधाभासी की निर्णायक सदस्यता $I={\mathbb {N} }$ समुच्चय को भी गणनीय बनाता है।

इन अवलोकनों से परे, यह भी ध्यान दें कि किसी गैर-शून्य संख्या के लिए $a$ , फलन $i\mapsto f(i)(i)+a$ में $I\to {\mathbb {N} }$ आगणन सम्मिलित होते है $f$ सभी तक नहीं बढ़ाया जा सकता है ${\mathbb {N} }$ इसी तरह के विरोधाभासी तर्क से उत्पन्न होते है। इसे यह कहते हुए व्यक्त किया जाता है कि ऐसे आंशिक फलन हैं जिन्हें पूर्ण फलनों तक नहीं बढ़ाया जा सकता है ${\mathbb {N} }\to {\mathbb {N} }$ . ध्यान रखें कि दिए जाने पर $n\in {\mathbb {N} }$ , यह कोई अनिवार्य रूप से यह तय नहीं कर सकता है कि क्या $n\in I$ और इसलिए कोई यह भी तय नहीं कर सकता है कि संभावित फलन एक्सटेंशन का मान क्या है या नहीं $n$ पहले से वर्णित आगणन के लिए $f$ . पहले से ही निर्धारित होते है

सबकाउंटिबिलिटी स्वयंसिद्ध, सभी समुच्चयों पर जोर देने योग्य है, किसी भी नए स्वयंसिद्ध बनाने के साथ असंगत है $I$ एलईएम सहित गणनीय होते है।

मॉडल

उपरोक्त विश्लेषण के कोडिंग के औपचारिक गुणों को प्रभावित करता है $\mathbb {R}$ . सबकाउंटेबिलिटी पोस्टुलेट्स द्वारा सीजेडएफ सिद्धांत के गैर-मौलिक विस्तार के लिए मॉडल का निर्माण किया गया है।^[5] इस तरह के गैर-रचनात्मक स्वयंसिद्धों के सिद्धांतों के रूप में देखा जाता है जो, चूँकि क्रमिक विश्लेषण सिद्धांतों की प्रमाण-सैद्धांतिक ताकत को बहुत अधिक नहीं बढ़ाते हैं।

आईजेडएफ ऐसे मॉडल होते है जिनमें भिन्न - भिन्न संबंधों वाले सभी समुच्चय उपगणनीय रूप में होते है।^[6]
सीजेडएफ मॉडल होते है उदाहरण के लिए, मार्टिन-लोफ टाइप सिद्धांत ${\mathsf {ML_{1}V}}$ . मौलिक रूप से असंख्य फलन रिक्त स्थान के साथ इस रचनात्मक समुच्चय सिद्धांत में यह वास्तव में उपगणनीयता स्वयंसिद्ध पर जोर देने के लिए संगत रूप में होता है यह कहते हुए कि प्रत्येक समुच्चय उपगणनीय है। जैसा कि चर्चा की गई है, परिणामी सिद्धांत शक्ति समुच्चय के स्वयंसिद्ध और बहिष्कृत मध्य के नियम के विपरीत होती है।
क्रिपके प्लैटक समुच्चय सिद्धांत के कुछ मॉडल अभी तक अधिक मजबूत होते है, फलन स्थान के बिना सिद्धांत यह मान्य करता है कि सभी समुच्चय गणनीय होते है।

आकार की धारणा

जैसा कि अभिकलनीयता सिद्धांत में माने जाने वाले फलन स्पेस के उदाहरण में देखा गया है, न कि प्रत्येक अनंत उपसमुच्चय ${\mathbb {N} }$ अनिवार्य रूप से रचनात्मक आपत्ति में है ${\mathbb {N} }$ , इस प्रकार रचनात्मक संदर्भों में असंख्य समुच्चयों के बीच अधिक परिष्कृत अंतर के लिए जगह बना रहा है। फलन स्थान ${\mathbb {N} }^{\mathbb {N} }$ (और भी $\{0,1\}^{\mathbb {N} }$ ) मध्यम रूप से समृद्ध समुच्चय सिद्धांत में सदैव न तो परिमित पाया जाता है और न ही आपत्ति में ${\mathbb {N} }$ , कैंटर के विकर्ण तर्क द्वारा असंख्य होने का यही मतलब होता है। लेकिन यह तर्क कि उस समुच्चय की प्रमुखता इस प्रकार कुछ अर्थों में प्राकृतिक संख्या से अधिक होती है, केवल मौलिक आकार की अवधारणा और गणनांक द्वारा समुच्चय के इसके प्रेरित क्रम पर प्रतिबंध पर निर्भर करती है। उपरोक्त वर्गों से प्रेरित अनंत समुच्चय ${\mathbb {N} }^{\mathbb {N} }$ वर्ग से छोटा माना जाता है ${\mathcal {P}}{\mathbb {N} }$ . छोटे आकार के निर्णय के रूप में उपगणनीयता को कैंटोर द्वारा परिभाषित गणनांक संबंधों की मानक गणितीय परिभाषा के साथ नहीं जोड़ा जाता है, तथा छोटे गणनांक को इंजेक्शन के संदर्भ में परिभाषित किया जाता है। $X$ और गणनांक की समानता को आक्षेपों के संदर्भ में परिभाषित किया जाता है। इसके अतिरिक्त ध्यान दें कि रचनात्मक रूप से आदेश < गणनांक की तरह अनिर्णीत हो सकते है।

यह भी देखें

कैंटर का विकर्ण तर्क
संगणनीय फलन
रचनात्मक समुच्चय सिद्धांत
श्रोडर-बर्नस्टीन प्रमेय
उपभाग
कुल आदेश

संदर्भ

↑ Gert Smolka, Skolems paradox and constructivism, Lecture Notes, Saarland University, Jan. 2015
↑ Méhkeri, Daniel (2010), A simple computational interpretation of set theory, arXiv:1005.4380
↑ Gitman, Victora (2011), What is the theory ZFC without power set, arXiv:1110.2430
↑ Bell, John L. (2004), "Russell's paradox and diagonalization in a constructive context" (PDF), in Link, Godehard (ed.), One hundred years of Russell's paradox, De Gruyter Series in Logic and its Applications, vol. 6, de Gruyter, Berlin, pp. 221–225, MR 2104745
↑ Rathjen, Michael (2006), "Choice principles in constructive and classical set theories" (PDF), in Chatzidakis, Zoé; Koepke, Peter; Pohlers, Wolfram (eds.), Logic Colloquium '02: Joint proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Biannual Meeting of the German Association for Mathematical Logic and the Foundations of Exact Sciences (the Colloquium Logicum) held in Münster, August 3–11, 2002, Lecture Notes in Logic, vol. 27, La Jolla, CA: Association for Symbolic Logic, pp. 299–326, MR 2258712
↑ McCarty, Charles (1986), "Subcountability under realizability", Notre Dame Journal of Formal Logic, 27 (2): 210–220, doi:10.1305/ndjfl/1093636613, MR 0842149

[1] Gert Smolka, Skolems paradox and constructivism, Lecture Notes, Saarland University, Jan. 2015

[2] Méhkeri, Daniel (2010), A simple computational interpretation of set theory, arXiv:1005.4380

[3] Gitman, Victora (2011), What is the theory ZFC without power set, arXiv:1110.2430

[4] Bell, John L. (2004), "Russell's paradox and diagonalization in a constructive context" (PDF), in Link, Godehard (ed.), One hundred years of Russell's paradox, De Gruyter Series in Logic and its Applications, vol. 6, de Gruyter, Berlin, pp. 221–225, MR 2104745

[5] Rathjen, Michael (2006), "Choice principles in constructive and classical set theories" (PDF), in Chatzidakis, Zoé; Koepke, Peter; Pohlers, Wolfram (eds.), Logic Colloquium '02: Joint proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Biannual Meeting of the German Association for Mathematical Logic and the Foundations of Exact Sciences (the Colloquium Logicum) held in Münster, August 3–11, 2002, Lecture Notes in Logic, vol. 27, La Jolla, CA: Association for Symbolic Logic, pp. 299–326, MR 2258712

[6] McCarty, Charles (1986), "Subcountability under realizability", Notre Dame Journal of Formal Logic, 27 (2): 210–220, doi:10.1305/ndjfl/1093636613, MR 0842149

[1]

[2]

[3]

[4]

[5]

[6]

@@ Line 1: / Line 1: @@
-{{more footnotes|date=September 2020}}
+[[रचनात्मक गणित]] में संग्रह <math>X</math> पर [[प्राकृतिक संख्या|प्राकृतिक संख्याओं]] में से आंशिक फलन सर्जेन्ट होते है। तो यह उपगणनीय होते है। इस रूप में व्यक्त किया जाता है।
-[[रचनात्मक गणित]] में, एक संग्रह <math>X</math> सबकाउंटेबल के रूप में होते है अगर उस पर [[प्राकृतिक संख्या|प्राकृतिक संख्याओं]]  से आंशिक फलन प्रक्षेपण के रूप में उपस्थित होते है। इसे इस रूप में व्यक्त किया जा सकता है
 <math display="block">\exists (I\subseteq{\mathbb N}).\, \exists f.\, (f\colon I\twoheadrightarrow X),</math>
-जहाँ <math>f\colon I\twoheadrightarrow X</math> दर्शाता है <math>f</math> से एक विशेषण फलन होते है <math>I</math> पर <math>X</math>. अनुमान का सदस्य  <math>{\mathbb N}\rightharpoonup X</math> है और यहाँ उपवर्ग <math>I</math> का <math>{\mathbb N}</math> समुच्चय होता है। दूसरे शब्दों में, एक उपगणनीय संग्रह के सभी तत्व <math>X</math> गणना संख्याओं के अनुक्रमण समुच्चय की छवि में कार्यात्मक रूप से होता है <math>I\subseteq{\mathbb N}</math> और इस प्रकार समुच्चय <math>X</math> गणनीय समुच्चय <math>{\mathbb N}</math>.के प्रभुत्व के रूप में समझा जा सकता है।
+जहाँ <math>f\colon I\twoheadrightarrow X</math> दर्शाता है <math>f</math> विशेषण फलन होते है <math>I</math> पर <math>X</math>. आगणन का सदस्य <math>{\mathbb N}\rightharpoonup X</math> है और यहाँ उपवर्ग <math>I</math> का <math>{\mathbb N}</math> समुच्चय होता है। दूसरे शब्दों में, उपगणनीय संग्रह के सभी तत्व <math>X</math> गणना संख्याओं के अनुक्रमण समुच्चय की छवि में कार्यात्मक रूप से होता है <math>I\subseteq{\mathbb N}</math> और इस प्रकार समुच्चय <math>X</math> गणनीय समुच्चय <math>{\mathbb N}</math>.के प्रभुत्व के रूप में समझा जा सकता है।
 ध्यान दें कि गणनीयता और परिमितता गुणों का नामकरण ऐतिहासिक रूप से बहुत भिन्न होता है। यहां वाद-विवाद प्रश्न में समुच्चय अनुमानों के संदर्भ में परिभाषित लक्षण से संबंधित होता है।
@@ Line 9: / Line 11: @@
 === उदाहरण ===
-एक महत्वपूर्ण मामला है <math>X</math> कम्प्यूटेबिलिटी सिद्धांत में अध्ययन के अनुसार कार्यों के एक बड़े वर्ग के कुछ उपवर्ग को दर्शाता है।
+महत्वपूर्ण स्थितिया वह है जहां <math>X</math> अभिकलनीयता सिद्धांत में अध्ययन के अनुसार फलनों के बड़े वर्ग के कुछ उपवर्ग को दर्शाता है।
-कुल संगणनीय कार्यों पर विचार करें और ध्यान दें कि कुल होना एक [[निर्णायकता (तर्क)]] संपत्ति नहीं है, यानी कुल कार्यों और प्राकृतिक संख्याओं के बीच रचनात्मक आपत्ति नहीं हो सकती है। हालांकि, सभी संभावित आंशिक संगणनीय कार्यों (जो गैर-समाप्ति कार्यक्रमों को भी अनुमति देता है) के गोडेल नंबरिंग की गणना के माध्यम से, उन के सबसेट, जैसे कि कुल फ़ंक्शन, को सबकाउंटेबल समुच्चय के रूप में देखा जाता है। ध्यान दें कि इंडेक्स समुच्चय (रिकर्सन थ्योरी) पर राइस के प्रमेय द्वारा, अधिकांश डोमेन <math>I</math> रिकर्सिव नहीं हैं। दरअसल, सभी गिनती संख्याओं के बीच कोई प्रभावी मानचित्र नहीं है <math>{\mathbb N}</math> और अनंत (गैर-सीमित) अनुक्रमण समुच्चय <math>I</math> यहाँ जोर दिया गया है, केवल उपसमुच्चय संबंध <math>I\subseteq{\mathbb N}</math>. संख्याओं के रचनात्मक रूप से गैर-गणनीय समुच्चय का प्रभुत्व होना <math>I</math>, नाम उपगणनीय इस प्रकार बताता है कि बेशुमार समुच्चय <math>X</math> से बड़ा नहीं है <math>{\mathbb N}</math>.
+कुल संगणनीय फलनों पर विचार करें और ध्यान दें कि कुल होना [[निर्णायकता (तर्क)|निर्णायक]] गुण धर्म नहीं है अर्थात कुल फलनों और प्राकृतिक संख्याओं के बीच रचनात्मक अवरोध नहीं हो सकती है। चूँकि, सभी संभावित आंशिक संगणनीय फलनों के कोडों की गणना के माध्यम से उनके सबसेट, जो गैर-समाप्ति वाले फलनों को अनुमति देता है जैसे कि कुल फलनों को उपगणनीय समुच्चय के रूप में देखा जाता है। ध्यान दें कि इंडेक्स समुच्चय रिकर्सन सिद्धांत पर राइस के प्रमेय द्वारा, अधिकांश डोमेन समुच्चय किए जाते हैं <math>I</math> पुनरावर्ती नहीं हैं दरअसल, सभी गिनती संख्याओं के बीच कोई प्रभावी मानचित्र नहीं है <math>{\mathbb N}</math> और अनंत गैर सीमित अनुक्रमण समुच्चय <math>I</math> पर बल दिया गया है, केवल उपसमुच्चय संबंध <math>I\subseteq{\mathbb N}</math>. संख्याओं के रचनात्मक रूप से गैर गणनीय समुच्चय का प्रभुत्व होता है <math>I</math>, नाम उपगणनीय इस प्रकार प्रस्तुत करता है कि असंख्य समुच्चय <math>X</math> से बड़ा <math>{\mathbb N}</math>.नहीं होता है
-प्रदर्शन कि <math>X</math> उपगणनीय है इसका तात्पर्य यह भी है कि यह शास्त्रीय रूप से (गैर-रचनात्मक रूप से) औपचारिक रूप से गणनीय है, लेकिन यह किसी भी प्रभावी गणना को प्रतिबिंबित नहीं करता है। दूसरे शब्दों में, तथ्य यह है कि अनुक्रम में सभी कुल कार्यों को सूचीबद्ध करने वाले एल्गोरिदम को कोडित नहीं किया जा सकता है, समुच्चय और फलन अस्तित्व के बारे में शास्त्रीय सिद्धांतों द्वारा कब्जा नहीं किया जाता है। हम देखते हैं कि, एक सिद्धांत के स्वयंसिद्धों के आधार पर, उप-गणना योग्यता की तुलना में सिद्ध होने की अधिक संभावना हो सकती है।
+प्रदर्शन जिसमें <math>X</math> उप-गणना के रूप में है इसका तात्पर्य यह है कि यह मौलिक रूप से गैर-रचनात्मक रूप से गणनीय होता है, लेकिन यह किसी भी प्रभावी गणना क्षमता को प्रतिबिंबित नहीं करता है। दूसरे शब्दों में, इसका तात्पर्य यह है कि अनुक्रम में सभी फलनों को सूचीबद्ध करने वाले कलन विधि को कोडित नहीं किया जाता है, समुच्चय और फलन अस्तित्व के बारे में मौलिक स्वयंसिद्धि से अभिगृहीत नहीं किया गया है। हम देखते हैं कि किसी सिद्धांत के स्वयंसिद्धों के आधार पर, उप-गणना योग्यता की तुलना में सिद्ध होने की अधिक संभावना होती है।
+=== बहिष्कृत मध्य से संबंध ===
+रचनात्मक बहस और [[सिद्धांतों]] के आधार पर, अनंत अपरिमित [[समुच्चयों]] के मध्य निर्णायकता और संभवत: प्रभावशीलता के प्रश्नों के बीच किसी फलन की उपस्थिति को बाधते हैं। वहां, सबकाउंटेबिलिटी योग्यता काउंटेबिलिटी से भिन्न हो जाती है और इस तरह यह निरर्थक धारणा नहीं है। अनुक्रमण समुच्चय <math>I</math> प्राकृतिक संख्याओं का अस्तित्व माना जा सकता है, जैसे विशिष्टता के स्वयंसिद्ध (एक्सिओम्स) स्कीमा समान समुच्चय सैद्धांतिक स्वयंसिद्धों के माध्यम से सबसमुच्चय के रूप में होते है। फिर परिभाषा के द्वारा <math>I\subseteq{\mathbb N}</math>, के रूप में दर्शाते है
-=== बहिष्कृत मध्य === से संबंध
-रचनात्मक लॉजिक्स और [[रचनात्मक सेट सिद्धांत|रचनात्मक समुच्चय सिद्धांत]] में निर्णायकता (तर्क) और संभवतः प्रभावी विधि के प्रश्नों के लिए अनंत (गैर-परिमित) समुच्चय के बीच एक फलन के अस्तित्व को बाँधते हैं। वहां, सबकाउंटेबिलिटी प्रॉपर्टी काउंटेबिलिटी से अलग हो जाती है और इस तरह यह एक निरर्थक धारणा नहीं है।
-अनुक्रमण समुच्चय <math>I</math> प्राकृतिक संख्याओं का अस्तित्व माना जा सकता है, उदा। विशिष्टता के स्वयंसिद्ध स्कीमा जैसे समुच्चय सैद्धांतिक स्वयंसिद्धों के माध्यम से एक सबसमुच्चय के रूप में। फिर की परिभाषा के द्वारा <math>I\subseteq{\mathbb N}</math>,
 <math display="block">\forall (i\in I). (i\in{\mathbb N}).</math>
-लेकिन यह समुच्चय तब भी वियोज्य होने में विफल हो सकता है, इस अर्थ में कि
+लेकिन यह समुच्चय तब भी वियोज्य होने में विफल हो सकता है, इस अर्थ में कि,
 <math display="block">\forall (n\in {\mathbb N}). \big((n\in I) \lor \neg(n\in I)\big)</math>
-इसे स्वयंसिद्ध माने बिना सिद्ध नहीं किया जा सकता है।
+इसे स्वयंसिद्ध माने बिना सिद्ध नहीं किया जा सकता है। उपगणनीय समुच्चय को प्रभावी प्रारूप से गिनने में कोई विफल हो सकता है <math>X</math> यदि कोई गिनती की संख्या को मैप करने में विफल रहता है <math>{\mathbb N}</math> अनुक्रमण समुच्चय में <math>I</math>, इस कारण से गणनीय होने का अर्थ उपगणनीय होता है। लेकिन सामान्यतः बातचीत बहिष्कृत मध्य के नियम पर जोर देने के बिना नहीं होती है, अर्थात सभी प्रस्तावों के लिए <math>\phi</math> रखती है <math>\phi\lor \neg \phi</math>.
-सबकाउंटेबल समुच्चय को प्रभावी ढंग से गिनने में कोई विफल हो सकता है <math>X</math> अगर कोई गिनती की संख्या को मैप करने में विफल रहता है <math>{\mathbb N}</math> अनुक्रमण समुच्चय में <math>I</math>, इस कारण से।
-गणनीय होने का अर्थ है उपगणनीय होना। लेकिन आम तौर पर बातचीत बहिष्कृत मध्य के कानून पर जोर देने के बिना नहीं होती है, यानी सभी प्रस्तावों के लिए <math>\phi</math> रखती है <math>\phi\lor \neg \phi</math>.
+==== मौलिक गणित में ====
+मौलिक तर्क के सभी नियमो पर जोर देते हुए, की वियोगात्मक गुण धर्म <math>I</math> पर चर्चा वास्तव में सभी समुच्चयों के लिए होती है। फिर, गैर-खाली के लिए <math>X</math>, गुण संख्या जिसका' अर्थ कि <math>X</math> में <math>{\mathbb N}</math> इंजेक्ट करता है <math>{\mathbb N}</math> गणनीय है <math>X</math> इसकी सीमा के रूप में, उपगणनीय का सबसमुच्चय <math>{\mathbb N}</math> प्रोजेक्ट करता है <math>X</math> और ओमेगा गणनीयता गुण धर्म अनिवार्य रूप से सबसमुच्चय के संदर्भ में परिभाषित की गई है <math>X</math> सभी समतुल्य हैं और व्यक्त करते हैं कि समुच्चय परिमित समुच्चय या [[गणनीय रूप से अनंत]] रूप में होते है।
-==== शास्त्रीय गणित में ====
+==== गैर-मौलिक अभिकथन ====
-शास्त्रीय तर्क के सभी कानूनों पर जोर देते हुए, की वियोगात्मक संपत्ति <math>I</math> ऊपर चर्चा वास्तव में सभी सेटों के लिए है। फिर, गैर-खाली के लिए <math>X</math>, गुण संख्या (जो यहाँ मतलब होगा कि <math>X</math> में इंजेक्ट करता है <math>{\mathbb N}</math>), गणनीय (<math>{\mathbb N}</math> है <math>X</math> इसकी सीमा के रूप में), सबकाउंटेबल (का एक सबसमुच्चय <math>{\mathbb N}</math> में डालता है <math>X</math>) और नहीं भी <math>\omega</math>-उत्पादक (एक गणनीयता संपत्ति अनिवार्य रूप से सबसमुच्चय के संदर्भ में परिभाषित की गई है <math>X</math>) सभी समतुल्य हैं और व्यक्त करते हैं कि एक समुच्चय परिमित समुच्चय या [[गणनीय रूप से अनंत]] है।
+बहिष्कृत मध्य के नियम के बिना, यह उन समुच्चयों की उपगणनीयता पर जोर देने के लिए संगत हो सकता है जो मौलिक रूप से अर्थात गैर-रचनात्मक रूप से प्राकृतिक संख्याओं की गणनांक से अधिक हो जाता है। ध्यान दें कि रचनात्मक सेटिंग में, फलन स्थान के बारे में काउंटेबिलिटी का अनुरोध <math>{\mathbb N}^{\mathbb N}</math> पूरे समुच्चय से बाहर <math>{\mathbb N}</math>, के रूप में <math>{\mathbb N}\twoheadrightarrow{\mathbb N}^{\mathbb N}</math>, खंडन किया जा सकता है। लेकिन उपगणनीयता <math>I\twoheadrightarrow{\mathbb N}^{\mathbb N}</math> असंख्य समुच्चय का <math>{\mathbb N}^{\mathbb N}</math> समुच्चय द्वारा <math>I\subseteq{\mathbb N}</math> से प्रभावी रूप से भिन्न करने योग्य नहीं होता है <math>{\mathbb N}</math> की अनुमति दी जाती है।
-==== गैर-शास्त्रीय अभिकथन ====
+जैसा <math>{\mathbb N}^{\mathbb N}</math> असंख्य होते है और मौलिक रूप से उपगणनीय नहीं होते है, इसके बड़े फलन स्थान के साथ मौलिक ढांचा रचनात्मक चर्च की थीसिस के साथ असंगत रूप में होता है। जो रूसी रचनावाद का स्वयंसिद्ध रूप में होता है।
-बहिष्कृत मध्य के कानून के बिना, यह उन सेटों की उपगणनीयता पर जोर देने के लिए संगत हो सकता है जो शास्त्रीय रूप से (यानी गैर-रचनात्मक रूप से) प्राकृतिक संख्याओं की कार्डिनैलिटी से अधिक हो।
-ध्यान दें कि एक रचनात्मक सेटिंग में, फलन स्थान के बारे में एक काउंटेबिलिटी का दावा <math>{\mathbb N}^{\mathbb N}</math> पूरे समुच्चय से बाहर <math>{\mathbb N}</math>, के रूप में <math>{\mathbb N}\twoheadrightarrow{\mathbb N}^{\mathbb N}</math>, खंडन किया जा सकता है। लेकिन उपगणनीयता <math>I\twoheadrightarrow{\mathbb N}^{\mathbb N}</math> एक बेशुमार समुच्चय का <math>{\mathbb N}^{\mathbb N}</math> एक समुच्चय द्वारा <math>I\subseteq{\mathbb N}</math> से प्रभावी रूप से अलग करने योग्य नहीं है <math>{\mathbb N}</math> अनुमति दी जा सकती है।
-जैसा <math>{\mathbb N}^{\mathbb N}</math> बेशुमार है और शास्त्रीय रूप से उपगणनीय नहीं है, इसके बड़े फलन स्थान के साथ शास्त्रीय ढांचा चर्च की थीसिस (रचनात्मक गणित) के साथ असंगत है। रचनात्मक चर्च की थीसिस, रूसी रचनावाद का एक स्वयंसिद्ध।
+=== उपगणनीय और ओमेगा (ω) उत्पादक परस्पर अनन्य हैं ===
+समुच्चय <math>X</math> कहा जाता है ओमेगा [[रचनात्मक और उत्पादक सेट|रचनात्मक और उत्पादक]] अगर, जब भी इसका कोई उपसमुच्चय <math>W\subset X</math> जो किसी फलन का वह कार्यक्षेत्र होता है जिस पर कोई आंशिक फलन <math>{\mathbb N}</math>, के रूप में होता है वहाँ अधिकांशतः <math>d\in X\setminus W</math> तत्व उपस्थित होता है, जो उस सीमा के पूरक में रहता है।<ref>Gert Smolka, [https://cpb-us-w2.wpmucdn.com/u.osu.edu/dist/a/4597/files/2014/09/mccarty_tennant_jpl1987-1ncyai0.pdf ''Skolems paradox and constructivism''], Lecture Notes, Saarland University, Jan. 2015</ref>
-=== उपगणनीय और ω-उत्पादक परस्पर अनन्य === हैं
+यदि कुछ पर कोई आगणन उपस्थित है <math>X</math>, तो वर्णित अनुसार इसकी संबंधित प्रशंसा खाली समुच्चय <math>X\setminus X</math>, के बराबर होती है और इसलिए उपगणनीय समुच्चय कभी नहीं होता है जैसा कि ऊपर परिभाषित किया गया है, ओमेगा उत्पादक होने का गुण श्रेणी को जोड़ता है <math>W</math> किसी विशेष मान के किसी भी आंशिक फलन का <math>d\in X</math> फलनों की श्रेणी में नहीं होता है। इस प्रकार समुच्चय <math>X</math>:कि सभी तत्वों को उत्पन्न करना कितना कठिन होता है उन्हें ही फलन का उपयोग करके उत्पन्न नहीं किया जा सकता है। ओमेगा गुण धर्म उपगणनीयता में बाधा उत्पन्न करती है। जैसा कि इसका अर्थ यह भी है कि सत्तर के दशक के उत्तरार्ध से विकर्ण तर्क अधिकांशतः इस धारणा को स्पष्ट रूप से सम्मिलित करते हैं।
-एक समुच्चय <math>X</math> कहा जाएगा <math>\omega</math>[[रचनात्मक और उत्पादक सेट|रचनात्मक और उत्पादक]] समुच्चय अगर, जब भी इसका कोई सबसमुच्चय <math>W\subset X</math> किसी फलन का वह दायरा है जिस पर कोई आंशिक फलन है <math>{\mathbb N}</math>, वहाँ हमेशा एक तत्व उपस्थित होता है <math>d\in X\setminus W</math> जो उस सीमा के पूरक में रहता है।<ref>Gert Smolka, [https://cpb-us-w2.wpmucdn.com/u.osu.edu/dist/a/4597/files/2014/09/mccarty_tennant_jpl1987-1ncyai0.pdf ''Skolems paradox and constructivism''], Lecture Notes, Saarland University, Jan. 2015</ref> अगर कुछ पर कोई अनुमान उपस्थित है <math>X</math>, तो वर्णित अनुसार इसकी संबंधित प्रशंसा खाली समुच्चय के बराबर होगी <math>X\setminus X</math>, और इसलिए एक सबकाउंटेबल समुच्चय कभी नहीं होता है <math>\omega</math>-उत्पादक।
-जैसा कि ऊपर परिभाषित किया गया है, होने की संपत्ति <math>\omega</math>-उत्पादक सीमा को जोड़ता है <math>W</math> किसी विशेष मान के किसी भी आंशिक फलन का <math>d\in X</math> कार्यों की श्रेणी में नहीं। इस प्रकार, होना <math>\omega</math>-उत्पादक बोलता है कि सभी तत्वों को उत्पन्न करना कितना कठिन है <math>X</math>: उन्हें एक ही फंक्शन का उपयोग करके उत्पन्न नहीं किया जा सकता है। <math>\omega</math>वें>-उत्पादकता संपत्ति उपगणनीयता में बाधा उत्पन्न करती है। जैसा कि यह बेशुमारता का भी अर्थ है, कैंटर के विकर्ण तर्क में अक्सर यह धारणा शामिल होती है, स्पष्ट रूप से सत्तर के दशक के अंत से।
-कोई गणना योग्य गणना की असंभवता स्थापित कर सकता है <math>X</math> केवल संगणनीय रूप से [[गणना योग्य]] सबसमुच्चय पर विचार करके <math>W</math> और किसी को सभी बाधाओं के समुच्चय की आवश्यकता हो सकती है <math>d</math>कुल पुनरावर्ती तथाकथित उत्पादन फलन की छवि होना चाहिए।
+कोई गणना योग्य गणना की असंभवता स्थापित कर सकता है <math>X</math> केवल संगणनीय रूप से [[गणना योग्य]] सबसमुच्चय पर विचार करके <math>W</math> और किसी बाधाओं के समुच्चय की आवश्यकता हो सकती है <math>d</math> कुल पुनरावर्ती तथाकथित उत्पादन फलन की छवि होती है।
-समुच्चय थ्योरी में, जहां आंशिक कार्यों को जोड़े, अंतरिक्ष के संग्रह के रूप में तैयार किया जाता है <math>{\mathbb N}\rightharpoonup X</math> के रूप में दिया गया <math>\cup_{I\subseteq{\mathbb N}} X^I</math> बिल्कुल सभी आंशिक कार्यों को चालू रखता है <math>{\mathbb N}</math> जिनकी सीमा के रूप में केवल उपसमुच्चय हैं <math>W</math> का <math>X</math>.
+समुच्चय सिद्धांत में, जहां आंशिक फलनों के रिक्त जोड़े के संग्रह के रूप में तैयार किया जाता है <math>{\mathbb N}\rightharpoonup X</math> के रूप में दिया गया <math>\cup_{I\subseteq{\mathbb N}} X^I</math> सभी आंशिक फलनों को चालू रखता है <math>{\mathbb N}</math> जिनकी सीमा के रूप में केवल उपसमुच्चय हैं <math>W</math> का <math>X</math>.के लिए ओमेगा समुच्चय <math>X</math> के रूप में होता है
-एक के लिए <math>\omega</math>-उत्पादक समुच्चय <math>X</math> एक पाता है
 :<math>\forall (w\in({\mathbb N}\rightharpoonup X)). \exists (d\in X). \neg\exists(n\in{\mathbb N}). w(n) = d.</math>
-रचनात्मक रूप से पढ़ें, यह किसी आंशिक फलन को जोड़ता है <math>w</math> एक तत्व के साथ <math>d</math> उस फलन सीमा में नहीं।
+रचनात्मक रूप से पढ़ें, यह किसी आंशिक फलन को जोड़ता है <math>w</math> तत्व के साथ <math>d</math> उस फलन सीमा में नहीं होता है। यह गुण धर्म की असंगति पर जोर देती है ओमेगा समुच्चय <math>X</math> किसी विशेषण संभवतः आंशिक फलन के साथ होता है। इसके नीचे सबकाउंटेबिलिटी मान्यताओं के अध्ययन में लागू किया जाता है।
-यह संपत्ति एक की असंगति पर जोर देती है <math>\omega</math>-उत्पादक समुच्चय <math>X</math> किसी विशेषण (संभवतः आंशिक) फलन के साथ। इसके नीचे सबकाउंटेबिलिटी मान्यताओं के अध्ययन में लागू किया गया है।
 == समुच्चय सिद्धांत ==
 === भीलों के सबसमुच्चय पर कैंटोरियन तर्क ===
-संदर्भ सिद्धांत के रूप में हम रचनात्मक समुच्चय सिद्धांत CZF को देखते हैं, जिसमें [[प्रतिस्थापन की स्वयंसिद्ध स्कीमा]] है, [[विधेय पृथक्करण की स्वयंसिद्ध स्कीमा]], अनंत का मजबूत अभिगृहीत, शक्ति सेटों के अस्तित्व के प्रति अज्ञेयवादी है, लेकिन इसमें वह स्वयंसिद्ध भी शामिल है जो यह दावा करता है कि कोई भी फलन स्थान <math>Y^X</math> दिया गया है, दिया गया है <math>X, Y</math> समुच्चय भी हैं। इस सिद्धांत में, यह जोर देने के लिए भी संगत है कि प्रत्येक समुच्चय उपगणनीय है।
+संदर्भ सिद्धांत के रूप में हम रचनात्मक समुच्चय सिद्धांत सीजेडएफ को देखते हैं, जिसमें [[प्रतिस्थापन की स्वयंसिद्ध स्कीमा]] होती है, [[विधेय पृथक्करण की स्वयंसिद्ध स्कीमा]], अनंत का मजबूत अभिगृहीत शक्ति समुच्चयों के अस्तित्व के प्रति अज्ञेयवादी होती है, लेकिन इसमें वह स्वयंसिद्ध भी सम्मिलित है जो यह दावा करता है कि कोई भी फलन स्थान <math>Y^X</math> के रूप में है, दिया गया है <math>X, Y</math> समुच्चय भी हैं। इस सिद्धांत में, यह जोर देने के लिए भी संगत है कि प्रत्येक समुच्चय उपगणनीय होता है। गिनती संख्याओं के अनंत समुच्चय पर संभावित अनुमानों के माध्यम से इस खंड में आगे के विभिन्न अभिगृहीतों की अनुकूलता पर चर्चा की गई है। <math>I\subseteq {\mathbb N}</math>. यहाँ <math>{\mathbb N}</math> मानक प्राकृतिक संख्याओं के मॉडल को निरूपित करता है।
-गिनती संख्याओं के अनंत समुच्चय पर संभावित अनुमानों के माध्यम से इस खंड में आगे के विभिन्न अभिगृहीतों की अनुकूलता पर चर्चा की गई है। <math>I\subseteq {\mathbb N}</math>. यहाँ <math>{\mathbb N}</math> मानक प्राकृतिक संख्याओं के एक मॉडल को निरूपित करेगा।
-याद रखें कि कार्यों के लिए <math>g\colon X\to Y</math>, कुल कार्यक्षमता की परिभाषा के अनुसार, सभी मानों के लिए एक अद्वितीय वापसी मान उपस्थित होता है <math>x\in X</math> डोमेन में,
+याद रखें कि फलनों के लिए <math>g\colon X\to Y</math>, कुल कार्यक्षमता की परिभाषा के अनुसार, सभी मानों के लिए अद्वितीय मान उपस्थित होता है <math>x\in X</math> डोमेन में,
 :<math>\exists!(y\in Y). g(x)=y,</math>
-और एक सबकाउंटेबल समुच्चय के लिए, अनुमान अभी भी एक सबसमुच्चय पर कुल है <math>{\mathbb N}</math>. रचनात्मक रूप से, शास्त्रीय रूप से कम ऐसे अस्तित्व संबंधी दावे सिद्ध होंगे।
+और उपगणनीय समुच्चय के लिए, आगणन अभी भी सबसमुच्चय पर कुल <math>{\mathbb N}</math>.है रचनात्मक रूप से मौलिक रूप से ऐसे अस्तित्व संबंधी दावे कम सिद्ध होते है।
-नीचे चर्चा की गई स्थितियाँ - पॉवर क्लास बनाम ऑन फंक्शन स्पेस - एक दूसरे से अलग हैं: सामान्य उपवर्ग को परिभाषित करने वाले विधेय और उनके सत्य मूल्यों के विपरीत (जरूरी नहीं कि केवल सही और गलत साबित हो), एक फलन (जो प्रोग्रामिंग शब्दों में समाप्त हो रहा है) करता है अपने सभी उप डोमेन (के सबसेट) के लिए डेटा के बारे में सुलभ जानकारी बनाता है <math>X</math>). जब उनके उपसमुच्चय के लिए विशिष्ट फलन के रूप में, कार्य, उनके वापसी मूल्यों के माध्यम से, उपसमुच्चय सदस्यता तय करते हैं। जैसा कि आम तौर पर परिभाषित समुच्चय में सदस्यता जरूरी नहीं है, (कुल) फलन करता है <math>X\to\{0,1\}</math> के सभी उपसमुच्चयों के साथ स्वचालित रूप से आपत्ति में नहीं हैं <math>X</math>. तो रचनात्मक रूप से, उपसमुच्चय विशेषता कार्यों की तुलना में अधिक विस्तृत अवधारणा है। वास्तव में, सीजेडएफ के शीर्ष पर कुछ गैर-शास्त्रीय स्वयंसिद्धों के संदर्भ में, यहां तक कि एक सिंगलटन की शक्ति वर्ग, उदा। कक्षा <math>{\mathcal P}\{0\}</math> के सभी उपसमूहों में से <math>\{0\}</math>, एक उचित वर्ग के रूप में दिखाया गया है।
+नीचे चर्चा की गई स्थितियाँ - पॉवर क्लास बनाम ऑन फलन स्पेस - ये दूसरे से भिन्न होते है सामान्य उपवर्ग को परिभाषित करने वाले विधेय और उनके सत्य मूल्यों को परिभाषित करने वाले सामान्य उपवर्ग के विपरीत जरूरी नहीं कि केवल सही और गलत फलन जो प्रोग्रामिंग शब्दों में समाप्त हो रहा है, <math>X</math>के अपने सभी उप डोमेन सबसेट के लिए डेटा के बारे में सुलभ जानकारी बनाता है। जब उनके उपसमुच्चय के लिए विशिष्ट फलन के रूप में कार्य उनके वापसी मूल्यों के माध्यम से उपसमुच्चय सदस्यता तय करते हैं। जैसा कि सामान्यतः परिभाषित समुच्चय में सदस्यता जरूरी नहीं है, कुल फलन करता है <math>X\to\{0,1\}</math> के सभी उपसमुच्चयों के साथ स्वचालित रूप से आपत्ति में नहीं हैं <math>X</math>. तो रचनात्मक रूप से, उपसमुच्चय विशेषता फलनों की तुलना में अधिक विस्तृत अवधारणा रूप में होते है। वास्तव में, सीजेडएफ के शीर्ष पर कुछ गैर-मौलिक स्वयंसिद्धों के संदर्भ में, यहां तक कि सिंगलटन की शक्ति वर्ग के रूप में होती है उदाहरण कक्षा <math>{\mathcal P}\{0\}</math> के सभी उपसमूहों में से <math>\{0\}</math>, उचित वर्ग के रूप में दिखाया गया है।
 ==== बिजली वर्गों पर ====
-नीचे, इस तथ्य का उपयोग किया जाता है कि विशेष मामला <math>(P\implies \neg P)\implies\neg P</math> [[निषेध परिचय]] का तात्पर्य है कि <math>P\iff \neg P</math> विरोधाभासी है।
+नीचे, इस तथ्य का उपयोग किया जाता है कि विशेष स्थितियो <math>(P\implies \neg P)\implies\neg P</math> [[निषेध परिचय]] का तात्पर्य है कि <math>P\iff \neg P</math> विरोधाभासी रूप में होते है।
-सरलता से तर्क के लिए, मान लीजिए <math>{\mathcal P}{\mathbb N}</math> एक समुच्चय है। फिर एक उपसमुच्चय पर विचार करें <math>I\subseteq{\mathbb N}</math> और एक समारोह <math>w\colon I\to{\mathcal P}{\mathbb N}</math>. इसके अलावा, जैसा कि कैंटर के विकर्ण तर्क|कैंटोर के प्रमेय में शक्ति समुच्चय के बारे में है, परिभाषित करें<ref>{{citation|first=Daniel|last=Méhkeri|arxiv=1005.4380|title=A simple computational interpretation of set theory|year=2010}}</ref>
+सरलता से तर्क के लिए मान लीजिए <math>{\mathcal P}{\mathbb N}</math> समुच्चय रूप में होते है। फिर उपसमुच्चय पर विचार करते है <math>I\subseteq{\mathbb N}</math> और फलन <math>w\colon I\to{\mathcal P}{\mathbb N}</math>. इसके अतिरिक्त, जैसा कि कैंटर के विकर्ण तर्क कैंटोर के प्रमेय में शक्ति समुच्चय के बारे में परिभाषित है।<ref>{{citation|first=Daniel|last=Méhkeri|arxiv=1005.4380|title=A simple computational interpretation of set theory|year=2010}}</ref>
 <math display="block">d=\{k \in {\mathbb N}\mid k\in I \land D(k)\}</math>
-जहाँ  पे,
+जहाँ पे,
 <math display="block">D(k)=\neg (k\in w(k)).</math>
-यह का एक उपवर्ग है <math>{\mathbb N}</math> की निर्भरता में परिभाषित <math>w</math> और इसे लिखा भी जा सकता है
+यह उपवर्ग है <math>{\mathbb N}</math> की निर्भरता में परिभाषित ओमेगा (<math>w</math>) इसे लिखा जा सकता है
 <math display="block">d=\{k \in I\mid \neg (k\in w(k))\}.</math>
-यह पृथक्करण के माध्यम से सबसमुच्चय के रूप में उपस्थित है। अब यह मानते हुए कि एक संख्या उपस्थित है <math>n\in I</math> साथ <math>w(n)=d</math> विरोधाभास का तात्पर्य है
+यह पृथक्करण के माध्यम से सबसमुच्चय के रूप में उपस्थित होते है। और यह मानते हुए कि <math>n\in I</math> के साथ नंबर <math>w(n)=d</math> उपस्थित होते है इसका तात्पर्य विरोधाभास है।
 <math display="block">n\in d\iff \neg(n\in d).</math>
-तो एक समुच्चय के रूप में, कोई पाता है <math>{\mathcal P}{\mathbb N}</math> है <math>\omega</math>-उत्पादक इसमें हम एक बाधा को परिभाषित कर सकते हैं <math>d</math> किसी दिए गए अनुमान के लिए। ध्यान दें कि एक अनुमान का अस्तित्व <math>f\colon I\twoheadrightarrow{\mathcal P}{\mathbb N}</math> स्वतः बना देगा <math>{\mathcal P}{\mathbb N}</math> CZF में प्रतिस्थापन के माध्यम से एक समुच्चय में, और इसलिए यह फलन अस्तित्व बिना शर्त असंभव है।
-हम यह निष्कर्ष निकालते हैं कि सबकाउंटेबिलिटी स्वयंसिद्ध, सभी सेटों पर जोर देने के साथ असंगत है <math>{\mathcal P}{\mathbb N}</math> एक समुच्चय होने के नाते, जैसा निहित है उदा। पावर समुच्चय स्वयंसिद्ध द्वारा।
-पॉवरसमुच्चय या इसके किसी समकक्ष के बिना शास्त्रीय ZFC में, यह भी सुसंगत है कि वास्तविक के सभी उपवर्ग जो कि समुच्चय हैं, उपगणनीय हैं। उस संदर्भ में, यह इस कथन का अनुवाद करता है कि वास्तविक संख्याओं के सभी समुच्चय गणनीय हैं।<ref>{{citation|first=Victora|last=Gitman|arxiv=1110.2430|title=What is the theory ZFC without power set|year=2011}}</ref> बेशक, उस सिद्धांत में फलन स्पेस समुच्चय नहीं है <math>{\mathbb N}^{\mathbb N}</math>.
-==== फंक्शन स्पेस पर ====
+तो समुच्चय के रूप में, कोई पाता है <math>{\mathcal P}{\mathbb N}</math> ओमेगा है इसलिए हम किसी भी सुरक्षा के लिए बाधा को परिभाषित कर सकते हैं। <math>d</math> किसी दिए गए आगणन के लिए ध्यान दें कि आगणन का अस्तित्व <math>f\colon I\twoheadrightarrow{\mathcal P}{\mathbb N}</math> स्वतः सीजेडएफ में प्रतिस्थापन के माध्यम से <math>{\mathcal P}{\mathbb N}</math> को समुच्चय में कर देता है और इसलिए यह फलन अस्तित्व में बिना शर्त नमुमकिन रूप में है।
-फलन रिक्त स्थान की परिभाषा के अनुसार, समुच्चय <math>{\mathbb N}^{\mathbb N}</math> समुच्चय के उन सबसमुच्चय को रखता है <math>{\mathbb N}\times{\mathbb N}</math> जो सिद्ध रूप से कुल और कार्यात्मक हैं।
-विशेष रूप से, सभी सेटों की अनुमत उपगणनीयता पर जोर देते हुए, <math>{\mathbb N}^{\mathbb N}</math> एक उपगणनीय समुच्चय में।
+हम यह निष्कर्ष निकालते हैं कि सभी समुच्चयों का अभिकथन करने वाले सबगणना-योग्यता स्वयंसिद्ध, <math>{\mathcal P}{\mathbb N}</math> के साथ असंगत रूप में होते है, जो कि निहित है जैसे शक्ति सेट स्वयंसिद्ध.होते है
-तो यहाँ हम एक विशेषण फलन पर विचार करते हैं <math>f\colon I\twoheadrightarrow{\mathbb N}^{\mathbb N}</math> और का उपसमुच्चय <math>{\mathbb N}\times{\mathbb N}</math> के रूप में अलग किया गया<ref>{{citation
+पॉवर समुच्चय या इसके किसी समकक्ष के बिना मौलिक जेडएफसी में, यह सुसंगत होती है वास्तविक के सभी उपवर्ग जो कि समुच्चय उपगणनीय होते है। उस संदर्भ में, इस कथन का अनुवाद करता है कि वास्तविक संख्याओं के सभी समुच्चय गणनीय होते है।<ref>{{citation|first=Victora|last=Gitman|arxiv=1110.2430|title=What is the theory ZFC without power set|year=2011}}</ref> बेशक, उस सिद्धांत में फलन स्पेस समुच्चय नहीं होते है <math>{\mathbb N}^{\mathbb N}</math>.
+==== फलन स्पेस पर ====
+फलन रिक्त स्थान की परिभाषा के अनुसार, समुच्चय <math>{\mathbb N}^{\mathbb N}</math> समुच्चय के उन सबसमुच्चय को रखता है <math>{\mathbb N}\times{\mathbb N}</math> जो संभाव्य रूप से पूर्ण और कार्यात्मक होते है। विशेष रूप से, सभी समुच्चयों की अनुमत उपगणनीयता पर जोर देते हुए, <math>{\mathbb N}^{\mathbb N}</math>
+तो हम यहाँ विशेषण फलन <math>f\colon I\twoheadrightarrow{\mathbb N}^{\mathbb N}</math>और <math>{\mathbb N}\times{\mathbb N}</math> के उपसमुच्चय के रूप में भिन्न विचार करते हैं <ref>{{citation
   | last = Bell | first = John L. | author-link = John Lane Bell
   | editor-last = Link | editor-first = Godehard
@@ Line 92: / Line 91: @@
   | year = 2004}}</ref>
 <math display="block">\Big\{\langle n, y\rangle \in {\mathbb N}\times{\mathbb N} \mid \big(n\in I\land D(n, y)\big) \lor \big(\neg(n\in I)\land y=1\big)\Big\}</math>
-के रूप में परिभाषित विकर्ण विधेय के साथ
+विकर्ण के साथ परिभाषित विधेय के रूप में हैं।
 <math display="block">D(n, y) = \big(\neg(f(n)(n)\ge 1)\land y=1\big) \lor \big(\neg(f(n)(n)=0)\land y=0\big)</math>
-जिसे हम बिना निषेध के वाक्यांश भी कह सकते हैं
+हम बिना निषेध के रूप में वाक्यांश कर सकते हैं
 <math display="block">D(n, y) = \big(f(n)(n)=0\land y=1\big) \lor \big(f(n)(n)\ge 1\land y=0\big).</math>
-यह समुच्चय शास्त्रीय रूप से एक फलन है <math>{\mathbb N}^{\mathbb N}</math>, मूल्य लेने के लिए डिज़ाइन किया गया <math>y=0</math> विशेष इनपुट के लिए <math>n</math>. और यह शास्त्रीय रूप से यह साबित करने के लिए इस्तेमाल किया जा सकता है कि का अस्तित्व <math>f</math> एक अनुमान के रूप में वास्तव में विरोधाभासी है। हालांकि, रचनात्मक रूप से, जब तक कि प्रस्ताव <math>n\in I</math> इसकी परिभाषा में निर्णायक है ताकि समुच्चय वास्तव में एक कार्यात्मक असाइनमेंट को परिभाषित कर सके, हम इस समुच्चय को फलन स्पेस के सदस्य के रूप में साबित नहीं कर सकते। और इसलिए हम शास्त्रीय निष्कर्ष नहीं निकाल सकते।
+यह समुच्चय मौलिक रूप से फलन है <math>{\mathbb N}^{\mathbb N}</math>, मूल्य लेने के लिए डिज़ाइन किया गया <math>y=0</math> विशेष इनपुट के लिए <math>n</math>. और यह मौलिक रूप से यह साबित करने के लिए उपयोग किया जाता है वास्तविकता <math>f</math> आगणन के रूप में विरोधाभासी होता है। चूँकि रचनात्मक रूप से, जब तक कि प्रस्ताव <math>n\in I</math> इसकी परिभाषा में निर्णायक होता है इसलिये समुच्चय वास्तव में कार्यात्मक असाइनमेंट को परिभाषित कर सकते है, हम इस समुच्चय को फलन स्पेस के सदस्य के रूप में साबित नहीं कर सकते। और इसलिए हम मौलिक निष्कर्ष नहीं निकाल सकते हैं।
-इस प्रकार, की उपगणनीयता <math>{\mathbb N}^{\mathbb N}</math> अनुमति है, और वास्तव में सिद्धांत के मॉडल उपस्थित हैं। फिर भी, CZF के मामले में भी, एक पूर्ण अनुमान का अस्तित्व <math>{\mathbb N}\twoheadrightarrow{\mathbb N}^{\mathbb N}</math>, डोमेन के साथ <math>{\mathbb N}</math>, वास्तव में विरोधाभासी है। की निर्णायक सदस्यता <math>I={\mathbb N}</math> समुच्चय को भी गणनीय बनाता है, अर्थात बेशुमार।
+इस प्रकार, की उपगणनीयता <math>{\mathbb N}^{\mathbb N}</math> अनुमति है और वास्तव में सिद्धांत के मॉडल उपस्थितहोते है। फिर भी सीजेडएफ के स्थिति में भी पूर्ण आगणन का अस्तित्व <math>{\mathbb N}\twoheadrightarrow{\mathbb N}^{\mathbb N}</math> डोमेन के साथ <math>{\mathbb N}</math>, वास्तव में विरोधाभासी की निर्णायक सदस्यता <math>I={\mathbb N}</math> समुच्चय को भी गणनीय बनाता है।
-इन अवलोकनों से परे, यह भी ध्यान दें कि किसी गैर-शून्य संख्या के लिए <math>a</math>, फलन <math>i\mapsto f(i)(i)+a</math> में <math>I\to{\mathbb N}</math> अनुमान शामिल है <math>f</math> सभी तक नहीं बढ़ाया जा सकता है <math>{\mathbb N}</math> इसी तरह के विरोधाभासी तर्क से। इसे यह कहते हुए व्यक्त किया जा सकता है कि ऐसे आंशिक फलन हैं जिन्हें पूर्ण कार्यों तक नहीं बढ़ाया जा सकता है <math>{\mathbb N}\to{\mathbb N}</math>.
+इन अवलोकनों से परे, यह भी ध्यान दें कि किसी गैर-शून्य संख्या के लिए <math>a</math>, फलन <math>i\mapsto f(i)(i)+a</math> में <math>I\to{\mathbb N}</math> आगणन सम्मिलित होते है <math>f</math> सभी तक नहीं बढ़ाया जा सकता है <math>{\mathbb N}</math> इसी तरह के विरोधाभासी तर्क से उत्पन्न होते है। इसे यह कहते हुए व्यक्त किया जाता है कि ऐसे आंशिक फलन हैं जिन्हें पूर्ण फलनों तक नहीं बढ़ाया जा सकता है <math>{\mathbb N}\to{\mathbb N}</math>. ध्यान रखें कि दिए जाने पर <math>n\in{\mathbb N}</math>, यह कोई अनिवार्य रूप से यह तय नहीं कर सकता है कि क्या <math>n\in I</math> और इसलिए कोई यह भी तय नहीं कर सकता है कि संभावित फलन एक्सटेंशन का मान क्या है या नहीं <math>n</math> पहले से वर्णित आगणन के लिए <math>f</math>. पहले से ही निर्धारित होते है
-ध्यान दें कि जब दिया जाता है <math>n\in{\mathbb N}</math>, कोई अनिवार्य रूप से यह तय नहीं कर सकता है कि क्या <math>n\in I</math>, और इसलिए कोई यह भी तय नहीं कर सकता है कि संभावित फलन एक्सटेंशन का मान चालू है या नहीं <math>n</math> पहले से वर्णित अनुमान के लिए पहले से ही निर्धारित है <math>f</math>.
-सबकाउंटिबिलिटी स्वयंसिद्ध, सभी सेटों पर जोर देने योग्य है, किसी भी नए स्वयंसिद्ध बनाने के साथ असंगत है <math>I</math> LEM सहित गणनीय।
+सबकाउंटिबिलिटी स्वयंसिद्ध, सभी समुच्चयों पर जोर देने योग्य है, किसी भी नए स्वयंसिद्ध बनाने के साथ असंगत है <math>I</math> एलईएम सहित गणनीय होते है।
 === मॉडल ===
-उपरोक्त विश्लेषण के कोडिंग के औपचारिक गुणों को प्रभावित करता है <math>\mathbb R</math>. सबकाउंटेबिलिटी पोस्टुलेट्स द्वारा सीजेडएफ सिद्धांत के गैर-शास्त्रीय विस्तार के लिए मॉडल का निर्माण किया गया है।<ref>{{citation
+उपरोक्त विश्लेषण के कोडिंग के औपचारिक गुणों को प्रभावित करता है <math>\mathbb R</math>. सबकाउंटेबिलिटी पोस्टुलेट्स द्वारा सीजेडएफ सिद्धांत के गैर-मौलिक विस्तार के लिए मॉडल का निर्माण किया गया है।<ref>{{citation
   | last = Rathjen | first = Michael
   | editor1-last = Chatzidakis | editor1-first = Zoé
@@ Line 120: / Line 118: @@
   | title = Logic Colloquium '02: Joint proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Biannual Meeting of the German Association for Mathematical Logic and the Foundations of Exact Sciences (the Colloquium Logicum) held in Münster, August 3–11, 2002
   | volume = 27
-  | year = 2006}}</ref> इस तरह के गैर-रचनात्मक स्वयंसिद्धों को पसंद के सिद्धांतों के रूप में देखा जा सकता है, जो, हालांकि, [[क्रमिक विश्लेषण]] | सिद्धांतों की प्रमाण-सैद्धांतिक ताकत को बहुत अधिक नहीं बढ़ाते हैं।
+  | year = 2006}}</ref> इस तरह के गैर-रचनात्मक स्वयंसिद्धों के सिद्धांतों के रूप में देखा जाता है जो, चूँकि [[क्रमिक विश्लेषण]] सिद्धांतों की प्रमाण-सैद्धांतिक ताकत को बहुत अधिक नहीं बढ़ाते हैं।
-* IZF के ऐसे मॉडल हैं जिनमें अलग-अलग संबंधों वाले सभी समुच्चय सबकाउंटेबल हैं।<ref>{{citation
+* आईजेडएफ ऐसे मॉडल होते है जिनमें भिन्न - भिन्न संबंधों वाले सभी समुच्चय उपगणनीय रूप में होते है।<ref>{{citation
   | last = McCarty | first = Charles
   | doi = 10.1305/ndjfl/1093636613
@@ Line 132: / Line 130: @@
   | year = 1986| doi-access = free
   }}</ref>
-* CZF का एक मॉडल है, उदाहरण के लिए, मार्टिन-लोफ टाइप थ्योरी <math>{\mathsf {ML_1V}}</math>. शास्त्रीय रूप से बेशुमार फलन रिक्त स्थान के साथ इस रचनात्मक समुच्चय सिद्धांत में, यह वास्तव में उपगणनीयता स्वयंसिद्ध पर जोर देने के लिए संगत है, यह कहते हुए कि प्रत्येक समुच्चय उपगणनीय है। जैसा कि चर्चा की गई है, परिणामी सिद्धांत शक्ति समुच्चय के स्वयंसिद्ध और बहिष्कृत मध्य के कानून के विपरीत है।
+* सीजेडएफ मॉडल होते है उदाहरण के लिए, मार्टिन-लोफ टाइप सिद्धांत <math>{\mathsf {ML_1V}}</math>. मौलिक रूप से असंख्य फलन रिक्त स्थान के साथ इस रचनात्मक समुच्चय सिद्धांत में यह वास्तव में उपगणनीयता स्वयंसिद्ध पर जोर देने के लिए संगत रूप में होता है यह कहते हुए कि प्रत्येक समुच्चय उपगणनीय है। जैसा कि चर्चा की गई है, परिणामी सिद्धांत शक्ति समुच्चय के स्वयंसिद्ध और बहिष्कृत मध्य के नियम के विपरीत होती है।
-* अभी तक अधिक मजबूत, क्रिपके-प्लेटेक समुच्चय सिद्धांत के कुछ मॉडल, फलन स्थान के बिना एक सिद्धांत, यह भी मान्य करता है कि सभी समुच्चय गणनीय हैं।
+*क्रिपके प्लैटक समुच्चय सिद्धांत के कुछ मॉडल अभी तक अधिक मजबूत होते है, फलन स्थान के बिना सिद्धांत यह मान्य करता है कि सभी समुच्चय गणनीय होते है।
 === आकार की धारणा ===
-जैसा कि कम्प्यूटेबिलिटी थ्योरी में माने जाने वाले फंक्शन स्पेस के उदाहरण में देखा गया है, न कि प्रत्येक अनंत उपसमुच्चय <math>{\mathbb N}</math> अनिवार्य रूप से रचनात्मक आपत्ति में है <math>{\mathbb N}</math>, इस प्रकार रचनात्मक संदर्भों में बेशुमार सेटों के बीच अधिक परिष्कृत अंतर के लिए जगह बना रहा है। समारोह स्थान <math>{\mathbb N}^{\mathbb N}</math> (और भी <math> \{0,1\}^{\mathbb N} </math>) मध्यम रूप से समृद्ध समुच्चय सिद्धांत में हमेशा न तो परिमित पाया जाता है और न ही आपत्ति में <math> {\mathbb N} </math>, कैंटर के विकर्ण तर्क द्वारा। बेशुमार होने का यही मतलब है। लेकिन यह तर्क कि उस समुच्चय की [[प्रमुखता]] इस प्रकार कुछ अर्थों में प्राकृतिक संख्या से अधिक होगी, केवल शास्त्रीय आकार की अवधारणा और कार्डिनैलिटी द्वारा समुच्चय के इसके प्रेरित क्रम पर प्रतिबंध पर निर्भर करती है। उपरोक्त वर्गों से प्रेरित, अनंत समुच्चय <math>{\mathbb N}^{\mathbb N}</math> वर्ग से छोटा माना जा सकता है <math>{\mathcal P}{\mathbb N}</math>. छोटे आकार के निर्णय के रूप में उपगणनीयता को कैंटोर द्वारा परिभाषित कार्डिनैलिटी संबंधों की मानक गणितीय परिभाषा के साथ नहीं जोड़ा जाएगा, छोटे कार्डिनैलिटी को इंजेक्शन के संदर्भ में परिभाषित किया जाएगा। <math>X</math> और कार्डिनैलिटी की समानता को आक्षेपों के संदर्भ में परिभाषित किया जा रहा है। इसके अलावा, ध्यान दें कि रचनात्मक रूप से, एक आदेश <कार्डिनैलिटी की तरह अनिर्णीत हो सकता है।
+जैसा कि अभिकलनीयता सिद्धांत में माने जाने वाले फलन स्पेस के उदाहरण में देखा गया है, न कि प्रत्येक अनंत उपसमुच्चय <math>{\mathbb N}</math> अनिवार्य रूप से रचनात्मक आपत्ति में है <math>{\mathbb N}</math>, इस प्रकार रचनात्मक संदर्भों में असंख्य समुच्चयों के बीच अधिक परिष्कृत अंतर के लिए जगह बना रहा है। फलन स्थान <math>{\mathbb N}^{\mathbb N}</math> (और भी <math> \{0,1\}^{\mathbb N} </math>) मध्यम रूप से समृद्ध समुच्चय सिद्धांत में सदैव न तो परिमित पाया जाता है और न ही आपत्ति में <math> {\mathbb N} </math>, कैंटर के विकर्ण तर्क द्वारा असंख्य होने का यही मतलब होता है। लेकिन यह तर्क कि उस समुच्चय की [[प्रमुखता]] इस प्रकार कुछ अर्थों में प्राकृतिक संख्या से अधिक होती है, केवल मौलिक आकार की अवधारणा और गणनांक द्वारा समुच्चय के इसके प्रेरित क्रम पर प्रतिबंध पर निर्भर करती है। उपरोक्त वर्गों से प्रेरित अनंत समुच्चय <math>{\mathbb N}^{\mathbb N}</math> वर्ग से छोटा माना जाता है <math>{\mathcal P}{\mathbb N}</math>. छोटे आकार के निर्णय के रूप में उपगणनीयता को कैंटोर द्वारा परिभाषित गणनांक संबंधों की मानक गणितीय परिभाषा के साथ नहीं जोड़ा जाता है, तथा छोटे गणनांक को इंजेक्शन के संदर्भ में परिभाषित किया जाता है। <math>X</math> और गणनांक की समानता को आक्षेपों के संदर्भ में परिभाषित किया जाता है। इसके अतिरिक्त ध्यान दें कि रचनात्मक रूप से आदेश < गणनांक की तरह अनिर्णीत हो सकते है।
 == संबंधित गुण ==
-उपगणनीयता के समान, अनुरूप धारणा उपस्थित है जिसमें<math>\exists(I\subseteq{\mathbb N})</math>परिभाषा में एक समुच्चय के अस्तित्व द्वारा प्रतिस्थापित किया जाता है जो कि कुछ परिमित समुच्चय का सबसमुच्चय है। इस संपत्ति को विभिन्न रूप से सबफाइनली इंडेक्स कहा जाता है।
+उपगणनीयता के समान, अनुरूप धारणा उपस्थित है जिसमें <math>\exists(I\subseteq{\mathbb N})</math> परिभाषा में समुच्चय के अस्तित्व द्वारा प्रतिस्थापित किया जाता है जो कि कुछ परिमित समुच्चय का सबसमुच्चय होता है। इस गुण धर्म को विभिन्न रूप से सबफाइनली इंडेक्स कहा जाता है।
-[[श्रेणी सिद्धांत]] में ये धारणाएँ उपश्रेणियाँ हैं।
+[[श्रेणी सिद्धांत]] में ये धारणाएँ उपश्रेणियाँ के रूप में होती है।
 == यह भी देखें ==
 * कैंटर का विकर्ण तर्क
-* [[संगणनीय समारोह]]
+* [[संगणनीय समारोह|संगणनीय फलन]]
 * रचनात्मक समुच्चय सिद्धांत
 * श्रोडर-बर्नस्टीन प्रमेय
@@ Line 153: / Line 151: @@
 == संदर्भ ==
 <references/>
-[[Category: निर्माणवाद (गणित)]]
-[[Category: Machine Translated Page]]
 [[Category:Created On 03/02/2023]]
+[[Category:Machine Translated Page]]
+[[Category:Templates Vigyan Ready]]
+[[Category:निर्माणवाद (गणित)]]

Anonymous

Search

उपगणनीयता: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 11:56, 14 February 2023

Contents