undecidability ['ʌndisaidə'biliti]

undecidability的基本解释

n.

[数][逻]不可判定性

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

Integrating ontologicaldifference with the difference describing in structuralism liguistics,Derridadesigned Grammatology in order to emphasize undecidability and maintain contextis the condition of decidability.

将本体论差异和结构主义语言学所倡导的差异结合起来，德里达构想出书写语言学。没有差异的同一是同语反复，差异是同一的前提。书写语言学反对绝对决定的同一，强调同一的不可决定性，主张只在具体的语境、情境之中，才有决定可言。

Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

其所包含的主题：程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数：关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。

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

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

与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 本质有界的