跳躍逆轉定理

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