弗裏德堡–穆奇尼克定理

弗裏德堡 – 穆奇尼克定理  是可計算性理論中關於不可解度的定理 ， 聲稱存在一對互相不可計算的遞歸可枚舉不可解度 。