undecidable

常見例句

As a consequence type checking becomes undecidable.
作為結(jié)論類型檢查成為不可判定性的。
So subjects assessed true statements as believable faster than they judged them as unbelievable or undecidable.
因此，受試者評估正確的敘述并認(rèn)為可信，要比評估不正確或無法確定的敘述來得快。
Explain the theoretical limits on computational solutions of undecidable and inherently complex problems.
說明在不可判定性問題與固有復(fù)雜問題的計(jì)算解法的理論的限制。
Answering this question correctly for any arbitrary program is known to be an undecidable problem.
還沒有方法能從理論上得到證明。
There is a language L such that L is not recursive (L is undecidable), yet L and its complement are both recursively enumerable.
因?yàn)橛⑽乃教睿约毙柙旅孢@道英文的題目，不知道能不能給我翻譯一下，實(shí)在是理解不了：題目：Consider the following statements: I.
Determining whether a piece of code always produces a certain constant value is the same as determining program equivalence, which is an undecidable problem.
確定一段代碼是否總是產(chǎn)生某個常數(shù)值，等同于確定程序等效物，無法保證一定能做到。