असंभाव्यता

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

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

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

किसी सेट की सबसे बड़ी निचली सीमा $X$, $glb(X)$, की एक अव्यावहारिक परिभाषा भी है: $y = glb(X)$ यदि और केवल यदि सभी तत्वों के लिए $x$ का $X$, $y$ से कम या बराबर है $x$, और कोई भी $z$ के सभी तत्वों से कम या बराबर $X$ से कम या बराबर है $y$. यह परिभाषा उस सेट (संभावित रूप से अनंत सेट, प्रश्न में आंशिक रूप से ऑर्डर किए गए सेट के आधार पर) की मात्रा निर्धारित करती है, जिसके सदस्य निचली सीमाएं हैं $X$, जिनमें से एक स्वयं glb है। इसलिए विधेयवाद इस परिभाषा को अस्वीकार करेंगे.

इतिहास
विधेय और अभेद्य शब्द किसके द्वारा प्रस्तुत किए गए थे? , हालाँकि तब से इसका अर्थ थोड़ा बदल गया है।

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

पहला आधुनिक विरोधाभास सेसारे बुराली-फोर्टी के 1897 में ट्रांसफ़िनिट संख्याओं पर एक प्रश्न के साथ सामने आया। और बुराली-फोर्टी विरोधाभास के रूप में जाना जाने लगा। कैंटर ने स्पष्ट रूप से अपने (कैंटर के) नैवे सेट सिद्धांत में उसी विरोधाभास की खोज की थी अनुभवहीन सेट सिद्धांत और इसे कैंटर के विरोधाभास के रूप में जाना जाता है। समस्या के बारे में रसेल की जागरूकता जून 1901 में उत्पन्न हुई फ्रेगे के गणितीय तर्क के ग्रंथ को पढ़ने के साथ, उनका 1879 शब्द लेखन; पूछा में आपत्तिजनक वाक्य निम्नलिखित है: "On the other hand, it may also be that the argument is determinate and the function indeterminate."

दूसरे शब्दों में, दिया गया $f(a)$ कार्यक्रम $f$ चर है और $a$ अपरिवर्तनीय भाग है. तो मूल्य को प्रतिस्थापित क्यों न करें $f(a)$ के लिए $f$ अपने आप? रसेल ने तुरंत फ़्रीज को एक पत्र लिखकर बताया कि: "You state ... that a function too, can act as the indeterminate element. This I formerly believed, but now this view seems doubtful to me because of the following contradiction. Let $w$ be the predicate: to be a predicate that cannot be predicated of itself. Can $w$ be predicated of itself? From each answer its opposite follows. Therefore we must conclude that $w$ is not a predicate. Likewise there is no class (as a totality) of those classes which, each taken as a totality, do not belong to themselves. From this I conclude that under certain circumstances a definable collection does not form a totality."

फ़्रीज ने समस्या को स्वीकार करते हुए तुरंत रसेल को जवाब लिखा: "Your discovery of the contradiction caused me the greatest surprise and, I would almost say, consternation, since it has shaken the basis on which I intended to build arithmetic."

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

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

अर्नेस्ट ज़र्मेलो ने अपने 1908 में सुव्यवस्थित होने की संभावना का एक नया प्रमाण दिया एक संपूर्ण अनुभाग प्रस्तुत करता है बी। गैर-विधेयात्मक परिभाषा के संबंध में आपत्ति जहां उन्होंने पोंकारे के खिलाफ तर्क दिया (1906, पृष्ठ 307) [जो बताता है कि] एक परिभाषा 'विधेयात्मक' है और तार्किक रूप से तभी स्वीकार्य है जब इसमें उन सभी वस्तुओं को शामिल नहीं किया गया है जो परिभाषित धारणा पर निर्भर हैं, यानी, जो इसमें शामिल हो सकती हैं किसी भी तरह से इसके द्वारा निर्धारित किया जाएगा. वह अव्यावहारिक परिभाषाओं के दो उदाहरण देते हैं - (i) डेडेकाइंड श्रृंखला की धारणा और (ii) विश्लेषण में जहां पहले से परिभाषित संख्याओं का अधिकतम या न्यूनतम सेट होता है $Z$ का उपयोग आगे के अनुमान के लिए किया जाता है। उदाहरण के लिए, सुप्रसिद्ध कॉची प्रूफ़ में ऐसा होता है...। वह अपने अनुभाग को निम्नलिखित अवलोकन के साथ समाप्त करता है: एक परिभाषा बहुत अच्छी तरह से उन धारणाओं पर निर्भर हो सकती है जो परिभाषित किए जाने के बराबर हैं; वास्तव में, हर परिभाषा में परिभाषाएँ और परिभाषाएँ समान धारणाएँ हैं, और पोंकारे की मांग का कड़ाई से पालन हर परिभाषा, इसलिए पूरे विज्ञान को असंभव बना देगा। संख्याओं के पहले से परिभाषित पूर्ण सेट के न्यूनतम और अधिकतम का ज़र्मेलो का उदाहरण क्लेन 1952:42-42 में फिर से दिखाई देता है जहां क्लेन अव्यवहारिक परिभाषाओं की अपनी चर्चा में कम से कम ऊपरी सीमा के उदाहरण का उपयोग करता है; क्लेन इस समस्या का समाधान नहीं करता है. अगले पैराग्राफों में उन्होंने अपने 1918 के दास कॉन्टिनम (द कॉन्टिनम) में वेइल के प्रयास पर चर्चा की, जिसमें उन्होंने अव्यवहारिक परिभाषाओं को खत्म करने की कोशिश की और इस प्रमेय को बनाए रखने में उनकी विफलता कि एक मनमाना खाली सेट | गैर-खाली सेट $M$ ऊपरी सीमा वाली वास्तविक संख्याओं में न्यूनतम ऊपरी सीमा होती है (सीएफ. वेइल 1919 भी)। फ्रैंक पी. रैमसे ने तर्क दिया कि अत्यावश्यक परिभाषाएँ हानिरहित हो सकती हैं: उदाहरण के लिए, कमरे में सबसे लंबे व्यक्ति की परिभाषा अव्यावहारिक है, क्योंकि यह उन चीज़ों के समूह पर निर्भर करती है जिनका यह एक तत्व है, अर्थात् कमरे में सभी व्यक्तियों का समूह।. गणित के संबंध में, एक अव्यवहारिक परिभाषा का एक उदाहरण एक सेट में सबसे छोटी संख्या है, जिसे औपचारिक रूप से इस प्रकार परिभाषित किया गया है: $y = min(X)$ यदि और केवल यदि सभी तत्वों के लिए $x$ का $X$, $y$ से कम या बराबर है $x$, और $y$ में है $X$.

