গাণিতিক যুক্তিবিজ্ঞান

গাণিতিক যুক্তিবিজ্ঞান (ইংরেজি: Mathematical logic) গণিতের একটি শাখা যেখানে সেট, সংখ্যা, প্রমাণ, গণনা, ইত্যাদি মৌলিক গাণিতিক ধারণাগুলি কীভাবে বিধিগত ব্যবস্থাসমূহে সংকেতায়িত (encoded) হয়, তা নিয়ে আলোচনা করা হয়।

ডায়নামিক লজিক প্রপার্টিজের ডিডাক্টিভ ভেরিফিকেশনে প্রুফ ট্রি এর উদাহরণ।

গাণিতিক যুক্তিবিজ্ঞানকে সাধারণত কিছু উপশাখায় ভাগ করা হয় যেমন মডেল তত্ত্ব, প্রমাণ তত্ত্ব, সেট তত্ত্ব, পুনরাবৃত্তি তত্ত্ব, ইত্যাদি। গাণিতিক যুক্তিবিজ্ঞানের গবেষণা গণিতের ভিত্তির গবেষণায় অবদান রেখেছে।

গাণিতিক যুক্তিবিজ্ঞানকে ইংরেজিতে পূর্বে symbolic logic ও metamathematics নামেও ডাকা হত।


কম্পিউটার বিজ্ঞানের সাথে সম্পর্ক সম্পাদনা

কম্পিউটার বিজ্ঞানের অনেক আদি প্রবক্তারা ছিলেন গণিতবিদ ও যুক্তিবিদ।

কম্পিউটার বিজ্ঞানের অধীত গণনীয়তা তত্ত্ব গাণিতিক যুক্তিবিজ্ঞানে অধীত গণনীয়তা তত্ত্বের সাথে ঘনিষ্ঠভাবে সম্পর্কিত, তবে এদের লক্ষ্যের পার্থক্য আছে। কম্পিউটার বিজ্ঞানীরা বাস্তব প্রোগ্রামিং ভাষা ও বাস্তবায়নযোগ্য গণনীয়তার ওপর জোর দেন, অন্যদিকে গাণিতিক যুক্তিবিজ্ঞানীরা সাধারণত একটি তাত্ত্বিক ধারণা হিসেবে গণনীয়তা নিয়ে কাজ করেন এবং অ-গণনীয়তা নিয়েও কাজ করেন।


সহায়ক পাঠ্য সম্পাদনা

বহিঃসংযোগ সম্পাদনা

উৎসপঞ্জি সম্পাদনা