अस्तित्व प्रमेय

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

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

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

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

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

यह भी देखें

 * रचनात्मक प्रमाण
 * रचनावाद (गणित का दर्शन)
 * अद्वितीयता प्रमेय

टिप्पणियाँ
[Category:Mathematical and quantitative methods (economic