不可判定的英文

• entscheidungsproblem

• "判定"英文翻译    judge; decide; vote; determi ...
• "不可判定的" 英文翻译 :    entscheidbar decidable; entscheidend decidable; undecidable
• "不可判定性" 英文翻译 :    [数学] undecidability
• "不可判定理论" 英文翻译 :    undecidable theory
• "不可判定问题" 英文翻译 :    infeasible decision problem
• "本质不可判定性" 英文翻译 :    essential undecidability
• "不可判定性定理" 英文翻译 :    undecidability theorem
• "一阶逻辑的不可判定性" 英文翻译 :    the undecidability of first-order logic
• "半可判定的" 英文翻译 :    semi-decidable
• "递归可判定" 英文翻译 :    recursively decidable
• "可判定的" 英文翻译 :    decidable; decideable
• "可判定性" 英文翻译 :    decidability; entscheidungsproblem
• "可判定子句" 英文翻译 :    decidable subclause
• "可判定子类" 英文翻译 :    decidable subclass
• "不可判明的" 英文翻译 :    adiagnostic
• "可决定性 可判定性" 英文翻译 :    decidability
• "图灵可判定语言" 英文翻译 :    recursive language
• "无乘法算术的可判定性" 英文翻译 :    decidability of arithmetic without multiplication
• "判定" 英文翻译 :    judge; decide; vote; determine; predicate; decision; criterion; judging; deciding; determining
• "可判处" 英文翻译 :    punishable
• "可判读的" 英文翻译 :    decipherable
• "可判断的" 英文翻译 :    interpretable
• "可判死刑罪" 英文翻译 :    capital crime
• "可判死刑案件" 英文翻译 :    capital case
• "不可" 英文翻译 :    1.(不可以) cannot; should not; must not; not allowed; forbidden 不可一概而论 must not make sweeping generalizations; 不可剥夺的权利 an inalienable right; 不可抗拒的历史潮流 an irresistible historical trend; 两者不可偏废。 neither can be neglected. 我们不可这样匆促作出决定。 no (such) hasty decision should be made by us.2.(“非 ...不可”表示“一定”) must 这部电影太精彩了, 我非看不可。 the film is extremely good, i just cannot miss it. 这个会太重要了, 我非去不可。 the meeting is very important. i simply must go

• So , once again , there is a class of problem for which we conclusively believe that no solution or answer is possible
  不可判定的。因此，又有一类问题我们认为是没有可能的解决方案或答案的。
• The reached conclusion shows that no matter how advanced the programming language is , if the real computer is based on the model of " turing machine " , the ability of the program will always be limited , i . e . there are many undecidable programs
  由得出的结论可知：无论程序设计语言如何进步，只要最终的实际计算机是基于图灵机模型，则程序的功能总具有局限性，即存在大量不可判定的程序。
• Through such a study , it is also shown that when the time delay is long enough such that the stability switches of the equilibrium of system halt , the bifurcation branches originated from the critical time delays cannot be surely stable or unstable in the whole solution space , that is , their stability depends on cases . this phenomenon also implies that the stability of the periodic solutions on the bifurcation diagrams indicates only the stability on the local center manifo ld . some distinguished features of delay dyn
  利用打靶法的数值结果说明了当系统平衡点不再发生稳定性切换时，源自这些临界时滞处的解支的稳定性在整个解空间的稳定性具有不可判定性，这也说明由多尺度法所得高阶近似判定的解支的稳定性事实上只表示解支在局部中心流形上的稳定性，而非在整个解空间中的稳定性。
• The paper also analyzes " the undecidable propositions " in the conclusion of godel ' s incompleteness theorem , and finds that they are often mistakenly explained in three ways : propositions whose truth are undistinguishable ; propositions whose truth are uncertain ; and any other propositions than the self - reference and substitution propositions whose truth are unprovable
  结论中的“不可判定”命题，现在有三种不同的错误解释：是非不可分辨的命题（三值） 、是非可分辨但不确定的命题（二值） 、除自指代命题之外的是非都不可证的其他命题，它们都不是哥德尔的证法所支持的结论。