undecidability

常見(jiàn)例句

• We use this construction to prove new undecidability results.
  我們使用這個(gè)作圖來(lái)證明新的不可判定性的結(jié)果。
• For“property complexity”defined by the author,general complexity problems have undecidability,but concrete complexity problems associated with complex systems are resolvable.
  對(duì)于筆者所定義的“性狀復(fù)雜性”[1]來(lái)說(shuō),一般性的復(fù)雜性問(wèn)題具有不完全性,而與復(fù)雜系統(tǒng)相連的具體的復(fù)雜性問(wèn)題還是充分可解的。
• essential undecidability
  本質(zhì)不可判定性
• undecidability theorem
  不可判定性定理
返回 undecidability