チューリング還元
非形式的に言えば、自然数の集合 "A" が集合 "B" にチューリング還元可能であるとは、"B" をオラクル集合として持つ神託機械を用いれば、ある数が "A" に属するかどうかを正しく示せることを意味する（この例では、集合 "A" は "B" から（相対的に）計算可能、 "B" について再帰的とも称する）。集合 "A" が集合 "B" にチューリング還元可能であり、かつ、"B" が "A" にチューリング還元可能であるとき、これらの集合は同じチューリング次数（「決定不能性の次数」とも）を持つと言う。ある集合のチューリング次数は、その集合の計算不能な度合いの正確な尺度となる。