Classical recursion theory focuses on the computability of functions from the natural numbers to the natural numbers.
An important subfield of recursion theory studies algorithmic unsolvability; a decision problem or function problem is algorithmically unsolvable if there is no possible computable algorithm that returns the correct answer for all legal inputs to the problem.