गणितीय तर्क: Difference between revisions

Revision as of 19:08, 16 February 2023

Error: no inner hatnotes detected (help).

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

अपनी स्थापना के बाद से, गणितीय तर्क ने गणित की नींव के अध्ययन में योगदान दिया है और प्रेरित भी किया है। यह अध्ययन 19वीं शताब्दी के अंत में ज्यामिति, अंकगणित और गणितीय विश्लेषण के लिए स्वयंसिद्ध ढांचे के विकास के साथ प्रारंभ हुआ। 20वीं शताब्दी की शुरुआत में इसे डेविड हिल्बर्ट के हिल्बर्ट के कार्यक्रम द्वारा आधारभूत सिद्धांतों की निरंतरता को सिद्ध करना करने के लिए आकार दिया गया था। कर्ट गोडेल, गेरहार्ड जेंटजन और अन्य के परिणामों ने कार्यक्रम को आंशिक समाधान प्रदान किया, और निरंतरता सिद्ध करना करने में सम्मलित मुद्दों को स्पष्ट किया। समुच्चय सिद्धांत में कार्य ने दिखाया कि लगभग सभी सामान्य गणित को समुच्चयों के संदर्भ में औपचारिक रूप दिया जा सकता है, चूंकि कुछ ऐसे प्रमेय हैं जिन्हें समुच्चय सिद्धांत के लिए सामान्य स्वयंसिद्ध प्रणालियों में सिद्ध नहीं किया जा सकता है। गणित की नींव में समकालीन काम अधिकांशतःयह स्थापित करने पर ध्यान केंद्रित करता है कि गणित के किन हिस्सों को विशेष औपचारिक प्रणालियों में औपचारिक रूप दिया जा सकता है (जैसा कि रिवर्स गणित में) उन सिद्धांतों को खोजने की कोशिश करने के अतिरिक्त जिनमें सभी गणित को विकसित किया जा सकता है।

सबफील्ड्स और स्कोप

गणितीय तर्क की पुस्तिका^[1] 1977 में समकालीन गणितीय तर्क का मोटे तौर पर चार क्षेत्रों में विभाजन करता है:

समुच्चय सिद्धान्त
मॉडल सिद्धांत
पुनरावर्तन सिद्धांत, और
प्रूफ सिद्धांत और रचनात्मक गणित (एक ही क्षेत्र के भागों के रूप में माना जाता है)।

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

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

इतिहास

गणितीय तर्क 19वीं शताब्दी के मध्य में गणित के एक उपक्षेत्र के रूप में उभरा, जो दो परंपराओं के संगम को दर्शाता है: औपचारिक दार्शनिक तर्क और गणित।^[3] गणितीय तर्क, जिसे 'लॉजिस्टिक', 'प्रतीकात्मक तर्क', 'बूलियन बीजगणित' और हाल ही में, केवल 'औपचारिक तर्क' भी कहा जाता है, पिछली उन्नीसवीं शताब्दी के समय विकसित तार्किक सिद्धांतों का समूह है। एक कृत्रिम अंकन और एक कठोर निगमनात्मक विधि।^[4] इस उद्भव से पहले, तर्कशास्त्र का अध्ययन बयानबाजी के साथ, गणनाओं के साथ किया जाता था,^[5] न्यायवाक्य के माध्यम से, और दर्शन के साथ। 20वीं शताब्दी के पूर्वार्द्ध में गणित की नींव पर जोरदार बहस के साथ मौलिक परिणामों का विस्फोट हुआ।

प्रारंभिक इतिहास

तर्क के सिद्धांतों को इतिहास में कई संस्कृतियों में विकसित किया गया था, जिसमें चीन में तर्क, भारत में तर्क, ग्रीस में तर्क और इस्लामी दर्शन में तर्क सम्मलित हैं। ग्रीक विधियों, विशेष रूप से अरिस्टोटेलियन तर्क (या टर्म लॉजिक) जैसा कि ऑर्गनॉन में पाया जाता है, को सहस्राब्दी के लिए पश्चिमी विज्ञान और गणित में व्यापक आवेदन और स्वीकृति मिली।^[6] रूढ़िवाद, विशेष रूप से क्रिसिपस, ने विधेय तर्क का विकास प्रारंभ किया। 18वीं सदी के यूरोप में, दार्शनिक गणितज्ञों द्वारा प्रतीकात्मक या बीजगणितीय तरीके से औपचारिक तर्क के संचालन का इलाज करने का प्रयास किया गया था, जिसमें गॉटफ्रीड विल्हेम लीबनिज और जोहान हेनरिक लैम्बर्ट सम्मलित थे, किन्तु उनके मजदूर अलग-थलग और कम ज्ञात थे।

19वीं सद

उन्नीसवीं शताब्दी के मध्य में, जॉर्ज बूले और फिर अगस्त डी मॉर्गन ने तर्क के व्यवस्थित गणितीय उपचार प्रस्तुत किए। उनके काम, जॉर्ज पीकॉक (गणितज्ञ) जैसे बीजगणितियों द्वारा काम पर निर्माण, गणित की नींव के अध्ययन के लिए तर्क के पारंपरिक अरिस्टोटेलियन सिद्धांत को एक पर्याप्त ढांचे में विस्तारित किया।^[7] चार्ल्स सैंडर्स पियर्स ने बाद में संबंधों और परिमाणकों के लिए एक तार्किक प्रणाली विकसित करने के लिए बूल के काम पर निर्माण किया, जिसे उन्होंने 1870 से 1885 तक कई पत्रों में प्रकाशित किया।

भगवान फ्रीज का शुक्र है ने 1879 में प्रकाशित अपने शब्द लेखन में क्वांटिफायर के साथ तर्क का एक स्वतंत्र विकास प्रस्तुत किया, जिसे सामान्यतः तर्क के इतिहास में एक महत्वपूर्ण मोड़ के रूप में माना जाता है। फ्रेज का काम अस्पष्ट रहा, चूंकि, जब तक बर्ट्रेंड रसेल ने शताब्दी के अंत तक इसे बढ़ावा देना प्रारंभ नहीं किया। विकसित द्वि-आयामी संकेतन फ्रीज को व्यापक रूप से कभी नहीं अपनाया गया था और समकालीन ग्रंथों में इसका उपयोग नहीं किया गया है।

1890 से 1905 तक, अर्नस्ट श्रोडर (गणितज्ञ) | अर्नस्ट श्रोडर ने तीन खंडों में वोरलेसुंगेन उबेर डाई एलजेब्रा डेर लॉजिक प्रकाशित किया। इस कार्य ने बोले, डी मॉर्गन और पियर्स के काम को संक्षेप और विस्तारित किया, और प्रतीकात्मक तर्क का एक व्यापक संदर्भ था जैसा कि 19वीं शताब्दी के अंत में समझा गया था।

मूलभूत सिद्धांत

चिंताएं कि गणित को एक उचित आधार पर नहीं बनाया गया था, गणित के मूलभूत क्षेत्रों जैसे अंकगणित, विश्लेषण और ज्यामिति के लिए स्वयंसिद्ध प्रणालियों के विकास के लिए नेतृत्व किया।

तर्कशास्त्र में, शब्द अंकगणित प्राकृतिक संख्याओं के सिद्धांत को संदर्भित करता है। जोसेफ पीनो^[8] बूले और श्रोडर की तार्किक प्रणाली की भिन्नता का उपयोग करते हुए, किन्तु क्वांटिफायर जोड़कर, अंकगणित के लिए स्वयंसिद्धों का एक सेट प्रकाशित किया जो उनके नाम (पीनो अभिगृहीत) को धारण करने के लिए आया था। Peano उस समय Frege के काम से अनभिज्ञ था। लगभग उसी समय रिचर्ड डेडेकिंड ने दिखाया कि प्राकृतिक संख्याएँ अद्वितीय रूप से उनके गणितीय प्रेरण गुणों द्वारा विशेषता हैं। डेडेकिंड ने एक अलग चरित्र-चित्रण का प्रस्ताव दिया, जिसमें पियानों के स्वयंसिद्धों के औपचारिक तार्किक चरित्र का अभाव था।^[9] डेडेकाइंड का काम, चूंकि, पीनो की प्रणाली में प्रमेयों को अप्राप्य सिद्ध करना करता है, जिसमें प्राकृतिक संख्याओं के सेट की विशिष्टता (समरूपता तक) और उत्तराधिकारी फ़ंक्शन और गणितीय प्रेरण से जोड़ और गुणा की पुनरावर्ती परिभाषाएं सम्मलित हैं।

19वीं शताब्दी के मध्य में, ज्यामिति के लिए यूक्लिड के स्वयंसिद्धों में दोष ज्ञात हो गए।^[10] 1826 में निकोलाई लोबाचेवस्की द्वारा स्थापित समानांतर अभिधारणा की स्वतंत्रता के अतिरिक्त,^[11] गणितज्ञों ने पाया कि यूक्लिड द्वारा दिए गए कुछ प्रमेय वास्तव में उनके स्वयंसिद्धों से सिद्ध नहीं थे। इनमें से प्रमेय यह है कि एक रेखा में कम से कम दो बिंदु होते हैं, या उसी त्रिज्या के वृत्त जिनके केंद्र उस त्रिज्या से अलग होते हैं, को प्रतिच्छेद करना चाहिए। हिल्बर्ट^[12] पास्च द्वारा पास्च के स्वयंसिद्ध पर निर्माण, हिल्बर्ट के स्वयंसिद्धों का एक पूरा सेट विकसित किया।^[13] ज्यामिति के स्वयंसिद्धीकरण में सफलता ने हिल्बर्ट को गणित के अन्य क्षेत्रों, जैसे कि प्राकृतिक संख्या और वास्तविक रेखा, के पूर्ण स्वयंसिद्धों की तलाश करने के लिए प्रेरित किया। यह 20वीं शताब्दी के पूर्वार्द्ध में अनुसंधान का एक प्रमुख क्षेत्र सिद्ध करना होगा।

