跳躍逆轉定理是遞歸論中關於不可解度的三個定理，定理給出滿足特定條件的不可解度的“圖靈逆跳躍”的存在性。 基本介紹 中文名：跳躍逆轉定理外文名：Jump reversal theorem分類：計算機科學 定理弗里德堡定理設 ，則存在 使 。肖恩菲爾德定理設 且可用具備 的預言機遞歸枚舉，則存在 使 。薩克斯定理設 且可用具備 的預言機遞歸枚舉，則存在遞歸可枚舉集合 使 。