बर्गेस (2005) फ़्रीज के तर्क, पीनो अंकगणित, दूसरे क्रम के अंकगणित और स्वयंसिद्ध सेट सिद्धांत के संदर्भ में, कुछ हद तक विधेय और अव्यावहारिक सिद्धांतों पर चर्चा करता है।

यह भी देखें

 * गोडेल, एस्चर, बाख
 * अव्यावहारिक बहुरूपता
 * तर्कवाद
 * रिचर्ड का विरोधाभास

संदर्भ

 * PlanetMath article on predicativism
 * John Burgess, 2005. Fixing Frege. Princeton Univ. Press.
 * Solomon Feferman, 2005, "Predicativity" in The Oxford Handbook of Philosophy of Mathematics and Logic. Oxford University Press: 590–624.
 * Stephen C. Kleene 1952 (1971 edition), Introduction to Metamathematics, North-Holland Publishing Company, Amsterdam NY, ISBN 0-7204-2103-9. In particular cf. his §11 The Paradoxes (pp. 36–40) and §12 First inferences from the paradoxes IMPREDICATIVE DEFINITION (p. 42). He states that his 6 or so (famous) examples of paradoxes (antinomies) are all examples of impredicative definition, and says that Poincaré (1905–6, 1908) and Russell (1906, 1910) "enunciated the cause of the paradoxes to lie in these impredicative definitions" (p. 42), however, "parts of mathematics we want to retain, particularly analysis, also contain impredicative definitions." (ibid). Weyl in his 1918 ("Das Kontinuum") attempted to derive as much of analysis as was possible without the use of impredicative definitions, "but not the theorem that an arbitrary non-empty set M of real numbers having an upper bound has a least upper bound (CF. also Weyl 1919)" (p. 43).
 * Hans Reichenbach 1947, Elements of Symbolic Logic, Dover Publications, Inc., NY, ISBN 0-486-24004-5. Cf. his §40. The antinomies and the theory of types (pp. 218 — wherein he demonstrates how to create antinomies, including the definition of impredicable itself ("Is the definition of "impredicable" impredicable?"). He claims to show methods for eliminating the "paradoxes of syntax" ("logical paradoxes") — by use of the theory of types — and "the paradoxes of semantics" — by the use of metalanguage (his "theory of levels of language"). He attributes the suggestion of this notion to Russell and more concretely to Ramsey.
 * Jean van Heijenoort 1967, third printing 1976, From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931, Harvard University Press, Cambridge MA, ISBN 0-674-32449-8 (pbk.)
 * Hans Reichenbach 1947, Elements of Symbolic Logic, Dover Publications, Inc., NY, ISBN 0-486-24004-5. Cf. his §40. The antinomies and the theory of types (pp. 218 — wherein he demonstrates how to create antinomies, including the definition of impredicable itself ("Is the definition of "impredicable" impredicable?"). He claims to show methods for eliminating the "paradoxes of syntax" ("logical paradoxes") — by use of the theory of types — and "the paradoxes of semantics" — by the use of metalanguage (his "theory of levels of language"). He attributes the suggestion of this notion to Russell and more concretely to Ramsey.
 * Jean van Heijenoort 1967, third printing 1976, From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931, Harvard University Press, Cambridge MA, ISBN 0-674-32449-8 (pbk.)