19वीं सदी में वास्तविक विश्लेषण के सिद्धांत में अधिक प्रगति देखी गई, जिसमें कार्यों के अभिसरण के सिद्धांत और फूरियर श्रृंखला सम्मलित हैं। कार्ल वीयरस्ट्रास जैसे गणितज्ञों ने ऐसे कार्यों का निर्माण करना प्रारंभ किया जो अंतर्ज्ञान को फैलाते थे, जैसे कि सतत, कहीं नहीं अलग-अलग कार्य|कहीं-अलग-अलग निरंतर कार्य। संगणना के लिए एक नियम के रूप में किसी फ़ंक्शन की पिछली अवधारणाएं, या एक सहज ग्राफ़, अब पर्याप्त नहीं थीं। वीयरस्ट्रैस ने विश्लेषण के अंकगणित की वकालत करना प्रारंभ किया, जिसने प्राकृतिक संख्याओं के गुणों का उपयोग करके विश्लेषण को स्वयंसिद्ध करने की मांग की। आधुनिक (ε, δ) - सीमा और निरंतर कार्यों की परिभाषा पहले से ही 1817 में बर्नार्ड बोलजानो द्वारा विकसित की गई थी,^[14] किन्तु अपेक्षाकृत अनजान बने रहे। कॉची ने 1821 में निरंतरता को बहुत छोता के संदर्भ में परिभाषित किया (देखें कोर्ट डी'एनालिसिस, पृष्ठ 34)। 1858 में, डेडेकाइंड काटता है परिमेय संख्याओं की डेडेकिंड कटौती के संदर्भ में वास्तविक संख्याओं की एक परिभाषा प्रस्तावित की, एक परिभाषा अभी भी समकालीन ग्रंथों में कार्यरत है।^[15] जॉर्ज कैंटर ने अनंत समुच्चय सिद्धांत की मूलभूत अवधारणाओं को विकसित किया। उनके प्रारंभिक परिणामों ने प्रमुखता के सिद्धांत और कैंटर के पहले बेशुमार प्रमाण को विकसित किया कि वास्तविक और प्राकृतिक संख्याओं में अलग-अलग कार्डिनैलिटी हैं।^[16] अगले बीस वर्षों में, कैंटर ने प्रकाशनों की एक श्रृंखला में ट्रांसफिनिट नंबरों का एक सिद्धांत विकसित किया। 1891 में, उन्होंने वास्तविक संख्याओं की बेशुमारता का एक नया प्रमाण प्रकाशित किया जिसने कैंटर के विकर्ण तर्क को प्रस्तुत किया, और कैंटर के प्रमेय को सिद्ध करना करने के लिए इस पद्धति का उपयोग किया कि किसी भी सेट की कार्डिनैलिटी उसके पावरसेट के समान नहीं हो सकती। कैंटर का मानना था कि प्रत्येक सेट को सुव्यवस्थित किया जा सकता है, किन्तु इस परिणाम के लिए एक प्रमाण प्रस्तुत करने में असमर्थ था, इसे 1895 में एक खुली समस्या के रूप में छोड़ दिया।^[17]

20वीं सदी

20वीं सदी के प्रारंभिक दशकों में, अध्ययन के मुख्य क्षेत्र सेट थ्योरी और फॉर्मल लॉजिक थे। अनौपचारिक सेट सिद्धांत में विरोधाभासों की खोज ने कुछ लोगों को आश्चर्यचकित कर दिया कि क्या गणित स्वयं असंगत है, और निरंतरता के प्रमाणों की तलाश करने के लिए।

1900 में, डेविड हिल्बर्ट ने अगली सदी के लिए हिल्बर्ट की समस्याओं की एक प्रसिद्ध सूची प्रस्तुत की। इनमें से पहले दो क्रमशः सातत्य परिकल्पना को हल करने और प्राथमिक अंकगणित की निरंतरता को सिद्ध करना करने के लिए थे; दसवां एक ऐसी विधि का निर्माण करना था जो यह तय कर सके कि पूर्णांकों पर एक बहुभिन्नरूपी बहुपद समीकरण का समाधान है या नहीं। इन समस्याओं को हल करने के बाद के काम ने गणितीय तर्क की दिशा को आकार दिया, जैसा कि 1928 में प्रस्तुत हिल्बर्ट की निर्णय समस्या को हल करने के प्रयास में किया गया था। इस समस्या ने एक ऐसी प्रक्रिया के लिए कहा, जो एक औपचारिक गणितीय कथन को देखते हुए तय करेगी कि कथन सही है या गलत।

सिद्धांत और विरोधाभास सेट करें

अर्नेस्ट ज़र्मेलो ने एक प्रमाण दिया कि वेल-ऑर्डरिंग प्रमेय | हर सेट को अच्छी तरह से ऑर्डर किया जा सकता है, एक परिणाम जॉर्ज कैंटर प्राप्त करने में असमर्थ था।^[18] प्रमाण प्राप्त करने के लिए, ज़र्मेलो ने पसंद का स्वयंसिद्ध प्रस्तुत किया, जिसने गणितज्ञों और सेट सिद्धांत के अग्रदूतों के बीच गरमागरम बहस और शोध किया। विधि की तत्काल आलोचना ने ज़र्मेलो को अपने परिणाम की दूसरी व्याख्या प्रकाशित करने के लिए प्रेरित किया, सीधे उसके प्रमाण की आलोचनाओं को संबोधित करते हुए।^[19] इस पत्र ने गणित समुदाय में पसंद के स्वयंसिद्ध की सामान्य स्वीकृति का नेतृत्व किया।

पसंद के स्वयंसिद्ध के बारे में संदेह हाल ही में खोजे गए सहज सेट सिद्धांत में विरोधाभासों द्वारा प्रबल किया गया था। सेसारे बुराली-फोर्टी^[20] विरोधाभास बताने वाले पहले व्यक्ति थे: बुराली-फोर्टी विरोधाभास दर्शाता है कि सभी क्रमिक संख्याओं का संग्रह एक सेट नहीं बना सकता। इसके तुरंत बाद, बर्ट्रेंड रसेल ने 1901 में रसेल के विरोधाभास की खोज की और जूल्स रिचर्ड (गणितज्ञ) ने रिचर्ड के विरोधाभास की खोज की।^[21]^{[full citation needed]} ज़र्मेलो ने समुच्चय सिद्धांत के लिए स्वयंसिद्धों का पहला सेट प्रदान किया।^[22] अब्राहम फ्रेंकेल द्वारा प्रस्तावित प्रतिस्थापन के अतिरिक्त स्वयंसिद्ध के साथ ये स्वयंसिद्ध, अब ज़र्मेलो-फ्रेंकेल सेट सिद्धांत (जेडएफ) कहलाते हैं। ज़र्मेलो के स्वयंसिद्धों ने रसेल के विरोधाभास से बचने के लिए आकार की सीमा के सिद्धांत को सम्मलित किया।

1910 में, रसेल और अल्फ्रेड नॉर्थ व्हाइटहेड द्वारा प्रिंसिपिया मैथेमेटिका का पहला खंड प्रकाशित किया गया था। इस मूलभूत कार्य ने टाइप थ्योरी के पूरी तरह से औपचारिक ढांचे में कार्यों और कार्डिनैलिटी के सिद्धांत को विकसित किया, जिसे रसेल और व्हाइटहेड ने विरोधाभास से बचने के प्रयास में विकसित किया। प्रिंसिपिया मैथेमेटिका को 20वीं शताब्दी के सबसे प्रभावशाली कार्यों में से एक माना जाता है, चूंकि प्रकार सिद्धांत की रूपरेखा गणित के लिए एक मूलभूत सिद्धांत के रूप में लोकप्रिय सिद्ध करना नहीं हुई।^[23] फ्रेंकेल^[24] सिद्ध करना कर दिया कि पसंद के स्वयंसिद्ध को जर्मेलो के सेट सिद्धांत के स्वयंसिद्धों से यूरेलेमेंट्स के साथ सिद्ध नहीं किया जा सकता है। बाद में पॉल कोहेन द्वारा काम^[25] ने दिखाया कि यूरेलेमेंट्स को जोड़ने की आवश्यकता नहीं है, और ZF में पसंद का स्वयंसिद्ध असाध्य है। कोहेन के प्रमाण ने बल (गणित) की विधि विकसित की, जो अब सेट थ्योरी में स्वतंत्रता परिणाम स्थापित करने के लिए एक महत्वपूर्ण उपकरण है।^[26]

प्रतीकात्मक तर्क

लियोपोल्ड लोवेनहेम^[27] और थोरलफ स्कोलेम^[28] लोवेनहेम-स्कोलेम प्रमेय प्राप्त किया, जो कहता है कि प्रथम-क्रम तर्क अनंत संरचनाओं की कार्डिनल संख्या को नियंत्रित नहीं कर सकता है। स्कोलेम ने महसूस किया कि यह प्रमेय सेट सिद्धांत के प्रथम-क्रम औपचारिकताओं पर लागू होगा, और इसका तात्पर्य है कि ऐसी किसी भी औपचारिकता में एक गणनीय संरचना (गणितीय तर्क) है। यह विरोधाभासी तथ्य स्कोलेम के विरोधाभास के रूप में जाना जाने लगा।

अपने डॉक्टरेट थीसिस में, कर्ट गोडेल ने पूर्णता प्रमेय को सिद्ध किया, जो पहले क्रम के तर्क में वाक्य रचना और शब्दार्थ के बीच एक पत्राचार स्थापित करता है।^[29] गोडेल ने कॉम्पैक्टनेस प्रमेय को सिद्ध करना करने के लिए पूर्णता प्रमेय का उपयोग किया, जिसमें पहले क्रम के तार्किक परिणाम की सीमित प्रकृति का प्रदर्शन किया गया। इन परिणामों ने प्रथम-क्रम तर्क को गणितज्ञों द्वारा उपयोग किए जाने वाले प्रमुख तर्क के रूप में स्थापित करने में मदद की।

1931 में, गोडेल ने प्रिंसिपिया मैथेमेटिका और संबंधित प्रणालियों के औपचारिक रूप से अनिर्णायक प्रस्तावों पर प्रकाशित किया, जो सभी पर्याप्त रूप से मजबूत, प्रभावी प्रथम-क्रम के सिद्धांतों की अपूर्णता (शब्द के एक अलग अर्थ में) को सिद्ध करना करता है। यह परिणाम, गोडेल की अपूर्णता प्रमेय के रूप में जाना जाता है, गणित के लिए स्वयंसिद्ध नींव पर गंभीर सीमाएं स्थापित करता है, हिल्बर्ट के कार्यक्रम के लिए एक मजबूत झटका मारता है। इसने अंकगणित के किसी भी औपचारिक सिद्धांत के भीतर अंकगणित का एक निरंतरता प्रमाण प्रदान करने की असंभवता को दिखाया। चूँकि, हिल्बर्ट ने कुछ समय के लिए अपूर्णता प्रमेय के महत्व को स्वीकार नहीं किया।^{[lower-alpha 1]} गोडेल के प्रमेय से पता चलता है कि किसी भी पर्याप्त रूप से मजबूत, प्रभावी स्वयंसिद्ध प्रणाली का एक संगति प्रमाण सिस्टम में ही प्राप्त नहीं किया जा सकता है, यदि सिस्टम सुसंगत है, और न ही किसी कमजोर प्रणाली में। यह संगति प्रमाणों की संभावना को खोलता है जिन्हें उनके द्वारा विचार की गई प्रणाली के भीतर औपचारिक रूप नहीं दिया जा सकता है। जेंटजन ने ट्रांसफिनिट इंडक्शन के सिद्धांत के साथ एक परिमित प्रणाली का उपयोग करके अंकगणित की निरंतरता को सिद्ध करना किया।^[30] Gentzen के नतीजे ने कट उन्मूलन और सबूत-सैद्धांतिक अध्यादेशों के विचारों को प्रस्तुत किया, जो सबूत सिद्धांत में महत्वपूर्ण उपकरण बन गए। गोडेल ने एक अलग संगति प्रमाण दिया, जो मौलिक अंकगणित की संगति को उच्च प्रकारों में अंतर्ज्ञानवादी अंकगणित की तुलना में कम कर देता है।^[31] आम आदमी के लिए प्रतीकात्मक तर्क पर पहली पाठ्यपुस्तक 1896 में एलिस इन वंडरलैंड के लेखक लुईस कैरोल द्वारा लिखी गई थी।^[32]

अन्य शाखाओं की शुरुआत

अल्फ्रेड टार्स्की ने मॉडल सिद्धांत की मूल बातें विकसित कीं।

1935 की शुरुआत में, प्रमुख गणितज्ञों के एक समूह ने छद्म नाम निकोलस बोर्बाकी के अनुसार Éléments de mathématique, विश्वकोश गणित ग्रंथों की एक श्रृंखला प्रकाशित करने के लिए सहयोग किया। कठोर और स्वयंसिद्ध शैली में लिखे गए इन ग्रंथों में कठोर प्रस्तुति और सेट-सैद्धांतिक नींव पर बल दिया गया है। इन पाठों द्वारा गढ़ी गई शब्दावली, जैसे कि शब्द आक्षेप, अंतःक्षेपण, और अनुमान|आक्षेपण, अंतःक्षेपण, और अनुमान, और सेट-सैद्धांतिक नींव नियोजित ग्रंथ, पूरे गणित में व्यापक रूप से अपनाए गए थे।

संगणनीयता सिद्धांत अध्ययन को पुनरावर्तन सिद्धांत या कम्प्यूटेबिलिटी सिद्धांत के रूप में जाना जाने लगा, क्योंकि गोडेल और क्लेन द्वारा प्रारंभिक औपचारिकताएं कार्यों की पुनरावर्ती परिभाषाओं पर निर्भर थीं।^{[lower-alpha 2]} जब इन परिभाषाओं को ट्यूरिंग मशीनों से जुड़े ट्यूरिंग की औपचारिकता के बराबर दिखाया गया, तो यह स्पष्ट हो गया कि एक नई अवधारणा - संगणनीय कार्य - की खोज की गई थी, और यह परिभाषा कई स्वतंत्र विशेषताओं को स्वीकार करने के लिए पर्याप्त मजबूत थी। 1931 में अपूर्णता प्रमेय पर अपने काम में, गोडेल के पास एक प्रभावी औपचारिक प्रणाली की कठोर अवधारणा का अभाव था; उन्होंने तुरंत महसूस किया कि कम्प्यूटेबिलिटी की नई परिभाषाओं का उपयोग इस उद्देश्य के लिए किया जा सकता है, जिससे उन्हें अपूर्णता प्रमेय को सामान्य रूप से बताने की अनुमति मिलती है जो केवल मूल पेपर में निहित हो सकती है।

1940 के दशक में स्टीफन कोल क्लेन और एमिल लियोन पोस्ट द्वारा पुनरावर्तन सिद्धांत में कई परिणाम प्राप्त हुए। क्लीन^[33] ट्यूरिंग द्वारा पूर्वाभासित सापेक्ष संगणनीयता की अवधारणाओं को प्रस्तुत किया,^[34] और अंकगणितीय पदानुक्रम। बाद में क्लेन ने पुनरावर्तन सिद्धांत को उच्च-क्रम के कार्यों के लिए सामान्यीकृत किया। क्लेन और जॉर्ज क्रेसेल ने विशेष रूप से सबूत सिद्धांत के संदर्भ में अंतर्ज्ञानवादी गणित के औपचारिक संस्करणों का अध्ययन किया।

औपचारिक तार्किक प्रणाली

इसके मूल में, गणितीय तर्क औपचारिक तार्किक प्रणालियों का उपयोग करके व्यक्त की गई गणितीय अवधारणाओं से संबंधित है। ये प्रणालियाँ, चूंकि वे कई विवरणों में भिन्न हैं, एक निश्चित औपचारिक भाषा में केवल भावों पर विचार करने की सामान्य संपत्ति साझा करती हैं। गणित की नींव के लिए उनकी प्रयोज्यता और उनके वांछनीय प्रमाण-सैद्धांतिक गुणों के कारण, प्रस्तावपरक तर्क और प्रथम-क्रम तर्क की प्रणालियाँ आज सबसे व्यापक रूप से अध्ययन की जाती हैं।^{[lower-alpha 3]} गैर-मौलिक तर्क जैसे अंतर्ज्ञानवादी तर्क के साथ दूसरे क्रम के तर्क या अनंत तर्क जैसे मजबूत मौलिक तर्कों का भी अध्ययन किया जाता है।

प्रथम-क्रम तर्क

प्रथम-क्रम तर्क एक विशेष तार्किक प्रणाली है। इसके वाक्य-विन्यास में अच्छी तरह से निर्मित सूत्रों के रूप में केवल परिमित अभिव्यक्तियाँ सम्मलित हैं, जबकि इसके प्रथम-क्रम तर्क # शब्दार्थ को सभी क्वांटिफायर (तर्क) की सीमा को प्रवचन के एक निश्चित डोमेन तक सीमित करने की विशेषता है।

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

गोडेल की पूर्णता प्रमेय ने प्रथम-क्रम तर्क में तार्किक परिणाम की सिमेंटिक और सिंटैक्टिक परिभाषाओं के बीच समानता स्थापित की।^[29] यह दर्शाता है कि यदि प्रत्येक मॉडल में एक विशेष वाक्य सत्य है जो स्वयंसिद्धों के एक विशेष सेट को संतुष्ट करता है, तो स्वयंसिद्धों से वाक्य की एक सीमित कटौती होनी चाहिए। कॉम्पैक्टनेस प्रमेय पहली बार पूर्णता प्रमेय के गोडेल के प्रमाण में एक लेम्मा के रूप में प्रकट हुआ, और तर्कशास्त्रियों को इसके महत्व को समझने और इसे नियमित रूप से लागू करने में कई साल लग गए। यह कहता है कि वाक्यों के एक सेट में एक मॉडल होता है यदि और केवल यदि प्रत्येक परिमित उपसमुच्चय में एक मॉडल होता है, या दूसरे शब्दों में, सूत्रों के एक असंगत सेट में एक परिमित असंगत उपसमुच्चय होना चाहिए। पूर्णता और कॉम्पैक्टनेस प्रमेय प्रथम-क्रम तर्क और मॉडल सिद्धांत के विकास में तार्किक परिणाम के परिष्कृत विश्लेषण की अनुमति देते हैं, और वे गणित में प्रथम-क्रम तर्क की प्रमुखता के प्रमुख कारण हैं।

गोडेल के अपूर्णता प्रमेय प्रथम-क्रम के स्वयंसिद्धों पर अतिरिक्त सीमाएँ स्थापित करते हैं।^[35] पहला अपूर्णता प्रमेय बताता है कि किसी भी सुसंगत, प्रभावी ढंग से दी गई (नीचे परिभाषित) तार्किक प्रणाली के लिए जो अंकगणित की व्याख्या करने में सक्षम है, एक कथन उपस्तिथ है जो सत्य है (इस अर्थ में कि यह प्राकृतिक संख्याओं के लिए है) किन्तु उस तार्किक के भीतर सिद्ध नहीं है प्रणाली (और जो वास्तव में अंकगणित के कुछ गैर-मानक मॉडल में विफल हो सकती है | अंकगणित के गैर-मानक मॉडल जो तार्किक प्रणाली के अनुरूप हो सकते हैं)। उदाहरण के लिए, पीआनो सिद्धांतों को व्यक्त करने में सक्षम प्रत्येक तार्किक प्रणाली में, गोडेल वाक्य प्राकृतिक संख्याओं के लिए मान्य है किन्तु सिद्ध नहीं किया जा सकता है।

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

अन्य मौलिक लॉजिक्स

पहले क्रम के तर्क के अतिरिक्त कई तर्कशास्त्रों का अध्ययन किया जाता है। इनमें असीम तर्क सम्मलित हैं, जो सूत्रों को अनंत मात्रा में जानकारी प्रदान करने की अनुमति देते हैं, और उच्च-क्रम लॉजिक्स, जिसमें सेट सिद्धांत का एक हिस्सा सीधे उनके शब्दार्थ में सम्मलित होता है।

सबसे अच्छी तरह से अध्ययन किया गया अनंत तर्क है $L_{\omega _{1},\omega }$ . इस तर्क में, क्वांटिफायर्स को केवल परिमित गहराई तक नेस्टेड किया जा सकता है, जैसा कि पहले क्रम के तर्क में होता है, किन्तु सूत्रों में उनके भीतर परिमित या गणनीय रूप से अनंत संयुग्मन और वियोजन हो सकते हैं। इस प्रकार, उदाहरण के लिए, के सूत्र का उपयोग करके यह कहना संभव है कि एक वस्तु एक पूर्ण संख्या है $L_{\omega _{1},\omega }$ जैसे कि

(x=0)\lor (x=1)\lor (x=2)\lor \cdots .

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

एक अन्य प्रकार के लॉजिक्स हैंfixed-point logics जो आगमनात्मक परिभाषाओं की अनुमति देता है, जैसे कि आदिम पुनरावर्ती कार्यों के लिए लिखता है।

एक औपचारिक रूप से प्रथम-क्रम तर्क के विस्तार को परिभाषित कर सकता है - एक धारणा जो इस खंड में सभी लॉजिक्स को सम्मलित करती है क्योंकि वे कुछ मौलिक तरीकों से प्रथम-क्रम तर्क की तरह व्यवहार करते हैं, किन्तु सामान्य रूप से सभी तर्कों को सम्मलित नहीं करते हैं, उदा। यह अंतर्ज्ञानवादी, मोडल या फजी लॉजिक को सम्मलित नहीं करता है।

लिंडस्ट्रॉम के प्रमेय का अर्थ है कि कॉम्पैक्टनेस प्रमेय और लोवेनहाइम-स्कोलेम प्रमेय दोनों को संतुष्ट करने वाले प्रथम-क्रम तर्क का एकमात्र विस्तार #डाउनवर्ड पार्ट|डाउनवर्ड लोवेनहेम-स्कोलेम प्रमेय प्रथम-क्रम तर्क है।

अशास्त्रीय और मोडल लॉजिक

मॉडल तर्क में अतिरिक्त मोडल ऑपरेटर सम्मलित होते हैं, जैसे एक ऑपरेटर जो बताता है कि एक विशेष सूत्र न केवल सत्य है, बल्कि अनिवार्य रूप से सत्य है। यद्यपि मोडल लॉजिक का उपयोग अधिकांशतःगणित को स्वयंसिद्ध करने के लिए नहीं किया जाता है, किन्तु इसका उपयोग प्रथम-क्रम की उपयोगिता के गुणों का अध्ययन करने के लिए किया जाता है।^[36] और सेट-सैद्धांतिक बल।^[37] ब्रोवर के अंतर्ज्ञानवाद के कार्यक्रम का अध्ययन करने के लिए हेटिंग द्वारा अंतर्ज्ञानवादी तर्क विकसित किया गया था, जिसमें ब्रोवर ने खुद को औपचारिकता से बचा लिया था। अंतर्ज्ञानवादी तर्क विशेष रूप से बहिष्कृत मध्य के कानून को सम्मलित नहीं करता है, जो बताता है कि प्रत्येक वाक्य या तो सत्य है या इसकी अस्वीकृति सत्य है। इंट्यूशनिस्टिक लॉजिक के प्रूफ थ्योरी के साथ क्लेन के काम ने दिखाया कि इंट्यूशनिस्टिक प्रूफ से रचनात्मक जानकारी प्राप्त की जा सकती है। उदाहरण के लिए, अंतर्ज्ञान संबंधी अंकगणित में कोई भी सिद्ध रूप से कुल कार्य संगणनीय है; यह अंकगणित के मौलिक सिद्धांतों जैसे पीनो अंकगणित में सत्य नहीं है।

बीजगणितीय तर्क

बीजगणितीय तर्क औपचारिक तर्कशास्त्र के शब्दार्थों का अध्ययन करने के लिए अमूर्त बीजगणित के तरीकों का उपयोग करता है। मौलिक प्रस्तावपरक तर्क में सत्य मूल्यों का प्रतिनिधित्व करने के लिए बूलियन बीजगणित (संरचना) का एक मौलिक उदाहरण है, और अंतर्ज्ञानवादी प्रस्तावपरक तर्क में सत्य मूल्यों का प्रतिनिधित्व करने के लिए हेटिंग बीजगणित का उपयोग। पहले क्रम के तर्क और उच्च क्रम के तर्क जैसे मजबूत तर्कों का अध्ययन बेलनाकार बीजगणित जैसी अधिक जटिल बीजगणितीय संरचनाओं का उपयोग करके किया जाता है।

सेट सिद्धांत

सेट सिद्धांत सेट (गणित) का अध्ययन है, जो वस्तुओं का सार संग्रह है। सेट थ्योरी के औपचारिक स्वयंसिद्धों को विकसित करने से पहले कई बुनियादी धारणाएं, जैसे कि क्रमवाचक और कार्डिनल नंबर, कैंटर द्वारा अनौपचारिक रूप से विकसित किए गए थे। ज़र्मेलो सेट सिद्धांत, ज़र्मेलो के कारण,^[22] ज़र्मेलो-फ्रेंकेल सेट थ्योरी (ZF) बनने के लिए थोड़ा बढ़ाया गया था, जो अब गणित के लिए सबसे व्यापक रूप से उपयोग किया जाने वाला मूलभूत सिद्धांत है।

वॉन न्यूमैन-बर्नेज़-गोडेल सेट थ्योरी (NBG), मोर्स-केली सेट थ्योरी (MK) और न्यू फ़ाउंडेशन (NF) सहित सेट थ्योरी की अन्य औपचारिकताओं को प्रस्तावित किया गया है। इनमें से ZF, NBG, और MK समुच्चयों के संचयी पदानुक्रम का वर्णन करने में समान हैं। नई नींव एक अलग दृष्टिकोण अपनाती है; यह अपने सेट-अस्तित्व स्वयंसिद्धों पर प्रतिबंधों की कीमत पर सभी सेटों के सेट जैसी वस्तुओं को अनुमति देता है। क्रिपके-प्लेटक सेट सिद्धांत की प्रणाली सामान्यीकृत पुनरावर्तन सिद्धांत से निकटता से संबंधित है।

सेट थ्योरी में दो प्रसिद्ध कथन पसंद का स्वयंसिद्ध और सातत्य परिकल्पना हैं। पसंद का स्वयंसिद्ध, सबसे पहले ज़र्मेलो द्वारा कहा गया,^[18] फ्रैंकेल द्वारा जेडएफ से स्वतंत्र सिद्ध करना किया गया था,^[24] किन्तु गणितज्ञों द्वारा व्यापक रूप से स्वीकार किया जाने लगा है। इसमें कहा गया है कि गैर-खाली सेटों का एक संग्रह दिया गया है जिसमें एक सेट सी है जिसमें संग्रह में प्रत्येक सेट से ठीक एक तत्व होता है। कहा जाता है कि सेट सी संग्रह में प्रत्येक सेट से एक तत्व का चयन करता है। जबकि इस तरह की पसंद करने की क्षमता कुछ लोगों द्वारा स्पष्ट मानी जाती है, चूंकि संग्रह में प्रत्येक सेट गैर-खाली है, एक सामान्य, ठोस नियम की कमी जिसके द्वारा चुनाव किया जा सकता है, स्वयंसिद्ध गैर-रचनात्मक प्रदान करता है। स्टीफन बानाच और अल्फ्रेड तर्स्की ने दिखाया कि पसंद के स्वयंसिद्ध का उपयोग एक ठोस गेंद को टुकड़ों की एक सीमित संख्या में विघटित करने के लिए किया जा सकता है, जिसे मूल आकार के दो ठोस गेंदों को बनाने के लिए बिना स्केलिंग के पुन: व्यवस्थित किया जा सकता है।^[38] यह प्रमेय, जिसे बनच-तर्स्की विरोधाभास के रूप में जाना जाता है, पसंद के स्वयंसिद्ध के कई प्रतिगामी परिणामों में से एक है।

कॉन्टिनम परिकल्पना, जिसे पहले कैंटर द्वारा एक अनुमान के रूप में प्रस्तावित किया गया था, डेविड हिल्बर्ट द्वारा 1900 में उनकी 23 समस्याओं में से एक के रूप में सूचीबद्ध किया गया था। गोडेल ने दिखाया कि कॉन्टिनम परिकल्पना को ज़र्मेलो-फ्रेंकेल सेट सिद्धांत (स्वयंसिद्ध के साथ या उसके बिना) के स्वयंसिद्धों से अप्रमाणित नहीं किया जा सकता है। पसंद का), सेट सिद्धांत के रचनात्मक ब्रह्मांड को विकसित करके जिसमें निरंतर परिकल्पना को धारण करना चाहिए। 1963 में, पॉल कोहेन ने दिखाया कि ज़र्मेलो-फ्रेंकेल सेट सिद्धांत के स्वयंसिद्धों से सातत्य परिकल्पना को सिद्ध नहीं किया जा सकता है।^[25] स्वतंत्रता के इस परिणाम ने हिल्बर्ट के सवाल को पूरी तरह से सुलझाया नहीं, चूंकि, यह संभव है कि सेट सिद्धांत के लिए नए सिद्धांत परिकल्पना को हल कर सकें। इन पंक्तियों के साथ हाल ही में काम डब्ल्यू ह्यूग वुडिन द्वारा किया गया है, चूंकि इसका महत्व अभी तक स्पष्ट नहीं है।^[39] समुच्चय सिद्धांत में समसामयिक शोध में बड़े कार्डिनल्स और निर्धारकता का अध्ययन सम्मलित है। बड़े कार्डिनल विशेष गुण वाले कार्डिनल संख्या होते हैं जो इतने मजबूत होते हैं कि ऐसे कार्डिनल के अस्तित्व को ZFC में सिद्ध नहीं किया जा सकता है। सामान्यतः अध्ययन किए गए सबसे छोटे बड़े कार्डिनल का अस्तित्व, एक बड़ा कार्डिनल, पहले से ही ZFC की निरंतरता का अर्थ है। इस तथ्य के बावजूद कि बड़े कार्डिनल्स में अत्यधिक उच्च कार्डिनैलिटी होती है, वास्तविक रेखा की संरचना के लिए उनके अस्तित्व में कई प्रभाव होते हैं। निश्चयात्मकता कुछ दो-खिलाड़ी खेलों के लिए जीत की रणनीतियों के संभावित अस्तित्व को संदर्भित करती है (खेलों को निर्धारित कहा जाता है)। इन रणनीतियों का अस्तित्व वास्तविक रेखा और अन्य पोलिश रिक्त स्थान के संरचनात्मक गुणों का तात्पर्य है।

मॉडल सिद्धांत

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

किसी विशेष सिद्धांत के सभी मॉडलों के समुच्चय को प्राथमिक वर्ग कहा जाता है; मौलिक मॉडल सिद्धांत एक विशेष प्राथमिक वर्ग में मॉडल के गुणों को निर्धारित करना चाहता है, या यह निर्धारित करता है कि संरचनाओं के कुछ वर्ग प्राथमिक वर्ग बनाते हैं या नहीं।

क्वांटिफायर एलिमिनेशन की विधि का उपयोग यह दिखाने के लिए किया जा सकता है कि विशेष सिद्धांतों में निश्चित सेट बहुत जटिल नहीं हो सकते हैं। टार्स्की ने वास्तविक-बंद क्षेत्रों के लिए क्वांटिफायर एलिमिनेशन की स्थापना की, एक परिणाम जो वास्तविक संख्या के क्षेत्र के सिद्धांत को भी दिखाता है वह निर्णायक सेट है।^[40] उन्होंने यह भी नोट किया कि उनकी विधियां मनमाना विशेषता वाले बीजगणितीय रूप से बंद क्षेत्रों पर समान रूप से लागू होती हैं। इससे विकसित होने वाला एक आधुनिक उप क्षेत्र ओ-न्यूनतम सिद्धांत | ओ-न्यूनतम संरचनाओं से संबंधित है।

मॉर्ले की श्रेणीबद्धता प्रमेय, माइकल डी. मॉर्ले द्वारा सिद्ध,^[41] बताता है कि यदि एक गणनीय भाषा में प्रथम-क्रम सिद्धांत कुछ बेशुमार कार्डिनैलिटी में स्पष्ट है, अर्थात इस कार्डिनैलिटी के सभी मॉडल आइसोमॉर्फिक हैं, तो यह सभी बेशुमार कार्डिनैलिटी में स्पष्ट है।

सातत्य परिकल्पना का एक तुच्छ परिणाम यह है कि सातत्य से कम कई गैर-समरूपी गणनीय मॉडल वाले एक पूर्ण सिद्धांत में केवल गिनती के कई मॉडल हो सकते हैं। वॉट का अनुमान | वॉट का अनुमान, रॉबर्ट लॉसन वॉट के नाम पर रखा गया है, कहता है कि यह सातत्य परिकल्पना से स्वतंत्र रूप से भी सच है। इस अनुमान के कई विशेष मामले स्थापित किए गए हैं।

पुनरावर्तन सिद्धांत

पुनरावर्तन सिद्धांत, जिसे संगणनीयता सिद्धांत भी कहा जाता है, संगणनीय कार्यों और ट्यूरिंग डिग्री के गुणों का अध्ययन करता है, जो अगणनीय कार्यों को उन सेटों में विभाजित करता है जिनमें समान स्तर की असम्बद्धता होती है। पुनरावर्तन सिद्धांत में सामान्यीकृत संगणनीयता और निश्चितता का अध्ययन भी सम्मलित है। पुनरावर्तन सिद्धांत 1930 के दशक में रोज़ा पेटर, अलोंजो चर्च और एलन ट्यूरिंग के काम से विकसित हुआ, जिसे 1940 के दशक में स्टीफन कोल क्लेन और एमिल लियोन पोस्ट द्वारा अधिक विस्तारित किया गया था।^[42] मौलिक पुनरावर्तन सिद्धांत प्राकृतिक संख्याओं से प्राकृतिक संख्याओं तक कार्यों की संगणना पर केंद्रित है। मौलिक परिणाम ट्यूरिंग मशीन, लैम्ब्डा कैलकुलस | λ कैलकुलस और अन्य प्रणालियों का उपयोग करके कई स्वतंत्र, समकक्ष विशेषताओं के साथ कम्प्यूटेशनल कार्यों का एक मजबूत, विहित वर्ग स्थापित करते हैं। अधिक उन्नत परिणाम ट्यूरिंग डिग्री की संरचना और पुनरावर्ती गणना योग्य सेटों के जाली (क्रम) से संबंधित हैं।

सामान्यीकृत पुनरावर्तन सिद्धांत पुनरावर्तन सिद्धांत के विचारों को संगणनाओं तक विस्तारित करता है जो अब आवश्यक रूप से परिमित नहीं हैं। इसमें उच्च प्रकारों के साथ-साथ हाइपरअरिथमेटिकल सिद्धांत और अल्फा रिकर्सन सिद्धांत | α-रिकर्सन सिद्धांत जैसे क्षेत्रों में कम्प्यूटेबिलिटी का अध्ययन सम्मलित है।

पुनरावर्तन सिद्धांत में समकालीन अनुसंधान में एल्गोरिथम यादृच्छिकता, संगणनीय मॉडल सिद्धांत और रिवर्स गणित जैसे अनुप्रयोगों के अध्ययन के साथ-साथ शुद्ध पुनरावर्तन सिद्धांत में नए परिणाम सम्मलित हैं।

एल्गोरिदमिक रूप से अघुलनशील समस्याएं

पुनरावर्तन सिद्धांत का एक महत्वपूर्ण उपक्षेत्र एल्गोरिथम असम्बद्धता का अध्ययन करता है; एक निर्णय समस्या या कार्य समस्या एल्गोरिथम रूप से अघुलनशील है यदि कोई संभव संगणनीय एल्गोरिथम नहीं है जो समस्या के सभी कानूनी इनपुट के लिए सही उत्तर देता है। 1936 में चर्च और ट्यूरिंग द्वारा स्वतंत्र रूप से प्राप्त की गई अघुलनशीलता के बारे में पहला परिणाम दिखाता है कि एंट्सचीडंगस्प्रोब्लेम एल्गोरिथम रूप से अघुलनशील है। ट्यूरिंग ने हॉल्टिंग समस्या की अघुलनशीलता को स्थापित करके इसे सिद्ध करना कर दिया, जिसके परिणामस्वरूप पुनरावर्तन सिद्धांत और कंप्यूटर विज्ञान दोनों में दूरगामी निहितार्थ थे।

साधारण गणित से अनिर्णनीय समस्याओं के कई ज्ञात उदाहरण हैं। 1955 में प्योत्र नोविकोव द्वारा और 1959 में स्वतंत्र रूप से डब्ल्यू बूने द्वारा समूहों के लिए शब्द समस्या एल्गोरिथम रूप से अघुलनशील सिद्ध करना हुई थी। 1962 में टिबोर राडो द्वारा विकसित व्यस्त बीवर समस्या एक और प्रसिद्ध उदाहरण है।

हिल्बर्ट की दसवीं समस्या ने यह निर्धारित करने के लिए एक एल्गोरिथ्म के लिए कहा कि पूर्णांक गुणांक वाले एक बहुभिन्नरूपी बहुपद समीकरण का पूर्णांक में समाधान है या नहीं। आंशिक प्रगति जूलिया रॉबिन्सन, मार्टिन डेविस (गणितज्ञ) और हिलेरी पटनम द्वारा की गई थी। 1970 में यूरी मटियासेविच द्वारा समस्या की एल्गोरिथम की अघुलनशीलता को सिद्ध किया गया था।^[43]

