गणितीय तर्कशास्त्र

विज्ञान
रूपबद्ध विज्ञान गणित · गणितीय तर्कशास्त्र · गणितीय सांख्यिकी · संगणक विज्ञान
भौतिक विज्ञान भौतिक शास्त्र चिरसम्मत भौतिकी · आधुनिक भौतिकी व्यावहारिक भौतिकी · कम्प्यूटेशनल भौतिकी परमाणविय भौतिकी · नाभिकीय भौतिकी कण भौतिकी · प्रायोगिक भौतिकी सैद्धांतिक भौतिकी सघन पदार्थ भौतिकी यांत्रिकी · चिरसम्मत यांत्रिकी प्रमात्रा यान्त्रिकी (परिचय) सातत्य यांत्रिकी · विरूपण और प्रवाह ठोस अवस्था यांत्रिकी · तरल यांत्रिकी प्लाज़्मा (भौतिकी) · उष्मागतिकी सामान्य आपेक्षिकता · विशिष्ट आपेक्षिकता स्ट्रिंग सिद्धांत · M-सिद्धान्त · Tachyonic field रसायन शास्त्र अम्ल-क्षार अभिक्रिया सिद्धान्त · कीमिया विश्लेषी रसायन शास्त्र · खगोल रसायन शास्त्र जैवरसायनिकी · क्रिस्टलकी पर्यावरण रसायन शास्त्र · खाद्य रसायन शास्त्र भूरसायन · ग्रीन रसायन शास्त्र अकार्बनिक रसायन · पदार्थ विज्ञान आण्विक भौतिकी · नाभिकीय रसायन शास्त्र कार्बनिक रसायन · प्रकाश रसायन भौतिक रसायन · रेडियो-रसायन शास्त्र ठोस अवस्था रसायन शास्त्र · त्रिविम रसायन विशाल अणुकणिका रसायन शास्त्र पृष्ठ विज्ञान · सैद्धान्तिक रसायन शास्त्र खगोल शास्त्र ताराभौतिकी · ब्रह्माण्डविद्या गेलेक्टिक खगोल विज्ञान · ग्रहों भूविज्ञान ग्रह विज्ञान · तारकीय खगोल विज्ञान भू-विज्ञान वायुमंडलीय विज्ञान · पारिस्थितिकी · पर्यावरणीय विज्ञान · भूगणित · भूविज्ञान · भू-आकृति विज्ञान · भूभौतिकी · Glaciology · जलविज्ञान · Limnology · खनिज विज्ञान · समुद्र विज्ञान · Paleoclimatology · Palynology · भौतिक भूगोल · मृद्विज्ञान · समष्टि विज्ञान
जीवन विज्ञान जीव विज्ञान शरीररचना-विज्ञान · खगोलजीव विज्ञान · जैवरसायनिकी जीव-भूगोल · जैविक अभियान्त्रिकी · जैवभौतिकी व्यवहारिक तंत्रिका विज्ञान · जैवप्रौद्योगिकी वनस्पति विज्ञान · कोशिका विज्ञान · जैव संरक्षण · हिमजैविकी विकासात्मक जीवविज्ञान पारिस्थितिकी · Ethology · मानवजाति जैविकी Evolutionary biology (introduction) आनुवंशिकी (introduction) जराविद्या · प्रतिरक्षा विज्ञान · Limnology समुद्री जीवविज्ञान · सूक्ष्मजैविकी आण्विक जीव विज्ञान · Neuroscience जीवाश्मविज्ञान · परजीवी विज्ञान · शरीर क्रिया विज्ञान Radiobiology · Soil biology Systematics · सैद्धान्तिक जीव विज्ञान विषविज्ञान · प्राणी विज्ञान
सामाजिक और व्यावहारिक विज्ञान मानवशास्त्र · पुरातत्त्वशास्त्र अपराध शास्त्र · जनसांख्यिकी अर्थशास्त्र · शिक्षा मानव भूगोल · इतिहास अंतर्राष्ट्रीय संबंध · विधि भाषाविज्ञान · राजनीति विज्ञान मानस शास्त्र · समाजशास्त्र
व्यावहारिक विज्ञान अभियान्त्रिकी कृषि · वैमानिक · जैवचिकित्सा रासायनिक · जनपथ · संगणक वैद्युत · अग्नि सुरक्षा · आनुवंशिक औद्योगिक · यांत्रिक · सैन्य खनन · नाभिकीय · संक्रिया विज्ञान यंत्रमानविकी · तन्त्रांश स्वास्थ्य विज्ञान जैविक अभियान्त्रिकी · दन्तचिकित्सा महामारी - विज्ञान · स्वास्थ्य सेवा · आयुर्विज्ञान उपचर्या · औषधनिर्माण · समाजसेवा पशु चिकित्सा विज्ञान
अंतर्विषयी व्यावहारिक भौतिकी · कृत्रिम बुद्धिमत्ता जैवनैतिकता · जैव सूचना विज्ञान · जैवचिकित्सा इंजीनियरी · जैवसांख्यिकी संज्ञानात्मक विज्ञान · संगणकीय भाषाविज्ञान सांस्‍कृतिक अध्ययन · साइबर्नेटिक्स पर्यावरणीय विज्ञान · पर्यावरणीय सामाजिक विज्ञान पर्यावरणीय अध्ययन · संजातीय अध्ययन विकासीय मनोविज्ञान · वानिकी · स्वास्थ्य पुस्तकालय विज्ञान · तर्कशास्त्र गणितीय जीवविज्ञान · गणितीय भौतिकी वैज्ञानिक प्रतिरूपण · तंत्रिक अभियांत्रिकी तंत्रिका विज्ञान · विज्ञान और प्रौद्योगिकी अध्ययन विज्ञान अध्ययन · लक्षण-विज्ञान · समाजैविकी निकाय सिद्धांत · Transdisciplinarity नगर नियोजन
विज्ञान का दर्शन और इतिहास वैज्ञानिक विधि विज्ञान का इतिहास विज्ञान दर्शन विज्ञान नीति चेतना विज्ञान छद्म विज्ञान
रूपरेखा · प्रवेशद्वार · श्रेणी
दे वा सं

