अंकगणित का गैर-मानक मॉडल: Difference between revisions
No edit summary |
No edit summary |
||
| (4 intermediate revisions by 3 users not shown) | |||
| Line 3: | Line 3: | ||
[[गणितीय तर्क]] में, '''अंकगणित का गैर-मानक मॉडल''' ([[प्रथम-क्रम तर्क]] या प्रथम-क्रम) पीनो सिद्धांतों का मॉडल है जिसमें गैर-मानक संख्याएं होती हैं। अंकगणित का मानक मॉडल शब्द मानक प्राकृतिक संख्याओं 0, 1, 2,… को संदर्भित करता है। पीनो अंकगणित के किसी भी मॉडल के अवयव [[रैखिक रूप से क्रमबद्ध]] होते हैं और मानक प्राकृतिक संख्याओं के लिए [[प्रारंभिक खंड]] [[समरूपी]] होते हैं। गैर-मानक मॉडल वह है जिसमें इस प्रारंभिक खंड के बाहर अतिरिक्त अवयव होते हैं। ऐसे मॉडलों का निर्माण [[ थोरल्फ़ स्कोलेम |थोरल्फ़ स्कोलेम]] (1934) की देन है। | [[गणितीय तर्क]] में, '''अंकगणित का गैर-मानक मॉडल''' ([[प्रथम-क्रम तर्क]] या प्रथम-क्रम) पीनो सिद्धांतों का मॉडल है जिसमें गैर-मानक संख्याएं होती हैं। अंकगणित का मानक मॉडल शब्द मानक प्राकृतिक संख्याओं 0, 1, 2,… को संदर्भित करता है। पीनो अंकगणित के किसी भी मॉडल के अवयव [[रैखिक रूप से क्रमबद्ध]] होते हैं और मानक प्राकृतिक संख्याओं के लिए [[प्रारंभिक खंड]] [[समरूपी]] होते हैं। गैर-मानक मॉडल वह है जिसमें इस प्रारंभिक खंड के बाहर अतिरिक्त अवयव होते हैं। ऐसे मॉडलों का निर्माण [[ थोरल्फ़ स्कोलेम |थोरल्फ़ स्कोलेम]] (1934) की देन है। | ||
== अस्तित्व == | == अस्तित्व == | ||
ऐसी कई विधियाँ हैं जिनका उपयोग अंकगणित के गैर-मानक मॉडल के अस्तित्व को सिद्ध करने के लिए किया जा सकता है। | ऐसी कई विधियाँ हैं जिनका उपयोग अंकगणित के गैर-मानक मॉडल के अस्तित्व को सिद्ध करने के लिए किया जा सकता है। | ||
===संहतता प्रमेय से === | ===संहतता प्रमेय से === | ||
अंकगणित के गैर-मानक मॉडल के अस्तित्व को कॉम्पैक्टनेस प्रमेय के अनुप्रयोग द्वारा प्रदर्शित किया जा सकता है। ऐसा करने के लिए, स्वयंसिद्ध P* के समुच्चय को भाषा में परिभाषित किया गया है जिसमें नए स्थिर प्रतीक x के साथ पीनो अंकगणित की भाषा भी सम्मिलित है। स्वयंसिद्धों में पीनो अंकगणित पी के स्वयंसिद्धों के साथ-साथ स्वयंसिद्धों का और अनंत समुच्चय सम्मिलित है: प्रत्येक अंक n के लिए, स्वयंसिद्ध x > n सम्मिलित है। इन स्वयंसिद्धों का कोई भी परिमित उपसमुच्चय ऐसे मॉडल से संतुष्ट होता है जो अंकगणित का मानक मॉडल है और स्थिरांक x को P* के परिमित उपसमुच्चय में उल्लिखित किसी भी अंक से बड़ी संख्या के रूप में व्याख्या किया जाता है। इस प्रकार [[सघनता प्रमेय]] द्वारा सभी अभिगृहीतों P* को संतुष्ट करने वाला मॉडल है। चूँकि P* का कोई भी मॉडल P का मॉडल है (चूँकि स्वयंसिद्धों के समुच्चय का मॉडल स्पष्ट रूप से स्वयंसिद्धों के उस समुच्चय के किसी उपसमुच्चय का मॉडल भी है), हमारे पास है कि हमारा विस्तारित मॉडल भी पीनो स्वयंसिद्धों का मॉडल है। इस मॉडल का x से संबंधित अवयव मानक संख्या नहीं हो सकता है, क्योंकि जैसा कि संकेत दिया गया है यह किसी भी मानक संख्या से बड़ा है। | अंकगणित के गैर-मानक मॉडल के अस्तित्व को कॉम्पैक्टनेस प्रमेय के अनुप्रयोग द्वारा प्रदर्शित किया जा सकता है। ऐसा करने के लिए, स्वयंसिद्ध P* के समुच्चय को भाषा में परिभाषित किया गया है जिसमें नए स्थिर प्रतीक x के साथ पीनो अंकगणित की भाषा भी सम्मिलित है। स्वयंसिद्धों में पीनो अंकगणित पी के स्वयंसिद्धों के साथ-साथ स्वयंसिद्धों का और अनंत समुच्चय सम्मिलित है: प्रत्येक अंक n के लिए, स्वयंसिद्ध x > n सम्मिलित है। इन स्वयंसिद्धों का कोई भी परिमित उपसमुच्चय ऐसे मॉडल से संतुष्ट होता है जो अंकगणित का मानक मॉडल है और स्थिरांक x को P* के परिमित उपसमुच्चय में उल्लिखित किसी भी अंक से बड़ी संख्या के रूप में व्याख्या किया जाता है। इस प्रकार [[सघनता प्रमेय]] द्वारा सभी अभिगृहीतों P* को संतुष्ट करने वाला मॉडल है। चूँकि P* का कोई भी मॉडल P का मॉडल है (चूँकि स्वयंसिद्धों के समुच्चय का मॉडल स्पष्ट रूप से स्वयंसिद्धों के उस समुच्चय के किसी उपसमुच्चय का मॉडल भी है), हमारे पास है कि हमारा विस्तारित मॉडल भी पीनो स्वयंसिद्धों का मॉडल है। इस मॉडल का x से संबंधित अवयव मानक संख्या नहीं हो सकता है, क्योंकि जैसा कि संकेत दिया गया है यह किसी भी मानक संख्या से बड़ा है। | ||
| Line 31: | Line 31: | ||
| title = Lectures on the Hyperreals | | title = Lectures on the Hyperreals | ||
| year = 1998}}</ref> | | year = 1998}}</ref> | ||
== [[गणनीय]] गैर-मानक मॉडल की संरचना == | == [[गणनीय]] गैर-मानक मॉडल की संरचना == | ||
| Line 39: | Line 37: | ||
अंकगणित के किसी भी गणनीय गैर-मानक मॉडल {{nowrap|ω + (ω* + ω) ⋅ η}} में ऑर्डर प्रकार होता है , जहां ω मानक प्राकृतिक संख्याओं का क्रम प्रकार है, ω* दोहरा क्रम (एक अनंत घटता क्रम) है और η परिमेय संख्याओं का क्रम प्रकार है। दूसरे शब्दों में, गणनीय गैर-मानक मॉडल अनंत बढ़ते क्रम (मॉडल के मानक अवयव) से प्रारंभ होता है। इसके बाद प्रत्येक ऑर्डर प्रकार के ब्लॉक का संग्रह {{nowrap|ω* + ω}} आता है , पूर्णांकों का क्रम प्रकार बदले में ये ब्लॉक परिमेय के क्रम प्रकार के साथ सघन रूप से क्रमबद्ध होते हैं। परिणाम अधिक सरलता से आता है क्योंकि यह देखना सरल है कि गैर-मानक संख्याओं के ब्लॉक को सघन क्रम होना चाहिए और अंतिम बिंदुओं के बिना रैखिक रूप से क्रमबद्ध होना चाहिए, और कुल क्रम उदाहरण <ref>''Andrey Bovykin and Richard Kaye'' [http://web.mat.bham.ac.uk/R.W.Kaye/papers/survey6.pdf Order-types of models of Peano arithmetic: a short survey] June 14, 2001</ref><ref>''Andrey Bovykin'' [http://logic.pdmi.ras.ru/~andrey/phd.pdf On order-types of models of arithmetic] thesis submitted to the University of Birmingham for the degree of Ph.D. in the Faculty of Science 13 April 2000</ref><ref>[[Fred Landman]] [http://www.tau.ac.il/~landman/Online_Class_Notes_file/Boolean/1%20%20Linear%20orders,%20discrete,%20dense%20and%20continuous.pdf LINEAR ORDERS, DISCRETE, DENSE, AND CONTINUOUS] – includes proof that '''Q''' is the only countable dense linear order.</ref> तो, गणनीय गैर-मानक मॉडल का ऑर्डर प्रकार ज्ञात होता है। चूँकि, अंकगणितीय संक्रियाएँ बहुत अधिक समिश्र हैं। | अंकगणित के किसी भी गणनीय गैर-मानक मॉडल {{nowrap|ω + (ω* + ω) ⋅ η}} में ऑर्डर प्रकार होता है , जहां ω मानक प्राकृतिक संख्याओं का क्रम प्रकार है, ω* दोहरा क्रम (एक अनंत घटता क्रम) है और η परिमेय संख्याओं का क्रम प्रकार है। दूसरे शब्दों में, गणनीय गैर-मानक मॉडल अनंत बढ़ते क्रम (मॉडल के मानक अवयव) से प्रारंभ होता है। इसके बाद प्रत्येक ऑर्डर प्रकार के ब्लॉक का संग्रह {{nowrap|ω* + ω}} आता है , पूर्णांकों का क्रम प्रकार बदले में ये ब्लॉक परिमेय के क्रम प्रकार के साथ सघन रूप से क्रमबद्ध होते हैं। परिणाम अधिक सरलता से आता है क्योंकि यह देखना सरल है कि गैर-मानक संख्याओं के ब्लॉक को सघन क्रम होना चाहिए और अंतिम बिंदुओं के बिना रैखिक रूप से क्रमबद्ध होना चाहिए, और कुल क्रम उदाहरण <ref>''Andrey Bovykin and Richard Kaye'' [http://web.mat.bham.ac.uk/R.W.Kaye/papers/survey6.pdf Order-types of models of Peano arithmetic: a short survey] June 14, 2001</ref><ref>''Andrey Bovykin'' [http://logic.pdmi.ras.ru/~andrey/phd.pdf On order-types of models of arithmetic] thesis submitted to the University of Birmingham for the degree of Ph.D. in the Faculty of Science 13 April 2000</ref><ref>[[Fred Landman]] [http://www.tau.ac.il/~landman/Online_Class_Notes_file/Boolean/1%20%20Linear%20orders,%20discrete,%20dense%20and%20continuous.pdf LINEAR ORDERS, DISCRETE, DENSE, AND CONTINUOUS] – includes proof that '''Q''' is the only countable dense linear order.</ref> तो, गणनीय गैर-मानक मॉडल का ऑर्डर प्रकार ज्ञात होता है। चूँकि, अंकगणितीय संक्रियाएँ बहुत अधिक समिश्र हैं। | ||
यह देखना सरल है कि अंकगणितीय संरचना {{nowrap|ω + (ω* + ω) ⋅ η}} भिन्न है | यह देखना सरल है कि अंकगणितीय संरचना {{nowrap|ω + (ω* + ω) ⋅ η}} भिन्न है उदाहरण के लिए, यदि कोई गैर-मानक (गैर-परिमित) अवयव u मॉडल में है, तो ऐसा {{nowrap|''m'' ⋅ ''u''}} ही है प्रारंभिक खंड 'n' में किसी भी m के लिए, फिर भी u<sup>2</sup>से बड़ा है किसी {{nowrap|''m'' ⋅ ''u''}} भी मानक परिमित m के लिए उपयोग किया जाता है। | ||
इसके अतिरिक्त कोई वर्गमूल को न्यूनतम v जैसे {{nowrap|''v''<sup>2</sup> > 2 ⋅ ''u''}} परिभाषित कर सकता है . ये आपके किसी परिमेय गुणज की मानक परिमित संख्या के अन्दर नहीं हो सकते है। गैर-मानक विश्लेषण के अनुरूप विधियों से कोई भी गैर-मानक संख्या u के अपरिमेय गुणकों जैसे कि कम से कम v के साथ निकट अनुमान {{nowrap|''v'' > {{pi}} ⋅ ''u''}} को परिभाषित करने के लिए पीए का उपयोग कर सकता है | इसके अतिरिक्त कोई वर्गमूल को न्यूनतम v जैसे {{nowrap|''v''<sup>2</sup> > 2 ⋅ ''u''}} परिभाषित कर सकता है . ये आपके किसी परिमेय गुणज की मानक परिमित संख्या के अन्दर नहीं हो सकते है। गैर-मानक विश्लेषण के अनुरूप विधियों से कोई भी गैर-मानक संख्या u के अपरिमेय गुणकों जैसे कि कम से कम v के साथ निकट अनुमान {{nowrap|''v'' > {{pi}} ⋅ ''u''}} को परिभाषित करने के लिए पीए का उपयोग कर सकता है (इन्हें π के गैर-मानक परिमित अनुमानों का उपयोग करके पीए में परिभाषित किया जा सकता है| के तर्कसंगत अनुमान {{pi}} चाहे {{pi}} स्वयं नहीं हो सकता). और, {{nowrap|''v'' − (''m''/''n'') ⋅ (''u''/''n'')}} किसी भी मानक परिमित m, n के लिए किसी भी मानक परिमित संख्या से बड़ा होना चाहिए। | ||
इससे पता चलता है कि गणनीय गैर-मानक मॉडल की अंकगणितीय संरचना परिमेय की संरचना से अधिक समिश्र है। चूँकि इसमें इसके अतिरिक्त और भी बहुत कुछ है: टेनेनबाम के प्रमेय से पता चलता है कि पीनो अंकगणित के किसी भी गणनीय गैर-मानक मॉडल के लिए मॉडल के अवयवों को (मानक) प्राकृतिक संख्याओं के रूप में कोड करने का कोई विधि नहीं है, जैसे कि जोड़ या गुणन ऑपरेशन मॉडल कोड पर पुनरावर्तन सिद्धांत है। यह परिणाम पहली बार 1959 में [[स्टेनली टेनेनबाम]] द्वारा प्राप्त किया गया था। | इससे पता चलता है कि गणनीय गैर-मानक मॉडल की अंकगणितीय संरचना परिमेय की संरचना से अधिक समिश्र है। चूँकि इसमें इसके अतिरिक्त और भी बहुत कुछ है: टेनेनबाम के प्रमेय से पता चलता है कि पीनो अंकगणित के किसी भी गणनीय गैर-मानक मॉडल के लिए मॉडल के अवयवों को (मानक) प्राकृतिक संख्याओं के रूप में कोड करने का कोई विधि नहीं है, जैसे कि जोड़ या गुणन ऑपरेशन मॉडल कोड पर पुनरावर्तन सिद्धांत है। यह परिणाम पहली बार 1959 में [[स्टेनली टेनेनबाम]] द्वारा प्राप्त किया गया था। | ||
== संदर्भ == | == संदर्भ == | ||
=== उद्धरण === | === उद्धरण === | ||
{{reflist}} | {{reflist}} | ||
=== स्रोत === | === स्रोत === | ||
{{refbegin}} | {{refbegin}} | ||
| Line 69: | Line 62: | ||
श्रेणी:मॉडल सिद्धांत | श्रेणी:मॉडल सिद्धांत | ||
[[Category:CS1 Deutsch-language sources (de)]] | |||
[[Category: | [[Category:Collapse templates]] | ||
[[Category:Created On 14/07/2023]] | [[Category:Created On 14/07/2023]] | ||
[[Category:Lua-based templates]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Mathematics navigational boxes]] | |||
[[Category:Navbox orphans]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists]] | |||
[[Category:Pages with empty portal template]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Philosophy and thinking navigational boxes]] | |||
[[Category:Portal-inline template with redlinked portals]] | |||
[[Category:Short description with empty Wikidata description]] | |||
[[Category:Sidebars with styles needing conversion]] | |||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates Translated in Hindi]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:Templates generating microformats]] | |||
[[Category:Templates that add a tracking category]] | |||
[[Category:Templates that are not mobile friendly]] | |||
[[Category:Templates that generate short descriptions]] | |||
[[Category:Templates using TemplateData]] | |||
[[Category:Wikipedia metatemplates]] | |||
Latest revision as of 12:48, 4 August 2023
गणितीय तर्क में, अंकगणित का गैर-मानक मॉडल (प्रथम-क्रम तर्क या प्रथम-क्रम) पीनो सिद्धांतों का मॉडल है जिसमें गैर-मानक संख्याएं होती हैं। अंकगणित का मानक मॉडल शब्द मानक प्राकृतिक संख्याओं 0, 1, 2,… को संदर्भित करता है। पीनो अंकगणित के किसी भी मॉडल के अवयव रैखिक रूप से क्रमबद्ध होते हैं और मानक प्राकृतिक संख्याओं के लिए प्रारंभिक खंड समरूपी होते हैं। गैर-मानक मॉडल वह है जिसमें इस प्रारंभिक खंड के बाहर अतिरिक्त अवयव होते हैं। ऐसे मॉडलों का निर्माण थोरल्फ़ स्कोलेम (1934) की देन है।
अस्तित्व
ऐसी कई विधियाँ हैं जिनका उपयोग अंकगणित के गैर-मानक मॉडल के अस्तित्व को सिद्ध करने के लिए किया जा सकता है।
संहतता प्रमेय से
अंकगणित के गैर-मानक मॉडल के अस्तित्व को कॉम्पैक्टनेस प्रमेय के अनुप्रयोग द्वारा प्रदर्शित किया जा सकता है। ऐसा करने के लिए, स्वयंसिद्ध P* के समुच्चय को भाषा में परिभाषित किया गया है जिसमें नए स्थिर प्रतीक x के साथ पीनो अंकगणित की भाषा भी सम्मिलित है। स्वयंसिद्धों में पीनो अंकगणित पी के स्वयंसिद्धों के साथ-साथ स्वयंसिद्धों का और अनंत समुच्चय सम्मिलित है: प्रत्येक अंक n के लिए, स्वयंसिद्ध x > n सम्मिलित है। इन स्वयंसिद्धों का कोई भी परिमित उपसमुच्चय ऐसे मॉडल से संतुष्ट होता है जो अंकगणित का मानक मॉडल है और स्थिरांक x को P* के परिमित उपसमुच्चय में उल्लिखित किसी भी अंक से बड़ी संख्या के रूप में व्याख्या किया जाता है। इस प्रकार सघनता प्रमेय द्वारा सभी अभिगृहीतों P* को संतुष्ट करने वाला मॉडल है। चूँकि P* का कोई भी मॉडल P का मॉडल है (चूँकि स्वयंसिद्धों के समुच्चय का मॉडल स्पष्ट रूप से स्वयंसिद्धों के उस समुच्चय के किसी उपसमुच्चय का मॉडल भी है), हमारे पास है कि हमारा विस्तारित मॉडल भी पीनो स्वयंसिद्धों का मॉडल है। इस मॉडल का x से संबंधित अवयव मानक संख्या नहीं हो सकता है, क्योंकि जैसा कि संकेत दिया गया है यह किसी भी मानक संख्या से बड़ा है।
अधिक समिश्र विधियों का उपयोग करके, ऐसे गैर-मानक मॉडल बनाना संभव है जिनमें अधिक समिश्र गुण होंता है। उदाहरण के लिए, पीनो अंकगणित के ऐसे मॉडल हैं जिनमें गुडस्टीन का प्रमेय विफल हो जाता है। यह ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत में सिद्ध किया जा सकता है कि गुडस्टीन का प्रमेय मानक मॉडल में है, इसलिए मॉडल जहां गुडस्टीन का प्रमेय विफल होता है वह गैर-मानक होना चाहिए।
अपूर्णता प्रमेयों से
गोडेल की अपूर्णता प्रमेय अंकगणित के गैर-मानक मॉडल के अस्तित्व का भी संकेत देती है। अपूर्णता प्रमेय दर्शाते हैं कि विशेष वाक्य जी, पीनो अंकगणित का गोडेल वाक्य, पीनो अंकगणित में न तो सिद्ध करने योग्य है और न ही अस्वीकृत करने योग्य है। गोडेल की पूर्णता प्रमेय के अनुसार, इसका कारण है कि पीनो अंकगणित के कुछ मॉडल में G गलत है। चूँकि, G अंकगणित के मानक मॉडल में सत्य है, और इसलिए कोई भी मॉडल जिसमें G गलत है, गैर-मानक मॉडल होना चाहिए। इस प्रकार किसी मॉडल के गैरमानक होने के लिए ~G को संतुष्ट करना पर्याप्त नियम है। चूँकि, यह कोई आवश्यक नियम नहीं है; किसी भी गोडेल वाक्य G और किसी अनंत प्रमुखता के लिए G सत्य और उस कार्डिनैलिटी के साथ अंकगणित का मॉडल है।
~G सत्य वाले मॉडलों के लिए अंकगणितीय अस्वस्थता
यह मानते हुए कि अंकगणित सुसंगत है, ~G के साथ अंकगणित भी सुसंगत है। चूँकि, ~G बताता है कि अंकगणित असंगत है, परिणाम ω-संगत नहीं होगा (क्योंकि ~G गलत है और यह ω-संगतता का उल्लंघन करता है)।
एक अल्ट्राप्रोडक्ट से
अंकगणित के गैर-मानक मॉडल के निर्माण की अन्य विधि अल्ट्राप्रोडक्ट के माध्यम से है। विशिष्ट निर्माण प्राकृतिक संख्याओं के सभी अनुक्रमों के समुच्चय का उपयोग करता है, . दो अनुक्रमों की पहचान करें यदि वे बिल्कुल सहमत हैं लेकिन सीमित रूप से कई नियमों पर सहमत हैं। परिणामी मोटी हो जाओ अंकगणित का गैर-मानक मॉडल है। इसे अतिप्राकृतिक संख्याओं से पहचाना जा सकता है।[1]
गणनीय गैर-मानक मॉडल की संरचना
अल्ट्राप्रोडक्ट मॉडल अनगिनत हैं। इसे देखने का विधि अल्ट्राप्रोडक्ट में n के अनंत उत्पाद का इंजेक्शन बनाना है। चूँकि, लोवेनहेम-स्कोलेम प्रमेय के अनुसार अंकगणित के गणनीय गैर-मानक मॉडल उपस्थित होने चाहिए। ऐसे मॉडल को परिभाषित करने का विधि द्वितीय-क्रम तर्क शब्दार्थ विज्ञान का उपयोग करना है।
अंकगणित के किसी भी गणनीय गैर-मानक मॉडल ω + (ω* + ω) ⋅ η में ऑर्डर प्रकार होता है , जहां ω मानक प्राकृतिक संख्याओं का क्रम प्रकार है, ω* दोहरा क्रम (एक अनंत घटता क्रम) है और η परिमेय संख्याओं का क्रम प्रकार है। दूसरे शब्दों में, गणनीय गैर-मानक मॉडल अनंत बढ़ते क्रम (मॉडल के मानक अवयव) से प्रारंभ होता है। इसके बाद प्रत्येक ऑर्डर प्रकार के ब्लॉक का संग्रह ω* + ω आता है , पूर्णांकों का क्रम प्रकार बदले में ये ब्लॉक परिमेय के क्रम प्रकार के साथ सघन रूप से क्रमबद्ध होते हैं। परिणाम अधिक सरलता से आता है क्योंकि यह देखना सरल है कि गैर-मानक संख्याओं के ब्लॉक को सघन क्रम होना चाहिए और अंतिम बिंदुओं के बिना रैखिक रूप से क्रमबद्ध होना चाहिए, और कुल क्रम उदाहरण [2][3][4] तो, गणनीय गैर-मानक मॉडल का ऑर्डर प्रकार ज्ञात होता है। चूँकि, अंकगणितीय संक्रियाएँ बहुत अधिक समिश्र हैं।
यह देखना सरल है कि अंकगणितीय संरचना ω + (ω* + ω) ⋅ η भिन्न है उदाहरण के लिए, यदि कोई गैर-मानक (गैर-परिमित) अवयव u मॉडल में है, तो ऐसा m ⋅ u ही है प्रारंभिक खंड 'n' में किसी भी m के लिए, फिर भी u2से बड़ा है किसी m ⋅ u भी मानक परिमित m के लिए उपयोग किया जाता है।
इसके अतिरिक्त कोई वर्गमूल को न्यूनतम v जैसे v2 > 2 ⋅ u परिभाषित कर सकता है . ये आपके किसी परिमेय गुणज की मानक परिमित संख्या के अन्दर नहीं हो सकते है। गैर-मानक विश्लेषण के अनुरूप विधियों से कोई भी गैर-मानक संख्या u के अपरिमेय गुणकों जैसे कि कम से कम v के साथ निकट अनुमान v > π ⋅ u को परिभाषित करने के लिए पीए का उपयोग कर सकता है (इन्हें π के गैर-मानक परिमित अनुमानों का उपयोग करके पीए में परिभाषित किया जा सकता है| के तर्कसंगत अनुमान π चाहे π स्वयं नहीं हो सकता). और, v − (m/n) ⋅ (u/n) किसी भी मानक परिमित m, n के लिए किसी भी मानक परिमित संख्या से बड़ा होना चाहिए।
इससे पता चलता है कि गणनीय गैर-मानक मॉडल की अंकगणितीय संरचना परिमेय की संरचना से अधिक समिश्र है। चूँकि इसमें इसके अतिरिक्त और भी बहुत कुछ है: टेनेनबाम के प्रमेय से पता चलता है कि पीनो अंकगणित के किसी भी गणनीय गैर-मानक मॉडल के लिए मॉडल के अवयवों को (मानक) प्राकृतिक संख्याओं के रूप में कोड करने का कोई विधि नहीं है, जैसे कि जोड़ या गुणन ऑपरेशन मॉडल कोड पर पुनरावर्तन सिद्धांत है। यह परिणाम पहली बार 1959 में स्टेनली टेनेनबाम द्वारा प्राप्त किया गया था।
संदर्भ
उद्धरण
- ↑ Goldblatt, Robert (1998), "Ultrapower Construction of the Hyperreals", Lectures on the Hyperreals, New York: Springer, pp. 23–33, doi:10.1007/978-1-4612-0615-6_3
- ↑ Andrey Bovykin and Richard Kaye Order-types of models of Peano arithmetic: a short survey June 14, 2001
- ↑ Andrey Bovykin On order-types of models of arithmetic thesis submitted to the University of Birmingham for the degree of Ph.D. in the Faculty of Science 13 April 2000
- ↑ Fred Landman LINEAR ORDERS, DISCRETE, DENSE, AND CONTINUOUS – includes proof that Q is the only countable dense linear order.
स्रोत
- बूलोस, जॉर्ज, और जेफरी, रिचर्ड 1974। कम्प्यूटेबिलिटी एंड लॉजिक, कैम्ब्रिज यूनिवर्सिटी प्रेस। ISBN 0-521-38923-2.
- Skolem, Thoralf (1934). "विशेष रूप से संख्या चर वाले कथनों की एक सीमित या गणनीय अनंत संख्या के माध्यम से संख्याओं की श्रृंखला के गैर-लक्षणीकरण के बारे में" (PDF). Fundamenta Mathematicae (in Deutsch). 23 (1): 150–161. doi:10.4064/fm-23-1-150-161.
यह भी देखें
- गैर-यूक्लिडियन ज्यामिति - ज्यामिति में गैर-मानक मॉडल के बारे में
श्रेणी: अंकगणित श्रेणी:अंकगणित के औपचारिक सिद्धांत श्रेणी:गणितीय तर्क श्रेणी:मॉडल सिद्धांत
