弗里德堡–穆奇尼克定理(英語:Friedberg–Muchnik Theorem)是可計算性理論中關於不可解度的定理,聲稱存在一對互相不可計算的遞歸可枚舉不可解度。[1]
存在遞歸可枚舉不可解度 互不可計算。
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.