نظرية الحاسوبية computability theory وتعرف أيضاً بالنظرية العودية Recursion theory هي أحد فروع المعلوماتية النظرية تم تأسيسه في عام 1930 theoretical computer science التي تدرس مسائل قابلة للحل حاسوبيا computationally solvable باستخدام نماذج مختلفة للتحسيب .
Computability theory, also called recursion theory, is a branch of mathematical logic, of computer science, and of the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees.