ऑर्डिनल विश्लेषण

ऑर्डिनल विश्लेषण एक औपचारिक सिद्धांत की शक्ति को उस न्यूनतम ऑर्डिनल द्वारा मापता है जिसे वह सिद्धांत सुव्यवस्थित (well-ordered) सिद्ध नहीं कर सकता, जिससे प्रत्येक सिद्धांत को एक सटीक प्रमाण-सैद्धांतिक ऑर्डिनल प्रदान किया जा सके।

Definition

एक सिद्धांत का प्रमाण-सैद्धांतिक ऑर्डिनल उन पुनरावर्ती सुव्यवस्थित क्रमों (recursive well-orderings) के क्रम प्रकारों (order types) का सुप्रीमोम है जिनकी सु-आधारितता (well-foundedness) को सिद्धांत सिद्ध कर सकता है; ऑर्डिनल विश्लेषण इस अपरिवर्तनीय की गणना करने और इसका उपयोग सिद्धांतों की तुलना और अंशांकन (calibrate) करने का कार्यक्रम है।

Scope

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

Core questions

• एक ऑर्डिनल एक अंकगणितीय सिद्धांत की शक्ति को कैसे मापता है?
• एप्सिलॉन-ज़ीरो तक ट्रांसफ़िनिट इंडक्शन अंकगणित की संगति को क्यों सिद्ध करता है?
• ऑर्डिनल नोटेशन को कैसे परिभाषित किया जाता है ताकि उनके बारे में सीमित रूप से तर्क किया जा सके?
• दूसरे-क्रम के अंकगणित के मानक उप-प्रणालियों के अनुरूप कौन से ऑर्डिनल हैं?

Key theories

जेंट्ज़ेन संगति प्रमाण

जेंट्ज़ेन ने प्रथम-क्रम अंकगणित की संगति को एप्सिलॉन-ज़ीरो से नीचे के ऑर्डिनलों को प्रमाणों को सौंपकर और यह दिखाकर सिद्ध किया कि कट रिडक्शन उन्हें कम करता है, इसलिए एप्सिलॉन-ज़ीरो तक ट्रांसफ़िनिट इंडक्शन संगति को प्रमाणित करता है।

प्रमाण-सैद्धांतिक ऑर्डिनल

प्रत्येक पर्याप्त रूप से मजबूत सिद्धांत में एक विशिष्ट ऑर्डिनल होता है जो उस ट्रांसफ़िनिट इंडक्शन को कैप्चर करता है जिसे वह उचित ठहरा सकता है, जो तार्किक शक्ति का एक सूक्ष्म और बड़े पैमाने पर रैखिक पैमाना प्रदान करता है।

ऑर्डिनल नोटेशन सिस्टम

बड़े ऑर्डिनलों को सीमित वाक्यात्मक नोटेशन द्वारा दर्शाया जाता है, जैसे कि वेब्लेन फ़ंक्शंस और कोलैप्सिंग फ़ंक्शंस, जिससे अनंत ऑर्डिनलों को सीमित या अंकगणितीय सिद्धांतों के भीतर हेरफेर किया जा सके।

Clinical relevance

ऑर्डिनल विश्लेषण गणितीय सिद्धांतों की शक्ति का सबसे परिष्कृत उपलब्ध माप प्रदान करता है: यह ठीक-ठीक बताता है कि एक सिद्धांत को किन ट्रांसफ़िनिट इंडक्शन की आवश्यकता है, एक सिद्धांत के सिद्ध रूप से पुनरावर्ती कार्यों (provably recursive functions) को वर्गीकृत करता है, और बड़े कार्डिनलों से प्राप्त जानकारी के पूरक के रूप में सापेक्ष संगति की जानकारी प्रदान करता है।

History

अंकगणित के लिए जेंट्ज़ेन के 1936 और 1938 के संगति प्रमाणों ने एप्सिलॉन-ज़ीरो तक ट्रांसफ़िनिट इंडक्शन के माध्यम से ऑर्डिनल विश्लेषण की शुरुआत की। श्यूट, फेफरमैन और अन्य ने इस विधि को प्रेडिकेटिव सिद्धांतों और रैमिफाइड विश्लेषण तक बढ़ाया, और बाद में कोलैप्सिंग फ़ंक्शंस के विकास ने ऑर्डिनल विश्लेषण को मजबूत अप्रेडिकेटिव प्रणालियों में धकेल दिया।

Key figures

• Gerhard Gentzen
• Kurt Schuette
• Solomon Feferman
• Wolfram Pohlers

Seminal works

• pohlers2009
• takeuti1987
• schutte1977

Frequently asked questions

प्रथम-क्रम अंकगणित का प्रमाण-सैद्धांतिक ऑर्डिनल क्या है?

यह एप्सिलॉन-ज़ीरो है, जो ओमेगा एक्सपोनेंशियल के टावर की सीमा है। प्रथम-क्रम अंकगणित एप्सिलॉन-ज़ीरो से नीचे किसी भी ऑर्डिनल तक ट्रांसफ़िनिट इंडक्शन को सिद्ध करता है, लेकिन एप्सिलॉन-ज़ीरो तक नहीं, जो ठीक वही सिद्धांत है जिसका उपयोग जेंट्ज़ेन ने इसकी संगति को सिद्ध करने के लिए किया था।

ऑर्डिनल विश्लेषण अपूर्णता से कैसे संबंधित है?

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