弗里德堡–穆奇尼克定理

来自testwiki
imported>雨宮鏡心2019年8月5日 (一) 18:37的版本
(差异) ←上一版本 | 最后版本 (差异) | 下一版本→ (差异)
跳转到导航 跳转到搜索

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

内容

存在递归可枚举不可解度 A,B 互不可计算。

相关定理

参考资料

Template:References

Template:Compu-stub

  1. ↑ Template:Cite bookTemplate:Page needed
检索自“https://zh.wiki.beta.math.wmflabs.org/w/index.php?title=弗里德堡–穆奇尼克定理&oldid=8650”