更新时间:2024-05-21 15:02
高度(high degree)递归论的基本概念之一指具有最高跳跃度的不可解度.若不可解度“<0 ,且a' - 0'.,则称“为高度.对任何“镇0',有a'毛0.因此,高度实际上是``C0,0'」中具有最高跳跃的度,或者从直观上说,是NCO, 0'」中“较大的度”. 0'是平凡的高度,由萨克斯跳跃定理(参见“跳跃逆定理”)知,存在非完备的re高度.此外,任何高的re度都包含极大集;反之,任何极大集的不可解度也一定是高度.