图灵度_数学逻辑名词 - 线报百科mbji.cn

图灵度

数学逻辑名词

图灵度，数学逻辑名词，即函数由函数图灵可计算，并且由图灵可计算时，称和具有相同的图灵不可解性的度。

在计算机科学和数理逻辑中，自然数集合的图灵度或者不可解度是对此集合的算法不可解性的度量。图灵度在可计算理论中是根本性的概念，在可计算理论里，自然数集合通常被看作一个判定问题，而图灵度则给出了解决与此集合相连的判定问题的困难程度。

参考资料

最新修订时间：2024-05-21 13:22

条目作者

概述

参考资料