查询词典 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.

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

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.

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

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

Finally, by discussing the concept of action, this paper tries to show that people aren't completely decidable. But this undecidability should be comprehended in the context of self-understanding. The author's personal view is that self-understanding is the demonstration of self-realization.

最后将透过对行动概念的讨论，说明人的不可完全决定性，但这个不可决定性必须在人对自我理解意义上来理解，个人以为自我理解就是人的自我实现的具体呈现。

It was partly because of this final "undecidability," wherein Nora appears not to remain as dutiful wife, that the play also aroused intense discussion of the woman's rights in society at that time.

易卜生的《玩偶之家》於1879年首演，娜拉於剧末的「关门声」，不仅打破了佳构剧的圆满结局模式，也因为结局的「未决定」凸显出娜拉为人妻的职责未尽，引发了当时社会对女权的激烈讨论。

Turing machines: equivalent forms, undecidability.

图灵机：等价形式，不可判定性。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。