পরিগণনীয়তা তত্ত্ব (কম্পিউটার বিজ্ঞান)
পরিগণনীয়তা তত্ত্ব, যা পুনরাবৃত্তি(রিকারশন) তত্ত্ব নামেও পরিচিত, যা গাণিতিক যুক্তিবিজ্ঞান, কম্পিউটার বিজ্ঞান ও গণন তত্ত্বের একটি শাখা যার উৎপত্তি হয়েছিল ১৯৩০ এর দশকে গণনযোগ্য ফাংশন ও টিউরিং ডিগ্রী অধ্যয়নের মাধ্যমে। এরপর থেকে এই ক্ষেত্রটি বিস্তার লাভ করেছে সাধারণীকৃত গণনীয়তা ও সংজ্ঞায়ীকরণকে অন্তর্ভুক্ত করার জন্য। এই ক্ষেত্রগুলোতে পরিগণনীয়তা তত্ত্বের সাথে প্রমাণ তত্ত্ব ও কার্যকর বর্ণনামূলক সেট তত্ত্বও মিলিত হয়েছে। পরিগণনীয়তা তত্ত্ব ও পরিগণনামূলক জটিলতা তত্ত্ব পরস্পর সম্পর্কযুক্ত কিন্তু আলাদা এই অর্থে যে পরিগণনামূলক জটিলতা তত্ত্বে কোন সমস্যা কত দক্ষভাবে সমাধান করা যায় তা নিয়ে গবেষণা করা হয়, সমস্যাটা আদৌ সমাধানযোগ্য কি না, তা নিয়ে নয়। পরিগণনীয়তা তত্ত্ব মূলত যেসব প্রশ্নের উত্তর দেয় তা হল: স্বাভাবিক সংখ্যার অপেক্ষক (গণিত) এর জন্য গণনযোগ্য হওয়া বলতে কি বোঝায়? অগণনযোগ্য অপেক্ষকগুলোকে তাদের অগণনযোগ্যতার ভিত্তিতে কীভাবে শ্রেণিবদ্ধ করা যায়? যদিও জ্ঞান ও প্রয়োগের ক্ষেত্রে সীমানা খুব কম, তা সত্ত্বেও গাণিতিক পরিগণনীয়তা তাত্ত্বিকরা আপেক্ষিক পরিগণনীয়তা তত্ত্ব, হ্রাসযোগ্যতা ধারণাসমূহ এবং মাত্রা গঠন নিয়ে পড়াশুনা করা থাকেন; যারা কম্পিউটার বিজ্ঞান শাখায় আছেন তারা পরিগণনামূলক জটিলতা তত্ত্ব, আনুষ্ঠানিক প্রক্রিয়া ও আনুষ্ঠানিক ভাষার উপর মনোযোগ দিয়ে থাকেন।