该定理揭示了在一个相容形式系统中存在着不可判定的命题。

This theorem reveals that there exist undecidable propositions in a consistent formal system.

youdao

那就是对不可判定性的一个消极的反应，当然，我们可以容纳这个观点。

That's the negative response to undecidability, and it's of course, a view that many of us may entertain.

youdao

由于计算机病毒检测的不可判定性，提出了一种基于改进的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.

youdao