"You might be looking for Computable function, Computability theory, Computation, or Theory of computation.Computability is the ability to solve a problem in an effective manner. It is a key topic of the field of computability theory within mathematical logic and the theory of computation within computer science."@en .