प्रमाण सिद्धांत और रचनात्मक गणित

प्रमाण सिद्धांत विभिन्न तार्किक निगमन प्रणालियों में औपचारिक प्रमाणों का अध्ययन है। इन प्रमाणों को औपचारिक गणितीय वस्तुओं के रूप में दर्शाया जाता है, जो गणितीय तकनीकों द्वारा उनके विश्लेषण को सुगम बनाता है। सामान्यतः हिल्बर्ट-शैली की कटौती प्रणाली, प्राकृतिक कटौती की प्रणाली और जेंटजन द्वारा विकसित क्रमिक कलन सहित कई कटौती प्रणालियों पर विचार किया जाता है।

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

सबूत सिद्धांत में हालिया विकास में उलरिच कोहलेनबैक द्वारा सबूत खनन का अध्ययन और माइकल राथजेन द्वारा सबूत-सैद्धांतिक अध्यादेशों का अध्ययन सम्मलित है।

अनुप्रयोग

गणितीय तर्क को न केवल गणित और इसकी नींव पर सफलतापूर्वक लागू किया गया है (गॉटलॉब फ्रेज|जी. फ्रेगे, बर्ट्रेंड रसेल|बी. रसेल, डेविड हिल्बर्ट|डी. हिल्बर्ट, पॉल बर्नेज़|पी. बर्नेज़, हेनरिक स्कोल्ज़|एच. स्कोल्ज़, रुडोल्फ कार्नाप|आर. कार्नाप, स्टानिस्लाव लेस्निव्स्की|एस. लेस्निव्स्की, थोराल्फ स्कोलेम|टी. स्कोलेम), किन्तु भौतिकी के लिए भी (आर. कार्नाप, ए. डिट्रिच, बी. रसेल, क्लाउड शैनन|सी.ई. शैनन, अल्फ्रेड नॉर्थ व्हाइटहेड|ए.एन. व्हाइटहेड , हैंस रीचेनबैक|एच. रीचेनबैक, पी. फेवरियर), जीव विज्ञान (जोसेफ हेनरी वुडगर|जे.एच. वुडगर, अल्फ्रेड टार्स्की|ए. टार्स्की), मनोविज्ञान के लिए (फ्रेडरिक फिच|एफ.बी. फिच, कार्ल गुस्ताव हेम्पेल|सी.जी. हेम्पेल), कानून के लिए और नैतिकता (कार्ल मेन्जर| के. मेन्जर, यू. क्लुग, पी. ओपेनहेम), अर्थशास्त्र (जॉन वॉन न्यूमैन|जे. न्यूमैन, ऑस्कर मॉर्गनस्टर्न|ओ. मॉर्गनस्टर्न) से व्यावहारिक प्रश्न (एडमंड बर्कले|ई.सी. बर्कले, ई. स्टैम), और यहां तक कि तत्वमीमांसा (जे. [जन] सलामुचा, एच. स्कोल्ज़, जोज़ेफ़ मारिया बोचेंस्की|जे.एम. बोचेंस्की)। तर्क के इतिहास के लिए इसके अनुप्रयोग अत्यंत उपयोगी सिद्ध करना  हुए हैं (जन लुकासिविज़|जे. लुकासिविक्ज़, एच. स्कोल्ज़, बेन्सन मेट्स|बी. मेट्स, ए. बेकर, अर्नेस्ट एडिसन मूडी|ई. मूडी, जे. सालामुचा, के. डुएर, जेड. जॉर्डन, फिलोथियस बोहेनर|पी. बोहेनर, जे.एम. बोचेंस्की, एस. [स्टैनिस्लाव] टी. शायर, डैनियल एच.एच. इंगल्स सीनियर|डी. इंगल्स)।^[45] धर्मशास्त्र के लिए भी आवेदन किए गए हैं (एफ. ड्रयूनोव्स्की, जे. सालामुचा, आई. थॉमस)।^[45]

कंप्यूटर विज्ञान के साथ कनेक्शन

कम्प्यूटेबिलिटी थ्योरी (कंप्यूटर साइंस) का अध्ययन गणितीय तर्क में कम्प्यूटेबिलिटी के अध्ययन से निकटता से संबंधित है। चूँकि, जोर देने में अंतर है। कंप्यूटर विज्ञान अधिकांशतःठोस प्रोग्रामिंग भाषाओं और व्यवहार्य संगणनीयता पर ध्यान केंद्रित करता है, जबकि गणितीय तर्क में शोधकर्ता अधिकांशतःसंगणनीयता पर एक सैद्धांतिक अवधारणा के रूप में और गैर-संगणनीयता पर ध्यान केंद्रित करते हैं।

कार्यक्रम शब्दार्थ का सिद्धांत मॉडल सिद्धांत से संबंधित है, जैसा कि कार्यक्रम सत्यापन (विशेष रूप से, मॉडल जांच) है। प्रमाणों और कार्यक्रमों के बीच करी-हावर्ड पत्राचार प्रमाण सिद्धांत से संबंधित है, विशेष रूप से अंतर्ज्ञानवादी तर्क। लैम्ब्डा कैलकुलस और संयोजन तर्क जैसी औपचारिक गणनाओं का अब आदर्शीकृत प्रोग्रामिंग भाषाओं के रूप में अध्ययन किया जाता है।

कंप्यूटर विज्ञान स्वचालित जाँच या प्रमाणों की खोज के लिए तकनीक विकसित करके गणित में भी योगदान देता है, जैसे कि स्वचालित प्रमेय सिद्ध करना और तर्क प्रोग्रामिंग।

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

गणित के मूलाधार

19वीं शताब्दी में, गणितज्ञ अपने क्षेत्र में तार्किक अंतराल और विसंगतियों के बारे में जागरूक हुए। यह दिखाया गया कि ज्यामिति के लिए यूक्लिड के अभिगृहीत, जो स्वयंसिद्ध पद्धति के उदाहरण के रूप में सदियों से पढ़ाए जाते रहे थे, अधूरे थे। इनफिनिटिमल्स का उपयोग, और फ़ंक्शन (गणित) की बहुत परिभाषा, विश्लेषण में सवालों के घेरे में आ गई, जैसे कि वेइरस्ट्रैस के कहीं नहीं-विभेदक फ़ंक्शन निरंतर फ़ंक्शन जैसे पैथोलॉजिकल उदाहरण खोजे गए थे।

कैंटर के मनमाने अनंत समुच्चयों के अध्ययन की भी आलोचना हुई। लियोपोल्ड क्रोनकर ने प्रसिद्ध रूप से कहा कि भगवान ने पूर्णांक बनाए; बाकी सब कुछ मनुष्य का काम है, गणित में परिमित, ठोस वस्तुओं के अध्ययन की वापसी का समर्थन करता है। यद्यपि क्रोनेकर के तर्क को 20वीं शताब्दी में रचनावादियों द्वारा आगे बढ़ाया गया था, गणितीय समुदाय ने समग्र रूप से उन्हें खारिज कर दिया। डेविड हिल्बर्ट ने अनंत के अध्ययन के पक्ष में तर्क देते हुए कहा कि कोई भी हमें उस स्वर्ग से नहीं निकालेगा जिसे कैंटर ने बनाया है।

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

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

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

यह भी देखें

तर्क
अनौपचारिक तर्क
ज्ञान प्रतिनिधित्व और तर्क
तर्क
कम्प्यूटेबिलिटी और जटिलता विषयों की सूची
पहले क्रम के सिद्धांतों की सूची
तर्क प्रतीकों की सूची
गणितीय तर्क विषयों की सूची
सेट सिद्धांत विषयों की सूची
Mereology
प्रस्तावक कलन
अच्छी तरह से गठित सूत्र

↑ In the foreword to the 1934 first edition of "Grundlagen der Mathematik" (Hilbert & Bernays 1934), Bernays wrote the following, which is reminiscent of the famous note by Frege when informed of Russell's paradox.
"Die Ausführung dieses Vorhabens hat eine wesentliche Verzögerung dadurch erfahren, daß in einem Stadium, in dem die Darstellung schon ihrem Abschuß nahe war, durch das Erscheinen der Arbeiten von Herbrand und von Gödel eine veränderte Situation im Gebiet der Beweistheorie entstand, welche die Berücksichtigung neuer Einsichten zur Aufgabe machte. Dabei ist der Umfang des Buches angewachsen, so daß eine Teilung in zwei Bände angezeigt erschien."
Translation:
"Carrying out this plan [by Hilbert for an exposition on proof theory for mathematical logic] has experienced an essential delay because, at the stage at which the exposition was already near to its conclusion, there occurred an altered situation in the area of proof theory due to the appearance of works by Herbrand and Gödel, which necessitated the consideration of new insights. Thus the scope of this book has grown, so that a division into two volumes seemed advisable."
So certainly Hilbert was aware of the importance of Gödel's work by 1934. The second volume in 1939 included a form of Gentzen's consistency proof for arithmetic.
↑ A detailed study of this terminology is given by Soare 1996.
↑ Ferreirós 2001 surveys the rise of first-order logic over other formal logics in the early 20th century.

संदर्भ

↑ Barwise (1989).
↑ "Computability Theory and Foundations of Mathematics / February, 17th – 20th, 2014 / Tokyo Institute of Technology, Tokyo, Japan" (PDF).
↑ Ferreirós (2001), p. 443.
↑ Bochenski (1959), Sec. 0.1, p. 1.
↑ Swineshead (1498).
↑ Boehner (1950), p. xiv.
↑ Katz (1998), p. 686.
↑ Peano (1889).
↑ Dedekind (1888).
↑ Katz (1998), p. 774.
↑ Lobachevsky (1840).
↑ Hilbert (1899).
↑ Pasch (1882).
↑ Felscher (2000).
↑ Dedekind (1872).
↑ Cantor (1874).
↑ Katz (1998), p. 807.
↑ ^18.0 ^18.1 Zermelo (1904).
↑ Zermelo (1908a).
↑ Burali-Forti (1897).
↑ Richard (1905).
↑ ^22.0 ^22.1 Zermelo (1908b).
↑ Ferreirós (2001), p. 445.
↑ ^24.0 ^24.1 Fraenkel (1922).
↑ ^25.0 ^25.1 Cohen (1966).
↑ See also Cohen 2008.
↑ Löwenheim (1915).
↑ Skolem (1920).
↑ ^29.0 ^29.1 Gödel (1929).
↑ Gentzen (1936).
↑ Gödel (1958).
↑ Carroll (1896).
↑ Kleene (1943).
↑ Turing (1939).
↑ Gödel (1931).
↑ Solovay (1976).
↑ Hamkins & Löwe (2007).
↑ Banach & Tarski (1924).
↑ Woodin (2001).
↑ Tarski (1948).
↑ Morley (1965).
↑ Soare (2011).
↑ Davis (1973).
↑ Weyl 1918.
↑ ^45.0 ^45.1 Bochenski (1959), Sec. 0.3, p. 2.

स्नातक ग्रंथ

Walicki, Michał (2011). गणितीय तर्क का परिचय. Singapore: World Scientific Publishing. ISBN 9789814343879.
Boolos, George; Burgess, John; Jeffrey, Richard (2002). संगणना और तर्क (4th ed.). Cambridge University Press. ISBN 9780521007580.
Crossley, J.N.; Ash, C.J.; Brickhill, C.J.; Stillwell, J.C.; Williams, N.H. (1972). गणितीय तर्क क्या है?. London, Oxford, New York City: Oxford University Press. ISBN 9780198880875. Zbl 0251.02001.
Enderton, Herbert (2001). तर्क के लिए एक गणितीय परिचय (2nd ed.). Boston MA: Academic Press. ISBN 978-0-12-238452-3.
Fisher, Alec (1982). औपचारिक संख्या सिद्धांत और संगणनीयता: एक कार्यपुस्तिका. (suitable as a first course for independent study) (1st ed.). Oxford University Press. ISBN 978-0-19-853188-3.
Hamilton, A.G. (1988). गणितज्ञों के लिए तर्क (2nd ed.). Cambridge University Press. ISBN 978-0-521-36865-0.
Ebbinghaus, H.-D.; Flum, J.; Thomas, W. (1994). गणितीय तर्क (2nd ed.). New York City: Springer. ISBN 9780387942582.
Katz, Robert (1964). स्वयंसिद्ध विश्लेषण. Boston MA: D. C. Heath and Company.
Mendelson, Elliott (1997). गणितीय तर्क का परिचय (4th ed.). London: Chapman & Hall. ISBN 978-0-412-80830-2.
Rautenberg, Wolfgang (2010). गणितीय तर्क का एक संक्षिप्त परिचय (3rd ed.). New York City: Springer. doi:10.1007/978-1-4419-1221-3. ISBN 9781441912206.
Schwichtenberg, Helmut (2003–2004). गणितीय तर्क (PDF). Munich: Mathematisches Institut der Universität München. Retrieved 2016-02-24.
शॉन हेडमैन, ए फर्स्ट कोर्स इन लॉजिक: एन इंट्रोडक्शन टू मॉडल थ्योरी, प्रूफ थ्योरी, कम्प्यूटेबिलिटी, एंड कॉम्प्लेक्सिटी, ऑक्सफोर्ड यूनिवर्सिटी प्रेस, 2004, ISBN 0-19-852981-3. कम्प्यूटेबिलिटी सिद्धांत और कम्प्यूटेशनल जटिलता सिद्धांत के साथ निकट संबंध में लॉजिक्स को कवर करता है
van Dalen, Dirk (2013). तर्क और संरचना. Universitext. Berlin: Springer. doi:10.1007/978-1-4471-4558-5. ISBN 978-1-4471-4557-8.

स्नातक ग्रंथ

Hinman, Peter G. (2005). गणितीय तर्क के मूल तत्व. A K Peters, Ltd. ISBN 1-56881-262-0.
Andrews, Peter B. (2002). गणितीय तर्क और टाइप थ्योरी का परिचय: सबूत के माध्यम से सत्य तक (2nd ed.). Boston: Kluwer Academic Publishers. ISBN 978-1-4020-0763-7.
Barwise, Jon, ed. (1989). गणितीय तर्क की पुस्तिका. Studies in Logic and the Foundations of Mathematics. Amsterdam: Elsevier. ISBN 9780444863881.
Hodges, Wilfrid (1997). एक छोटा मॉडल सिद्धांत. Cambridge University Press. ISBN 9780521587136.
Jech, Thomas (2003). सेट थ्योरी: मिलेनियम संस्करण. Springer Monographs in Mathematics. Berlin, New York: Springer. ISBN 9783540440857.
स्टीफन कोल क्लेन|क्लीन, स्टीफन कोल। (1952), मेटामैथमैटिक्स का परिचय। न्यूयॉर्क: वैन नोस्ट्रैंड। (ईशी प्रेस: 2009 पुनर्मुद्रण)।
स्टीफन कोल क्लेन|क्लीन, स्टीफन कोल। (1967), गणितीय तर्क। जॉन विली। डोवर पुनर्मुद्रण, 2002। ISBN 0-486-42533-9.
Shoenfield, Joseph R. (2001) [1967]. गणितीय तर्क (2nd ed.). A K Peters. ISBN 9781568811352.
Troelstra, Anne Sjerp; Schwichtenberg, Helmut (2000). मूल प्रमाण सिद्धांत. Cambridge Tracts in Theoretical Computer Science (2nd ed.). Cambridge University Press. ISBN 978-0-521-77911-1.

शोध पत्र, मोनोग्राफ, ग्रंथ, और सर्वेक्षण

Augusto, Luis M. (2017). तार्किक परिणाम। सिद्धांत और अनुप्रयोग: एक परिचय. London: College Publications. ISBN 978-1-84890-236-7.
Boehner, Philotheus (1950). मध्ययुगीन तर्क. Manchester.{{cite book}}: CS1 maint: location missing publisher (link)
Cohen, Paul J. (1966). सेट सिद्धांत और सातत्य परिकल्पना. Menlo Park CA: W. A. Benjamin.
Cohen, Paul J. (2008) [1966]. सेट सिद्धांत और सातत्य परिकल्पना. Mineola NY: Dover Publications. ISBN 9780486469218.
जे.डी. स्नीड, गणितीय भौतिकी की तार्किक संरचना। रीडेल, डॉर्ड्रेक्ट, 1971 (संशोधित संस्करण 1979)।
Davis, Martin (1973). "हिल्बर्ट की दसवीं समस्या अघुलनशील है". The American Mathematical Monthly. 80 (3): 233–269. doi:10.2307/2318447. JSTOR 2318447.
परिशिष्ट के रूप में पुनर्मुद्रित Martin Davis (1985). संगणनीयता और अघुलनशीलता. Dover. ISBN 9780486614717.
Felscher, Walter (2000). "बोलजानो, कॉची, एप्सिलॉन, डेल्टा". The American Mathematical Monthly. 107 (9): 844–862. doi:10.2307/2695743. JSTOR 2695743.
Ferreirós, José (2001). "द रोड टू मॉडर्न लॉजिक-एन इंटरप्रिटेशन" (PDF). Bulletin of Symbolic Logic. 7 (4): 441–484. doi:10.2307/2687794. hdl:11441/38373. JSTOR 2687794. S2CID 43258676.
Hamkins, Joel David; Löwe, Benedikt (2007). "जबरदस्ती का मोडल लॉजिक". Transactions of the American Mathematical Society. 360 (4): 1793–1818. arXiv:math/0509616. doi:10.1090/s0002-9947-07-04297-3. S2CID 14724471.
Katz, Victor J. (1998). गणित का इतिहास. Addison–Wesley. ISBN 9780321016188.
Morley, Michael (1965). "शक्ति में श्रेणी". Transactions of the American Mathematical Society. 114 (2): 514–538. doi:10.2307/1994188. JSTOR 1994188.
Soare, Robert I. (1996). "कम्प्यूटेबिलिटी और रिकर्सन". Bulletin of Symbolic Logic. 2 (3): 284–321. CiteSeerX 10.1.1.35.5803. doi:10.2307/420992. JSTOR 420992. S2CID 5894394.
Solovay, Robert M. (1976). "मोडल लॉजिक की प्रोविबिलिटी इंटरप्रिटेशन". Israel Journal of Mathematics. 25 (3–4): 287–304. doi:10.1007/BF02757006. S2CID 121226261.
Woodin, W. Hugh (2001). "सातत्य परिकल्पना, भाग I" (PDF). Notices of the American Mathematical Society. 48 (6).

मौलिक कागजात, ग्रंथ, और संग्रह

Banach, Stefan; Tarski, Alfred (1924). "बिंदुओं के समुच्चयों के क्रमशः सर्वांगसम भागों में अपघटन पर" (PDF). Fundamenta Mathematicae (in français). 6: 244–277. doi:10.4064/fm-6-1-244-277.

Bochenski, Jozef Maria, ed. (1959). गणितीय तर्क का सारांश. Synthese Library, Vol. 1. Translated by Otto Bird. Dordrecht: Springer. doi:10.1007/978-94-017-0592-9. ISBN 9789048183296.

Burali-Forti, Cesare (1897). ट्रांसफिनिट नंबरों पर एक प्रश्न. में पुनर्मुद्रित van Heijenoort 1976, pp. 104–111

Cantor, Georg (1874). "सभी वास्तविक बीजगणितीय संख्याओं के समुच्चय के गुण के बारे में" (PDF). Journal für die Reine und Angewandte Mathematik. 1874 (77): 258–262. doi:10.1515/crll.1874.77.258. S2CID 199545885. Carroll, Lewis (1896). प्रतीकात्मक तर्क. Kessinger Legacy Reprints. ISBN 9781163444955.

Dedekind, Richard (1872). निरंतरता और अपरिमेय संख्या (in Deutsch). अंग्रेजी अनुवाद के रूप में: संगति और अपरिमेय संख्या।
Dedekind, Richard (1888). क्या हैं और संख्याएं क्या हैं?. दो अंग्रेजी अनुवाद:
- 1963 (1901)। संख्या के सिद्धांत पर निबंध। बेमन, डब्ल्यूडब्ल्यू, एड। और ट्रांस। डोवर।
- 1996. इन फ्रॉम कांट टू हिल्बर्ट: ए सोर्स बुक इन द फ़ाउंडेशन ऑफ़ मैथेमेटिक्स, 2 खंड, इवाल्ड, विलियम बी., एड., ऑक्सफोर्ड यूनिवर्सिटी प्रेस: 787-832।
Fraenkel, Abraham A. (1922). "Der Begriff 'definit' und die Unabhängigkeit des Auswahlsaxioms". प्रशिया एकेडमी ऑफ साइंसेज, भौतिक-गणितीय वर्ग की बैठक रिपोर्ट (in Deutsch). pp. 253–257. अंग्रेजी अनुवाद में 'निश्चित' की धारणा और पसंद के स्वयंसिद्ध की स्वतंत्रता के रूप में पुनर्मुद्रित van Heijenoort 1976, pp. 284–289.
Gottlob Frege|Frege, Gottlob (1879), शब्द लेखन, शुद्ध सोच की एक अंकगणितीय प्रतिरूपित सूत्र भाषा। हॉल ए एस।: लुई नेबर्ट। अनुवाद: कॉन्सेप्ट स्क्रिप्ट, अंकगणित पर आधारित शुद्ध विचार की एक औपचारिक भाषा, एस. बाउर-मेंगलबर्ग द्वारा van Heijenoort 1976.
गोटलॉब फ्रेज | फ्रीज, गोटलॉब (1884), अंकगणित की नींव: संख्या की अवधारणा का एक तार्किक-गणितीय अध्ययन। ब्रेस्लाउ: डब्ल्यू कोबनेर। अनुवाद: जे.एल. ऑस्टिन, 1974. अंकगणित की नींव: संख्या की अवधारणा में एक तार्किक-गणितीय जांच, दूसरा संस्करण ब्लैकवेल
Gentzen, Gerhard (1936). "शुद्ध संख्या सिद्धांत की संगति". Mathematische Annalen. 112: 132–213. doi:10.1007/BF01565428. S2CID 122719892. जेंटजन कलेक्टेड वर्क्स में अंग्रेजी अनुवाद में पुनर्मुद्रित, एम.ई. स्जाबो, एड., नॉर्थ-हॉलैंड, एम्स्टर्डम, 1969।
Gödel, Kurt (1929). तर्क कलन की पूर्णता के बारे में [Completeness of the logical calculus]. doctoral dissertation. University Of Vienna.
Gödel, Kurt (1930). "तार्किक कार्य कलन के स्वयंसिद्धों की पूर्णता" [The completeness of the axioms of the calculus of logical functions]. Monatshefte für Mathematik und Physik (in Deutsch). 37: 349–360. doi:10.1007/BF01696781. S2CID 123343522.
Gödel, Kurt (1931). "प्रिंसिपिया मैथेमेटिका और संबंधित प्रणालियों के औपचारिक रूप से अनिर्णीत प्रमेयों पर I" [On Formally Undecidable Propositions of Principia Mathematica and Related Systems]. Monatshefte für Mathematik und Physik (in Deutsch). 38 (1): 173–198. doi:10.1007/BF01700692. S2CID 197663120.
Gödel, Kurt (1958). "परिमित दृष्टिकोण के अब तक अप्रयुक्त विस्तार के बारे में". Dialectica (in Deutsch). 12 (3–4): 280–287. doi:10.1111/j.1746-8361.1958.tb01464.x. गोडेल के कलेक्टेड वर्क्स, वॉल्यूम II, सोलोमन फेफरमैन एट अल।, एड में अंग्रेजी अनुवाद में पुनर्मुद्रित। ऑक्सफोर्ड यूनिवर्सिटी प्रेस, 1993।
van Heijenoort, Jean, ed. (1976) [1967]. फ्रॉम फ्रेज टू गोडेल: ए सोर्स बुक इन मैथमेटिकल लॉजिक, 1879-1931 (3rd ed.). Cambridge MA: Harvard University Press. ISBN 9780674324497. (pbk.).
Hilbert, David (1899). ज्यामिति की मूल बातें (in Deutsch). Leipzig: Teubner. 1902 का अंग्रेजी संस्करण (द फ़ाउंडेशन ऑफ़ ज्योमेट्री) 1980 में पुनः प्रकाशित, ओपन कोर्ट, शिकागो।
Hilbert, David (1929). "गणित की नींव की समस्याएं". Mathematische Annalen. 102: 1–9. doi:10.1007/BF01782335. S2CID 122870563. 3 सितंबर 1928 को गणितज्ञों की अंतर्राष्ट्रीय कांग्रेस में दिया गया व्याख्यान। द ग्राउंडिंग ऑफ एलीमेंट्री नंबर थ्योरी के रूप में अंग्रेजी अनुवाद में प्रकाशित, मैनकोसु 1998 में, पीपी। 266-273।
Hilbert, David; Bernays, Paul (1934). गणित की मूल बातें। मैं. Die Grundlehren der mathematischen Wissenschaften. Vol. 40. Berlin, New York City: Springer. ISBN 9783540041344. JFM 60.0017.02. MR 0237246.
Kleene, Stephen Cole (1943). "पुनरावर्ती विधेय और क्वांटिफायर". Transactions of the American Mathematical Society. 53 (1): 41–73. doi:10.2307/1990131. JSTOR 1990131.
Lobachevsky, Nikolai (1840). समानांतर रेखाओं के सिद्धांत में ज्यामितीय जांच (in Deutsch). के रूप में अंग्रेजी अनुवाद में पुनर्मुद्रित Robert Bonola, ed. (1955). "Geometric Investigations on the Theory of Parallel Lines". गैर-यूक्लिडियन ज्यामिति. Dover. ISBN 0-486-60027-0.
Löwenheim, Leopold (1915). "सापेक्ष गणना में संभावनाओं के बारे में". Mathematische Annalen (in Deutsch). 76 (4): 447–470. doi:10.1007/BF01458217. ISSN 0025-5831. S2CID 116581304. में रिश्तेदारों की गणना में संभावनाओं के रूप में अनुवादित Jean van Heijenoort (1967). गणितीय तर्क में एक स्रोत पुस्तक, 1879-1931. Harvard Univ. Press. pp. 228–251.
Mancosu, Paolo, ed. (1998). ब्रोवर से हिल्बर्ट तक। 1920 के दशक में गणित की नींव पर बहस. Oxford University Press.
Pasch, Moritz (1882). आधुनिक ज्यामिति पर व्याख्यान.
Peano, Giuseppe (1889). अंकगणित के सिद्धांत, एक नई विधि द्वारा प्रतिपादित (in lietuvių). अंकगणित के सिद्धांतों के रूप में अंग्रेजी अनुवाद में पुनर्मुद्रित अंश, में एक नई विधि द्वारा प्रस्तुत किया गया van Heijenoort 1976, pp. 83–97.
Richard, Jules (1905). "गणित के सिद्धांत और सेट की समस्या". Revue Générale des Sciences Pures et Appliquées (in français). 16: 541. गणित के सिद्धांतों और सेट की समस्याओं के रूप में अंग्रेजी अनुवाद में पुनर्मुद्रित van Heijenoort 1976, pp. 142–144.
Skolem, Thoralf (1920). "घने सेट के बारे में एक प्रमेय के साथ गणितीय प्रमेय की संतुष्टि या उपयोगिता में तार्किक-संयोजी जांच". Videnskapsselskapet Skrifter, I. Matematisk-naturvidenskabelig Klasse (in Deutsch). 6: 1–36.

