热门问题
时间线
聊天
视角
弗里德堡–穆奇尼克定理
来自维基百科,自由的百科全书
Remove ads
弗里德堡–穆奇尼克定理(英語:Friedberg–Muchnik Theorem)是可計算性理論中關於不可解度的定理,聲稱存在一對互相不可計算的遞歸可枚舉不可解度。[1]
內容
存在遞歸可枚舉不可解度 互不可計算。
相關定理
參考資料
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads
来自维基百科,自由的百科全书
弗里德堡–穆奇尼克定理(英語:Friedberg–Muchnik Theorem)是可計算性理論中關於不可解度的定理,聲稱存在一對互相不可計算的遞歸可枚舉不可解度。[1]
存在遞歸可枚舉不可解度 互不可計算。
Seamless Wikipedia browsing. On steroids.