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

From Vigyanwiki
(Created page with "{{more footnotes|date=September 2020}} रचनात्मक गणित में, एक संग्रह <math>X</math> सबकाउंटेबल है अ...")
 
No edit summary
Line 1: Line 1:
{{more footnotes|date=September 2020}}
{{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 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> a से एक विशेषण कार्य है <math>I</math> पर <math>X</math>. अनुमान का सदस्य है <math>{\mathbb N}\rightharpoonup X</math> और यहाँ उपवर्ग <math>I</math> का <math>{\mathbb N}</math> एक सेट होना आवश्यक है।
कहाँ <math>f\colon I\twoheadrightarrow X</math> दर्शाता है <math>f</math> a से एक विशेषण कार्य है <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>X</math> गणना संख्याओं के अनुक्रमण सेट की छवि में कार्यात्मक रूप से हैं <math>I\subseteq{\mathbb N}</math> और इस प्रकार सेट <math>X</math> गणनीय सेट के प्रभुत्व के रूप में समझा जा सकता है <math>{\mathbb N}</math>.


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


== चर्चा ==
== चर्चा ==
Line 13: 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 (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 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>X</math> अगर कोई गिनती की संख्या को मैप करने में विफल रहता है <math>{\mathbb N}</math> अनुक्रमण समुच्चय में <math>I</math>, इस कारण से।
गणनीय होने का अर्थ है उपगणनीय होना। लेकिन आम तौर पर बातचीत बहिष्कृत मध्य के कानून पर जोर देने के बिना नहीं होती है, यानी सभी प्रस्तावों के लिए <math>\phi</math> रखती है <math>\phi\lor \neg \phi</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>\omega</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}</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>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>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>\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>\omega</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>\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>\omega</math>-उत्पादक सेट <math>X</math> किसी विशेषण (संभवतः आंशिक) फ़ंक्शन के साथ। इसके नीचे सबकाउंटेबिलिटी मान्यताओं के अध्ययन में लागू किया गया है।
यह संपत्ति एक की असंगति पर जोर देती है <math>\omega</math>-उत्पादक समुच्चय <math>X</math> किसी विशेषण (संभवतः आंशिक) फ़ंक्शन के साथ। इसके नीचे सबकाउंटेबिलिटी मान्यताओं के अध्ययन में लागू किया गया है।


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


=== भीलों के सबसेट पर कैंटोरियन तर्क ===
=== भीलों के सबसमुच्चय पर कैंटोरियन तर्क ===
संदर्भ सिद्धांत के रूप में हम रचनात्मक सेट सिद्धांत CZF को देखते हैं, जिसमें [[प्रतिस्थापन की स्वयंसिद्ध स्कीमा]] है, [[विधेय पृथक्करण की स्वयंसिद्ध स्कीमा]], अनंत का मजबूत अभिगृहीत, शक्ति सेटों के अस्तित्व के प्रति अज्ञेयवादी है, लेकिन इसमें वह स्वयंसिद्ध भी शामिल है जो यह दावा करता है कि कोई भी कार्य स्थान <math>Y^X</math> दिया गया है, दिया गया है <math>X, Y</math> सेट भी हैं। इस सिद्धांत में, यह जोर देने के लिए भी संगत है कि प्रत्येक सेट उपगणनीय है।
संदर्भ सिद्धांत के रूप में हम रचनात्मक समुच्चय सिद्धांत CZF को देखते हैं, जिसमें [[प्रतिस्थापन की स्वयंसिद्ध स्कीमा]] है, [[विधेय पृथक्करण की स्वयंसिद्ध स्कीमा]], अनंत का मजबूत अभिगृहीत, शक्ति सेटों के अस्तित्व के प्रति अज्ञेयवादी है, लेकिन इसमें वह स्वयंसिद्ध भी शामिल है जो यह दावा करता है कि कोई भी कार्य स्थान <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>\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 \in {\mathbb N}\mid k\in I \land D(k)\}</math>
कहाँ पे,
कहाँ पे,
Line 69: Line 67:
यह का एक उपवर्ग है <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 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 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> है <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> एक सेट होने के नाते, जैसा निहित है उदा। पावर सेट स्वयंसिद्ध द्वारा।
हम यह निष्कर्ष निकालते हैं कि सबकाउंटेबिलिटी स्वयंसिद्ध, सभी सेटों पर जोर देने के साथ असंगत है <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>.
पॉवरसमुच्चय या इसके किसी समकक्ष के बिना शास्त्रीय 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>{\mathbb N}^{\mathbb N}</math> सेट के उन सबसेट को रखता है <math>{\mathbb N}\times{\mathbb N}</math> जो सिद्ध रूप से कुल और कार्यात्मक हैं।
फ़ंक्शन रिक्त स्थान की परिभाषा के अनुसार, समुच्चय <math>{\mathbb N}^{\mathbb N}</math> समुच्चय के उन सबसमुच्चय को रखता है <math>{\mathbb N}\times{\mathbb N}</math> जो सिद्ध रूप से कुल और कार्यात्मक हैं।
विशेष रूप से, सभी सेटों की अनुमत उपगणनीयता पर जोर देते हुए, <math>{\mathbb N}^{\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
तो यहाँ हम एक विशेषण फलन पर विचार करते हैं <math>f\colon I\twoheadrightarrow{\mathbb N}^{\mathbb N}</math> और का उपसमुच्चय <math>{\mathbb N}\times{\mathbb N}</math> के रूप में अलग किया गया<ref>{{citation
Line 98: Line 96:
जिसे हम बिना निषेध के वाक्यांश भी कह सकते हैं
जिसे हम बिना निषेध के वाक्यांश भी कह सकते हैं
<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 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> अनुमति है, और वास्तव में सिद्धांत के मॉडल मौजूद हैं। फिर भी, CZF के मामले में भी, एक पूर्ण अनुमान का अस्तित्व <math>{\mathbb N}\twoheadrightarrow{\mathbb N}^{\mathbb N}</math>, डोमेन के साथ <math>{\mathbb N}</math>, वास्तव में विरोधाभासी है। की निर्णायक सदस्यता <math>I={\mathbb N}</math> समुच्चय को भी गणनीय बनाता है, अर्थात बेशुमार।
Line 123: Line 121:
  | volume = 27
  | volume = 27
  | year = 2006}}</ref> इस तरह के गैर-रचनात्मक स्वयंसिद्धों को पसंद के सिद्धांतों के रूप में देखा जा सकता है, जो, हालांकि, [[क्रमिक विश्लेषण]] | सिद्धांतों की प्रमाण-सैद्धांतिक ताकत को बहुत अधिक नहीं बढ़ाते हैं।
  | year = 2006}}</ref> इस तरह के गैर-रचनात्मक स्वयंसिद्धों को पसंद के सिद्धांतों के रूप में देखा जा सकता है, जो, हालांकि, [[क्रमिक विश्लेषण]] | सिद्धांतों की प्रमाण-सैद्धांतिक ताकत को बहुत अधिक नहीं बढ़ाते हैं।
