不可解度

不可解度，或图灵度，是数学逻辑的名词，尤其应用在可计算性理论中。是从比较计算难易程度出发来研究自然数子集分类的递归论分支。在某种标准下计算难度相同的集合形成这种标准下的一个度。不可解度：数学逻辑名词，即函数f由函数g图灵可计算，并且g由f图灵可计算时，称f和g具有相同的图灵不可解性的度。