英语语法分析

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

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

An undecidable state we are pirates, these data are stolen from youdao can be thought of as a mathematical form of a state we are pirates, these data are stolen from youdao like "I always lie."

一个无法判定的命题可以被当成是“我总是说谎”的数学形式。

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最近邻检测方法来实现对计算机病毒的近似判别。