computability theory

== English == === Noun === computability theory (uncountable) (logic) Recursion theory. (computer science) The branch of the theory of computation that studies which problems are computationally solvable using different models.