A "decidable" ("computable", "solvable", "recursive") problem is one for which it is possible to develop an algorithm that always produces a correct answer. (SEP)