कम्प्यूटेबिलिटी सिद्धांत, गणितीय तर्क की शाखा, जिसे रिकर्शन सिद्धांत कहा जाता है, से निकट रूप से संबंधित है, जो उस प्रतिबंध को हटाता है जिसके तहत अभिकलन के सिर्फ उन मॉडलों का अध्ययन किया जाता है जिन्हें ट्यूरिंग मशीन के योग्य किया जा सकता है.
32.
गणितीय कार्य से यह पता चल गया कि इस सवाल का जवाब भौतिकीय प्रयोगों के जरिये दिया जाना चाहिए ना कि गणितीय तर्क से, साथ ही यह कारण भी उजागर हुआ कि इस प्रयोग में अनंत (सितारों की दूरियां, ना कि पृथ्वी-आधारित) दूरियों को अनिवार्य रूप से क्यों शामिल किया जाना चाहिए.
33.
गणितीय कार्य से यह पता चल गया कि इस सवाल का जवाब भौतिकीय प्रयोगों के जरिये दिया जाना चाहिए ना कि गणितीय तर्क से, साथ ही यह कारण भी उजागर हुआ कि इस प्रयोग में अनंत (सितारों की दूरियां, ना कि पृथ्वी-आधारित) दूरियों को अनिवार्य रूप से क्यों शामिल किया जाना चाहिए.
34.
यहाँ यह उल्लेख करना चाहिए कि ठाणे निवासी सुविख्यात हारमोनियम वादक डॉ. विद्याधर ओक ने इस पर गहन शोध किया है तथा न सिर्फ १ २ श्रुतियों की आवृत्तियां निश्चित करने के लिए तगड़े गणितीय तर्क दिए हैं, अपितु इन सभी को समायोजित कर मेलोडियम नामक एक यन्त्र भी विकसित किया है ।
35.
• जो विशेष रूप से सामाजिक आर्थिक में रुचि रखते हैं कोई समस्या नहीं है, और उनके करने के लिए समय और ऊर्जा समर्पित करने को तैयार हल समझ; • जो विश्वास नहीं करते कि तार्किक और गणितीय तर्क और मतिहीनता, और दो अलग दुनिया के हर रोज घटना के आर्थिक जीवन; • जो चुनौतियों जिम्मेदारियों, और
36.
१९ वीं शताब्दी में सार बीजगणित (abstract algebra)की शुरुआत हुई.विलियम रोवाण हैमिल्टन (William Rowan Hamilton) ने आयरलैण्ड में गैर क्रम-विनिमय बीजगणित (noncommutative algebra)को विकसित किया.ब्रिटिश गणितज्ञ जॉर्ज बूले ने एक ऐसी बीजगणित तैयार की जो जल्दी ही ऐसे रूप में सामने आई जिसे आज बूलीय बीजगणित के रूप में जाना जाता है, जिसमें ० और १ केवल संख्याएं थीं, और जिनमें प्रसिद्द रूप से 1 + 1 = 1.बूलीय बीजगणित गणितीय तर्क (mathematical logic) का प्रारंभिक बिंदु है और इसके कंप्यूटर विज्ञान (computer science) में महत्वपूर्ण अनुप्रयोग हैं.
