- entscheidungsproblem
下载手机词典可随时随地查词查翻译
不可判定的英文
例句与用法
- 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
结论中的“不可判定”命题，现在有三种不同的错误解释：是非不可分辨的命题（三值） 、是非可分辨但不确定的命题（二值） 、除自指代命题之外的是非都不可证的其他命题，它们都不是哥德尔的证法所支持的结论。