热门问题
时间线
聊天
视角
弗里德堡–穆奇尼克定理
来自维基百科，自由的百科全书
Remove ads
弗里德堡–穆奇尼克定理（英語：Friedberg–Muchnik Theorem）是可計算性理論中關於不可解度的定理，声称存在一对互相不可计算的递归可枚举不可解度。[1]
内容
存在递归可枚举不可解度 互不可计算。
相关定理
参考资料
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads
来自维基百科，自由的百科全书
弗里德堡–穆奇尼克定理（英語：Friedberg–Muchnik Theorem）是可計算性理論中關於不可解度的定理，声称存在一对互相不可计算的递归可枚举不可解度。[1]
存在递归可枚举不可解度 互不可计算。
Seamless Wikipedia browsing. On steroids.