गणितीय तर्कशास्त्र (Mathematical logic) गणित की शाखा है किसका संगणक विज्ञान एवं दार्शनिक तर्कशास्त्र से निकट का सम्बन्ध है। तर्कशास्त्र का गणितीय अध्ययन तथा गणित के अन्य विधाओं में तर्कशास्त्र (formal logic) के अनुप्रयोग दोनो ही इसके अंतर्गत आते हैं।

प्राय: गणितीय तर्कशास्त्र को समुच्चय सिद्धान्त, मॉडल सिद्धान्त (model theory), रिकर्सन सिद्धान्त (recursion theory) तथा सिद्धि सिद्धान्त (proof theory) नामक क्षेत्रों में विभक्त किया जाता है।

इतिहास[संपादित करें]

गणितीय तर्कशास्त्र अपने आरम्भकाल से ही गणित के आधारशिलाओं (foundations of mathematics) के अध्ययन में सहायक सिद्ध हुआ है तथा उससे प्रेरणा पाता रहा है। इसका अध्ययन १९वीं शताब्दी के अन्तिम दिनों में आरम्भ हुआ। सबसे पहले इसके लिये ज्यामिति, अंकगणित और विश्लेषण के स्वयंसिद्धों (axioms) का विकास हुआ। २०वीं शती के आरम्भिक दिनों में डेविड हिल्बर्ट ने इसे गति प्रदान की। उन्होने 'फाउण्डेशनल सिद्धान्तों की समग्रता' (consistency of foundational theories) को सिद्ध करने का प्रोग्राम चलाया। कुर्ट गोडेल (Kurt Gödel), गरहर्ड जेन्तजेन (Gerhard Gentzen) एवं अन्य लोगों ने इस कार्य को और आगे बढ़ाया। समुच्चय सिद्धान्त के क्षेत्र में और कार्य हुए जिससे यह प्रदर्शित हुआ कि लगभग सम्पूर्ण सामान्य गणित को समुच्चयों के रूप में 'फॉर्मलाइज' किया जा सकता है।

बाहरी कड़ियाँ[संपादित करें]

Mathematical Logic around the world
Polyvalued logic
forall x: an introduction to formal logic, by P.D. Magnus, is a free textbook.
A Problem Course in Mathematical Logic, by Stefan Bilaniuk, is another free textbook.
Detlovs, Vilnis, and Podnieks, Karlis (University of Latvia) Introduction to Mathematical Logic. A hyper-textbook.
Stanford Encyclopedia of Philosophy: Classical Logic – by Stewart Shapiro.
Stanford Encyclopedia of Philosophy: First-order Model Theory – by Wilfrid Hodges.
The London Philosophy Study Guide offers many suggestions on what to read, depending on the student's familiarity with the subject: