称作不可解度。图灵可计算关系是所有不可解度的搜集上的偏序。所有可计算集合（也即图灵等价于空集的集合）的不可解度为formula_13（零度）。所有不可解度的搜集记作formula_14。
图灵跳跃.图灵跳跃算符是不可解度上的算符。设formula_9为一集合，则其不可解度的图灵跳跃formula_16为所有停机的具备集合formula_9的预言机的集合的不可解度。零度的图灵跳跃是停机问题的不可解度，也即formula_18。
图灵锥.设formul