undecidable 中文意思是什麼
undecidable
解釋
不可判定的-
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
結論中的「不可判定」命題，現在有三種不同的錯誤解釋：是非不可分辨的命題（三值） 、是非可分辨但不確定的命題（二值） 、除自指代命題之外的是非都不可證的其他命題，它們都不是哥德爾的證法所支持的結論。 -
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
確定一段代碼是否總是產生某個常數值，等同於確定程序等效物，無法保證一定能做到。 -
Determining whether a piece of code always produces a certain constant value is the same as determining program equivalence, which is an undecidable problem
確定一段代碼是否總是產生某個常數值，等同於確定程序等效物，無法保證一定能做到。 -
Political oppression is wrong because it denies alternative forms of existence, closes possibilities and arbitrates the undecidable, which harbor opportunities for emancipation and humanity
政治壓迫在道德上是錯的原因在於，它否定了不同形式的存在意義，關閉了可能性，斷定了不可決定的流動需要，使蘊含著解放與人道的機緣都遭到封鎖。 -
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
由得出的結論可知：無論程序設計語言如何進步，只要最終的實際計算機是基於圖靈機模型，則程序的功能總具有局限性，即存在大量不可判定的程序。
分享友人