एकरमैन सेट सिद्धांत: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Short description|Axiomatic set theory proposed by Wilhelm Ackermann}} | {{Short description|Axiomatic set theory proposed by Wilhelm Ackermann}} | ||
{{About| | {{About|समुच्चयों का गणितीय सिद्धांत|| | ||
गणित और [[तर्क]] | एकरमैन (बहुविकल्पी)}} | ||
गणित और [[तर्क|तर्कशास्त्र]] में, एकरमैन समुच्चय सिद्धांत (एएसटी) 1956 में [[विल्हेम एकरमैन|विल्हेम रमैन]] द्वारा प्रस्तावित स्वयंसिद्ध समुच्चय सिद्धांत है।<ref>{{cite journal |last1=Ackermann |first1=Wilhelm |author-link=Wilhelm Ackermann |date=August 1956 |title=समुच्चय सिद्धांत की स्वयंसिद्धि पर|url=https://link.springer.com/article/10.1007/BF01350103 |journal=Mathematische Annalen |volume=131 |issue=4 |pages=336–345 |doi=10.1007/BF01350103 |s2cid=120876778 |access-date=9 September 2022}}</ref> | |||
== भाषा == | == भाषा == | ||
एएसटी [[प्रथम-क्रम तर्क]] में | एएसटी [[प्रथम-क्रम तर्क]] में प्रस्तुत किया गया है। [[औपचारिक भाषा]] <math>L_{\{\in,V\}}</math> एएसटी में [[द्विआधारी संबंध]] होता है <math>\in</math>/समुच्चय सदस्यता और स्थिरांक को को दर्शाने में (गणित) <math>V</math> सभी समुच्चयो के वर्ग को दर्शाता है (एकरमैन ने विधेय का उपयोग किया, इसके अतिरिक्त <math>M</math> )। | ||
== अभिगृहीत== | == अभिगृहीत== | ||
| Line 21: | Line 22: | ||
<math>\phi^V</math> के सापेक्षीकरण को दर्शाता है <math>\phi</math> को <math>V</math>, जो सभी [[परिमाणक (तर्क)]]तर्क) को प्रतिस्थापित करता है <math>\phi</math> रूप का <math>\forall x</math> और <math>\exists x</math> द्वारा <math>\forall x {\in} V</math> और <math>\exists x {\in} V</math>, क्रमश। | <math>\phi^V</math> के सापेक्षीकरण को दर्शाता है <math>\phi</math> को <math>V</math>, जो सभी [[परिमाणक (तर्क)]]तर्क) को प्रतिस्थापित करता है <math>\phi</math> रूप का <math>\forall x</math> और <math>\exists x</math> द्वारा <math>\forall x {\in} V</math> और <math>\exists x {\in} V</math>, क्रमश। | ||
==जर्मेलो-फ्रेंकेल | ==जर्मेलो-फ्रेंकेल समुच्चय सिद्धांत से संबंध== | ||
होने देना <math>L_{\{\in\}}</math> उन सूत्रों की भाषा बनें जिनका उल्लेख नहीं है <math>V</math>. | होने देना <math>L_{\{\in\}}</math> उन सूत्रों की भाषा बनें जिनका उल्लेख नहीं है <math>V</math>. | ||
1959 में, [[अज्रिएल लेवी]] ने यह साबित कर दिया कि यदि <math>\phi</math> का सूत्र है <math>L_{\{\in\}}</math> और एएसटी सिद्ध होता है <math>\phi^V</math>, तो ज़र्मेलो-फ्रेंकेल | 1959 में, [[अज्रिएल लेवी]] ने यह साबित कर दिया कि यदि <math>\phi</math> का सूत्र है <math>L_{\{\in\}}</math> और एएसटी सिद्ध होता है <math>\phi^V</math>, तो ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत साबित होता है <math>\phi</math>.<ref>{{cite journal |last1=Lévy |first1=Azriel |author-link=Azriel Lévy |date=June 1959 |title=एकरमैन के सेट सिद्धांत पर|url=https://www.jstor.org/stable/2964757 |journal=The Journal of Symbolic Logic |volume=24 |issue=2 |pages=154–166 |doi=10.2307/2964757 |jstor=2964757 |s2cid=31382168 |access-date=9 September 2022}}</ref> | ||
1970 में, विलियम एन. रेनहार्ड्ट ने यह सिद्ध कर दिया कि यदि <math>\phi</math> का सूत्र है <math>L_{\{\in\}}</math> और ZF साबित करता है <math>\phi</math>, तो एएसटी सिद्ध होता है <math>\phi^V</math>.<ref>{{cite journal |last1=Reinhardt |first1=William N. |date=October 1970 |title=एकरमैन का समुच्चय सिद्धांत ZF के बराबर है|journal=Annals of Mathematical Logic |volume=2 |issue=2 |pages=189–249 |doi=10.1016/0003-4843(70)90011-2 |doi-access=free }}</ref> | 1970 में, विलियम एन. रेनहार्ड्ट ने यह सिद्ध कर दिया कि यदि <math>\phi</math> का सूत्र है <math>L_{\{\in\}}</math> और ZF साबित करता है <math>\phi</math>, तो एएसटी सिद्ध होता है <math>\phi^V</math>.<ref>{{cite journal |last1=Reinhardt |first1=William N. |date=October 1970 |title=एकरमैन का समुच्चय सिद्धांत ZF के बराबर है|journal=Annals of Mathematical Logic |volume=2 |issue=2 |pages=189–249 |doi=10.1016/0003-4843(70)90011-2 |doi-access=free }}</ref> | ||
इसलिए, एएसटी और जेडएफ दूसरे के [[रूढ़िवादी विस्तार]] में परस्पर व्याख्यात्मक हैं। इस प्रकार वे [[समसंगत]] हैं। | इसलिए, एएसटी और जेडएफ दूसरे के [[रूढ़िवादी विस्तार]] में परस्पर व्याख्यात्मक हैं। इस प्रकार वे [[समसंगत]] हैं। | ||
एएसटी की उल्लेखनीय विशेषता यह है कि, वॉन न्यूमैन-बर्नेज़-गोडेल | एएसटी की उल्लेखनीय विशेषता यह है कि, वॉन न्यूमैन-बर्नेज़-गोडेल समुच्चय सिद्धांत और इसके वेरिएंट के विपरीत, [[उचित वर्ग]] दूसरे उचित वर्ग का तत्व हो सकता है।<ref name="Fraenkel"/> | ||
== एएसटी और [[श्रेणी सिद्धांत]] == | == एएसटी और [[श्रेणी सिद्धांत]] == | ||
एएसटी का विस्तार जिसे एआरसी कहा जाता है, एफ.ए. मुलर द्वारा विकसित किया गया था, जिन्होंने कहा था कि एआरसी कैंटोरियन | एएसटी का विस्तार जिसे एआरसी कहा जाता है, एफ.ए. मुलर द्वारा विकसित किया गया था, जिन्होंने कहा था कि एआरसी कैंटोरियन समुच्चय-सिद्धांत के साथ-साथ श्रेणी-सिद्धांत को भी स्थापित करता है और इसलिए इसे संपूर्ण गणित के संस्थापक सिद्धांत के रूप में पारित किया जा सकता है।<ref>{{cite journal |last1=Muller |first1=F. A. |date=Sep 2001 |title=सेट, वर्ग और श्रेणियाँ|url=https://www.jstor.org/stable/3541928 |journal=The British Journal for the Philosophy of Science |volume=52 |issue=3 |pages=539–573 |doi=10.1093/bjps/52.3.539 |jstor=3541928 |access-date=9 September 2022}}</ref> | ||
== यह भी देखें == | == यह भी देखें == | ||
* [[गणित की नींव]] | * [[गणित की नींव]] | ||
* [[ज़र्मेलो सेट सिद्धांत]] | * [[ज़र्मेलो सेट सिद्धांत|ज़र्मेलो समुच्चय सिद्धांत]] | ||
*[[वैकल्पिक समुच्चय सिद्धांत]] | *[[वैकल्पिक समुच्चय सिद्धांत]] | ||
Revision as of 10:54, 24 July 2023
गणित और तर्कशास्त्र में, एकरमैन समुच्चय सिद्धांत (एएसटी) 1956 में विल्हेम रमैन द्वारा प्रस्तावित स्वयंसिद्ध समुच्चय सिद्धांत है।[1]
भाषा
एएसटी प्रथम-क्रम तर्क में प्रस्तुत किया गया है। औपचारिक भाषा एएसटी में द्विआधारी संबंध होता है /समुच्चय सदस्यता और स्थिरांक को को दर्शाने में (गणित) सभी समुच्चयो के वर्ग को दर्शाता है (एकरमैन ने विधेय का उपयोग किया, इसके अतिरिक्त )।
अभिगृहीत
एएसटी के अभिगृहीत निम्नलिखित हैं:[2][3][4]
- विस्तारता का सिद्धांत
- आनुवंशिकता का सिद्धांत:
- समझ का सिद्धांत : किसी भी सूत्र के लिए कहाँ मुक्त चर नहीं है,
- रमैन की स्कीमा: किसी भी सूत्र के लिए निःशुल्क चर के साथ और कोई घटना नहीं ,
वैकल्पिक स्वयंसिद्धीकरण निम्नलिखित स्वयंसिद्धों का उपयोग करता है:[5]
- विस्तारता
- वंशागति
- समझ
- प्रतिबिंब सिद्धांत: किसी भी सूत्र के लिए निःशुल्क चर के साथ ,
- नियमितता का सिद्धांत
के सापेक्षीकरण को दर्शाता है को , जो सभी परिमाणक (तर्क)तर्क) को प्रतिस्थापित करता है रूप का और द्वारा और , क्रमश।
जर्मेलो-फ्रेंकेल समुच्चय सिद्धांत से संबंध
होने देना उन सूत्रों की भाषा बनें जिनका उल्लेख नहीं है .
1959 में, अज्रिएल लेवी ने यह साबित कर दिया कि यदि का सूत्र है और एएसटी सिद्ध होता है , तो ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत साबित होता है .[6] 1970 में, विलियम एन. रेनहार्ड्ट ने यह सिद्ध कर दिया कि यदि का सूत्र है और ZF साबित करता है , तो एएसटी सिद्ध होता है .[7] इसलिए, एएसटी और जेडएफ दूसरे के रूढ़िवादी विस्तार में परस्पर व्याख्यात्मक हैं। इस प्रकार वे समसंगत हैं।
एएसटी की उल्लेखनीय विशेषता यह है कि, वॉन न्यूमैन-बर्नेज़-गोडेल समुच्चय सिद्धांत और इसके वेरिएंट के विपरीत, उचित वर्ग दूसरे उचित वर्ग का तत्व हो सकता है।[4]
एएसटी और श्रेणी सिद्धांत
एएसटी का विस्तार जिसे एआरसी कहा जाता है, एफ.ए. मुलर द्वारा विकसित किया गया था, जिन्होंने कहा था कि एआरसी कैंटोरियन समुच्चय-सिद्धांत के साथ-साथ श्रेणी-सिद्धांत को भी स्थापित करता है और इसलिए इसे संपूर्ण गणित के संस्थापक सिद्धांत के रूप में पारित किया जा सकता है।[8]
यह भी देखें
संदर्भ
- ↑ Ackermann, Wilhelm (August 1956). "समुच्चय सिद्धांत की स्वयंसिद्धि पर". Mathematische Annalen. 131 (4): 336–345. doi:10.1007/BF01350103. S2CID 120876778. Retrieved 9 September 2022.
- ↑ Kanamori, Akihiro (July 2006). "लेवी और सेट सिद्धांत". Annals of Pure and Applied Logic. 140 (1): 233–252. doi:10.1016/j.apal.2005.09.009.
- ↑ Holmes, M. Randall (Sep 21, 2021). "वैकल्पिक स्वयंसिद्ध सेट सिद्धांत". Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Retrieved 8 September 2022.
- ↑ 4.0 4.1 Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Levy, Azriel (December 1, 1973). "7.7. The System of Ackermann". सेट थ्योरी की नींव. Studies in Logic and the Foundations of Mathematics. Vol. 67. pp. 148–153. ISBN 9780080887050.
- ↑ Schindler, Ralf (23 May 2014). "Chapter 2: Axiomatic Set Theory". Set Theory: Exploring Independence and Truth. Springer, Cham. pp. 20–21. doi:10.1007/978-3-319-06725-4_2. ISBN 978-3-319-06724-7.
- ↑ Lévy, Azriel (June 1959). "एकरमैन के सेट सिद्धांत पर". The Journal of Symbolic Logic. 24 (2): 154–166. doi:10.2307/2964757. JSTOR 2964757. S2CID 31382168. Retrieved 9 September 2022.
- ↑ Reinhardt, William N. (October 1970). "एकरमैन का समुच्चय सिद्धांत ZF के बराबर है". Annals of Mathematical Logic. 2 (2): 189–249. doi:10.1016/0003-4843(70)90011-2.
- ↑ Muller, F. A. (Sep 2001). "सेट, वर्ग और श्रेणियाँ". The British Journal for the Philosophy of Science. 52 (3): 539–573. doi:10.1093/bjps/52.3.539. JSTOR 3541928. Retrieved 9 September 2022.
