undecidable中文什么意思

不可判定的

• undecidable theory:    不可判定理论

例句与用法

1. Determining whether a piece of code always produces a certain co tant value is the same as determining program equivalence , which is an undecidable problem
   确定一段代码是否总是产生某个常数值，等同于确定程序等效物，无法保证一定能做到。
2. Determining whether a piece of code always produces a certain constant value is the same as determining program equivalence , which is an undecidable problem
   确定一段代码是否总是产生某个常数值，等同于确定程序等效物，无法保证一定能做到。
3. 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
   由得出的结论可知：无论程序设计语言如何进步，只要最终的实际计算机是基于图灵机模型，则程序的功能总具有局限性，即存在大量不可判定的程序。
4. 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
   结论中的“不可判定”命题，现在有三种不同的错误解释：是非不可分辨的命题（三值） 、是非可分辨但不确定的命题（二值） 、除自指代命题之外的是非都不可证的其他命题，它们都不是哥德尔的证法所支持的结论。