弗里德堡–穆奇尼克定理（Template:Lang-en）是可計算性理論中關於不可解度的定理，声称存在一对互相不可计算的递归可枚举不可解度。[1]
存在递归可枚举不可解度 A,B 互不可计算。
Template:References
Template:Compu-stub