跳跃逆转定理
跳躍逆轉定理是遞歸論中關於不可解度的三個定理，定理給出滿足特定條件的不可解度的「圖靈逆跳躍」的存在性。