跳跃逆转定理是递归论中关于不可解度的三个定理，定理给出满足特定条件的不可解度的“图灵逆跳跃”的存在性。
定理.
弗里德堡定理.设 formula_1，则存在 formula_2 使 formula_3。
肖恩菲尔德定理.设 formula_1 且可用具备 formula_5 的预言机递归枚举，则存在 formula_6 使 formula_3。
萨克斯定理.设 formula_1 且可用具备 formula_