弗里德堡-穆奇尼克定理

弗里德堡–穆奇尼克定理英語:Friedberg–Muchnik Theorem)是可計算性理論中關於不可解度的定理,聲稱存在一對互相不可計算的遞歸可枚舉不可解度。

定理,相關定理,

定理

存在遞歸可枚舉不可解度 A,B 互不可計算。

相關定理

相關詞條

熱門詞條

聯絡我們