チューリングジャンプ
チューリングジャンプ（Turing jump または Turing jump operator）とは、計算可能性理論におけるある数学的な操作に付与された名前。名称はアラン・チューリングに因む。直感的に言えば、何らかの決定問題 X について、より難しい決定問題 X’を対応付けることである。ここでいう X’は、X を解けるようなオラクルを持つ神託機械では決定出来ない問題を指す。

この作用素は問題 X のチューリング次数を増やす（ジャンプさせる）ので「ジャンプ作用素」と呼ばれる。つまり問題 X’は X にチューリング還元可能ではない。
ポストの定理はチューリングジャンプ作用素と自然数の集合の算術的階層との関係を明らかにしている。
Q818930
計算可能性理論
Concept
Q7251
アラン・チューリング
PER
Q3262192
決定問題
Concept
Q399841
オラクル
UNK
Q1143357
神託機械
Concept
Q1527413
チューリング次数
Concept
Q4489310
チューリング還元
Concept
Q3007384
ポストの定理
Concept
Q669094
算術的階層
Concept
Q6128725
チューリングジャンプ
Concept
Q6128725
チューリングジャンプ
Concept
named after
named after
named after
named after