* IZF के ऐसे मॉडल हैं जिनमें अलग-अलग संबंधों वाले सभी सेट सबकाउंटेबल हैं।<ref>{{citation
* IZF के ऐसे मॉडल हैं जिनमें अलग-अलग संबंधों वाले सभी समुच्चय सबकाउंटेबल हैं।<ref>{{citation
  | last = McCarty | first = Charles
  | last = McCarty | first = Charles
  | doi = 10.1305/ndjfl/1093636613
  | doi = 10.1305/ndjfl/1093636613
Line 134: Line 132:
  | year = 1986| doi-access = free
  | year = 1986| doi-access = free
  }}</ref>
  }}</ref>
* CZF का एक मॉडल है, उदाहरण के लिए, मार्टिन-लोफ टाइप थ्योरी <math>{\mathsf {ML_1V}}</math>. शास्त्रीय रूप से बेशुमार फ़ंक्शन रिक्त स्थान के साथ इस रचनात्मक सेट सिद्धांत में, यह वास्तव में उपगणनीयता स्वयंसिद्ध पर जोर देने के लिए संगत है, यह कहते हुए कि प्रत्येक सेट उपगणनीय है। जैसा कि चर्चा की गई है, परिणामी सिद्धांत शक्ति सेट के स्वयंसिद्ध और बहिष्कृत मध्य के कानून के विपरीत है।
* CZF का एक मॉडल है, उदाहरण के लिए, मार्टिन-लोफ टाइप थ्योरी <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 148: Line 146:
* कैंटर का विकर्ण तर्क
* कैंटर का विकर्ण तर्क
* [[संगणनीय समारोह]]
* [[संगणनीय समारोह]]
* रचनात्मक सेट सिद्धांत
* रचनात्मक समुच्चय सिद्धांत
* श्रोडर-बर्नस्टीन प्रमेय
* श्रोडर-बर्नस्टीन प्रमेय
* उपभाग
* उपभाग

Revision as of 00:54, 8 February 2023

रचनात्मक गणित में, एक संग्रह सबकाउंटेबल के रूप में होते है अगर उस पर प्राकृतिक संख्याओं से आंशिक फ़ंक्शन प्रक्षेपण मौजूद है। इसे इस रूप में व्यक्त किया जा सकता है

