Of a problem, solvable by a Turing machine or any thereto Turing-equivalent model; Turing-computable.
Capable of being computed, or enumerated.
of a number, able to be approximated to arbitrary precision by a computable function
Of a countably infinite set, having a computable indicator function.
Able to be resolved; to which a solution may be found.
That may be resolved or reduced to its component elements.