Soare, Robert Irving (22 December 2011). "कम्प्यूटेबिलिटी थ्योरी एंड एप्लीकेशन: द आर्ट ऑफ़ क्लासिकल कम्प्यूटेबिलिटी" (PDF). Department of Mathematics. University of Chicago. Retrieved 23 August 2017. Swineshead, Richard (1498). सुइसथ अंग्रेजी गणना (in lietuvių). Papie: Per Franciscum Gyrardengum.

Tarski, Alfred (1948). प्रारंभिक बीजगणित और ज्यामिति के लिए एक निर्णय विधि. Santa Monica CA: RAND Corporation.
Turing, Alan M. (1939). "ऑर्डिनल्स पर आधारित लॉजिक सिस्टम्स". Proceedings of the London Mathematical Society. 45 (2): 161–228. doi:10.1112/plms/s2-45.1.161. hdl:21.11116/0000-0001-91CE-3.
Weyl, Hermann (1918). सातत्य। विश्लेषण की नींव में महत्वपूर्ण जांच (in Deutsch). Leipzig.{{cite book}}: CS1 maint: location missing publisher (link)
Zermelo, Ernst (1904). "सबूत है कि किसी भी सेट को अच्छी तरह से ऑर्डर किया जा सकता है". Mathematische Annalen (in Deutsch). 59 (4): 514–516. doi:10.1007/BF01445300. S2CID 124189935. सबूत के रूप में अंग्रेजी अनुवाद में दोबारा मुद्रित किया गया है कि प्रत्येक सेट को अच्छी तरह से व्यवस्थित किया जा सकता है van Heijenoort 1976, pp. 139–141.
Zermelo, Ernst (1908a). "एक अच्छी तरह से आदेश देने की संभावना के लिए नया सबूत". Mathematische Annalen (in Deutsch). 65: 107–128. doi:10.1007/BF01450054. ISSN 0025-5831. S2CID 119924143. में अच्छी तरह से ऑर्डर करने की संभावना के एक नए प्रमाण के रूप में अंग्रेजी अनुवाद में पुनर्मुद्रित van Heijenoort 1976, pp. 183–198.
Zermelo, Ernst (1908b). "सेट सिद्धांत की नींव पर अध्ययन". Mathematische Annalen. 65 (2): 261–281. doi:10.1007/BF01449999. S2CID 120085563.

बाहरी संबंध

"Mathematical logic", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
Polyvalued logic and Quantity Relation Logic
forall x: an introduction to formal logic, a free textbook by P. D. Magnus.
A Problem Course in Mathematical Logic, a free textbook by Stefan Bilaniuk.
Detlovs, Vilnis, and Podnieks, Karlis (University of Latvia), Introduction to Mathematical Logic. (hyper-textbook).
In the Stanford Encyclopedia of Philosophy:
Classical Logic by Stewart Shapiro.

First-order Model Theory by Wilfrid Hodges.
In the London Philosophy Study Guide:
Mathematical Logic

Set Theory & Further Logic

Philosophy of Mathematics
School of Mathematics, University of Manchester, Prof. Jeff Paris’s Mathematical Logic (course material and unpublished papers)

