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

मुक्त ज्ञानकोश विकिपीडिया से
नेविगेशन पर जाएँ खोज पर जाएँ

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

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

इतिहास

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

बाहरी कड़ियाँ