困难程度。如果两集合formula_11有同一不可解度（也即两者互相图灵可计算），则称两集合为图灵等价，记作formula_12。图灵等价是一个等价关系，其等价类称作不可解度。图灵可计算关系是所有不可解度的搜集上的偏序。所有可计算集合（也即图灵等价于空集的集合）的不可解度为formula_13（零度）。所有不可解度的搜集记作formula_14。
图灵跳跃.图灵跳跃算符是不可解度上的算符。设formula_9为一集合，则其不可解度的图灵跳跃formula_16为所有停机的具