adj. undecidable
也就是说谓词逻辑是不可判定的（Undecidable）。 G6del不完备性定理以及Church与Turing的工作宣告了“万能推理机”幻想的破 灭。
基于38个网页-相关网页
... entscheidbar decidable 不可判定的 entscheidend decidable 不可判定的 Entscheidungsproblem decision problem 判定问题 ...
基于14个网页-相关网页
... Endpunkt end point 终点 entscheidbar decidable 不可判定的 entscheidend decidable 不可判定的 ...
基于14个网页-相关网页
... undecidability,undecidable不可判定的 undecidable ring不可判定环 undecidability theorem不可判定性定理 ...
基于6个网页-相关网页
该定理揭示了在一个相容形式系统中存在着不可判定的命题。
This theorem reveals that there exist undecidable propositions in a consistent formal system.
那就是对不可判定性的一个消极的反应，当然，我们可以容纳这个观点。
That's the negative response to undecidability, and it's of course, a view that many of us may entertain.
由于计算机病毒检测的不可判定性，提出了一种基于改进的K最近邻检测方法来实现对计算机病毒的近似判别。
Because precise determination of a computer virus is undecidable, a method based on improved K-nearest neighbor to detect computer virus approximately is presented in this paper.
应用推荐