高い（計算可能性）
 | この記事には複数の問題があります。改善にご協力いただくか、トークページでこれらの問題について議論してください。（これらのメッセージを削除する方法とタイミングについてはこちらをご覧ください）
|
計算可能性理論では、チューリング次数[ X ] が 0 ′で計算可能であれば高いとされ、チューリングジャンプ[ X ′ ] は 0 ′ ′であり、これは 0 ′で計算可能な集合のジャンプのチューリング還元可能性の観点から可能な最大の次数である。[ 1 ]
同様に、次数が n 番目のジャンプで 0 の (n+1) 番目のジャンプである場合、その次数は高 nです。さらに一般的には、次数dが一般化高 n である場合、その n 番目のジャンプはdと 0 ′の結合の n 番目のジャンプです。
参照
参考文献
- ^ Soare, RI (1987).再帰的に列挙可能な集合と次数：計算可能関数と計算可能生成集合の研究. ベルリン: Springer-Verlag. p. 71. ISBN 3-540-15299-7。
 | この数理論理学関連の記事はスタブです。不足している情報を追加してWikipediaに貢献してください。 |
