精选上位词
不可解度,或图灵度,是数学逻辑的名词,尤其应用在可计算性理论中。是从比较计算难易程度出发来研究自然数子集分类的递归论分支。在某种标准下计算难度相同的集合形成这种标准下的一个度。
中文名 | 不可解度 |
---|---|
别名 | 图灵度 |
原始名称 | 不可解度 |
外文名 | degrees of unsolvability |
应用学科 | 数学 |
应用领域 | 可计算性理论 |
性质 | 数学逻辑名词 |
英文名 | degrees of unsolvability |