Computability

Computability is the ability to solve a problem by an effective procedure. It is a key topic of the field of computability theory within mathematical logic and the theory of computation within computer science. The computability of a problem is closely linked to the existence of an algorithm to solve the problem.

Extends: [Computability theory](https://wikipedia.org.ai/Computability theory), [Theory of computation](https://wikipedia.org.ai/Theory of computation)