目录
不可解度
不可解度，或图灵度，是数学逻辑的名词，尤其应用在可计算性理论中。.
查看 跳跃逆转定理和不可解度
预言机
#重定向 預言機.
查看 跳跃逆转定理和预言机
递归可枚举集合
递归可枚举集合（Recursively enumerable set）是可计算性理论或更狭义的递归论中的一个概念。可数集合S被称为是递归可枚举、计算可枚举的、半可判定的或可证明的，如果.
递归论
递归论或可计算性理论，是一个数理逻辑分支。它起源于可计算函数和图灵度的研究。它的领域增长为包括一般性的可计算性和可定义性的研究。在这些领域中，这门理论同证明论和能行描述集合论（effective descriptive set theory）有所重叠。 数理逻辑中的可计算性理论家经常研究相对可计算性、可归约性概念和程度结构的理论。相对于计算机科学家，他们研究次递归层次，可行的计算和公用于可计算性理论研究的形式语言。在这两个社区之间有着相当大的知识和方法上的重叠，而没有明显的界限。.
查看 跳跃逆转定理和递归论