undecidability ['ʌndisaidə'biliti]

undecidability的基本解释

n.

[数][逻]不可判定性

与undecidability相关的网络例句 [注：此内容来源于网络，仅供参考]

We use this construction to prove new undecidability results.

我们使用这个作图来证明新的不可判定性的结果。

Finally, this course introduces the students to deep scientific issues in the foundation of computing such as undecidability, complexity, and quantum computers.

最后，该课程向学生介绍在计算理论基础方面深层次的科学问题，如不可解性、复杂性和量子计算。

Turing Machines, A Brief Introduction to the Undecidability, Intractability and Complexity of Problems.

图灵机，问题的不可解性、难解性和复杂性等计算理论初步知识。

As it happens, no other method can do any better, as was shown by Alan Turing with his celebrated result on the undecidability of the so-called halting problem.

事实上，没有其他方法可以做到更好，这表明了阿兰图灵结果与他的著名的undecidability所谓的停止问题。

The question of whether two lambda calculus expressions are equivalent cannot be solved by a general algorithm, and this was the first question, even before the halting problem, for which undecidability could be proved.

两个lambda演算表达式是否相等的问题不能够被一个通用的算法解决，这是第一个问题，它甚至排在停机问题之前。为了证明停机问题是没有答案的，不可判定性能够被证明。

与undecidability相关的网络解释 [注：此内容来源于网络，仅供参考]

undecidability：不可判定性

相反,吸引他的,一方面是这个问题的不可判定性(undecidability),另一方面,则是此问题向尼采的书写,而不常向其他哲学家的书写(尽管海德格尔在这里是个例外)提出这样一个事实.

undecidability：[数][逻]不可判定性

quadruple vector product 四重向量积 | undecidability [数][逻]不可判定性 | One's hour has come. 某人的死期已到.

undecidability theorem：不可判定性定理

不可判定性 undecidability | 不可判定性定理 undecidability theorem | 不可判定理论 undecidable theory

undecidability theorem：不可决策性定理

无阻尼振荡 undamped oscillation | 不可决策性定理 undecidability theorem | 不可决策的 undecidable

essential undecidability：本质不可判定性

essential supremum 本性上确界 | essential undecidability 本质不可判定性 | essentially bounded 本质有界的