कहाँ दर्शाता है a से एक विशेषण कार्य है पर . अनुमान का सदस्य है और यहाँ उपवर्ग का एक समुच्चय होना आवश्यक है। दूसरे शब्दों में, एक उपगणनीय संग्रह के सभी तत्व गणना संख्याओं के अनुक्रमण समुच्चय की छवि में कार्यात्मक रूप से होता है और इस प्रकार समुच्चय गणनीय समुच्चय के प्रभुत्व के रूप में समझा जा सकता है .

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

चर्चा

उदाहरण

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

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

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

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

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

शास्त्रीय गणित में

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

गैर-शास्त्रीय अभिकथन

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

जैसा बेशुमार है और शास्त्रीय रूप से उपगणनीय नहीं है, इसके बड़े कार्य स्थान के साथ शास्त्रीय ढांचा चर्च की थीसिस (रचनात्मक गणित) के साथ असंगत है। रचनात्मक चर्च की थीसिस, रूसी रचनावाद का एक स्वयंसिद्ध।

=== उपगणनीय और ω-उत्पादक परस्पर अनन्य === हैं एक समुच्चय कहा जाएगा रचनात्मक और उत्पादक समुच्चय अगर, जब भी इसका कोई सबसमुच्चय किसी फ़ंक्शन का वह दायरा है जिस पर कोई आंशिक फ़ंक्शन है , वहाँ हमेशा एक तत्व मौजूद होता है जो उस सीमा के पूरक में रहता है।[1] अगर कुछ पर कोई अनुमान मौजूद है , तो वर्णित अनुसार इसकी संबंधित प्रशंसा खाली समुच्चय के बराबर होगी , और इसलिए एक सबकाउंटेबल समुच्चय कभी नहीं होता है -उत्पादक। जैसा कि ऊपर परिभाषित किया गया है, होने की संपत्ति -उत्पादक सीमा को जोड़ता है किसी विशेष मान के किसी भी आंशिक कार्य का कार्यों की श्रेणी में नहीं। इस प्रकार, होना -उत्पादक बोलता है कि सभी तत्वों को उत्पन्न करना कितना कठिन है : उन्हें एक ही फंक्शन का उपयोग करके उत्पन्न नहीं किया जा सकता है। वें>-उत्पादकता संपत्ति उपगणनीयता में बाधा उत्पन्न करती है। जैसा कि यह बेशुमारता का भी अर्थ है, कैंटर के विकर्ण तर्क में अक्सर यह धारणा शामिल होती है, स्पष्ट रूप से सत्तर के दशक के अंत से।

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

समुच्चय थ्योरी में, जहां आंशिक कार्यों को जोड़े, अंतरिक्ष के संग्रह के रूप में तैयार किया जाता है के रूप में दिया गया बिल्कुल सभी आंशिक कार्यों को चालू रखता है जिनकी सीमा के रूप में केवल उपसमुच्चय हैं का . एक के लिए -उत्पादक समुच्चय एक पाता है

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

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

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

संदर्भ सिद्धांत के रूप में हम रचनात्मक समुच्चय सिद्धांत CZF को देखते हैं, जिसमें प्रतिस्थापन की स्वयंसिद्ध स्कीमा है, विधेय पृथक्करण की स्वयंसिद्ध स्कीमा, अनंत का मजबूत अभिगृहीत, शक्ति सेटों के अस्तित्व के प्रति अज्ञेयवादी है, लेकिन इसमें वह स्वयंसिद्ध भी शामिल है जो यह दावा करता है कि कोई भी कार्य स्थान दिया गया है, दिया गया है समुच्चय भी हैं। इस सिद्धांत में, यह जोर देने के लिए भी संगत है कि प्रत्येक समुच्चय उपगणनीय है। गिनती संख्याओं के अनंत समुच्चय पर संभावित अनुमानों के माध्यम से इस खंड में आगे के विभिन्न अभिगृहीतों की अनुकूलता पर चर्चा की गई है। . यहाँ मानक प्राकृतिक संख्याओं के एक मॉडल को निरूपित करेगा।

याद रखें कि कार्यों के लिए , कुल कार्यक्षमता की परिभाषा के अनुसार, सभी मानों के लिए एक अद्वितीय वापसी मान मौजूद होता है डोमेन में,

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

