نظرية الحاسوبية

نظرية الحاسوبية computability theory وتعرف أيضاً بالنظرية العودية Recursion theory هي أحد فروع المعلوماتية النظرية تم تأسيسه في عام 1930 theoretical computer science التي تدرس مسائل قابلة للحل حاسوبيا computationally solvable باستخدام نماذج مختلفة للتحسيب .

نظرية الحاسوبية تختلف عن التخصصات المشابهة لنظرية التعقيد الحسابي computational complexity theory ، فالأخيرة تتعامل مع سؤال كيفية حل المسألة حاسوبيا بفعالية ، بدل من سؤال إذا كانت المسألة قابلة للحل حاسوبيا أم لا؟ solvableالذي تتناوله نظرية الحاسوبية .