跳躍逆轉定理

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

定理

編輯

弗里德堡定理

編輯

 ,則存在   使  

肖恩菲爾德定理

編輯

  且可用具備  預言機遞歸枚舉,則存在   使  

薩克斯定理

編輯

  且可用具備   的預言機遞歸枚舉,則存在遞歸可枚舉集合   使  

定理

編輯

參考資料

編輯