undecidability

常見例句

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