该定理揭示了在一个相容形式系统中存在着不可判定的命题。
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.
由于计算机病毒检测的不可判定性，提出了一种基于改进的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.
应用推荐