{{Navbox

| name =गणित के क्षेत्र

|state = autocollapse

| title =अंक शास्त्र | bodyclass = hlist

|above =

| group1 = नींव | list1 =* श्रेणी सिद्धांत

| group2 =बीजगणित | list2 =* सार

| group3 = विश्लेषण | list3 =* पथरी

| group4 = असतत | list4 =* कॉम्बीनेटरिक्स

| group5 =ज्यामिति | list5 =* बीजगणितीय

| group6 =संख्या सिद्धांत | list6 =* अंकगणित

| group7 =टोपोलॉजी | list7 =* सामान्य

| group8 = लागू | list8 =* इंजीनियरिंग गणित

| group9 = कम्प्यूटेशनल | list9 =* कंप्यूटर विज्ञान

| group10 = संबंधित विषय | list10 =* अनौपचारिक गणित

| below =* '

' श्रेणी' '
' कॉमन्स'
[[gikewikipedia: wikiproject matics | wikiproject]

}}

[HilbertBernays1934_PlusNote-30] In the foreword to the 1934 first edition of "Grundlagen der Mathematik" (Hilbert & Bernays 1934), Bernays wrote the following, which is reminiscent of the famous note by Frege when informed of Russell's paradox.
"Die Ausführung dieses Vorhabens hat eine wesentliche Verzögerung dadurch erfahren, daß in einem Stadium, in dem die Darstellung schon ihrem Abschuß nahe war, durch das Erscheinen der Arbeiten von Herbrand und von Gödel eine veränderte Situation im Gebiet der Beweistheorie entstand, welche die Berücksichtigung neuer Einsichten zur Aufgabe machte. Dabei ist der Umfang des Buches angewachsen, so daß eine Teilung in zwei Bände angezeigt erschien."
Translation:
"Carrying out this plan [by Hilbert for an exposition on proof theory for mathematical logic] has experienced an essential delay because, at the stage at which the exposition was already near to its conclusion, there occurred an altered situation in the area of proof theory due to the appearance of works by Herbrand and Gödel, which necessitated the consideration of new insights. Thus the scope of this book has grown, so that a division into two volumes seemed advisable."
So certainly Hilbert was aware of the importance of Gödel's work by 1934. The second volume in 1939 included a form of Gentzen's consistency proof for arithmetic.

[34] A detailed study of this terminology is given by Soare 1996.

[FerreirósSurveys-37] Ferreirós 2001 surveys the rise of first-order logic over other formal logics in the early 20th century.

[FOOTNOTEBarwise1989-1] Barwise (1989).

[2] "Computability Theory and Foundations of Mathematics / February, 17th – 20th, 2014 / Tokyo Institute of Technology, Tokyo, Japan" (PDF).

[FOOTNOTEFerreirós2001443-3] Ferreirós (2001), p. 443.

[FOOTNOTEBochenski1959Sec._0.1,_p._1-4] Bochenski (1959), Sec. 0.1, p. 1.

[FOOTNOTESwineshead1498-5] Swineshead (1498).

[FOOTNOTEBoehner1950xiv-6] Boehner (1950), p. xiv.

[FOOTNOTEKatz1998686-7] Katz (1998), p. 686.

[FOOTNOTEPeano1889-8] Peano (1889).

[FOOTNOTEDedekind1888-9] Dedekind (1888).

[FOOTNOTEKatz1998774-10] Katz (1998), p. 774.

[FOOTNOTELobachevsky1840-11] Lobachevsky (1840).

[FOOTNOTEHilbert1899-12] Hilbert (1899).

[FOOTNOTEPasch1882-13] Pasch (1882).

[FOOTNOTEFelscher2000-14] Felscher (2000).

[FOOTNOTEDedekind1872-15] Dedekind (1872).

[FOOTNOTECantor1874-16] Cantor (1874).

[FOOTNOTEKatz1998807-17] Katz (1998), p. 807.

[FOOTNOTEZermelo1904-18] 18.0 ^18.1 Zermelo (1904).

[FOOTNOTEZermelo1908a-19] Zermelo (1908a).

[FOOTNOTEBurali-Forti1897-20] Burali-Forti (1897).

[FOOTNOTERichard1905-21] Richard (1905).

[FOOTNOTEZermelo1908b-22] 22.0 ^22.1 Zermelo (1908b).

[FOOTNOTEFerreirós2001445-23] Ferreirós (2001), p. 445.

[FOOTNOTEFraenkel1922-24] 24.0 ^24.1 Fraenkel (1922).

[FOOTNOTECohen1966-25] 25.0 ^25.1 Cohen (1966).

[26] See also Cohen 2008.

[FOOTNOTELöwenheim1915-27] Löwenheim (1915).

[FOOTNOTESkolem1920-28] Skolem (1920).

[FOOTNOTEGödel1929-29] 29.0 ^29.1 Gödel (1929).

[FOOTNOTEGentzen1936-31] Gentzen (1936).

[FOOTNOTEGödel1958-32] Gödel (1958).

[FOOTNOTECarroll1896-33] Carroll (1896).

[FOOTNOTEKleene1943-35] Kleene (1943).

[FOOTNOTETuring1939-36] Turing (1939).

[FOOTNOTEGödel1931-38] Gödel (1931).

[FOOTNOTESolovay1976-39] Solovay (1976).

[FOOTNOTEHamkinsLöwe2007-40] Hamkins & Löwe (2007).

[FOOTNOTEBanachTarski1924-41] Banach & Tarski (1924).

[FOOTNOTEWoodin2001-42] Woodin (2001).

[FOOTNOTETarski1948-43] Tarski (1948).

[FOOTNOTEMorley1965-44] Morley (1965).

[FOOTNOTESoare2011-45] Soare (2011).

[FOOTNOTEDavis1973-46] Davis (1973).

[FOOTNOTEWeyl1918-47] Weyl 1918.

[FOOTNOTEBochenski1959Sec._0.3,_p._2-48] 45.0 ^45.1 Bochenski (1959), Sec. 0.3, p. 2.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[lower-alpha 1]

[30]

[31]

[32]

[lower-alpha 2]

[33]

[34]

[lower-alpha 3]

[35]

[36]

[37]

[38]

[39]

[40]

[41]

[42]

[43]

[44]

[45]

@@ Line 5: / Line 5: @@
 {{Use shortened footnotes|date=May 2021}}
 {{Math topics TOC|expanded=Areas}}
-गणितीय [[तर्क]] गणित के भीतर तर्क का अध्ययन है। प्रमुख उपक्षेत्रों में [[मॉडल सिद्धांत]], प्रमाण सिद्धांत, सेट सिद्धांत और पुनरावर्तन सिद्धांत सम्मलित हैं। गणितीय तर्क में अनुसंधान सामान्यतः तर्क की औपचारिक प्रणालियों के गणितीय गुणों को संबोधित करता है जैसे कि उनकी अभिव्यंजक या निगमनात्मक शक्ति। हालाँकि, इसमें सही गणितीय तर्क की विशेषता या [[गणित की नींव]] स्थापित करने के लिए तर्क का उपयोग भी सम्मलित हो सकता है।
+गणितीय [[तर्क]] गणित के भीतर तर्क का अध्ययन है। प्रमुख उपक्षेत्रों में [[मॉडल सिद्धांत]], प्रमाण सिद्धांत, सेट सिद्धांत और पुनरावर्तन सिद्धांत सम्मलित हैं। गणितीय तर्क में अनुसंधान सामान्यतः तर्क की औपचारिक प्रणालियों के गणितीय गुणों को संबोधित करता है जैसे कि उनकी अभिव्यंजक या निगमनात्मक शक्ति। चूँकि, इसमें सही गणितीय तर्क की विशेषता या [[गणित की नींव]] स्थापित करने के लिए तर्क का उपयोग भी सम्मलित हो सकता है।
-अपनी स्थापना के बाद से, गणितीय तर्क ने गणित की नींव के अध्ययन में योगदान दिया है और प्रेरित भी किया है। यह अध्ययन 19वीं शताब्दी के अंत में [[ज्यामिति]], [[अंकगणित]] और [[गणितीय विश्लेषण]] के लिए [[स्वयंसिद्ध]] ढांचे के विकास के साथ शुरू हुआ। 20वीं शताब्दी की शुरुआत में इसे [[डेविड हिल्बर्ट]] के हिल्बर्ट के कार्यक्रम द्वारा आधारभूत सिद्धांतों की निरंतरता को सिद्ध करना  करने के लिए आकार दिया गया था। कर्ट गोडेल, [[गेरहार्ड जेंटजन]] और अन्य के परिणामों ने कार्यक्रम को आंशिक समाधान प्रदान किया, और निरंतरता सिद्ध करना  करने में सम्मलित मुद्दों को स्पष्ट किया। समुच्चय सिद्धांत में कार्य ने दिखाया कि लगभग सभी सामान्य गणित को समुच्चयों के संदर्भ में औपचारिक रूप दिया जा सकता है, चूंकि कुछ ऐसे प्रमेय हैं जिन्हें समुच्चय सिद्धांत के लिए सामान्य स्वयंसिद्ध प्रणालियों में सिद्ध नहीं किया जा सकता है। गणित की नींव में समकालीन काम अधिकांशतःयह स्थापित करने पर ध्यान केंद्रित करता है कि गणित के किन हिस्सों को विशेष औपचारिक प्रणालियों में औपचारिक रूप दिया जा सकता है (जैसा कि रिवर्स गणित में) उन सिद्धांतों को खोजने की कोशिश करने के अतिरिक्त जिनमें सभी गणित को विकसित किया जा सकता है।
+अपनी स्थापना के बाद से, गणितीय तर्क ने गणित की नींव के अध्ययन में योगदान दिया है और प्रेरित भी किया है। यह अध्ययन 19वीं शताब्दी के अंत में [[ज्यामिति]], [[अंकगणित]] और [[गणितीय विश्लेषण]] के लिए [[स्वयंसिद्ध]] ढांचे के विकास के साथ प्रारंभ हुआ। 20वीं शताब्दी की शुरुआत में इसे [[डेविड हिल्बर्ट]] के हिल्बर्ट के कार्यक्रम द्वारा आधारभूत सिद्धांतों की निरंतरता को सिद्ध करना  करने के लिए आकार दिया गया था। कर्ट गोडेल, [[गेरहार्ड जेंटजन]] और अन्य के परिणामों ने कार्यक्रम को आंशिक समाधान प्रदान किया, और निरंतरता सिद्ध करना  करने में सम्मलित मुद्दों को स्पष्ट किया। समुच्चय सिद्धांत में कार्य ने दिखाया कि लगभग सभी सामान्य गणित को समुच्चयों के संदर्भ में औपचारिक रूप दिया जा सकता है, चूंकि कुछ ऐसे प्रमेय हैं जिन्हें समुच्चय सिद्धांत के लिए सामान्य स्वयंसिद्ध प्रणालियों में सिद्ध नहीं किया जा सकता है। गणित की नींव में समकालीन काम अधिकांशतःयह स्थापित करने पर ध्यान केंद्रित करता है कि गणित के किन हिस्सों को विशेष औपचारिक प्रणालियों में औपचारिक रूप दिया जा सकता है (जैसा कि रिवर्स गणित में) उन सिद्धांतों को खोजने की कोशिश करने के अतिरिक्त जिनमें सभी गणित को विकसित किया जा सकता है।
 == सबफील्ड्स और स्कोप ==
@@ Line 19: / Line 19: @@
 इसके अतिरिक्त, कभी-कभी [[कम्प्यूटेशनल जटिलता सिद्धांत]] के क्षेत्र को भी गणितीय तर्क के हिस्से के रूप में सम्मलित किया जाता है।<ref>{{Cite web|title=Computability Theory and Foundations of Mathematics / February, 17th – 20th, 2014 / Tokyo Institute of Technology, Tokyo, Japan|url=http://www.jaist.ac.jp/CTFM/CTFM2014/submissions/CTFM2014_booklet.pdf}}</ref> प्रत्येक क्षेत्र का एक अलग फोकस होता है, चूंकि कई तकनीकों और परिणामों को कई क्षेत्रों में साझा किया जाता है। इन क्षेत्रों के बीच की सीमा रेखाएँ, और गणितीय तर्क और गणित के अन्य क्षेत्रों को अलग करने वाली रेखाएँ हमेशा तीक्ष्ण नहीं होती हैं। गोडेल की अपूर्णता प्रमेय न केवल पुनरावर्तन सिद्धांत और प्रमाण सिद्धांत में एक मील का पत्थर है, बल्कि मोडल लॉजिक में लॉब के प्रमेय का भी नेतृत्व किया है। फोर्सिंग (गणित) की विधि सेट थ्योरी, मॉडल थ्योरी और रिकर्सन थ्योरी के साथ-साथ इंट्यूशनिस्टिक गणित के अध्ययन में नियोजित है।
-[[श्रेणी सिद्धांत]] का गणितीय क्षेत्र कई औपचारिक स्वयंसिद्ध तरीकों का उपयोग करता है, और इसमें [[श्रेणीबद्ध तर्क]] का अध्ययन सम्मलित है, लेकिन श्रेणी सिद्धांत को सामान्यतः गणितीय तर्क का उपक्षेत्र नहीं माना जाता है। गणित के विभिन्न क्षेत्रों में इसकी प्रयोज्यता के कारण, सॉन्डर्स मैक लेन सहित गणितज्ञों ने सेट सिद्धांत से स्वतंत्र, गणित के लिए एक मूलभूत प्रणाली के रूप में श्रेणी सिद्धांत प्रस्तावित किया है। ये नींव टोपोज़ का उपयोग करते हैं, जो सेट सिद्धांत के सामान्यीकृत मॉडल के समान होते हैं जो शास्त्रीय या गैर-शास्त्रीय तर्क को नियोजित कर सकते हैं।
+[[श्रेणी सिद्धांत]] का गणितीय क्षेत्र कई औपचारिक स्वयंसिद्ध तरीकों का उपयोग करता है, और इसमें [[श्रेणीबद्ध तर्क]] का अध्ययन सम्मलित है, किन्तु श्रेणी सिद्धांत को सामान्यतः गणितीय तर्क का उपक्षेत्र नहीं माना जाता है। गणित के विभिन्न क्षेत्रों में इसकी प्रयोज्यता के कारण, सॉन्डर्स मैक लेन सहित गणितज्ञों ने सेट सिद्धांत से स्वतंत्र, गणित के लिए एक मूलभूत प्रणाली के रूप में श्रेणी सिद्धांत प्रस्तावित किया है। ये नींव टोपोज़ का उपयोग करते हैं, जो सेट सिद्धांत के सामान्यीकृत मॉडल के समान होते हैं जो मौलिक  या गैर-मौलिक  तर्क को नियोजित कर सकते हैं।
 == इतिहास ==
-गणितीय तर्क 19वीं शताब्दी के मध्य में गणित के एक उपक्षेत्र के रूप में उभरा, जो दो परंपराओं के संगम को दर्शाता है: औपचारिक दार्शनिक तर्क और गणित।{{sfnp|Ferreirós|2001|p=443}} गणितीय तर्क, जिसे 'लॉजिस्टिक', 'प्रतीकात्मक तर्क', '[[बूलियन बीजगणित]]' और हाल ही में, केवल 'औपचारिक तर्क' भी कहा जाता है, पिछली उन्नीसवीं शताब्दी के दौरान विकसित तार्किक सिद्धांतों का समूह है। एक कृत्रिम अंकन और एक कठोर निगमनात्मक विधि।{{sfnp|Bochenski|1959|loc=Sec. 0.1, p. 1}} इस उद्भव से पहले, तर्कशास्त्र का अध्ययन बयानबाजी के साथ, गणनाओं के साथ किया जाता था,{{sfnp|Swineshead|1498}} न्यायवाक्य के माध्यम से, और दर्शन के साथ। 20वीं शताब्दी के पूर्वार्द्ध में गणित की नींव पर जोरदार बहस के साथ मौलिक परिणामों का विस्फोट हुआ।
+गणितीय तर्क 19वीं शताब्दी के मध्य में गणित के एक उपक्षेत्र के रूप में उभरा, जो दो परंपराओं के संगम को दर्शाता है: औपचारिक दार्शनिक तर्क और गणित।{{sfnp|Ferreirós|2001|p=443}} गणितीय तर्क, जिसे 'लॉजिस्टिक', 'प्रतीकात्मक तर्क', '[[बूलियन बीजगणित]]' और हाल ही में, केवल 'औपचारिक तर्क' भी कहा जाता है, पिछली उन्नीसवीं शताब्दी के समय विकसित तार्किक सिद्धांतों का समूह है। एक कृत्रिम अंकन और एक कठोर निगमनात्मक विधि।{{sfnp|Bochenski|1959|loc=Sec. 0.1, p. 1}} इस उद्भव से पहले, तर्कशास्त्र का अध्ययन बयानबाजी के साथ, गणनाओं के साथ किया जाता था,{{sfnp|Swineshead|1498}} न्यायवाक्य के माध्यम से, और दर्शन के साथ। 20वीं शताब्दी के पूर्वार्द्ध में गणित की नींव पर जोरदार बहस के साथ मौलिक परिणामों का विस्फोट हुआ।
 === प्रारंभिक इतिहास ===
 {{Further|तर्क का इतिहास}}
-तर्क के सिद्धांतों को इतिहास में कई संस्कृतियों में विकसित किया गया था, जिसमें [[चीन में तर्क]], [[भारत में तर्क]], [[ग्रीस में तर्क]] और [[इस्लामी दर्शन में तर्क]] सम्मलित हैं। ग्रीक विधियों, विशेष रूप से [[अरिस्टोटेलियन तर्क]] (या टर्म लॉजिक) जैसा कि ऑर्गनॉन में पाया जाता है, को सहस्राब्दी के लिए पश्चिमी विज्ञान और गणित में व्यापक आवेदन और स्वीकृति मिली।{{sfnp|Boehner|1950|p=xiv}} रूढ़िवाद, विशेष रूप से [[क्रिसिपस]], ने विधेय तर्क का विकास शुरू किया। 18वीं सदी के यूरोप में, दार्शनिक गणितज्ञों द्वारा प्रतीकात्मक या बीजगणितीय तरीके से औपचारिक तर्क के संचालन का इलाज करने का प्रयास किया गया था, जिसमें [[गॉटफ्रीड विल्हेम लीबनिज]] और [[जोहान हेनरिक लैम्बर्ट]] सम्मलित थे, लेकिन उनके मजदूर अलग-थलग और कम ज्ञात थे।
+तर्क के सिद्धांतों को इतिहास में कई संस्कृतियों में विकसित किया गया था, जिसमें [[चीन में तर्क]], [[भारत में तर्क]], [[ग्रीस में तर्क]] और [[इस्लामी दर्शन में तर्क]] सम्मलित हैं। ग्रीक विधियों, विशेष रूप से [[अरिस्टोटेलियन तर्क]] (या टर्म लॉजिक) जैसा कि ऑर्गनॉन में पाया जाता है, को सहस्राब्दी के लिए पश्चिमी विज्ञान और गणित में व्यापक आवेदन और स्वीकृति मिली।{{sfnp|Boehner|1950|p=xiv}} रूढ़िवाद, विशेष रूप से [[क्रिसिपस]], ने विधेय तर्क का विकास प्रारंभ किया। 18वीं सदी के यूरोप में, दार्शनिक गणितज्ञों द्वारा प्रतीकात्मक या बीजगणितीय तरीके से औपचारिक तर्क के संचालन का इलाज करने का प्रयास किया गया था, जिसमें [[गॉटफ्रीड विल्हेम लीबनिज]] और [[जोहान हेनरिक लैम्बर्ट]] सम्मलित थे, किन्तु उनके मजदूर अलग-थलग और कम ज्ञात थे।
 === 19वीं सद ===
@@ Line 32: / Line 32: @@
 उन्नीसवीं शताब्दी के मध्य में, [[जॉर्ज बूले]] और फिर [[अगस्त डी मॉर्गन]] ने तर्क के व्यवस्थित गणितीय उपचार प्रस्तुत किए। उनके काम, जॉर्ज पीकॉक (गणितज्ञ) जैसे बीजगणितियों द्वारा काम पर निर्माण, गणित की नींव के अध्ययन के लिए तर्क के पारंपरिक अरिस्टोटेलियन सिद्धांत को एक पर्याप्त ढांचे में विस्तारित किया।{{sfnp|Katz|1998|p=686}} [[चार्ल्स सैंडर्स पियर्स]] ने बाद में संबंधों और परिमाणकों के लिए एक तार्किक प्रणाली विकसित करने के लिए बूल के काम पर निर्माण किया, जिसे उन्होंने 1870 से 1885 तक कई पत्रों में प्रकाशित किया।
-[[भगवान फ्रीज का शुक्र है]] ने 1879 में प्रकाशित अपने [[शब्द लेखन]] में क्वांटिफायर के साथ तर्क का एक स्वतंत्र विकास प्रस्तुत किया, जिसे सामान्यतः तर्क के इतिहास में एक महत्वपूर्ण मोड़ के रूप में माना जाता है। फ्रेज का काम अस्पष्ट रहा, चूंकि, जब तक [[बर्ट्रेंड रसेल]] ने शताब्दी के अंत तक इसे बढ़ावा देना शुरू नहीं किया। विकसित द्वि-आयामी संकेतन फ्रीज को व्यापक रूप से कभी नहीं अपनाया गया था और समकालीन ग्रंथों में इसका उपयोग नहीं किया गया है।
+[[भगवान फ्रीज का शुक्र है]] ने 1879 में प्रकाशित अपने [[शब्द लेखन]] में क्वांटिफायर के साथ तर्क का एक स्वतंत्र विकास प्रस्तुत किया, जिसे सामान्यतः तर्क के इतिहास में एक महत्वपूर्ण मोड़ के रूप में माना जाता है। फ्रेज का काम अस्पष्ट रहा, चूंकि, जब तक [[बर्ट्रेंड रसेल]] ने शताब्दी के अंत तक इसे बढ़ावा देना प्रारंभ नहीं किया। विकसित द्वि-आयामी संकेतन फ्रीज को व्यापक रूप से कभी नहीं अपनाया गया था और समकालीन ग्रंथों में इसका उपयोग नहीं किया गया है।
 से 1905 तक, अर्नस्ट श्रोडर (गणितज्ञ) | अर्नस्ट श्रोडर ने तीन खंडों में वोरलेसुंगेन उबेर डाई एलजेब्रा डेर लॉजिक प्रकाशित किया। इस कार्य ने बोले, डी मॉर्गन और पियर्स के काम को संक्षेप और विस्तारित किया, और प्रतीकात्मक तर्क का एक व्यापक संदर्भ था जैसा कि 19वीं शताब्दी के अंत में समझा गया था।
@@ Line 40: / Line 40: @@
 <!-- अंकगणित -->
-तर्कशास्त्र में, शब्द अंकगणित प्राकृतिक संख्याओं के सिद्धांत को संदर्भित करता है। [[जोसेफ पीनो]]{{sfnp|Peano|1889}} बूले और श्रोडर की तार्किक प्रणाली की भिन्नता का उपयोग करते हुए, लेकिन क्वांटिफायर जोड़कर, अंकगणित के लिए स्वयंसिद्धों का एक सेट प्रकाशित किया जो उनके नाम (पीनो अभिगृहीत) को धारण करने के लिए आया था। Peano उस समय Frege के काम से अनभिज्ञ था। लगभग उसी समय रिचर्ड डेडेकिंड ने दिखाया कि प्राकृतिक संख्याएँ अद्वितीय रूप से उनके [[गणितीय प्रेरण]] गुणों द्वारा विशेषता हैं। डेडेकिंड ने एक अलग चरित्र-चित्रण का प्रस्ताव दिया, जिसमें पियानों के स्वयंसिद्धों के औपचारिक तार्किक चरित्र का अभाव था।{{sfnp|Dedekind|1888}} डेडेकाइंड का काम, चूंकि, पीनो की प्रणाली में प्रमेयों को अप्राप्य सिद्ध करना  करता है, जिसमें प्राकृतिक संख्याओं के सेट की विशिष्टता (समरूपता तक) और उत्तराधिकारी फ़ंक्शन और गणितीय प्रेरण से जोड़ और गुणा की पुनरावर्ती परिभाषाएं सम्मलित हैं।
+तर्कशास्त्र में, शब्द अंकगणित प्राकृतिक संख्याओं के सिद्धांत को संदर्भित करता है। [[जोसेफ पीनो]]{{sfnp|Peano|1889}} बूले और श्रोडर की तार्किक प्रणाली की भिन्नता का उपयोग करते हुए, किन्तु क्वांटिफायर जोड़कर, अंकगणित के लिए स्वयंसिद्धों का एक सेट प्रकाशित किया जो उनके नाम (पीनो अभिगृहीत) को धारण करने के लिए आया था। Peano उस समय Frege के काम से अनभिज्ञ था। लगभग उसी समय रिचर्ड डेडेकिंड ने दिखाया कि प्राकृतिक संख्याएँ अद्वितीय रूप से उनके [[गणितीय प्रेरण]] गुणों द्वारा विशेषता हैं। डेडेकिंड ने एक अलग चरित्र-चित्रण का प्रस्ताव दिया, जिसमें पियानों के स्वयंसिद्धों के औपचारिक तार्किक चरित्र का अभाव था।{{sfnp|Dedekind|1888}} डेडेकाइंड का काम, चूंकि, पीनो की प्रणाली में प्रमेयों को अप्राप्य सिद्ध करना  करता है, जिसमें प्राकृतिक संख्याओं के सेट की विशिष्टता (समरूपता तक) और उत्तराधिकारी फ़ंक्शन और गणितीय प्रेरण से जोड़ और गुणा की पुनरावर्ती परिभाषाएं सम्मलित हैं।
 <!-- ज्यामिति -->
 वीं शताब्दी के मध्य में, ज्यामिति के लिए यूक्लिड के स्वयंसिद्धों में दोष ज्ञात हो गए।{{sfnp|Katz|1998|p=774}} 1826 में निकोलाई लोबाचेवस्की द्वारा स्थापित समानांतर अभिधारणा की स्वतंत्रता के अतिरिक्त,{{sfnp|Lobachevsky|1840}} गणितज्ञों ने पाया कि यूक्लिड द्वारा दिए गए कुछ प्रमेय वास्तव में उनके स्वयंसिद्धों से सिद्ध नहीं थे। इनमें से प्रमेय यह है कि एक रेखा में कम से कम दो बिंदु होते हैं, या उसी त्रिज्या के वृत्त जिनके केंद्र उस त्रिज्या से अलग होते हैं, को प्रतिच्छेद करना चाहिए। हिल्बर्ट{{sfnp|Hilbert|1899}} पास्च द्वारा पास्च के स्वयंसिद्ध पर निर्माण, हिल्बर्ट के स्वयंसिद्धों का एक पूरा सेट विकसित किया।{{sfnp|Pasch|1882}} ज्यामिति के स्वयंसिद्धीकरण में सफलता ने हिल्बर्ट को गणित के अन्य क्षेत्रों, जैसे कि प्राकृतिक संख्या और वास्तविक रेखा, के पूर्ण स्वयंसिद्धों की तलाश करने के लिए प्रेरित किया। यह 20वीं शताब्दी के पूर्वार्द्ध में अनुसंधान का एक प्रमुख क्षेत्र सिद्ध करना  होगा।
-वीं सदी में वास्तविक विश्लेषण के सिद्धांत में काफी प्रगति देखी गई, जिसमें कार्यों के अभिसरण के सिद्धांत और फूरियर श्रृंखला सम्मलित हैं। [[कार्ल वीयरस्ट्रास]] जैसे गणितज्ञों ने ऐसे कार्यों का निर्माण करना शुरू किया जो अंतर्ज्ञान को फैलाते थे, जैसे कि सतत, कहीं नहीं अलग-अलग कार्य|कहीं-अलग-अलग [[निरंतर कार्य]]। संगणना के लिए एक नियम के रूप में किसी फ़ंक्शन की पिछली अवधारणाएं, या एक सहज ग्राफ़, अब पर्याप्त नहीं थीं। वीयरस्ट्रैस ने विश्लेषण के अंकगणित की वकालत करना शुरू किया, जिसने प्राकृतिक संख्याओं के गुणों का उपयोग करके विश्लेषण को स्वयंसिद्ध करने की मांग की। आधुनिक (ε, δ) - सीमा और निरंतर कार्यों की परिभाषा पहले से ही 1817 में [[बर्नार्ड बोलजानो]] द्वारा विकसित की गई थी,{{sfnp|Felscher|2000}} लेकिन अपेक्षाकृत अनजान बने रहे।
+वीं सदी में वास्तविक विश्लेषण के सिद्धांत में अधिक  प्रगति देखी गई, जिसमें कार्यों के अभिसरण के सिद्धांत और फूरियर श्रृंखला सम्मलित हैं। [[कार्ल वीयरस्ट्रास]] जैसे गणितज्ञों ने ऐसे कार्यों का निर्माण करना प्रारंभ किया जो अंतर्ज्ञान को फैलाते थे, जैसे कि सतत, कहीं नहीं अलग-अलग कार्य|कहीं-अलग-अलग [[निरंतर कार्य]]। संगणना के लिए एक नियम के रूप में किसी फ़ंक्शन की पिछली अवधारणाएं, या एक सहज ग्राफ़, अब पर्याप्त नहीं थीं। वीयरस्ट्रैस ने विश्लेषण के अंकगणित की वकालत करना प्रारंभ किया, जिसने प्राकृतिक संख्याओं के गुणों का उपयोग करके विश्लेषण को स्वयंसिद्ध करने की मांग की। आधुनिक (ε, δ) - सीमा और निरंतर कार्यों की परिभाषा पहले से ही 1817 में [[बर्नार्ड बोलजानो]] द्वारा विकसित की गई थी,{{sfnp|Felscher|2000}} किन्तु अपेक्षाकृत अनजान बने रहे।
 [[कॉची]] ने 1821 में निरंतरता को [[बहुत छोता]] के संदर्भ में परिभाषित किया (देखें कोर्ट डी'एनालिसिस, पृष्ठ 34)। 1858 में, [[डेडेकाइंड काटता है]] परिमेय संख्याओं की डेडेकिंड कटौती के संदर्भ में वास्तविक संख्याओं की एक परिभाषा प्रस्तावित की, एक परिभाषा अभी भी समकालीन ग्रंथों में कार्यरत है।{{sfnp|Dedekind|1872}}
-[[जॉर्ज कैंटर]] ने अनंत समुच्चय सिद्धांत की मूलभूत अवधारणाओं को विकसित किया। उनके शुरुआती परिणामों ने [[प्रमुखता]] के सिद्धांत और कैंटर के पहले बेशुमार प्रमाण को विकसित किया कि वास्तविक और प्राकृतिक संख्याओं में अलग-अलग कार्डिनैलिटी हैं।{{sfnp|Cantor|1874}} अगले बीस वर्षों में, कैंटर ने प्रकाशनों की एक श्रृंखला में ट्रांसफिनिट नंबरों का एक सिद्धांत विकसित किया। 1891 में, उन्होंने वास्तविक संख्याओं की बेशुमारता का एक नया प्रमाण प्रकाशित किया जिसने कैंटर के विकर्ण तर्क को पेश किया, और कैंटर के प्रमेय को सिद्ध करना  करने के लिए इस पद्धति का उपयोग किया कि किसी भी सेट की कार्डिनैलिटी उसके पावरसेट के समान नहीं हो सकती। कैंटर का मानना था कि प्रत्येक सेट को सुव्यवस्थित किया जा सकता है, लेकिन इस परिणाम के लिए एक प्रमाण प्रस्तुत करने में असमर्थ था, इसे 1895 में एक खुली समस्या के रूप में छोड़ दिया।{{sfnp|Katz|1998|p=807}}
+[[जॉर्ज कैंटर]] ने अनंत समुच्चय सिद्धांत की मूलभूत अवधारणाओं को विकसित किया। उनके प्रारंभिक परिणामों ने [[प्रमुखता]] के सिद्धांत और कैंटर के पहले बेशुमार प्रमाण को विकसित किया कि वास्तविक और प्राकृतिक संख्याओं में अलग-अलग कार्डिनैलिटी हैं।{{sfnp|Cantor|1874}} अगले बीस वर्षों में, कैंटर ने प्रकाशनों की एक श्रृंखला में ट्रांसफिनिट नंबरों का एक सिद्धांत विकसित किया। 1891 में, उन्होंने वास्तविक संख्याओं की बेशुमारता का एक नया प्रमाण प्रकाशित किया जिसने कैंटर के विकर्ण तर्क को प्रस्तुत किया, और कैंटर के प्रमेय को सिद्ध करना  करने के लिए इस पद्धति का उपयोग किया कि किसी भी सेट की कार्डिनैलिटी उसके पावरसेट के समान नहीं हो सकती। कैंटर का मानना था कि प्रत्येक सेट को सुव्यवस्थित किया जा सकता है, किन्तु इस परिणाम के लिए एक प्रमाण प्रस्तुत करने में असमर्थ था, इसे 1895 में एक खुली समस्या के रूप में छोड़ दिया।{{sfnp|Katz|1998|p=807}}
 === 20वीं सदी ===
-वीं सदी के शुरुआती दशकों में, अध्ययन के मुख्य क्षेत्र सेट थ्योरी और फॉर्मल लॉजिक थे। अनौपचारिक सेट सिद्धांत में विरोधाभासों की खोज ने कुछ लोगों को आश्चर्यचकित कर दिया कि क्या गणित स्वयं असंगत है, और निरंतरता के प्रमाणों की तलाश करने के लिए।
+वीं सदी के प्रारंभिक दशकों में, अध्ययन के मुख्य क्षेत्र सेट थ्योरी और फॉर्मल लॉजिक थे। अनौपचारिक सेट सिद्धांत में विरोधाभासों की खोज ने कुछ लोगों को आश्चर्यचकित कर दिया कि क्या गणित स्वयं असंगत है, और निरंतरता के प्रमाणों की तलाश करने के लिए।
 में, डेविड हिल्बर्ट ने अगली सदी के लिए हिल्बर्ट की समस्याओं की एक प्रसिद्ध सूची प्रस्तुत की। इनमें से पहले दो क्रमशः सातत्य परिकल्पना को हल करने और प्राथमिक अंकगणित की निरंतरता को सिद्ध करना  करने के लिए थे; दसवां एक ऐसी विधि का निर्माण करना था जो यह तय कर सके कि [[पूर्णांक]]ों पर एक बहुभिन्नरूपी बहुपद समीकरण का समाधान है या नहीं। इन समस्याओं को हल करने के बाद के काम ने गणितीय तर्क की दिशा को आकार दिया, जैसा कि 1928 में प्रस्तुत हिल्बर्ट की [[निर्णय समस्या]] को हल करने के प्रयास में किया गया था। इस समस्या ने एक ऐसी प्रक्रिया के लिए कहा, जो एक औपचारिक गणितीय कथन को देखते हुए तय करेगी कि कथन सही है या गलत।
 ==== सिद्धांत और विरोधाभास सेट करें ====
-[[अर्नेस्ट ज़र्मेलो]] ने एक प्रमाण दिया कि वेल-ऑर्डरिंग प्रमेय | हर सेट को अच्छी तरह से ऑर्डर किया जा सकता है, एक परिणाम जॉर्ज कैंटर प्राप्त करने में असमर्थ था।{{sfnp|Zermelo|1904}} प्रमाण प्राप्त करने के लिए, ज़र्मेलो ने [[पसंद का स्वयंसिद्ध]] पेश किया, जिसने गणितज्ञों और सेट सिद्धांत के अग्रदूतों के बीच गरमागरम बहस और शोध किया। विधि की तत्काल आलोचना ने ज़र्मेलो को अपने परिणाम की दूसरी व्याख्या प्रकाशित करने के लिए प्रेरित किया, सीधे उसके प्रमाण की आलोचनाओं को संबोधित करते हुए।{{sfnp|Zermelo|1908a}} इस पत्र ने गणित समुदाय में पसंद के स्वयंसिद्ध की सामान्य स्वीकृति का नेतृत्व किया।
+[[अर्नेस्ट ज़र्मेलो]] ने एक प्रमाण दिया कि वेल-ऑर्डरिंग प्रमेय | हर सेट को अच्छी तरह से ऑर्डर किया जा सकता है, एक परिणाम जॉर्ज कैंटर प्राप्त करने में असमर्थ था।{{sfnp|Zermelo|1904}} प्रमाण प्राप्त करने के लिए, ज़र्मेलो ने [[पसंद का स्वयंसिद्ध]] प्रस्तुत किया, जिसने गणितज्ञों और सेट सिद्धांत के अग्रदूतों के बीच गरमागरम बहस और शोध किया। विधि की तत्काल आलोचना ने ज़र्मेलो को अपने परिणाम की दूसरी व्याख्या प्रकाशित करने के लिए प्रेरित किया, सीधे उसके प्रमाण की आलोचनाओं को संबोधित करते हुए।{{sfnp|Zermelo|1908a}} इस पत्र ने गणित समुदाय में पसंद के स्वयंसिद्ध की सामान्य स्वीकृति का नेतृत्व किया।
 पसंद के स्वयंसिद्ध के बारे में संदेह हाल ही में खोजे गए सहज सेट सिद्धांत में विरोधाभासों द्वारा प्रबल किया गया था। [[सेसारे बुराली-फोर्टी]]{{sfnp|Burali-Forti|1897}} विरोधाभास बताने वाले पहले व्यक्ति थे: [[बुराली-फोर्टी विरोधाभास]] दर्शाता है कि सभी क्रमिक संख्याओं का संग्रह एक सेट नहीं बना सकता। इसके तुरंत बाद, बर्ट्रेंड रसेल ने 1901 में रसेल के विरोधाभास की खोज की और [[जूल्स रिचर्ड (गणितज्ञ)]] ने रिचर्ड के विरोधाभास की खोज की।{{sfnp|Richard|1905}}{{full citation needed|date=May 2021}}
@@ Line 68: / Line 68: @@
 अपने डॉक्टरेट थीसिस में, कर्ट गोडेल ने [[पूर्णता प्रमेय]] को सिद्ध किया, जो पहले क्रम के तर्क में वाक्य रचना और शब्दार्थ के बीच एक पत्राचार स्थापित करता है।{{sfnp|Gödel|1929}} गोडेल ने [[कॉम्पैक्टनेस प्रमेय]] को सिद्ध करना  करने के लिए पूर्णता प्रमेय का उपयोग किया, जिसमें पहले क्रम के [[तार्किक परिणाम]] की सीमित प्रकृति का प्रदर्शन किया गया। इन परिणामों ने प्रथम-क्रम तर्क को गणितज्ञों द्वारा उपयोग किए जाने वाले प्रमुख तर्क के रूप में स्थापित करने में मदद की।
-में, गोडेल ने प्रिंसिपिया मैथेमेटिका और संबंधित प्रणालियों के औपचारिक रूप से अनिर्णायक प्रस्तावों पर प्रकाशित किया, जो सभी पर्याप्त रूप से मजबूत, प्रभावी प्रथम-क्रम के सिद्धांतों की अपूर्णता (शब्द के एक अलग अर्थ में) को सिद्ध करना  करता है। यह परिणाम, गोडेल की अपूर्णता प्रमेय के रूप में जाना जाता है, गणित के लिए स्वयंसिद्ध नींव पर गंभीर सीमाएं स्थापित करता है, हिल्बर्ट के कार्यक्रम के लिए एक मजबूत झटका मारता है। इसने अंकगणित के किसी भी औपचारिक सिद्धांत के भीतर अंकगणित का एक निरंतरता प्रमाण प्रदान करने की असंभवता को दिखाया। हालाँकि, हिल्बर्ट ने कुछ समय के लिए अपूर्णता प्रमेय के महत्व को स्वीकार नहीं किया।{{efn|name=HilbertBernays1934_PlusNote}}
+में, गोडेल ने प्रिंसिपिया मैथेमेटिका और संबंधित प्रणालियों के औपचारिक रूप से अनिर्णायक प्रस्तावों पर प्रकाशित किया, जो सभी पर्याप्त रूप से मजबूत, प्रभावी प्रथम-क्रम के सिद्धांतों की अपूर्णता (शब्द के एक अलग अर्थ में) को सिद्ध करना  करता है। यह परिणाम, गोडेल की अपूर्णता प्रमेय के रूप में जाना जाता है, गणित के लिए स्वयंसिद्ध नींव पर गंभीर सीमाएं स्थापित करता है, हिल्बर्ट के कार्यक्रम के लिए एक मजबूत झटका मारता है। इसने अंकगणित के किसी भी औपचारिक सिद्धांत के भीतर अंकगणित का एक निरंतरता प्रमाण प्रदान करने की असंभवता को दिखाया। चूँकि, हिल्बर्ट ने कुछ समय के लिए अपूर्णता प्रमेय के महत्व को स्वीकार नहीं किया।{{efn|name=HilbertBernays1934_PlusNote}}
-गोडेल के प्रमेय से पता चलता है कि किसी भी पर्याप्त रूप से मजबूत, प्रभावी स्वयंसिद्ध प्रणाली का एक संगति प्रमाण सिस्टम में ही प्राप्त नहीं किया जा सकता है, यदि सिस्टम सुसंगत है, और न ही किसी कमजोर प्रणाली में। यह संगति प्रमाणों की संभावना को खोलता है जिन्हें उनके द्वारा विचार की गई प्रणाली के भीतर औपचारिक रूप नहीं दिया जा सकता है। जेंटजन ने ट्रांसफिनिट इंडक्शन के सिद्धांत के साथ एक परिमित प्रणाली का उपयोग करके अंकगणित की निरंतरता को सिद्ध करना  किया।{{sfnp|Gentzen|1936}} Gentzen के नतीजे ने कट उन्मूलन और सबूत-सैद्धांतिक अध्यादेशों के विचारों को पेश किया, जो सबूत सिद्धांत में महत्वपूर्ण उपकरण बन गए। गोडेल ने एक अलग संगति प्रमाण दिया, जो शास्त्रीय अंकगणित की संगति को उच्च प्रकारों में अंतर्ज्ञानवादी अंकगणित की तुलना में कम कर देता है।{{sfnp|Gödel|1958}}
+गोडेल के प्रमेय से पता चलता है कि किसी भी पर्याप्त रूप से मजबूत, प्रभावी स्वयंसिद्ध प्रणाली का एक संगति प्रमाण सिस्टम में ही प्राप्त नहीं किया जा सकता है, यदि सिस्टम सुसंगत है, और न ही किसी कमजोर प्रणाली में। यह संगति प्रमाणों की संभावना को खोलता है जिन्हें उनके द्वारा विचार की गई प्रणाली के भीतर औपचारिक रूप नहीं दिया जा सकता है। जेंटजन ने ट्रांसफिनिट इंडक्शन के सिद्धांत के साथ एक परिमित प्रणाली का उपयोग करके अंकगणित की निरंतरता को सिद्ध करना  किया।{{sfnp|Gentzen|1936}} Gentzen के नतीजे ने कट उन्मूलन और सबूत-सैद्धांतिक अध्यादेशों के विचारों को प्रस्तुत किया, जो सबूत सिद्धांत में महत्वपूर्ण उपकरण बन गए। गोडेल ने एक अलग संगति प्रमाण दिया, जो मौलिक  अंकगणित की संगति को उच्च प्रकारों में अंतर्ज्ञानवादी अंकगणित की तुलना में कम कर देता है।{{sfnp|Gödel|1958}}
 आम आदमी के लिए प्रतीकात्मक तर्क पर पहली पाठ्यपुस्तक 1896 में एलिस इन वंडरलैंड के लेखक लुईस कैरोल द्वारा लिखी गई थी।{{sfnp|Carroll|1896}}
@@ Line 78: / Line 78: @@
 की शुरुआत में, प्रमुख गणितज्ञों के एक समूह ने छद्म नाम निकोलस बोर्बाकी के अनुसार  Éléments de mathématique, विश्वकोश गणित ग्रंथों की एक श्रृंखला प्रकाशित करने के लिए सहयोग किया। कठोर और स्वयंसिद्ध शैली में लिखे गए इन ग्रंथों में कठोर प्रस्तुति और सेट-सैद्धांतिक नींव पर बल दिया गया है। इन पाठों द्वारा गढ़ी गई शब्दावली, जैसे कि शब्द आक्षेप, अंतःक्षेपण, और अनुमान|आक्षेपण, अंतःक्षेपण, और अनुमान, और सेट-सैद्धांतिक नींव नियोजित ग्रंथ, पूरे गणित में व्यापक रूप से अपनाए गए थे।
-[[संगणनीयता सिद्धांत]] अध्ययन को पुनरावर्तन सिद्धांत या कम्प्यूटेबिलिटी सिद्धांत के रूप में जाना जाने लगा, क्योंकि गोडेल और क्लेन द्वारा शुरुआती औपचारिकताएं कार्यों की पुनरावर्ती परिभाषाओं पर निर्भर थीं।{{efn|A detailed study of this terminology is given by {{harvnb|Soare|1996}}.}} जब इन परिभाषाओं को ट्यूरिंग मशीनों से जुड़े ट्यूरिंग की औपचारिकता के बराबर दिखाया गया, तो यह स्पष्ट हो गया कि एक नई अवधारणा - संगणनीय कार्य - की खोज की गई थी, और यह परिभाषा कई स्वतंत्र विशेषताओं को स्वीकार करने के लिए पर्याप्त मजबूत थी। 1931 में अपूर्णता प्रमेय पर अपने काम में, गोडेल के पास एक प्रभावी औपचारिक प्रणाली की कठोर अवधारणा का अभाव था; उन्होंने तुरंत महसूस किया कि कम्प्यूटेबिलिटी की नई परिभाषाओं का उपयोग इस उद्देश्य के लिए किया जा सकता है, जिससे उन्हें अपूर्णता प्रमेय को सामान्य रूप से बताने की अनुमति मिलती है जो केवल मूल पेपर में निहित हो सकती है।
+[[संगणनीयता सिद्धांत]] अध्ययन को पुनरावर्तन सिद्धांत या कम्प्यूटेबिलिटी सिद्धांत के रूप में जाना जाने लगा, क्योंकि गोडेल और क्लेन द्वारा प्रारंभिक औपचारिकताएं कार्यों की पुनरावर्ती परिभाषाओं पर निर्भर थीं।{{efn|A detailed study of this terminology is given by {{harvnb|Soare|1996}}.}} जब इन परिभाषाओं को ट्यूरिंग मशीनों से जुड़े ट्यूरिंग की औपचारिकता के बराबर दिखाया गया, तो यह स्पष्ट हो गया कि एक नई अवधारणा - संगणनीय कार्य - की खोज की गई थी, और यह परिभाषा कई स्वतंत्र विशेषताओं को स्वीकार करने के लिए पर्याप्त मजबूत थी। 1931 में अपूर्णता प्रमेय पर अपने काम में, गोडेल के पास एक प्रभावी औपचारिक प्रणाली की कठोर अवधारणा का अभाव था; उन्होंने तुरंत महसूस किया कि कम्प्यूटेबिलिटी की नई परिभाषाओं का उपयोग इस उद्देश्य के लिए किया जा सकता है, जिससे उन्हें अपूर्णता प्रमेय को सामान्य रूप से बताने की अनुमति मिलती है जो केवल मूल पेपर में निहित हो सकती है।
 के दशक में स्टीफन कोल क्लेन और [[एमिल लियोन पोस्ट]] द्वारा पुनरावर्तन सिद्धांत में कई परिणाम प्राप्त हुए। क्लीन{{sfnp|Kleene|1943}} ट्यूरिंग द्वारा पूर्वाभासित सापेक्ष संगणनीयता की अवधारणाओं को प्रस्तुत किया,{{sfnp|Turing|1939}} और [[अंकगणितीय पदानुक्रम]]। बाद में क्लेन ने पुनरावर्तन सिद्धांत को उच्च-क्रम के कार्यों के लिए सामान्यीकृत किया। क्लेन और [[जॉर्ज क्रेसेल]] ने विशेष रूप से सबूत सिद्धांत के संदर्भ में अंतर्ज्ञानवादी गणित के औपचारिक संस्करणों का अध्ययन किया।
 <!-- शायद इस इतिहास को 1950 के आसपास ही रोक देना बेहतर होगा -->
 == औपचारिक तार्किक प्रणाली {{anchor|Formal logic}} ==
-इसके मूल में, गणितीय तर्क औपचारिक तार्किक प्रणालियों का उपयोग करके व्यक्त की गई गणितीय अवधारणाओं से संबंधित है। ये प्रणालियाँ, चूंकि वे कई विवरणों में भिन्न हैं, एक निश्चित [[औपचारिक भाषा]] में केवल भावों पर विचार करने की सामान्य संपत्ति साझा करती हैं। गणित की नींव के लिए उनकी प्रयोज्यता और उनके वांछनीय प्रमाण-सैद्धांतिक गुणों के कारण, प्रस्तावपरक तर्क और प्रथम-क्रम तर्क की प्रणालियाँ आज सबसे व्यापक रूप से अध्ययन की जाती हैं।{{efn|name=FerreirósSurveys}} गैर-शास्त्रीय तर्क जैसे [[अंतर्ज्ञानवादी तर्क]] के साथ दूसरे क्रम के तर्क या अनंत तर्क जैसे मजबूत शास्त्रीय तर्कों का भी अध्ययन किया जाता है।
+इसके मूल में, गणितीय तर्क औपचारिक तार्किक प्रणालियों का उपयोग करके व्यक्त की गई गणितीय अवधारणाओं से संबंधित है। ये प्रणालियाँ, चूंकि वे कई विवरणों में भिन्न हैं, एक निश्चित [[औपचारिक भाषा]] में केवल भावों पर विचार करने की सामान्य संपत्ति साझा करती हैं। गणित की नींव के लिए उनकी प्रयोज्यता और उनके वांछनीय प्रमाण-सैद्धांतिक गुणों के कारण, प्रस्तावपरक तर्क और प्रथम-क्रम तर्क की प्रणालियाँ आज सबसे व्यापक रूप से अध्ययन की जाती हैं।{{efn|name=FerreirósSurveys}} गैर-मौलिक  तर्क जैसे [[अंतर्ज्ञानवादी तर्क]] के साथ दूसरे क्रम के तर्क या अनंत तर्क जैसे मजबूत मौलिक  तर्कों का भी अध्ययन किया जाता है।
 === प्रथम-क्रम तर्क ===
@@ Line 93: / Line 93: @@
 गोडेल की पूर्णता प्रमेय ने प्रथम-क्रम तर्क में तार्किक परिणाम की सिमेंटिक और सिंटैक्टिक परिभाषाओं के बीच समानता स्थापित की।{{sfnp|Gödel|1929}} यह दर्शाता है कि यदि प्रत्येक मॉडल में एक विशेष वाक्य सत्य है जो स्वयंसिद्धों के एक विशेष सेट को संतुष्ट करता है, तो स्वयंसिद्धों से वाक्य की एक सीमित कटौती होनी चाहिए। कॉम्पैक्टनेस प्रमेय पहली बार पूर्णता प्रमेय के गोडेल के प्रमाण में एक लेम्मा के रूप में प्रकट हुआ, और तर्कशास्त्रियों को इसके महत्व को समझने और इसे नियमित रूप से लागू करने में कई साल लग गए। यह कहता है कि वाक्यों के एक सेट में एक मॉडल होता है यदि और केवल यदि प्रत्येक परिमित उपसमुच्चय में एक मॉडल होता है, या दूसरे शब्दों में, सूत्रों के एक असंगत सेट में एक परिमित असंगत उपसमुच्चय होना चाहिए। पूर्णता और कॉम्पैक्टनेस प्रमेय प्रथम-क्रम तर्क और मॉडल सिद्धांत के विकास में तार्किक परिणाम के परिष्कृत विश्लेषण की अनुमति देते हैं, और वे गणित में प्रथम-क्रम तर्क की प्रमुखता के प्रमुख कारण हैं।
-गोडेल के अपूर्णता प्रमेय प्रथम-क्रम के स्वयंसिद्धों पर अतिरिक्त सीमाएँ स्थापित करते हैं।{{sfnp|Gödel|1931}} पहला अपूर्णता प्रमेय बताता है कि किसी भी सुसंगत, प्रभावी ढंग से दी गई (नीचे परिभाषित) तार्किक प्रणाली के लिए जो अंकगणित की व्याख्या करने में सक्षम है, एक कथन उपस्तिथ है जो सत्य है (इस अर्थ में कि यह प्राकृतिक संख्याओं के लिए है) लेकिन उस तार्किक के भीतर सिद्ध नहीं है प्रणाली (और जो वास्तव में अंकगणित के कुछ गैर-मानक मॉडल में विफल हो सकती है | अंकगणित के गैर-मानक मॉडल जो तार्किक प्रणाली के अनुरूप हो सकते हैं)। उदाहरण के लिए, पीआनो सिद्धांतों को व्यक्त करने में सक्षम प्रत्येक तार्किक प्रणाली में, गोडेल वाक्य प्राकृतिक संख्याओं के लिए मान्य है लेकिन सिद्ध नहीं किया जा सकता है।
+गोडेल के अपूर्णता प्रमेय प्रथम-क्रम के स्वयंसिद्धों पर अतिरिक्त सीमाएँ स्थापित करते हैं।{{sfnp|Gödel|1931}} पहला अपूर्णता प्रमेय बताता है कि किसी भी सुसंगत, प्रभावी ढंग से दी गई (नीचे परिभाषित) तार्किक प्रणाली के लिए जो अंकगणित की व्याख्या करने में सक्षम है, एक कथन उपस्तिथ है जो सत्य है (इस अर्थ में कि यह प्राकृतिक संख्याओं के लिए है) किन्तु उस तार्किक के भीतर सिद्ध नहीं है प्रणाली (और जो वास्तव में अंकगणित के कुछ गैर-मानक मॉडल में विफल हो सकती है | अंकगणित के गैर-मानक मॉडल जो तार्किक प्रणाली के अनुरूप हो सकते हैं)। उदाहरण के लिए, पीआनो सिद्धांतों को व्यक्त करने में सक्षम प्रत्येक तार्किक प्रणाली में, गोडेल वाक्य प्राकृतिक संख्याओं के लिए मान्य है किन्तु सिद्ध नहीं किया जा सकता है।
 यहाँ एक तार्किक प्रणाली को प्रभावी रूप से दिया जाना कहा जाता है यदि यह तय करना संभव है, प्रणाली की भाषा में कोई सूत्र दिया गया है, क्या सूत्र एक अभिगृहीत है, और जो पीआनो अभिगृहीत को अभिव्यक्त कर सकता है उसे पर्याप्त रूप से मजबूत कहा जाता है। प्रथम-क्रम तर्क पर लागू होने पर, पहली अपूर्णता प्रमेय का अर्थ है कि किसी भी पर्याप्त रूप से मजबूत, सुसंगत, प्रभावी प्रथम-क्रम सिद्धांत में ऐसे मॉडल हैं जो प्राथमिक उपसंरचना नहीं हैं, लोवेनहेम-स्कोलेम प्रमेय द्वारा स्थापित की तुलना में एक मजबूत सीमा। दूसरा अपूर्णता प्रमेय बताता है कि अंकगणित के लिए पर्याप्त रूप से मजबूत, सुसंगत, प्रभावी स्वयंसिद्ध प्रणाली अपनी निरंतरता सिद्ध करना  नहीं कर सकती है, जिसे दिखाने के लिए व्याख्या की गई है कि हिल्बर्ट के कार्यक्रम तक नहीं पहुंचा जा सकता है।
-=== अन्य शास्त्रीय लॉजिक्स ===
+=== अन्य मौलिक  लॉजिक्स ===
 पहले क्रम के तर्क के अतिरिक्त कई तर्कशास्त्रों का अध्ययन किया जाता है। इनमें [[असीम तर्क]] सम्मलित हैं, जो सूत्रों को अनंत मात्रा में जानकारी प्रदान करने की अनुमति देते हैं, और उच्च-क्रम लॉजिक्स, जिसमें सेट सिद्धांत का एक हिस्सा सीधे उनके शब्दार्थ में सम्मलित होता है।
-सबसे अच्छी तरह से अध्ययन किया गया अनंत तर्क है <math>L_{\omega_1,\omega}</math>. इस तर्क में, क्वांटिफायर्स को केवल परिमित गहराई तक नेस्टेड किया जा सकता है, जैसा कि पहले क्रम के तर्क में होता है, लेकिन सूत्रों में उनके भीतर परिमित या गणनीय रूप से अनंत संयुग्मन और वियोजन हो सकते हैं। इस प्रकार, उदाहरण के लिए, के सूत्र का उपयोग करके यह कहना संभव है कि एक वस्तु एक पूर्ण संख्या है <math>L_{\omega_1,\omega}</math> जैसे कि
+सबसे अच्छी तरह से अध्ययन किया गया अनंत तर्क है <math>L_{\omega_1,\omega}</math>. इस तर्क में, क्वांटिफायर्स को केवल परिमित गहराई तक नेस्टेड किया जा सकता है, जैसा कि पहले क्रम के तर्क में होता है, किन्तु सूत्रों में उनके भीतर परिमित या गणनीय रूप से अनंत संयुग्मन और वियोजन हो सकते हैं। इस प्रकार, उदाहरण के लिए, के सूत्र का उपयोग करके यह कहना संभव है कि एक वस्तु एक पूर्ण संख्या है <math>L_{\omega_1,\omega}</math> जैसे कि
 :<math>(x = 0) \lor (x = 1) \lor (x = 2) \lor \cdots.</math>
 उच्च-क्रम के तर्क न केवल प्रवचन के क्षेत्र के तत्वों की मात्रा का ठहराव करने की अनुमति देते हैं, बल्कि प्रवचन के डोमेन के उपसमुच्चय, ऐसे उपसमुच्चय के समुच्चय और उच्च प्रकार की अन्य वस्तुओं की अनुमति देते हैं। शब्दार्थ को परिभाषित किया गया है जिससे कि प्रत्येक उच्च-प्रकार के क्वांटिफायर के लिए एक अलग डोमेन होने के अतिरिक्त, क्वांटिफायर इसके अतिरिक्त उपयुक्त प्रकार की सभी वस्तुओं पर रेंज करें। प्रथम-क्रम तर्क के विकास से पहले तर्कशास्त्र का अध्ययन किया गया था, उदाहरण के लिए फ्रीज के तर्क में समान सेट-सैद्धांतिक पहलू थे। चूंकि उच्च-क्रम तर्क अधिक अभिव्यंजक हैं, प्राकृतिक संख्याओं जैसे संरचनाओं के पूर्ण स्वयंसिद्धीकरण की अनुमति देते हुए, वे प्रथम-क्रम तर्क से पूर्णता और कॉम्पैक्टनेस प्रमेयों के अनुरूपों को संतुष्ट नहीं करते हैं, और इस प्रकार सबूत-सैद्धांतिक विश्लेषण के लिए कम उत्तरदायी हैं।
@@ Line 106: / Line 106: @@
 एक अन्य प्रकार के लॉजिक्स हैं{{vanchor|fixed-point logic}}s जो [[आगमनात्मक परिभाषा]]ओं की अनुमति देता है, जैसे कि आदिम पुनरावर्ती कार्यों के लिए लिखता है।
-एक औपचारिक रूप से प्रथम-क्रम तर्क के विस्तार को परिभाषित कर सकता है - एक धारणा जो इस खंड में सभी लॉजिक्स को सम्मलित करती है क्योंकि वे कुछ मौलिक तरीकों से प्रथम-क्रम तर्क की तरह व्यवहार करते हैं, लेकिन सामान्य रूप से सभी तर्कों को सम्मलित नहीं करते हैं, उदा। यह अंतर्ज्ञानवादी, मोडल या [[फजी लॉजिक]] को सम्मलित नहीं करता है।
+एक औपचारिक रूप से प्रथम-क्रम तर्क के विस्तार को परिभाषित कर सकता है - एक धारणा जो इस खंड में सभी लॉजिक्स को सम्मलित करती है क्योंकि वे कुछ मौलिक तरीकों से प्रथम-क्रम तर्क की तरह व्यवहार करते हैं, किन्तु सामान्य रूप से सभी तर्कों को सम्मलित नहीं करते हैं, उदा। यह अंतर्ज्ञानवादी, मोडल या [[फजी लॉजिक]] को सम्मलित नहीं करता है।
 लिंडस्ट्रॉम के प्रमेय का अर्थ है कि कॉम्पैक्टनेस प्रमेय और लोवेनहाइम-स्कोलेम प्रमेय दोनों को संतुष्ट करने वाले प्रथम-क्रम तर्क का एकमात्र विस्तार #डाउनवर्ड पार्ट|डाउनवर्ड लोवेनहेम-स्कोलेम प्रमेय प्रथम-क्रम तर्क है।
@@ Line 112: / Line 112: @@
 === अशास्त्रीय और मोडल लॉजिक ===
 {{main|गैर शास्त्रीय तर्क}}
-[[मॉडल तर्क]] में अतिरिक्त मोडल ऑपरेटर सम्मलित होते हैं, जैसे एक ऑपरेटर जो बताता है कि एक विशेष सूत्र न केवल सत्य है, बल्कि अनिवार्य रूप से सत्य है। यद्यपि मोडल लॉजिक का उपयोग अधिकांशतःगणित को स्वयंसिद्ध करने के लिए नहीं किया जाता है, लेकिन इसका उपयोग प्रथम-क्रम की उपयोगिता के गुणों का अध्ययन करने के लिए किया जाता है।{{sfnp|Solovay|1976}} और सेट-सैद्धांतिक बल।{{sfnp|Hamkins|Löwe|2007}}
+[[मॉडल तर्क]] में अतिरिक्त मोडल ऑपरेटर सम्मलित होते हैं, जैसे एक ऑपरेटर जो बताता है कि एक विशेष सूत्र न केवल सत्य है, बल्कि अनिवार्य रूप से सत्य है। यद्यपि मोडल लॉजिक का उपयोग अधिकांशतःगणित को स्वयंसिद्ध करने के लिए नहीं किया जाता है, किन्तु इसका उपयोग प्रथम-क्रम की उपयोगिता के गुणों का अध्ययन करने के लिए किया जाता है।{{sfnp|Solovay|1976}} और सेट-सैद्धांतिक बल।{{sfnp|Hamkins|Löwe|2007}}
-ब्रोवर के अंतर्ज्ञानवाद के कार्यक्रम का अध्ययन करने के लिए हेटिंग द्वारा अंतर्ज्ञानवादी तर्क विकसित किया गया था, जिसमें ब्रोवर ने खुद को औपचारिकता से बचा लिया था। अंतर्ज्ञानवादी तर्क विशेष रूप से बहिष्कृत मध्य के कानून को सम्मलित नहीं करता है, जो बताता है कि प्रत्येक वाक्य या तो सत्य है या इसकी अस्वीकृति सत्य है। इंट्यूशनिस्टिक लॉजिक के प्रूफ थ्योरी के साथ क्लेन के काम ने दिखाया कि इंट्यूशनिस्टिक प्रूफ से रचनात्मक जानकारी प्राप्त की जा सकती है। उदाहरण के लिए, अंतर्ज्ञान संबंधी अंकगणित में कोई भी सिद्ध रूप से कुल कार्य संगणनीय है; यह अंकगणित के शास्त्रीय सिद्धांतों जैसे पीनो अंकगणित में सत्य नहीं है।
+ब्रोवर के अंतर्ज्ञानवाद के कार्यक्रम का अध्ययन करने के लिए हेटिंग द्वारा अंतर्ज्ञानवादी तर्क विकसित किया गया था, जिसमें ब्रोवर ने खुद को औपचारिकता से बचा लिया था। अंतर्ज्ञानवादी तर्क विशेष रूप से बहिष्कृत मध्य के कानून को सम्मलित नहीं करता है, जो बताता है कि प्रत्येक वाक्य या तो सत्य है या इसकी अस्वीकृति सत्य है। इंट्यूशनिस्टिक लॉजिक के प्रूफ थ्योरी के साथ क्लेन के काम ने दिखाया कि इंट्यूशनिस्टिक प्रूफ से रचनात्मक जानकारी प्राप्त की जा सकती है। उदाहरण के लिए, अंतर्ज्ञान संबंधी अंकगणित में कोई भी सिद्ध रूप से कुल कार्य संगणनीय है; यह अंकगणित के मौलिक  सिद्धांतों जैसे पीनो अंकगणित में सत्य नहीं है।
 === [[बीजगणितीय तर्क]] ===
-बीजगणितीय तर्क औपचारिक तर्कशास्त्र के शब्दार्थों का अध्ययन करने के लिए अमूर्त बीजगणित के तरीकों का उपयोग करता है। शास्त्रीय प्रस्तावपरक तर्क में सत्य मूल्यों का प्रतिनिधित्व करने के लिए [[बूलियन बीजगणित (संरचना)]] का एक मौलिक उदाहरण है, और अंतर्ज्ञानवादी प्रस्तावपरक तर्क में सत्य मूल्यों का प्रतिनिधित्व करने के लिए [[हेटिंग बीजगणित]] का उपयोग। पहले क्रम के तर्क और उच्च क्रम के तर्क जैसे मजबूत तर्कों का अध्ययन [[बेलनाकार बीजगणित]] जैसी अधिक जटिल बीजगणितीय संरचनाओं का उपयोग करके किया जाता है।
+बीजगणितीय तर्क औपचारिक तर्कशास्त्र के शब्दार्थों का अध्ययन करने के लिए अमूर्त बीजगणित के तरीकों का उपयोग करता है। मौलिक  प्रस्तावपरक तर्क में सत्य मूल्यों का प्रतिनिधित्व करने के लिए [[बूलियन बीजगणित (संरचना)]] का एक मौलिक उदाहरण है, और अंतर्ज्ञानवादी प्रस्तावपरक तर्क में सत्य मूल्यों का प्रतिनिधित्व करने के लिए [[हेटिंग बीजगणित]] का उपयोग। पहले क्रम के तर्क और उच्च क्रम के तर्क जैसे मजबूत तर्कों का अध्ययन [[बेलनाकार बीजगणित]] जैसी अधिक जटिल बीजगणितीय संरचनाओं का उपयोग करके किया जाता है।
 == सेट सिद्धांत ==
@@ Line 124: / Line 124: @@
 वॉन न्यूमैन-बर्नेज़-गोडेल सेट थ्योरी (NBG), मोर्स-केली सेट थ्योरी (MK) और न्यू फ़ाउंडेशन (NF) सहित सेट थ्योरी की अन्य औपचारिकताओं को प्रस्तावित किया गया है। इनमें से ZF, NBG, और MK समुच्चयों के [[संचयी पदानुक्रम]] का वर्णन करने में समान हैं। नई नींव एक अलग दृष्टिकोण अपनाती है; यह अपने सेट-अस्तित्व स्वयंसिद्धों पर प्रतिबंधों की कीमत पर सभी सेटों के सेट जैसी वस्तुओं को अनुमति देता है। क्रिपके-प्लेटक सेट सिद्धांत की प्रणाली सामान्यीकृत पुनरावर्तन सिद्धांत से निकटता से संबंधित है।
-सेट थ्योरी में दो प्रसिद्ध कथन पसंद का स्वयंसिद्ध और सातत्य परिकल्पना हैं। पसंद का स्वयंसिद्ध, सबसे पहले ज़र्मेलो द्वारा कहा गया,{{sfnp|Zermelo|1904}} फ्रैंकेल द्वारा जेडएफ से स्वतंत्र सिद्ध करना  किया गया था,{{sfnp|Fraenkel|1922}} लेकिन गणितज्ञों द्वारा व्यापक रूप से स्वीकार किया जाने लगा है। इसमें कहा गया है कि गैर-खाली सेटों का एक संग्रह दिया गया है जिसमें एक सेट सी है जिसमें संग्रह में प्रत्येक सेट से ठीक एक तत्व होता है। कहा जाता है कि सेट सी संग्रह में प्रत्येक सेट से एक तत्व का चयन करता है। जबकि इस तरह की पसंद करने की क्षमता कुछ लोगों द्वारा स्पष्ट मानी जाती है, चूंकि संग्रह में प्रत्येक सेट गैर-खाली है, एक सामान्य, ठोस नियम की कमी जिसके द्वारा चुनाव किया जा सकता है, स्वयंसिद्ध गैर-रचनात्मक प्रदान करता है। स्टीफन बानाच और अल्फ्रेड तर्स्की ने दिखाया कि पसंद के स्वयंसिद्ध का उपयोग एक ठोस गेंद को टुकड़ों की एक सीमित संख्या में विघटित करने के लिए किया जा सकता है, जिसे मूल आकार के दो ठोस गेंदों को बनाने के लिए बिना स्केलिंग के पुन: व्यवस्थित किया जा सकता है।{{sfnp|Banach|Tarski|1924}} यह प्रमेय, जिसे बनच-तर्स्की विरोधाभास के रूप में जाना जाता है, पसंद के स्वयंसिद्ध के कई प्रतिगामी परिणामों में से एक है।
+सेट थ्योरी में दो प्रसिद्ध कथन पसंद का स्वयंसिद्ध और सातत्य परिकल्पना हैं। पसंद का स्वयंसिद्ध, सबसे पहले ज़र्मेलो द्वारा कहा गया,{{sfnp|Zermelo|1904}} फ्रैंकेल द्वारा जेडएफ से स्वतंत्र सिद्ध करना  किया गया था,{{sfnp|Fraenkel|1922}} किन्तु गणितज्ञों द्वारा व्यापक रूप से स्वीकार किया जाने लगा है। इसमें कहा गया है कि गैर-खाली सेटों का एक संग्रह दिया गया है जिसमें एक सेट सी है जिसमें संग्रह में प्रत्येक सेट से ठीक एक तत्व होता है। कहा जाता है कि सेट सी संग्रह में प्रत्येक सेट से एक तत्व का चयन करता है। जबकि इस तरह की पसंद करने की क्षमता कुछ लोगों द्वारा स्पष्ट मानी जाती है, चूंकि संग्रह में प्रत्येक सेट गैर-खाली है, एक सामान्य, ठोस नियम की कमी जिसके द्वारा चुनाव किया जा सकता है, स्वयंसिद्ध गैर-रचनात्मक प्रदान करता है। स्टीफन बानाच और अल्फ्रेड तर्स्की ने दिखाया कि पसंद के स्वयंसिद्ध का उपयोग एक ठोस गेंद को टुकड़ों की एक सीमित संख्या में विघटित करने के लिए किया जा सकता है, जिसे मूल आकार के दो ठोस गेंदों को बनाने के लिए बिना स्केलिंग के पुन: व्यवस्थित किया जा सकता है।{{sfnp|Banach|Tarski|1924}} यह प्रमेय, जिसे बनच-तर्स्की विरोधाभास के रूप में जाना जाता है, पसंद के स्वयंसिद्ध के कई प्रतिगामी परिणामों में से एक है।
 कॉन्टिनम परिकल्पना, जिसे पहले कैंटर द्वारा एक अनुमान के रूप में प्रस्तावित किया गया था, डेविड हिल्बर्ट द्वारा 1900 में उनकी 23 समस्याओं में से एक के रूप में सूचीबद्ध किया गया था। गोडेल ने दिखाया कि कॉन्टिनम परिकल्पना को ज़र्मेलो-फ्रेंकेल सेट सिद्धांत (स्वयंसिद्ध के साथ या उसके बिना) के स्वयंसिद्धों से अप्रमाणित नहीं किया जा सकता है। पसंद का), सेट सिद्धांत के रचनात्मक ब्रह्मांड को विकसित करके जिसमें निरंतर परिकल्पना को धारण करना चाहिए। 1963 में, पॉल कोहेन ने दिखाया कि ज़र्मेलो-फ्रेंकेल सेट सिद्धांत के स्वयंसिद्धों से सातत्य परिकल्पना को सिद्ध नहीं किया जा सकता है।{{sfnp|Cohen|1966}} स्वतंत्रता के इस परिणाम ने हिल्बर्ट के सवाल को पूरी तरह से सुलझाया नहीं, चूंकि, यह संभव है कि सेट सिद्धांत के लिए नए सिद्धांत परिकल्पना को हल कर सकें। इन पंक्तियों के साथ हाल ही में काम डब्ल्यू ह्यूग वुडिन द्वारा किया गया है, चूंकि इसका महत्व अभी तक स्पष्ट नहीं है।{{sfnp|Woodin|2001}}
@@ Line 133: / Line 133: @@
 मॉडल सिद्धांत विभिन्न औपचारिक सिद्धांतों के मॉडल का अध्ययन करता है। यहाँ एक सिद्धांत (गणितीय तर्क) एक विशेष औपचारिक तर्क और हस्ताक्षर (तर्क) में सूत्रों का एक समूह है, जबकि एक संरचना (गणितीय तर्क) एक संरचना है जो सिद्धांत की एक ठोस व्याख्या देती है। मॉडल सिद्धांत सार्वभौमिक बीजगणित और [[बीजगणितीय ज्यामिति]] से निकटता से संबंधित है, चूंकि मॉडल सिद्धांत के तरीके उन क्षेत्रों की तुलना में तार्किक विचारों पर अधिक ध्यान केंद्रित करते हैं।
-किसी विशेष सिद्धांत के सभी मॉडलों के समुच्चय को [[प्राथमिक वर्ग]] कहा जाता है; शास्त्रीय मॉडल सिद्धांत एक विशेष प्राथमिक वर्ग में मॉडल के गुणों को निर्धारित करना चाहता है, या यह निर्धारित करता है कि संरचनाओं के कुछ वर्ग प्राथमिक वर्ग बनाते हैं या नहीं।
+किसी विशेष सिद्धांत के सभी मॉडलों के समुच्चय को [[प्राथमिक वर्ग]] कहा जाता है; मौलिक  मॉडल सिद्धांत एक विशेष प्राथमिक वर्ग में मॉडल के गुणों को निर्धारित करना चाहता है, या यह निर्धारित करता है कि संरचनाओं के कुछ वर्ग प्राथमिक वर्ग बनाते हैं या नहीं।
 क्वांटिफायर एलिमिनेशन की विधि का उपयोग यह दिखाने के लिए किया जा सकता है कि विशेष सिद्धांतों में निश्चित सेट बहुत जटिल नहीं हो सकते हैं। टार्स्की ने वास्तविक-बंद क्षेत्रों के लिए क्वांटिफायर एलिमिनेशन की स्थापना की, एक परिणाम जो वास्तविक संख्या के क्षेत्र के सिद्धांत को भी दिखाता है वह [[निर्णायक सेट]] है।{{sfnp|Tarski|1948}} उन्होंने यह भी नोट किया कि उनकी विधियां मनमाना विशेषता वाले बीजगणितीय रूप से बंद क्षेत्रों पर समान रूप से लागू होती हैं। इससे विकसित होने वाला एक आधुनिक उप क्षेत्र ओ-न्यूनतम सिद्धांत | ओ-न्यूनतम संरचनाओं से संबंधित है।
@@ Line 143: / Line 143: @@
 == पुनरावर्तन सिद्धांत ==
 {{Main|पुनरावर्तन सिद्धांत}}
-पुनरावर्तन सिद्धांत, जिसे संगणनीयता सिद्धांत भी कहा जाता है, संगणनीय कार्यों और ट्यूरिंग डिग्री के गुणों का अध्ययन करता है, जो अगणनीय कार्यों को उन सेटों में विभाजित करता है जिनमें समान स्तर की असम्बद्धता होती है। पुनरावर्तन सिद्धांत में सामान्यीकृत संगणनीयता और निश्चितता का अध्ययन भी सम्मलित है। पुनरावर्तन सिद्धांत 1930 के दशक में रोज़ा पेटर, [[अलोंजो चर्च]] और [[एलन ट्यूरिंग]] के काम से विकसित हुआ, जिसे 1940 के दशक में स्टीफन कोल क्लेन और एमिल लियोन पोस्ट द्वारा काफी विस्तारित किया गया था।{{sfnp|Soare|2011}}
+पुनरावर्तन सिद्धांत, जिसे संगणनीयता सिद्धांत भी कहा जाता है, संगणनीय कार्यों और ट्यूरिंग डिग्री के गुणों का अध्ययन करता है, जो अगणनीय कार्यों को उन सेटों में विभाजित करता है जिनमें समान स्तर की असम्बद्धता होती है। पुनरावर्तन सिद्धांत में सामान्यीकृत संगणनीयता और निश्चितता का अध्ययन भी सम्मलित है। पुनरावर्तन सिद्धांत 1930 के दशक में रोज़ा पेटर, [[अलोंजो चर्च]] और [[एलन ट्यूरिंग]] के काम से विकसित हुआ, जिसे 1940 के दशक में स्टीफन कोल क्लेन और एमिल लियोन पोस्ट द्वारा अधिक  विस्तारित किया गया था।{{sfnp|Soare|2011}}
-शास्त्रीय पुनरावर्तन सिद्धांत प्राकृतिक संख्याओं से प्राकृतिक संख्याओं तक कार्यों की संगणना पर केंद्रित है। मौलिक परिणाम ट्यूरिंग मशीन, लैम्ब्डा कैलकुलस | λ कैलकुलस और अन्य प्रणालियों का उपयोग करके कई स्वतंत्र, समकक्ष विशेषताओं के साथ कम्प्यूटेशनल कार्यों का एक मजबूत, विहित वर्ग स्थापित करते हैं। अधिक उन्नत परिणाम ट्यूरिंग डिग्री की संरचना और पुनरावर्ती गणना योग्य सेटों के जाली (क्रम) से संबंधित हैं।
+मौलिक  पुनरावर्तन सिद्धांत प्राकृतिक संख्याओं से प्राकृतिक संख्याओं तक कार्यों की संगणना पर केंद्रित है। मौलिक परिणाम ट्यूरिंग मशीन, लैम्ब्डा कैलकुलस | λ कैलकुलस और अन्य प्रणालियों का उपयोग करके कई स्वतंत्र, समकक्ष विशेषताओं के साथ कम्प्यूटेशनल कार्यों का एक मजबूत, विहित वर्ग स्थापित करते हैं। अधिक उन्नत परिणाम ट्यूरिंग डिग्री की संरचना और पुनरावर्ती गणना योग्य सेटों के जाली (क्रम) से संबंधित हैं।
 सामान्यीकृत पुनरावर्तन सिद्धांत पुनरावर्तन सिद्धांत के विचारों को संगणनाओं तक विस्तारित करता है जो अब आवश्यक रूप से परिमित नहीं हैं। इसमें उच्च प्रकारों के साथ-साथ हाइपरअरिथमेटिकल सिद्धांत और अल्फा रिकर्सन सिद्धांत | α-रिकर्सन सिद्धांत जैसे क्षेत्रों में कम्प्यूटेबिलिटी का अध्ययन सम्मलित है।
@@ Line 160: / Line 160: @@
 प्रमाण सिद्धांत विभिन्न तार्किक निगमन प्रणालियों में औपचारिक प्रमाणों का अध्ययन है। इन प्रमाणों को औपचारिक गणितीय वस्तुओं के रूप में दर्शाया जाता है, जो गणितीय तकनीकों द्वारा उनके विश्लेषण को सुगम बनाता है। सामान्यतः हिल्बर्ट-शैली की कटौती प्रणाली, प्राकृतिक कटौती की प्रणाली और जेंटजन द्वारा विकसित क्रमिक कलन सहित कई कटौती प्रणालियों पर विचार किया जाता है।
-रचनात्मक गणित का अध्ययन, गणितीय तर्क के संदर्भ में, गैर-शास्त्रीय तर्क में प्रणालियों का अध्ययन सम्मलित है जैसे कि अंतर्ज्ञानवादी तर्क, साथ ही साथ प्रभावकारी प्रणालियों का अध्ययन। विधेयवाद का एक प्रारंभिक प्रस्तावक [[हरमन वेइल]] था, जिसने दिखाया कि केवल विधेय विधियों का उपयोग करके वास्तविक विश्लेषण का एक बड़ा हिस्सा विकसित करना संभव है।{{sfn|Weyl|1918}}
+रचनात्मक गणित का अध्ययन, गणितीय तर्क के संदर्भ में, गैर-मौलिक  तर्क में प्रणालियों का अध्ययन सम्मलित है जैसे कि अंतर्ज्ञानवादी तर्क, साथ ही साथ प्रभावकारी प्रणालियों का अध्ययन। विधेयवाद का एक प्रारंभिक प्रस्तावक [[हरमन वेइल]] था, जिसने दिखाया कि केवल विधेय विधियों का उपयोग करके वास्तविक विश्लेषण का एक बड़ा हिस्सा विकसित करना संभव है।{{sfn|Weyl|1918}}
-क्योंकि प्रमाण पूरी तरह से परिमित हैं, जबकि संरचना में सच्चाई नहीं है, रचनात्मक गणित में काम के लिए यह आम बात है कि प्रमाणिकता पर जोर दिया जाए। शास्त्रीय (या गैर-रचनात्मक) प्रणालियों में प्रवीणता और अंतर्ज्ञानवादी (या रचनात्मक, क्रमशः) प्रणालियों में साध्यता के बीच संबंध विशेष रुचि का है। गोडेल-जेंटजन नकारात्मक अनुवाद जैसे परिणाम बताते हैं कि अंतर्ज्ञानवादी तर्क में शास्त्रीय तर्क को एम्बेड (या अनुवाद) करना संभव है, जिससे अंतर्ज्ञानवादी प्रमाणों के बारे में कुछ गुणों को शास्त्रीय प्रमाणों में वापस स्थानांतरित किया जा सके।
+क्योंकि प्रमाण पूरी तरह से परिमित हैं, जबकि संरचना में सच्चाई नहीं है, रचनात्मक गणित में काम के लिए यह आम बात है कि प्रमाणिकता पर जोर दिया जाए। मौलिक  (या गैर-रचनात्मक) प्रणालियों में प्रवीणता और अंतर्ज्ञानवादी (या रचनात्मक, क्रमशः) प्रणालियों में साध्यता के बीच संबंध विशेष रुचि का है। गोडेल-जेंटजन नकारात्मक अनुवाद जैसे परिणाम बताते हैं कि अंतर्ज्ञानवादी तर्क में मौलिक  तर्क को एम्बेड (या अनुवाद) करना संभव है, जिससे अंतर्ज्ञानवादी प्रमाणों के बारे में कुछ गुणों को मौलिक  प्रमाणों में वापस स्थानांतरित किया जा सके।
 सबूत सिद्धांत में हालिया विकास में उलरिच कोहलेनबैक द्वारा सबूत खनन का अध्ययन और [[माइकल राथजेन]] द्वारा सबूत-सैद्धांतिक अध्यादेशों का अध्ययन सम्मलित है।
 == अनुप्रयोग ==
-  गणितीय तर्क को न केवल गणित और इसकी नींव पर सफलतापूर्वक लागू किया गया है (गॉटलॉब फ्रेज|जी. फ्रेगे, बर्ट्रेंड रसेल|बी. रसेल, डेविड हिल्बर्ट|डी. हिल्बर्ट, पॉल बर्नेज़|पी. बर्नेज़, हेनरिक स्कोल्ज़|एच. स्कोल्ज़, रुडोल्फ कार्नाप|आर. कार्नाप, स्टानिस्लाव लेस्निव्स्की|एस. लेस्निव्स्की, थोराल्फ स्कोलेम|टी. स्कोलेम), लेकिन भौतिकी के लिए भी (आर. कार्नाप, ए. डिट्रिच, बी. रसेल, क्लाउड शैनन|सी.ई. शैनन, अल्फ्रेड नॉर्थ व्हाइटहेड|ए.एन. व्हाइटहेड , हैंस रीचेनबैक|एच. रीचेनबैक, पी. फेवरियर), जीव विज्ञान (जोसेफ हेनरी वुडगर|जे.एच. वुडगर, अल्फ्रेड टार्स्की|ए. टार्स्की), मनोविज्ञान के लिए (फ्रेडरिक फिच|एफ.बी. फिच, कार्ल गुस्ताव हेम्पेल|सी.जी. हेम्पेल), कानून के लिए और नैतिकता (कार्ल मेन्जर| के. मेन्जर, यू. क्लुग, पी. ओपेनहेम), अर्थशास्त्र (जॉन वॉन न्यूमैन|जे. न्यूमैन, ऑस्कर मॉर्गनस्टर्न|ओ. मॉर्गनस्टर्न) से व्यावहारिक प्रश्न (एडमंड बर्कले|ई.सी. बर्कले, ई. स्टैम), और यहां तक कि तत्वमीमांसा (जे. [जन] सलामुचा, एच. स्कोल्ज़, जोज़ेफ़ मारिया बोचेंस्की|जे.एम. बोचेंस्की)। तर्क के इतिहास के लिए इसके अनुप्रयोग अत्यंत उपयोगी सिद्ध करना  हुए हैं (जन लुकासिविज़|जे. लुकासिविक्ज़, एच. स्कोल्ज़, बेन्सन मेट्स|बी. मेट्स, ए. बेकर, अर्नेस्ट एडिसन मूडी|ई. मूडी, जे. सालामुचा, के. डुएर, जेड. जॉर्डन, फिलोथियस बोहेनर|पी. बोहेनर, जे.एम. बोचेंस्की, एस. [स्टैनिस्लाव] टी. शायर, डैनियल एच.एच. इंगल्स सीनियर|डी. इंगल्स)।{{sfnp|Bochenski|1959|loc=Sec. 0.3, p. 2}} धर्मशास्त्र के लिए भी आवेदन किए गए हैं (एफ. ड्रयूनोव्स्की, जे. सालामुचा, आई. थॉमस)।{{sfnp|Bochenski|1959|loc=Sec. 0.3, p. 2}}
+  गणितीय तर्क को न केवल गणित और इसकी नींव पर सफलतापूर्वक लागू किया गया है (गॉटलॉब फ्रेज|जी. फ्रेगे, बर्ट्रेंड रसेल|बी. रसेल, डेविड हिल्बर्ट|डी. हिल्बर्ट, पॉल बर्नेज़|पी. बर्नेज़, हेनरिक स्कोल्ज़|एच. स्कोल्ज़, रुडोल्फ कार्नाप|आर. कार्नाप, स्टानिस्लाव लेस्निव्स्की|एस. लेस्निव्स्की, थोराल्फ स्कोलेम|टी. स्कोलेम), किन्तु भौतिकी के लिए भी (आर. कार्नाप, ए. डिट्रिच, बी. रसेल, क्लाउड शैनन|सी.ई. शैनन, अल्फ्रेड नॉर्थ व्हाइटहेड|ए.एन. व्हाइटहेड , हैंस रीचेनबैक|एच. रीचेनबैक, पी. फेवरियर), जीव विज्ञान (जोसेफ हेनरी वुडगर|जे.एच. वुडगर, अल्फ्रेड टार्स्की|ए. टार्स्की), मनोविज्ञान के लिए (फ्रेडरिक फिच|एफ.बी. फिच, कार्ल गुस्ताव हेम्पेल|सी.जी. हेम्पेल), कानून के लिए और नैतिकता (कार्ल मेन्जर| के. मेन्जर, यू. क्लुग, पी. ओपेनहेम), अर्थशास्त्र (जॉन वॉन न्यूमैन|जे. न्यूमैन, ऑस्कर मॉर्गनस्टर्न|ओ. मॉर्गनस्टर्न) से व्यावहारिक प्रश्न (एडमंड बर्कले|ई.सी. बर्कले, ई. स्टैम), और यहां तक कि तत्वमीमांसा (जे. [जन] सलामुचा, एच. स्कोल्ज़, जोज़ेफ़ मारिया बोचेंस्की|जे.एम. बोचेंस्की)। तर्क के इतिहास के लिए इसके अनुप्रयोग अत्यंत उपयोगी सिद्ध करना  हुए हैं (जन लुकासिविज़|जे. लुकासिविक्ज़, एच. स्कोल्ज़, बेन्सन मेट्स|बी. मेट्स, ए. बेकर, अर्नेस्ट एडिसन मूडी|ई. मूडी, जे. सालामुचा, के. डुएर, जेड. जॉर्डन, फिलोथियस बोहेनर|पी. बोहेनर, जे.एम. बोचेंस्की, एस. [स्टैनिस्लाव] टी. शायर, डैनियल एच.एच. इंगल्स सीनियर|डी. इंगल्स)।{{sfnp|Bochenski|1959|loc=Sec. 0.3, p. 2}} धर्मशास्त्र के लिए भी आवेदन किए गए हैं (एफ. ड्रयूनोव्स्की, जे. सालामुचा, आई. थॉमस)।{{sfnp|Bochenski|1959|loc=Sec. 0.3, p. 2}}
 == कंप्यूटर विज्ञान के साथ कनेक्शन ==
 {{Main|कंप्यूटर विज्ञान में तर्क}}
-कम्प्यूटेबिलिटी थ्योरी (कंप्यूटर साइंस) का अध्ययन गणितीय तर्क में कम्प्यूटेबिलिटी के अध्ययन से निकटता से संबंधित है। हालाँकि, जोर देने में अंतर है। [[कंप्यूटर विज्ञान]] अधिकांशतःठोस प्रोग्रामिंग भाषाओं और [[व्यवहार्य संगणनीयता]] पर ध्यान केंद्रित करता है, जबकि गणितीय तर्क में शोधकर्ता अधिकांशतःसंगणनीयता पर एक सैद्धांतिक अवधारणा के रूप में और गैर-संगणनीयता पर ध्यान केंद्रित करते हैं।
+कम्प्यूटेबिलिटी थ्योरी (कंप्यूटर साइंस) का अध्ययन गणितीय तर्क में कम्प्यूटेबिलिटी के अध्ययन से निकटता से संबंधित है। चूँकि, जोर देने में अंतर है। [[कंप्यूटर विज्ञान]] अधिकांशतःठोस प्रोग्रामिंग भाषाओं और [[व्यवहार्य संगणनीयता]] पर ध्यान केंद्रित करता है, जबकि गणितीय तर्क में शोधकर्ता अधिकांशतःसंगणनीयता पर एक सैद्धांतिक अवधारणा के रूप में और गैर-संगणनीयता पर ध्यान केंद्रित करते हैं।
 कार्यक्रम शब्दार्थ का सिद्धांत मॉडल सिद्धांत से संबंधित है, जैसा कि कार्यक्रम सत्यापन (विशेष रूप से, मॉडल जांच) है। प्रमाणों और कार्यक्रमों के बीच करी-हावर्ड पत्राचार प्रमाण सिद्धांत से संबंधित है, विशेष रूप से अंतर्ज्ञानवादी तर्क। [[लैम्ब्डा कैलकुलस]] और [[संयोजन तर्क]] जैसी औपचारिक गणनाओं का अब आदर्शीकृत प्रोग्रामिंग भाषाओं के रूप में अध्ययन किया जाता है।
@@ Line 184: / Line 184: @@
 कैंटर के मनमाने अनंत समुच्चयों के अध्ययन की भी आलोचना हुई। [[लियोपोल्ड क्रोनकर]] ने प्रसिद्ध रूप से कहा कि भगवान ने पूर्णांक बनाए; बाकी सब कुछ मनुष्य का काम है, गणित में परिमित, ठोस वस्तुओं के अध्ययन की वापसी का समर्थन करता है। यद्यपि क्रोनेकर के तर्क को 20वीं शताब्दी में रचनावादियों द्वारा आगे बढ़ाया गया था, गणितीय समुदाय ने समग्र रूप से उन्हें खारिज कर दिया। डेविड हिल्बर्ट ने अनंत के अध्ययन के पक्ष में तर्क देते हुए कहा कि कोई भी हमें उस स्वर्ग से नहीं निकालेगा जिसे कैंटर ने बनाया है।
-गणितज्ञों ने स्वयंसिद्ध प्रणालियों की खोज शुरू की जिसका उपयोग गणित के बड़े हिस्से को औपचारिक रूप देने के लिए किया जा सकता है। कार्य जैसे पहले के अनुभवहीन शब्दों से अस्पष्टता को दूर करने के अतिरिक्त, यह आशा की गई थी कि यह स्वयंसिद्धता निरंतरता प्रमाणों की अनुमति देगी। 19वीं शताब्दी में, स्वयंसिद्धों के समुच्चय की संगति को सिद्ध करने का मुख्य तरीका इसके लिए एक मॉडल प्रदान करना था। इस प्रकार, उदाहरण के लिए, गैर-यूक्लिडियन ज्यामिति को निश्चित क्षेत्र पर एक बिंदु के रूप में परिभाषित बिंदु और गोले पर एक महान वृत्त के अर्थ के लिए रेखा को परिभाषित करके सुसंगत सिद्ध करना  किया जा सकता है। परिणामी संरचना, [[अण्डाकार ज्यामिति]] का एक मॉडल, समांतर पोस्टुलेट को छोड़कर समतल ज्यामिति के स्वयंसिद्धों को संतुष्ट करता है।
+गणितज्ञों ने स्वयंसिद्ध प्रणालियों की खोज प्रारंभ की जिसका उपयोग गणित के बड़े हिस्से को औपचारिक रूप देने के लिए किया जा सकता है। कार्य जैसे पहले के अनुभवहीन शब्दों से अस्पष्टता को दूर करने के अतिरिक्त, यह आशा की गई थी कि यह स्वयंसिद्धता निरंतरता प्रमाणों की अनुमति देगी। 19वीं शताब्दी में, स्वयंसिद्धों के समुच्चय की संगति को सिद्ध करने का मुख्य विधिइसके लिए एक मॉडल प्रदान करना था। इस प्रकार, उदाहरण के लिए, गैर-यूक्लिडियन ज्यामिति को निश्चित क्षेत्र पर एक बिंदु के रूप में परिभाषित बिंदु और गोले पर एक महान वृत्त के अर्थ के लिए रेखा को परिभाषित करके सुसंगत सिद्ध करना  किया जा सकता है। परिणामी संरचना, [[अण्डाकार ज्यामिति]] का एक मॉडल, समांतर पोस्टुलेट को छोड़कर समतल ज्यामिति के स्वयंसिद्धों को संतुष्ट करता है।
-औपचारिक तर्क के विकास के साथ, हिल्बर्ट ने पूछा कि क्या यह सिद्ध करना  करना संभव होगा कि सिस्टम में संभावित प्रमाणों की संरचना का विश्लेषण करके और इस विश्लेषण के माध्यम से यह दिखाते हुए कि एक स्वयंसिद्ध प्रणाली संगत है, एक विरोधाभास सिद्ध करना  करना असंभव है। इस विचार ने सबूत सिद्धांत का अध्ययन किया। इसके अतिरिक्त, हिल्बर्ट ने प्रस्तावित किया कि विश्लेषण पूरी तरह से ठोस होना चाहिए, शब्द का उपयोग करते हुए परिमित उन तरीकों को संदर्भित करने के लिए जिन्हें वह अनुमति देगा लेकिन उन्हें सटीक रूप से परिभाषित नहीं करेगा। हिल्बर्ट के कार्यक्रम के रूप में जाना जाने वाला यह प्रोजेक्ट गोडेल के अपूर्णता प्रमेय से गंभीर रूप से प्रभावित था, जो दर्शाता है कि अंकगणित के औपचारिक सिद्धांतों की निरंतरता उन सिद्धांतों में औपचारिक तरीकों का उपयोग करके स्थापित नहीं की जा सकती है। जेंटजन ने दिखाया कि ट्रांसफ़िनिट इंडक्शन के स्वयंसिद्धों के साथ संवर्धित एक परिमित प्रणाली में अंकगणित की निरंतरता का प्रमाण प्रस्तुत करना संभव है, और ऐसा करने के लिए उन्होंने जो तकनीकें विकसित कीं, वे प्रूफ थ्योरी में सेमिनल थीं।
+औपचारिक तर्क के विकास के साथ, हिल्बर्ट ने पूछा कि क्या यह सिद्ध करना  करना संभव होगा कि सिस्टम में संभावित प्रमाणों की संरचना का विश्लेषण करके और इस विश्लेषण के माध्यम से यह दिखाते हुए कि एक स्वयंसिद्ध प्रणाली संगत है, एक विरोधाभास सिद्ध करना  करना असंभव है। इस विचार ने सबूत सिद्धांत का अध्ययन किया। इसके अतिरिक्त, हिल्बर्ट ने प्रस्तावित किया कि विश्लेषण पूरी तरह से ठोस होना चाहिए, शब्द का उपयोग करते हुए परिमित उन तरीकों को संदर्भित करने के लिए जिन्हें वह अनुमति देगा किन्तु उन्हें त्रुटिहीन रूप से परिभाषित नहीं करेगा। हिल्बर्ट के कार्यक्रम के रूप में जाना जाने वाला यह प्रोजेक्ट गोडेल के अपूर्णता प्रमेय से गंभीर रूप से प्रभावित था, जो दर्शाता है कि अंकगणित के औपचारिक सिद्धांतों की निरंतरता उन सिद्धांतों में औपचारिक तरीकों का उपयोग करके स्थापित नहीं की जा सकती है। जेंटजन ने दिखाया कि ट्रांसफ़िनिट इंडक्शन के स्वयंसिद्धों के साथ संवर्धित एक परिमित प्रणाली में अंकगणित की निरंतरता का प्रमाण प्रस्तुत करना संभव है, और ऐसा करने के लिए उन्होंने जो तकनीकें विकसित कीं, वे प्रूफ थ्योरी में सेमिनल थीं।
-गणित की नींव के इतिहास में एक दूसरे सूत्र में गैर शास्त्रीय तर्कशास्त्र और रचनात्मक गणित सम्मलित है। रचनात्मक गणित के अध्ययन में रचनात्मक की विभिन्न परिभाषाओं के साथ कई अलग-अलग कार्यक्रम सम्मलित हैं। सबसे अनुकूल अंत में, जेडएफ सेट सिद्धांत में सबूत जो पसंद के स्वयंसिद्ध का उपयोग नहीं करते हैं, उन्हें कई गणितज्ञों द्वारा रचनात्मक कहा जाता है। रचनावाद के अधिक सीमित संस्करण खुद को प्राकृतिक संख्याओं, संख्या-सैद्धांतिक कार्यों और प्राकृतिक संख्याओं के सेट तक सीमित करते हैं (जिसका उपयोग वास्तविक संख्याओं का प्रतिनिधित्व करने के लिए किया जा सकता है, जो गणितीय विश्लेषण के अध्ययन की सुविधा प्रदान करता है)। एक सामान्य विचार यह है कि फलन के अस्तित्व के बारे में कहे जाने से पहले फलन के मूल्यों की गणना करने का एक ठोस साधन ज्ञात होना चाहिए। <!-- ref "Varieties of constructive mathematics" -->
+गणित की नींव के इतिहास में एक दूसरे सूत्र में गैर मौलिक  तर्कशास्त्र और रचनात्मक गणित सम्मलित है। रचनात्मक गणित के अध्ययन में रचनात्मक की विभिन्न परिभाषाओं के साथ कई अलग-अलग कार्यक्रम सम्मलित हैं। सबसे अनुकूल अंत में, जेडएफ सेट सिद्धांत में सबूत जो पसंद के स्वयंसिद्ध का उपयोग नहीं करते हैं, उन्हें कई गणितज्ञों द्वारा रचनात्मक कहा जाता है। रचनावाद के अधिक सीमित संस्करण खुद को प्राकृतिक संख्याओं, संख्या-सैद्धांतिक कार्यों और प्राकृतिक संख्याओं के सेट तक सीमित करते हैं (जिसका उपयोग वास्तविक संख्याओं का प्रतिनिधित्व करने के लिए किया जा सकता है, जो गणितीय विश्लेषण के अध्ययन की सुविधा प्रदान करता है)। एक सामान्य विचार यह है कि फलन के अस्तित्व के बारे में कहे जाने से पहले फलन के मूल्यों की गणना करने का एक ठोस साधन ज्ञात होना चाहिए। <!-- ref "Varieties of constructive mathematics" -->
-वीं शताब्दी की शुरुआत में, [[लुइट्ज़ेन एगबर्टस जान ब्रोवर]] ने गणित के दर्शन के एक भाग के रूप में अंतर्ज्ञानवाद की स्थापना की। यह दर्शन, जिसे पहले कम समझा गया था, ने कहा कि एक गणितज्ञ के लिए एक गणितीय कथन के सत्य होने के लिए, उस व्यक्ति को कथन को समझने में सक्षम होना चाहिए, न केवल इसकी सच्चाई पर विश्वास करना चाहिए बल्कि इसकी सच्चाई के कारण को समझना चाहिए। सत्य की इस परिभाषा का एक परिणाम बहिष्कृत मध्य के कानून की अस्वीकृति था, क्योंकि ऐसे कथन हैं, जो ब्रोवर के अनुसार, सत्य होने का दावा नहीं किया जा सकता था, जबकि उनकी नकार भी सत्य होने का दावा नहीं किया जा सकता था। ब्रौवर का दर्शन प्रभावशाली था, और प्रमुख गणितज्ञों के बीच कटु विवादों का कारण था। बाद में, क्लेन और क्रेसेल अंतर्ज्ञानवादी तर्क के औपचारिक संस्करणों का अध्ययन करेंगे (ब्रूवर ने औपचारिकता को अस्वीकार कर दिया, और अनौपचारिक प्राकृतिक भाषा में अपना काम प्रस्तुत किया)। [[बीएचके व्याख्या]] और [[क्रिपके मॉडल]] के आगमन के साथ, [[शास्त्रीय गणित]] के साथ सामंजस्य स्थापित करना आसान हो गया।
+वीं शताब्दी की शुरुआत में, [[लुइट्ज़ेन एगबर्टस जान ब्रोवर]] ने गणित के दर्शन के एक भाग के रूप में अंतर्ज्ञानवाद की स्थापना की। यह दर्शन, जिसे पहले कम समझा गया था, ने कहा कि एक गणितज्ञ के लिए एक गणितीय कथन के सत्य होने के लिए, उस व्यक्ति को कथन को समझने में सक्षम होना चाहिए, न केवल इसकी सच्चाई पर विश्वास करना चाहिए बल्कि इसकी सच्चाई के कारण को समझना चाहिए। सत्य की इस परिभाषा का एक परिणाम बहिष्कृत मध्य के कानून की अस्वीकृति था, क्योंकि ऐसे कथन हैं, जो ब्रोवर के अनुसार, सत्य होने का प्रामाणित  नहीं किया जा सकता था, जबकि उनकी नकार भी सत्य होने का प्रामाणित  नहीं किया जा सकता था। ब्रौवर का दर्शन प्रभावशाली था, और प्रमुख गणितज्ञों के बीच कटु विवादों का कारण था। बाद में, क्लेन और क्रेसेल अंतर्ज्ञानवादी तर्क के औपचारिक संस्करणों का अध्ययन करेंगे (ब्रूवर ने औपचारिकता को अस्वीकार कर दिया, और अनौपचारिक प्राकृतिक भाषा में अपना काम प्रस्तुत किया)। [[बीएचके व्याख्या]] और [[क्रिपके मॉडल]] के आगमन के साथ, [[शास्त्रीय गणित|मौलिक  गणित]] के साथ सामंजस्य स्थापित करना आसान हो गया।
 == यह भी देखें{{Portal|Philosophy|Mathematics}}==
@@ Line 297: / Line 297: @@
-=== शास्त्रीय कागजात, ग्रंथ, और संग्रह ===
+=== मौलिक  कागजात, ग्रंथ, और संग्रह ===
 * {{cite journal |last1=Banach |first1=Stefan |author-link1=Stefan Banach |last2=Tarski |first2=Alfred |author-link2=Alfred Tarski |date=1924 |title=बिंदुओं के समुच्चयों के क्रमशः सर्वांगसम भागों में अपघटन पर|journal=[[Fundamenta Mathematicae]] |volume=6 |pages=244–277 |doi=10.4064/fm-6-1-244-277 |language=fr |doi-access=free |url=http://matwbn.icm.edu.pl/ksiazki/fm/fm6/fm6127.pdf
 }}

v t e कंप्यूटर विज्ञान
Note: This template roughly follows the 2012 ACM Computing Classification System.
हार्डवेयर	मुद्रित सर्किट बोर्ड परिधीय एकीकृत परिपथ बड़े पैमाने पर एकीकरण चिप पर सिस्टम (एसओसी) ऊर्जा की खपत (ग्रीन कंप्यूटिंग) इलेक्ट्रॉनिक डिजाइन स्वचालन हार्डवेयर एक्सिलरेशन	File:Computer Retro.svg
कंप्यूटर सिस्टम संगठन	कंप्यूटर आर्किटेक्चर अंतः स्थापित प्रणाली रीयल-टाइम कंप्यूटिंग निर्भरता
नेटवर्क	नेटवर्क आर्किटेक्चर नेटवर्क प्रोटोकॉल नेटवर्क घटक नेटवर्क अनुसूचक नेटवर्क प्रदर्शन मूल्यांकन नेटवर्क सेवा
सॉफ्टवेयर संगठन	दुभाषिया मध्यस्थ आभासी मशीन ऑपरेटिंग सिस्टम सॉफ्टवेयर गुणवत्ता
सॉफ्टवेयर नोटेशन और टूल्स	प्रोग्रामिंग प्रतिमान प्रोग्रामिंग भाषा संकलक डोमेन-विशिष्ट भाषा मॉडलिंग भाषा सॉफ्टवेयर फ्रेमवर्क समन्वित विकास पर्यावरण सॉफ्टवेयर विन्यास प्रबंधन सॉफ्टवेयर लाइब्रेरी सॉफ्टवेयर रिपोजिटरी
सॉफ्टवेयर डेवलपमेंट	नियंत्रण चर सॉफ्टवेयर विकास प्रक्रिया आवश्यकताओं के विश्लेषण सॉफ्टवेर डिज़ाइन सॉफ्टवेयर निर्माण सॉफ्टवेयर परिनियोजन सॉफ्टवेयर इंजीनियरिंग सॉफ्टवेयर की रखरखाव प्रोग्रामिंग टीम ओपन-सोर्स मॉडल
गणना का सिद्धांत	गणना का मॉडल औपचारिक भाषा ऑटोमेटा सिद्धांत कम्प्यूटेबिलिटी सिद्धांत कम्प्यूटेशनल जटिलता सिद्धांत तर्क शब्दार्थ
कलन विधि	एल्गोरिदम डिजाइन एल्गोरिदम का विश्लेषण एल्गोरिदमिक दक्षता यादृच्छिक एल्गोरिदम कम्प्यूटेशनल ज्यामिति
कंप्यूटिंग का गणित	गणित पृथक करें संभावना सांख्यिकी गणितीय सॉफ्टवेयर सूचना सिद्धांत गणितीय विश्लेषण संख्यात्मक विश्लेषण सैद्धांतिक कंप्यूटर विज्ञान
सूचना प्रणाली	डेटाबेस प्रबंधन प्रणाली सूचना भंडारण प्रणाली उद्यम सूचना प्रणाली सामाजिक सूचना प्रणाली भौगोलिक सूचना प्रणाली निर्णय समर्थन प्रणाली प्रक्रिया नियंत्रण प्रणाली मल्टीमीडिया सूचना प्रणाली डेटा माइनिंग डिजिटल लाइब्रेरी कंप्यूटिंग प्लेटफॉर्म डिजिटल विपणन वर्ल्ड वाइड वेब सूचना की पुनर्प्राप्ति
सुरक्षा	क्रिप्टोग्राफी औपचारिक तरीके सुरक्षा सेवाएं अतिक्रमण संसूचन प्रणाली हार्डवेयर सुरक्षा नेटवर्क सुरक्षा सूचना सुरक्षा आवेदन सुरक्षा
मानव-कंप्यूटर संपर्क	पारस्परिक प्रभाव वाली डिज़ाइन सामाजिक कंप्यूटिंग सर्वव्यापक कंप्यूटिंग विज़ुअलाइज़ेशन एक्सेसिबिलिटी
Concurrency	समवर्ती कंप्यूटिंग समानांतर कंप्यूटिंग वितरित अभिकलन मल्टीथ्रेडिंग मल्टीप्रोसेसिंग
कृत्रिम बुद्धि	प्राकृतिक भाषा प्रसंस्करण ज्ञान प्रतिनिधित्व और तर्क कंप्यूटर दृष्टी स्वचालित योजना और समय-निर्धारण खोज पद्धति नियंत्रण विधि कृत्रिम बुद्धि का दर्शन डिस्ट्रिब्यूटेड आर्टिफिशियल इंटेलिजेंस
मशीन लर्निंग	पर्यवेक्षित अध्ययन अनपर्यवेक्षित लर्निंग सुदृढीकरण सीखना बहु-कार्य सीखने क्रॉस-सत्यापन
ग्राफिक्स	एनिमेशन रेंडरिंग छवि हेरफेर ग्राफ़िक्स प्रोसेसिंग युनिट मिश्रित वास्तविकता आभासी वास्तविकता छवि संपीड़न सॉलिड मॉडलिंग
एप्लाइड कंप्यूटिंग	ई-कॉमर्स उपक्रम सॉफ्टवेयर कम्प्यूटेशनल गणित कम्प्यूटेशनल भौतिकी कम्प्यूटेशनल केमिस्ट्री कम्प्यूटेशनल बायोलॉजी कम्प्यूटेशनल सामाजिक विज्ञान कम्प्यूटेशनल इंजीनियरिंग कम्प्यूटेशनल हेल्थकेयर डिजिटल कला इलेक्ट्रॉनिक प्रकाशन सायबर युद्ध इलेक्ट्रॉनिक वोटिंग वीडियो गेम वर्ड प्रोसेसिंग संचालन अनुसंधान शैक्षिक प्रौद्योगिकी दस्तावेज़ प्रबंधन
Category Category Outline Outline WikiProject Commons page Commons

Anonymous

Search

गणितीय तर्क: Difference between revisions

Revision as of 19:08, 16 February 2023

सबफील्ड्स और स्कोप

इतिहास

प्रारंभिक इतिहास

19वीं सद

मूलभूत सिद्धांत

20वीं सदी

सिद्धांत और विरोधाभास सेट करें

प्रतीकात्मक तर्क

अन्य शाखाओं की शुरुआत

औपचारिक तार्किक प्रणाली

प्रथम-क्रम तर्क

अन्य मौलिक लॉजिक्स

अशास्त्रीय और मोडल लॉजिक

बीजगणितीय तर्क

सेट सिद्धांत

मॉडल सिद्धांत

पुनरावर्तन सिद्धांत

एल्गोरिदमिक रूप से अघुलनशील समस्याएं

प्रमाण सिद्धांत और रचनात्मक गणित

अनुप्रयोग

कंप्यूटर विज्ञान के साथ कनेक्शन

गणित के मूलाधार

टिप्पणियाँ

संदर्भ

स्नातक ग्रंथ

स्नातक ग्रंथ

शोध पत्र, मोनोग्राफ, ग्रंथ, और सर्वेक्षण

मौलिक कागजात, ग्रंथ, और संग्रह

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories