गणितीय तर्क विषयों की सूची: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(5 intermediate revisions by 3 users not shown)
Line 1: Line 1:
 
{{Self reference|'''''संबंधित परिवर्तन'''''' पर क्लिक करने से उन लेखों के नवीनतम संपादनों की एक सूची दिखाई देती है जिनसे यह पृष्ठ लिंक होता है। यह पृष्ठ स्वयं से लिंक होता है जिससे इस पृष्ठ पर हाल के परिवर्तन भी ''संबंधित परिवर्तनों'' में सम्मिलित किए जा सकें।}}
{{Self reference|Clicking on '''''related changes''''' shows a list of most-recent edits of articles to which this page links.  This page links to itself in order that recent changes to this page will also be included in ''related changes''.}}


यह [[गणितीय तर्क]] विषयों की सूची है।
यह [[गणितीय तर्क]] विषयों की सूची है।


पारंपरिक सिलोजिस्टिक तर्क के लिए, [[तर्क में विषयों की सूची]] देखें। [[कलन विधि]] के अधिक सिद्धांत के लिए [[संगणनीयता और जटिलता विषयों की सूची]] भी देखें।
पारंपरिक सिलोजिस्टिक तर्क के लिए, [[तर्क में विषयों की सूची]] देखें। [[कलन विधि|एल्गोरिदम]] के अधिक सिद्धांत के लिए [[संगणनीयता और जटिलता विषयों की सूची|संगणनीयता और समिष्टता विषयों की सूची]] भी देखें।


==कार्यशील बुनियाद==
==कार्यशील मूलभूत==


*[[पीनो अभिगृहीत]]
*[[पीनो अभिगृहीत]]
Line 13: Line 12:
**[[संरचनात्मक प्रेरण]]
**[[संरचनात्मक प्रेरण]]
**[[पुनरावर्ती परिभाषा]]
**[[पुनरावर्ती परिभाषा]]
*नाइव सेट सिद्धांत
*नाइव समुच्चय सिद्धांत
**[[तत्व (गणित)]]
**[[तत्व (गणित)|अवयव (गणित)]]
***[[उर-तत्व]]
***[[उर-तत्व|उर-अवयव]]
**[[सिंगलटन (गणित)]]
**[[सिंगलटन (गणित)]]
**सेट के बीजगणित में सरल प्रमेय
**समुच्चय के बीजगणित में सरल प्रमेय
**सेट का बीजगणित
**समुच्चय का बीजगणित
**[[सत्ता स्थापित]]
**[[सत्ता स्थापित]]
**[[खाली सेट]]
**[[खाली सेट|रिक्त समुच्चय]]
**गैर-रिक्त सेट
**गैर-रिक्त समुच्चय
**[[खाली फ़ंक्शन]]
**[[खाली फ़ंक्शन|रिक्त फलन]]
*[[ब्रह्मांड (गणित)]]
*[[ब्रह्मांड (गणित)]]
*स्वयंसिद्धीकरण
*स्वयंसिद्धीकरण
Line 32: Line 31:
**[[प्रत्यक्ष प्रमाण]]
**[[प्रत्यक्ष प्रमाण]]
** [[रिडक्टियो एड एब्सर्डम]]
** [[रिडक्टियो एड एब्सर्डम]]
** [[थकावट से प्रमाण]]
** [[थकावट से प्रमाण|एक्सहॉस्टइन प्रमाण]]
**[[रचनात्मक प्रमाण]]
**[[रचनात्मक प्रमाण]]
**गैररचनात्मक प्रमाण
**गैररचनात्मक प्रमाण
Line 38: Line 37:
*[[संगति प्रमाण]]
*[[संगति प्रमाण]]
*[[विश्लेषण का अंकगणितीकरण]]
*[[विश्लेषण का अंकगणितीकरण]]
*[[गणित की नींव]]
*[[गणित की नींव|गणित की मूलभूत]]
*[[औपचारिक भाषा]]
*[[औपचारिक भाषा]]
*[[गणितीय सिद्धांत]]
*[[गणितीय सिद्धांत]]
*हिल्बर्ट का कार्यक्रम
*हिल्बर्ट का फलन
*अनिवार्य
*अनिवार्य
*परिभाषित वास्तविक संख्या
*परिभाषित वास्तविक संख्या
Line 52: Line 51:


*[[परिमित मॉडल सिद्धांत]]
*[[परिमित मॉडल सिद्धांत]]
**[[वर्णनात्मक जटिलता सिद्धांत]]
**[[वर्णनात्मक जटिलता सिद्धांत|वर्णनात्मक समिष्टता सिद्धांत]]
**मॉडल जाँच
**मॉडल जाँच
**ट्रैखटेनब्रोट का प्रमेय
**ट्रैखटेनब्रोट का प्रमेय
*कम्प्यूटेबल मॉडल सिद्धांत
*कम्प्यूटेबल मॉडल सिद्धांत
**टार्स्की की घातीय फ़ंक्शन समस्या
**टार्स्की की घातीय फलन समस्या
**अनिर्णय समस्या
**अनिर्णय समस्या
*[[संस्थागत मॉडल सिद्धांत]]
*[[संस्थागत मॉडल सिद्धांत]]
Line 68: Line 67:
**प्राथमिक कैलकुलस: अनंतिमल दृष्टिकोण
**प्राथमिक कैलकुलस: अनंतिमल दृष्टिकोण
**[[गैर-मानक विश्लेषण की आलोचना]]
**[[गैर-मानक विश्लेषण की आलोचना]]
**[[मानक भाग फ़ंक्शन]]
**[[मानक भाग फ़ंक्शन|मानक भाग फलन]]
*[[समुच्चय सिद्धान्त]]
*[[समुच्चय सिद्धान्त]]
**जबरदस्ती (गणित)
**फोर्सिंग (गणित)
***[[बूलियन-मूल्यवान मॉडल]]
***[[बूलियन-मूल्यवान मॉडल]]
*[[क्रिपके शब्दार्थ]]
*[[क्रिपके शब्दार्थ]]
Line 92: Line 91:
*[[उपसंरचना (गणित)]]
*[[उपसंरचना (गणित)]]
*[[प्राथमिक उपसंरचना]]
*[[प्राथमिक उपसंरचना]]
**[[ स्कोलेम छेद ]]
**[[ स्कोलेम छेद | स्कोलेम छिद्र]]
*गैर-मानक मॉडल
*गैर-मानक मॉडल
*[[परमाणु मॉडल (गणितीय तर्क)]]
*[[परमाणु मॉडल (गणितीय तर्क)]]
*[[ प्रधान मॉडल ]]
*[[ प्रधान मॉडल ]]
*[[संतृप्त मॉडल]]
*[[संतृप्त मॉडल]]
* [[अस्तित्वगत रूप से बंद मॉडल]]
* [[अस्तित्वगत रूप से बंद मॉडल|अस्तित्वगत रूप से संवृत मॉडल]]
*[[अल्ट्राप्रोडक्ट]]
*[[अल्ट्राप्रोडक्ट]]
*[[आयु (मॉडल सिद्धांत)]]
*[[आयु (मॉडल सिद्धांत)]]
**[[समामेलन संपत्ति]]
**[[समामेलन संपत्ति|समामेलन प्रोपर्टी]]
** ह्रुशोव्स्की निर्माण
** ह्रुशोव्स्की निर्माण
*[[संभावित समरूपता]]
*[[संभावित समरूपता]]
Line 115: Line 114:
******वश समूह
******वश समूह
***[[ओ-न्यूनतम सिद्धांत]]
***[[ओ-न्यूनतम सिद्धांत]]
***कमज़ोर ओ-न्यूनतम संरचना
***अशक्त ओ-न्यूनतम संरचना
***[[सी-न्यूनतम सिद्धांत]]
***[[सी-न्यूनतम सिद्धांत]]
***[[एक सिद्धांत का स्पेक्ट्रम]]
***[[एक सिद्धांत का स्पेक्ट्रम]]
Line 121: Line 120:
**मॉडल संपूर्ण सिद्धांत
**मॉडल संपूर्ण सिद्धांत
**[[प्रथम-क्रम सिद्धांतों की सूची]]
**[[प्रथम-क्रम सिद्धांतों की सूची]]
**[[रूढ़िवादी विस्तार]]
**[[रूढ़िवादी विस्तार|अपरिवर्तन विस्तार]]
**[[प्राथमिक कक्षा]]
**[[प्राथमिक कक्षा]]
***छद्मप्राथमिक वर्ग
***छद्मप्राथमिक वर्ग
***[[शक्ति (गणितीय तर्क)]]
***[[शक्ति (गणितीय तर्क)]]
*विभेदित रूप से बंद फ़ील्ड
*विभेदित रूप से संवृत क्षेत्र
*घातांकीय क्षेत्र
*घातांकीय क्षेत्र
*एक्स-ग्रोथेंडिक प्रमेय
*एक्स-ग्रोथेंडिक प्रमेय
Line 142: Line 141:
*लिंडेनबाम-टार्स्की बीजगणित
*लिंडेनबाम-टार्स्की बीजगणित
*लोब का प्रमेय
*लोब का प्रमेय
*[[अंकगणितीय सेट]]
*[[अंकगणितीय सेट|अंकगणितीय समुच्चय]]
*परिभाषित सेट
*परिभाषित समुच्चय
*एरेनफ्यूच्ट-फ्रैस्से खेल
*एरेनफ्यूच्ट-फ्रैस्से खेल
*हरब्रांड व्याख्या / हरब्रांड संरचना
*हरब्रांड व्याख्या / हरब्रांड संरचना
*[[काल्पनिक तत्व]]
*[[काल्पनिक तत्व|काल्पनिक अवयव]]
*अभेद्य
*अभेद्य
*[[व्याख्या (मॉडल सिद्धांत)]] / [[व्याख्या योग्य संरचना]]
*[[व्याख्या (मॉडल सिद्धांत)]] / [[व्याख्या योग्य संरचना]]
Line 157: Line 156:
*[[ज़ारिस्की ज्यामिति]]
*[[ज़ारिस्की ज्यामिति]]


==सेट सिद्धांत==
==समुच्चय सिद्धांत==
* समुच्चयों का बीजगणित टॉक: समुच्चयों का बीजगणित
* समुच्चयों का बीजगणित टॉक: समुच्चयों का बीजगणित
* [[पसंद का सिद्धांत]] बात: पसंद का सिद्धांत
* [[पसंद का सिद्धांत|विकल्प का सिद्धांत]] : विकल्प का सिद्धांत
** गणनीय पसंद का सिद्धांत टॉक: [[गणनीय विकल्प का सिद्धांत]]
** गणनीय विकल्प का सिद्धांत टॉक: [[गणनीय विकल्प का सिद्धांत]]
** आश्रित पसंद का सिद्धांत टॉक: [[आश्रित विकल्प का सिद्धांत]]
** आश्रित विकल्प का सिद्धांत टॉक: [[आश्रित विकल्प का सिद्धांत]]
** ज़ोर्न की लेम्मा टॉक: ज़ोर्न की लेम्मा
** ज़ोर्न की लेम्मा टॉक: ज़ोर्न की लेम्मा
* [[बूलियन बीजगणित (संरचना)]]
* [[बूलियन बीजगणित (संरचना)]]
Line 173: Line 172:
* [[प्रमुखता]] टॉक: कार्डिनैलिटी
* [[प्रमुखता]] टॉक: कार्डिनैलिटी
** [[ अलेफ़ संख्या | अलेफ़ संख्या]] टॉक: एलेफ नंबर
** [[ अलेफ़ संख्या | अलेफ़ संख्या]] टॉक: एलेफ नंबर
*** [[aleph-अशक्त]] टॉक: [[aleph-एक]]
*** [[aleph-अशक्त|एलेफ़-अशक्त]] टॉक: [[aleph-एक|एलेफ़-एक]]
*** एलेफ़-वन टॉक: एलेफ़-वन
*** एलेफ़-वन टॉक: एलेफ़-वन
** [[ बेथ संख्या | बेथ संख्या]] टॉक: बेथ नंबर
** [[ बेथ संख्या | बेथ संख्या]] टॉक: बेथ नंबर
** [[ बुनियादी संख्या | बुनियादी संख्या]] टॉक: कार्डिनल नंबर
** [[ बुनियादी संख्या | मूलभूती संख्या]] टॉक: कार्डिनल नंबर
** [[ हार्टोग संख्या | हार्टोग संख्या]] टॉक: हार्टोग्स नंबर
** [[ हार्टोग संख्या | हार्टोग संख्या]] टॉक: हार्टोग्स नंबर
* कार्टेशियन उत्पाद टॉक: कार्टेशियन उत्पाद
* कार्टेशियन उत्पाद टॉक: कार्टेशियन उत्पाद
* [[ वर्ग (सेट सिद्धांत) | वर्ग (सेट सिद्धांत)]] टॉक: क्लास (सेट थ्योरी)
* [[ वर्ग (सेट सिद्धांत) | वर्ग (समुच्चय सिद्धांत)]] टॉक: क्लास (समुच्चय सिद्धांत)
* [[पूरक (सेट सिद्धांत)]] टॉक: पूरक (सेट सिद्धांत)
* [[पूरक (सेट सिद्धांत)|पूरक (समुच्चय सिद्धांत)]] टॉक: पूरक (समुच्चय सिद्धांत)
* [[पूर्ण बूलियन बीजगणित]] टॉक: पूर्ण बूलियन बीजगणित
* [[पूर्ण बूलियन बीजगणित]] टॉक: पूर्ण बूलियन बीजगणित
* [[सातत्य (सेट सिद्धांत)]] टॉक: सातत्य (सेट सिद्धांत)
* [[सातत्य (सेट सिद्धांत)|सातत्य (समुच्चय सिद्धांत)]] टॉक: सातत्य (समुच्चय सिद्धांत)
** सुसलिन की समस्या बात: सुसलिन की समस्या
** सुसलिन की समस्या बात: सुसलिन की समस्या
* सातत्य परिकल्पना टॉक: सातत्य परिकल्पना
* सातत्य परिकल्पना टॉक: सातत्य परिकल्पना
*गणनीय सेट टॉक:गणनीय सेट
*गणनीय समुच्चय टॉक:गणनीय समुच्चय
* वर्णनात्मक सेट सिद्धांत टॉक: वर्णनात्मक सेट सिद्धांत
* वर्णनात्मक समुच्चय सिद्धांत टॉक: वर्णनात्मक समुच्चय सिद्धांत
** [[विश्लेषणात्मक सेट]] टॉक: विश्लेषणात्मक सेट
** [[विश्लेषणात्मक सेट|विश्लेषणात्मक समुच्चय]] टॉक: विश्लेषणात्मक समुच्चय
** [[विश्लेषणात्मक पदानुक्रम]] टॉक:विश्लेषणात्मक पदानुक्रम
** [[विश्लेषणात्मक पदानुक्रम]] टॉक:विश्लेषणात्मक पदानुक्रम
** बोरेल समतुल्य संबंध टॉक: बोरेल समतुल्य संबंध
** बोरेल समतुल्य संबंध टॉक: बोरेल समतुल्य संबंध
** [[इन्फिनिटी-बोरेल सेट]] टॉक: इन्फिनिटी-बोरेल सेट
** [[इन्फिनिटी-बोरेल सेट|इन्फिनिटी-बोरेल समुच्चय]] टॉक: इन्फिनिटी-बोरेल समुच्चय
** [[ लाइटफेस विश्लेषणात्मक खेल | लाइटफेस विश्लेषणात्मक खेल]] टॉक: लाइटफेस एनालिटिक गेम
** [[ लाइटफेस विश्लेषणात्मक खेल | लाइटफेस विश्लेषणात्मक खेल]] टॉक: लाइटफेस एनालिटिक गेम
** [[परफेक्ट सेट प्रॉपर्टी]] टॉक: परफेक्ट सेट प्रॉपर्टी
** [[परफेक्ट सेट प्रॉपर्टी|परफेक्ट समुच्चय प्रॉपर्टी]] टॉक: परफेक्ट समुच्चय प्रॉपर्टी
** [[ पोलिश स्थान | पोलिश स्थान]] टॉक: पोलिश स्पेस
** [[ पोलिश स्थान | पोलिश स्थान]] टॉक: पोलिश समिष्ट
** [[प्रीवेल ऑर्डर]] टॉक: प्रीवेलऑर्डरिंग
** [[प्रीवेल ऑर्डर]] टॉक: प्रीवेलऑर्डरिंग
** [[प्रोजेक्टिव सेट]] टॉक: प्रोजेक्टिव सेट
** [[प्रोजेक्टिव सेट|प्रोजेक्टिव समुच्चय]] टॉक: प्रोजेक्टिव समुच्चय
** बेयर टॉक की संपत्ति: बेयर की संपत्ति
** बेयर टॉक की प्रोपर्टी: बेयर की प्रोपर्टी
** [[एकरूपीकरण (सेट सिद्धांत)]] टॉक: एकरूपीकरण (सेट सिद्धांत)
** [[एकरूपीकरण (सेट सिद्धांत)|एकरूपीकरण (समुच्चय सिद्धांत)]] टॉक: एकरूपीकरण (समुच्चय सिद्धांत)
** [[सार्वभौमिक रूप से मापने योग्य सेट]] टॉक: सार्वभौमिक रूप से मापने योग्य सेट
** [[सार्वभौमिक रूप से मापने योग्य सेट|सार्वभौमिक रूप से मापने योग्य समुच्चय]] टॉक: सार्वभौमिक रूप से मापने योग्य समुच्चय
*[[दृढ़ संकल्प]] वार्ता:दृढ़ संकल्प
*[[दृढ़ संकल्प]] वार्ता:दृढ़ संकल्प
** [[एडी+]] टॉक: एडी प्लस
** [[एडी+]] टॉक: एडी प्लस
Line 204: Line 203:
** प्रक्षेप्य नियति का अभिगृहीत बात: प्रक्षेप्य नियति का अभिगृहीत
** प्रक्षेप्य नियति का अभिगृहीत बात: प्रक्षेप्य नियति का अभिगृहीत
** वास्तविक नियति का सूक्ति बात: वास्तविक नियति का सूक्ति
** वास्तविक नियति का सूक्ति बात: वास्तविक नियति का सूक्ति
* खाली सेट टॉक: खाली सेट
* रिक्त समुच्चय टॉक: रिक्त समुच्चय
* जबरदस्ती (गणित) बात करना: जबरदस्ती (गणित)
* फोर्सिंग (गणित) बात करना: फोर्सिंग (गणित)
* [[फजी सेट]] टॉक: फ़ज़ी सेट
* [[फजी सेट|फजी समुच्चय]] टॉक: फ़ज़ी समुच्चय
*[[आंतरिक समुच्चय सिद्धांत]] वार्ता:आंतरिक समुच्चय सिद्धांत
*[[आंतरिक समुच्चय सिद्धांत]] वार्ता:आंतरिक समुच्चय सिद्धांत
* [[ प्रतिच्छेदन (सेट सिद्धांत) | प्रतिच्छेदन (सेट सिद्धांत)]] टॉक: इंटरसेक्शन (सेट थ्योरी)
* [[ प्रतिच्छेदन (सेट सिद्धांत) | प्रतिच्छेदन (समुच्चय सिद्धांत)]] टॉक: इंटरसेक्शन (समुच्चय सिद्धांत)
*रचनात्मक ब्रह्मांड वार्ता:रचनात्मक ब्रह्मांड
*रचनात्मक ब्रह्मांड वार्ता:रचनात्मक ब्रह्मांड
* [[एल(आर)]] टॉक:एल(आर)
* [[एल(आर)]] टॉक:एल(आर)
* [[बड़ी कार्डिनल संपत्ति]] टॉक: बड़ी कार्डिनल संपत्ति
* [[बड़ी कार्डिनल संपत्ति|बड़ी कार्डिनल प्रोपर्टी]] टॉक: बड़ी कार्डिनल प्रोपर्टी
* सेट थ्योरी (संगीत) टॉक: सेट थ्योरी (संगीत)
* समुच्चय सिद्धांत (संगीत) टॉक: समुच्चय सिद्धांत (संगीत)
* [[क्रमसूचक संख्या]] टॉक: ऑर्डिनल नंबर
* [[क्रमसूचक संख्या]] टॉक: ऑर्डिनल नंबर
** अनंत अवरोही श्रृंखला टॉक: अनंत अवरोही श्रृंखला
** अनंत अवरोही श्रृंखला टॉक: अनंत अवरोही श्रृंखला
Line 218: Line 217:
**[[उत्तराधिकारी क्रम]]वाचक वार्ता:उत्तराधिकारी क्रमवाचक
**[[उत्तराधिकारी क्रम]]वाचक वार्ता:उत्तराधिकारी क्रमवाचक
** [[ट्रांसफिनिट इंडक्शन]] टॉक: ट्रांसफिनिट इंडक्शन
** [[ट्रांसफिनिट इंडक्शन]] टॉक: ट्रांसफिनिट इंडक्शन
***∈-प्रेरण वार्ता:∈-प्रेरण
***∈-प्रेरण  
** [[अच्छी तरह से स्थापित सेट]] टॉक: अच्छी तरह से स्थापित सेट
** [[अच्छी तरह से स्थापित सेट|सही विधि स्थापित समुच्चय]] टॉक: अच्छी तरह से स्थापित समुच्चय
** सुव्यवस्थित बात: सुव्यवस्थित
** सुव्यवस्थित
* पावर सेट टॉक: पावर सेट
* पावर समुच्चय टॉक: पावर समुच्चय
* रसेल का विरोधाभास टॉक: रसेल का विरोधाभास
* रसेल का विरोधाभास टॉक: रसेल का विरोधाभास
* सेट थ्योरी टॉक: सेट थ्योरी
* समुच्चय सिद्धांत टॉक: समुच्चय सिद्धांत
** वैकल्पिक सेट सिद्धांत टॉक: वैकल्पिक सेट सिद्धांत
** वैकल्पिक समुच्चय सिद्धांत टॉक: वैकल्पिक समुच्चय सिद्धांत
** [[स्वयंसिद्ध समुच्चय सिद्धांत]] टॉक: स्वयंसिद्ध समुच्चय सिद्धांत
** [[स्वयंसिद्ध समुच्चय सिद्धांत]] टॉक: स्वयंसिद्ध समुच्चय सिद्धांत
** क्रिपके-प्लेटक मूत्र तत्वों के साथ सेट सिद्धांत टॉक: क्रिपके-प्लेटक मूत्र तत्वों के साथ सेट सिद्धांत
** क्रिपके-प्लेटक मूत्र अवयवों के साथ समुच्चय सिद्धांत टॉक: क्रिपके-प्लेटक मूत्र अवयवों के साथ समुच्चय सिद्धांत
** मोर्स-केली सेट सिद्धांत टॉक: मोर्स-केली सेट सिद्धांत
** मोर्स-केली समुच्चय सिद्धांत टॉक: मोर्स-केली समुच्चय सिद्धांत
** नाइव सेट थ्योरी टॉक: नाइव सेट थ्योरी
** नाइव समुच्चय सिद्धांत टॉक: नाइव समुच्चय सिद्धांत
** [[नई नींव]] की बात: नई नींव
** [[नई नींव|नई मूलभूत]]  
** [[सकारात्मक समुच्चय सिद्धांत]] वार्ता:सकारात्मक समुच्चय सिद्धांत
** [[सकारात्मक समुच्चय सिद्धांत|धनात्मक समुच्चय सिद्धांत]] वार्ता:धनात्मक समुच्चय सिद्धांत
** ज़र्मेलो-फ़्रैन्केल सेट सिद्धांत टॉक: ज़र्मेलो-फ़्रैन्केल सेट सिद्धांत
** ज़र्मेलो-फ़्रैन्केल समुच्चय सिद्धांत टॉक: ज़र्मेलो-फ़्रैन्केल समुच्चय सिद्धांत
** [[ज़र्मेलो सेट सिद्धांत]] टॉक: ज़र्मेलो सेट सिद्धांत
** [[ज़र्मेलो सेट सिद्धांत|ज़र्मेलो समुच्चय सिद्धांत]] टॉक: ज़र्मेलो समुच्चय सिद्धांत
* [[सेट (गणित)]] टॉक: सेट (गणित)
* [[सेट (गणित)|समुच्चय (गणित)]] टॉक: समुच्चय (गणित)
* सेट के बीजगणित में सरल प्रमेय टॉक: सेट के बीजगणित में सरल प्रमेय
* समुच्चय के बीजगणित में सरल प्रमेय टॉक: समुच्चय के बीजगणित में सरल प्रमेय
* [[सबसेट]] टॉक: सबसेट
* [[सबसेट|सबसमुच्चय]] टॉक: सबसमुच्चय
* Θ (सेट सिद्धांत) टॉक:Θ (सेट सिद्धांत)
* Θ (समुच्चय सिद्धांत) टॉक:Θ (समुच्चय सिद्धांत)
* वृक्ष ([[वर्णनात्मक समुच्चय सिद्धांत]]) टॉक: [[वृक्ष (वर्णनात्मक समुच्चय सिद्धांत)]]
* ट्री ([[वर्णनात्मक समुच्चय सिद्धांत]]) टॉक: [[वृक्ष (वर्णनात्मक समुच्चय सिद्धांत)|ट्री (वर्णनात्मक समुच्चय सिद्धांत)]]
* [[वृक्ष (सेट सिद्धांत)]] टॉक: वृक्ष (सेट सिद्धांत)
* [[वृक्ष (सेट सिद्धांत)|ट्री (समुच्चय सिद्धांत)]] टॉक: ट्री (समुच्चय सिद्धांत)
* [[ संघ (सेट सिद्धांत) | संघ (सेट सिद्धांत)]] टॉक: यूनियन (सेट थ्योरी)
* [[ संघ (सेट सिद्धांत) |यूनियन (समुच्चय सिद्धांत)]] टॉक: यूनियन (समुच्चय सिद्धांत)
* वॉन न्यूमैन ब्रह्मांड टॉक: वॉन न्यूमैन ब्रह्मांड
* वॉन न्यूमैन ब्रह्मांड टॉक: वॉन न्यूमैन ब्रह्मांड
*शून्य तीखी बात:शून्य शएआरपी
*शून्य शएआरपी


==वर्णनात्मक समुच्चय सिद्धांत==
==वर्णनात्मक समुच्चय सिद्धांत                                                                                                                                                                                                   ==


*विश्लेषणात्मक पदानुक्रम
*विश्लेषणात्मक पदानुक्रम
Line 249: Line 248:
==बड़े कार्डिनल==
==बड़े कार्डिनल==


*[[लगभग [[रैमसे कार्डिनल]]]]
*लगभग [[रैमसे कार्डिनल]]
*एर्दोस कार्डिनल
*एर्दोस कार्डिनल
*विस्तारयोग्य कार्डिनल
*विस्तारयोग्य कार्डिनल
*विशाल कार्डिनल
*विशाल कार्डिनल
*हाइपर-[[ वुड के कार्डिनल ]]
*हाइपर-[[ वुड के कार्डिनल ]]
*[[[[बहुत बड़ा कार्डिनल]]]]
*[[बहुत बड़ा कार्डिनल|अप्राप्य कार्डिनल]]
*अनिर्वचनीय कार्डिनल
*अनिर्वचनीय कार्डिनल
*[[कार्डिनल आँखें]]
*[[कार्डिनल आँखें|महलो कार्डिनल]]
*मापनीय कार्डिनल
*मापनीय कार्डिनल
*[[एन-विशाल कार्डिनल]]
*[[एन-विशाल कार्डिनल]]
Line 263: Line 262:
*[[उल्लेखनीय कार्डिनल]]
*[[उल्लेखनीय कार्डिनल]]
*[[शेला कार्डिनल]]
*[[शेला कार्डिनल]]
*[[[[मापने योग्य कार्डिनल]]]]
*[[मापने योग्य कार्डिनल]]
*दृढ़ता से दुर्गम कार्डिनल
*दृढ़ता से दुर्गम कार्डिनल
*[[सूक्ष्म कार्डिनल]]
*[[सूक्ष्म कार्डिनल]]
Line 269: Line 268:
*[[सुपरस्ट्रॉन्ग कार्डिनल]]
*[[सुपरस्ट्रॉन्ग कार्डिनल]]
*[[पूरी तरह से अवर्णनीय कार्डिनल]]
*[[पूरी तरह से अवर्णनीय कार्डिनल]]
*[[कमजोर रूप से कॉम्पैक्ट कार्डिनल]]
*[[कमजोर रूप से कॉम्पैक्ट कार्डिनल|अशक्त कॉम्पैक्ट कार्डिनल]]
*कमज़ोर [[ हाइपर-वुड का कार्डिनल |हाइपर-वुड का कार्डिनल]]
*अशक्त [[ हाइपर-वुड का कार्डिनल |हाइपर-वुड का कार्डिनल]]
*[[कमजोर रूप से दुर्गम कार्डिनल]]
*[[कमजोर रूप से दुर्गम कार्डिनल|अशक्त दुर्गम कार्डिनल]]
*वुडिन कार्डिनल
*वुडिन कार्डिनल
*[[[[अप्रभावी कार्डिनल]]]]
*[[अप्रभावी कार्डिनल]]


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


*Entscheidungsproblem
*एंट्सचीडुंग्स समस्या
*[[निर्णय समस्या]]
*[[निर्णय समस्या]]
*निर्णायकता (तर्क)
*निर्णायकता (तर्क)
*[[चर्च-ट्यूरिंग थीसिस]]
*[[चर्च-ट्यूरिंग थीसिस]]
*[[गणना]] योग्य कार्य
*[[गणना]] योग्य कार्य
**कलन विधि
**एल्गोरिदम
**पुनरावृत्ति
**पुनरावृत्ति
**[[आदिम पुनरावर्ती कार्य]]
**[[आदिम पुनरावर्ती कार्य|मौलिक पुनरावर्ती कार्य]]
**[[ऑपरेटर में]]
**[[ऑपरेटर में]]
**[[एकरमैन फ़ंक्शन]]
**[[एकरमैन फ़ंक्शन|एकरमैन फलन]]
**[[ट्यूरिंग मशीन]]
**[[ट्यूरिंग मशीन]]
**[[रुकने की समस्या]]
**[[रुकने की समस्या]]
Line 298: Line 297:
**[[पोस्ट पत्राचार समस्या]]
**[[पोस्ट पत्राचार समस्या]]
*क्लीन का [[प्रत्यावर्तन]] प्रमेय
*क्लीन का [[प्रत्यावर्तन]] प्रमेय
*पुनरावर्ती रूप से गणना योग्य सेट
*पुनरावर्ती रूप से गणना योग्य समुच्चय
**[[पुनरावर्ती रूप से गणना योग्य भाषा]]
**[[पुनरावर्ती रूप से गणना योग्य भाषा]]
*निर्णय योग्य भाषा
*निर्णय योग्य भाषा
*अनिर्वचनीय भाषा
*अनिर्वचनीय भाषा
*चावल का प्रमेय
*राईस प्रमेय
*पोस्ट का प्रमेय
*पोस्ट का प्रमेय
*[[ट्यूरिंग डिग्री]]
*[[ट्यूरिंग डिग्री]]
*[[संख्या सिद्धांत में प्रभावी परिणाम]]
*[[संख्या सिद्धांत में प्रभावी परिणाम]]
*[[डायोफैंटाइन सेट]]
*[[डायोफैंटाइन सेट|डायोफैंटाइन समुच्चय]]
*मटियासेविच का प्रमेय
*मटियासेविच का प्रमेय
*[[समूहों के लिए शब्द समस्या]]
*[[समूहों के लिए शब्द समस्या]]
Line 312: Line 311:
*[[उपसंक्रमण सिद्धांत]]
*[[उपसंक्रमण सिद्धांत]]
**प्रेस्बर्गर अंकगणित
**प्रेस्बर्गर अंकगणित
**[[कम्प्यूटेशनल जटिलता सिद्धांत]]
**[[कम्प्यूटेशनल जटिलता सिद्धांत|कम्प्यूटेशनल समिष्टता सिद्धांत]]
**[[बहुपदी समय फलन]]
**[[बहुपदी समय फलन]]
**[[घातीय समय]]
**[[घातीय समय]]
**[[जटिलता वर्ग]]
**[[जटिलता वर्ग|समिष्टता वर्ग]]
***पी = एनपी समस्या
***पी = एनपी समस्या
***कुक का प्रमेय
***कुक का प्रमेय
***[[जटिलता वर्गों की सूची]]
***[[जटिलता वर्गों की सूची|समिष्टता वर्गों की सूची]]
***[[बहुपद पदानुक्रम]]
***[[बहुपद पदानुक्रम]]
***घातांकीय पदानुक्रम
***घातांकीय पदानुक्रम
Line 351: Line 350:
*[[अवसंरचनात्मक तर्क]]
*[[अवसंरचनात्मक तर्क]]
**[[संरचनात्मक नियम]]
**[[संरचनात्मक नियम]]
***कमजोर होना (तर्क)
***अशक्त (तर्क)
***[[संकुचन (तर्क)]]
***[[संकुचन (तर्क)]]
**रैखिक तर्क
**रैखिक तर्क
***[[अंतर्ज्ञानवादी रैखिक तर्क]]
***[[अंतर्ज्ञानवादी रैखिक तर्क]]
***[[ प्रमाण जाल ]]
***[[ प्रमाण जाल | प्रमाण जालक]]
**तर्क को प्रभावित करें
**तर्क को प्रभावित करें
**[[सख्त तर्क]]
**[[सख्त तर्क]]
Line 361: Line 360:
*प्रमाण-सैद्धांतिक शब्दार्थ
*प्रमाण-सैद्धांतिक शब्दार्थ
*[[लुडिक्स]]
*[[लुडिक्स]]
*[[सिस्टम एफ]]
*[[सिस्टम एफ|प्रणाली एफ]]
*[[गेरहार्ड जेंटज़न]]
*[[गेरहार्ड जेंटज़न]]
*जेंटज़ेन की संगति प्रमाण
*जेंटज़ेन की संगति प्रमाण
Line 367: Line 366:
*[[नॉनफर्स्टऑर्डरिज़ेबिलिटी]]
*[[नॉनफर्स्टऑर्डरिज़ेबिलिटी]]
*व्याख्यात्मकता
*व्याख्यात्मकता
* [[कमजोर व्याख्या]]
* [[कमजोर व्याख्या|अशक्त व्याख्या]]
*[[सहव्याख्यात्मकता]]
*[[सहव्याख्यात्मकता]]
*[[सहनशील क्रम]]
*[[सहनशील क्रम]]
Line 389: Line 388:
* [[रचनावादी विश्लेषण]]
* [[रचनावादी विश्लेषण]]
* [[लैम्ब्डा क्यूब]]
* [[लैम्ब्डा क्यूब]]
* सिस्टम एफ
* प्रणाली एफ
*[[टोपोस सिद्धांत का परिचय]]
*[[टोपोस सिद्धांत का परिचय]]
*[[एलएफ (तार्किक ढांचा)]]
*[[एलएफ (तार्किक ढांचा)]]
Line 401: Line 400:


*क्रिपके शब्दार्थ
*क्रिपके शब्दार्थ
*[[साहलक्विस्ट फॉर्मूला]]
*[[साहलक्विस्ट फॉर्मूला|साहलक्विस्ट सूत्र]]
*[[आंतरिक बीजगणित]]
*[[आंतरिक बीजगणित]]


==प्रमेय कहावत==
==प्रमेय प्रोवर==


*[[प्रथम-क्रम संकल्प]]
*[[प्रथम-क्रम संकल्प]]
*[[स्वचालित प्रमेय सिद्ध करना]]
*[[स्वचालित प्रमेय सिद्ध करना]]
*ACL2 प्रमेय कहावत
*एसीएल2 प्रमेय प्रोवर
*ई समीकरण प्रमेय कहावत
*ई समीकरण प्रमेय प्रोवर
*गंडालफ प्रमेय कहावत
*गंडालफ प्रमेय प्रोवर
*HOL प्रमेय कहावत
*एचओएल प्रमेय प्रोवर
*इसाबेल प्रमेय कहावत
*इसाबेल प्रमेय प्रोवर
*[[एलसीएफ प्रमेय कहावत]]
*[[एलसीएफ प्रमेय कहावत|एलसीएफ प्रमेय प्रोवर]]
*ओटर प्रमेय कहावत
*ओटर प्रमेय प्रोवर
*[[विरोधाभास प्रमेय कहावत]]
*[[विरोधाभास प्रमेय कहावत|विरोधाभास प्रमेय प्रोवर]]
*पिशाच प्रमेय कहावत
*वैम्पायर प्रमेय कहावत
*[[इंटरैक्टिव प्रमाण प्रणाली]]
*[[इंटरैक्टिव प्रमाण प्रणाली]]
*[[मिज़ार प्रणाली]]
*[[मिज़ार प्रणाली]]
Line 422: Line 421:
*कोक
*कोक


==डिस्कवरी सिस्टम==
==खोज प्रणाली==


*[[स्वचालित गणितज्ञ]]
*[[स्वचालित गणितज्ञ]]
*[[ पाना ]]
*[[ पाना |यूरिस्को]]


==ऐतिहासिक==
==ऐतिहासिक==


*[[शब्द लेखन]]
*[[शब्द लेखन|बेग्रिफ़्सक्रिफ्ट]]
*[[ऑर्डिनल्स पर आधारित तर्क की प्रणालियाँ]] - एलन ट्यूरिंग|एलन ट्यूरिंग की पीएच.डी. थीसिस
*[[ऑर्डिनल्स पर आधारित तर्क की प्रणालियाँ]] - एलन ट्यूरिंग|एलन ट्यूरिंग की पीएच.डी. थीसिस


==यह भी देखें==
==यह भी देखें{{Portal|Philosophy}}==
{{Portal|Philosophy}}
*कर्ट गोडेल
*कर्ट गोडेल
*[[अल्फ्रेड टार्स्की]]
*[[अल्फ्रेड टार्स्की]]
*[[सहारों शेलाह]]
*[[सहारों शेलाह]]


श्रेणी:गणित-संबंधी सूचियाँ
श्रेणी:गणितीय तर्क
श्रेणी:गणित और तर्क की रूपरेखा
श्रेणी:विकिपीडिया रूपरेखा
श्रेणी:विषयों की सूचियाँ
[[Category: Machine Translated Page]]
[[Category:Created On 20/07/2023]]
[[Category:Created On 20/07/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with empty portal template]]
[[Category:Portal templates with redlinked portals]]

Latest revision as of 12:18, 4 August 2023

यह गणितीय तर्क विषयों की सूची है।

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

कार्यशील मूलभूत

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

समुच्चय सिद्धांत

वर्णनात्मक समुच्चय सिद्धांत

  • विश्लेषणात्मक पदानुक्रम

बड़े कार्डिनल

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

प्रमाण सिद्धांत

गणितीय रचनावाद

मॉडल तर्क

प्रमेय प्रोवर

खोज प्रणाली

ऐतिहासिक

यह भी देखें