Вычисляемость, вычислимость — complete computability — computability predicate — effective computability — generalized computability — hyperarithmetical computability — mechanical computability — partial computability — practical computability — prime computability — recursive computability — relative computability — strong computability — theor of computability Исчисляемость