नीचे चर्चा की गई स्थितियाँ - पॉवर क्लास बनाम ऑन फंक्शन स्पेस - एक दूसरे से अलग हैं: सामान्य उपवर्ग को परिभाषित करने वाले विधेय और उनके सत्य मूल्यों के विपरीत (जरूरी नहीं कि केवल सही और गलत साबित हो), एक फ़ंक्शन (जो प्रोग्रामिंग शब्दों में समाप्त हो रहा है) करता है अपने सभी उप डोमेन (के सबसेट) के लिए डेटा के बारे में सुलभ जानकारी बनाता है ). जब उनके उपसमुच्चय के लिए विशिष्ट कार्य के रूप में, कार्य, उनके वापसी मूल्यों के माध्यम से, उपसमुच्चय सदस्यता तय करते हैं। जैसा कि आम तौर पर परिभाषित समुच्चय में सदस्यता जरूरी नहीं है, (कुल) कार्य करता है के सभी उपसमुच्चयों के साथ स्वचालित रूप से आपत्ति में नहीं हैं . तो रचनात्मक रूप से, उपसमुच्चय विशेषता कार्यों की तुलना में अधिक विस्तृत अवधारणा है। वास्तव में, सीजेडएफ के शीर्ष पर कुछ गैर-शास्त्रीय स्वयंसिद्धों के संदर्भ में, यहां तक ​​कि एक सिंगलटन की शक्ति वर्ग, उदा। कक्षा के सभी उपसमूहों में से , एक उचित वर्ग के रूप में दिखाया गया है।

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

नीचे, इस तथ्य का उपयोग किया जाता है कि विशेष मामला निषेध परिचय का तात्पर्य है कि विरोधाभासी है।

सरलता से तर्क के लिए, मान लीजिए एक समुच्चय है। फिर एक उपसमुच्चय पर विचार करें और एक समारोह . इसके अलावा, जैसा कि कैंटर के विकर्ण तर्क|कैंटोर के प्रमेय में शक्ति समुच्चय के बारे में है, परिभाषित करें[2]

कहाँ पे,
यह का एक उपवर्ग है की निर्भरता में परिभाषित और इसे लिखा भी जा सकता है
यह पृथक्करण के माध्यम से सबसमुच्चय के रूप में मौजूद है। अब यह मानते हुए कि एक संख्या मौजूद है साथ विरोधाभास का तात्पर्य है
तो एक समुच्चय के रूप में, कोई पाता है है -उत्पादक इसमें हम एक बाधा को परिभाषित कर सकते हैं किसी दिए गए अनुमान के लिए। ध्यान दें कि एक अनुमान का अस्तित्व स्वतः बना देगा CZF में प्रतिस्थापन के माध्यम से एक समुच्चय में, और इसलिए यह कार्य अस्तित्व बिना शर्त असंभव है।

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

पॉवरसमुच्चय या इसके किसी समकक्ष के बिना शास्त्रीय ZFC में, यह भी सुसंगत है कि वास्तविक के सभी उपवर्ग जो कि समुच्चय हैं, उपगणनीय हैं। उस संदर्भ में, यह इस कथन का अनुवाद करता है कि वास्तविक संख्याओं के सभी समुच्चय गणनीय हैं।[3] बेशक, उस सिद्धांत में फ़ंक्शन स्पेस समुच्चय नहीं है .

फंक्शन स्पेस पर

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

तो यहाँ हम एक विशेषण फलन पर विचार करते हैं और का उपसमुच्चय के रूप में अलग किया गया[4]

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

इस प्रकार, की उपगणनीयता अनुमति है, और वास्तव में सिद्धांत के मॉडल मौजूद हैं। फिर भी, CZF के मामले में भी, एक पूर्ण अनुमान का अस्तित्व , डोमेन के साथ , वास्तव में विरोधाभासी है। की निर्णायक सदस्यता समुच्चय को भी गणनीय बनाता है, अर्थात बेशुमार।

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

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

मॉडल

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

  • IZF के ऐसे मॉडल हैं जिनमें अलग-अलग संबंधों वाले सभी समुच्चय सबकाउंटेबल हैं।[6]
  • CZF का एक मॉडल है, उदाहरण के लिए, मार्टिन-लोफ टाइप थ्योरी . शास्त्रीय रूप से बेशुमार फ़ंक्शन रिक्त स्थान के साथ इस रचनात्मक समुच्चय सिद्धांत में, यह वास्तव में उपगणनीयता स्वयंसिद्ध पर जोर देने के लिए संगत है, यह कहते हुए कि प्रत्येक समुच्चय उपगणनीय है। जैसा कि चर्चा की गई है, परिणामी सिद्धांत शक्ति समुच्चय के स्वयंसिद्ध और बहिष्कृत मध्य के कानून के विपरीत है।
  • अभी तक अधिक मजबूत, क्रिपके-प्लेटेक समुच्चय सिद्धांत के कुछ मॉडल, कार्य स्थान के बिना एक सिद्धांत, यह भी मान्य करता है कि सभी समुच्चय गणनीय हैं।

आकार की धारणा

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

संबंधित गुण

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

श्रेणी सिद्धांत में ये धारणाएँ उपश्रेणियाँ हैं।

यह भी देखें

संदर्भ

  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