弗里德堡-穆奇尼克定理
Theorem)是可計算性理論中關於不可解度的定理,聲稱存在一對互相不可計算的遞歸可枚舉不可解度。 定理存在遞歸可枚舉不可解度互不可計算。 相關定理克萊尼–波斯特定理是較弱的定理,可由弗里德堡–穆奇尼克作為推論得出。
弗里德堡–穆奇尼克定理(英語:Friedberg–Muchnik Theorem)是可計算性理論中關於不可解度的定理,聲稱存在一對互相不可計算的遞歸可枚舉不可解度。定理
存在遞歸可枚舉不可解度互不可計算。相關定理
- 克萊尼–波斯特定理是較弱的定理,可由弗里德堡–穆奇尼克作為推論得出。