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

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

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