不可解度

热度:316

简介

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

中文名 不可解度
别名 图灵度
原始名称 不可解度
外文名 degrees of unsolvability
应用学科 数学
应用领域 可计算性理论
性质 数学逻辑名词
英文名 degrees of unsolvability
精选上位词
  • 术语
  • 科学百科数理科学分类
  • 相关实体