然数函数formula_1的值（即使formula_1不可计算），且该图灵机计算自然数函数formula_3，则定义函数formula_3由函数formula_1 图灵可计算，记作formula_6。符合以上特点的图灵机称为具备函数formula_1的预言机。若集合formula_8的特征函数可计算集合formula_9，则formula_10。在计算机科学和数理逻辑中，自然数集合的图灵度或者不可解度是对此集合的算法不可解性的度量。图灵度在可计算理论中是根本性的概念，在可计算理论里，自然数集合通常被看作