弗里德堡–穆奇尼克定理 弗里德堡穆奇尼克定理英語FriedbergMuchnik Theorem是可計算性理論中關於不可解度的定理声称存在一对互相不可计算的递归可枚举不可解度