反病毒不能检测到所有的病毒，这在数学上已经被证明了吗？

Question

Bruce在写作时引用了什么分析：

病毒没有“解药”。已经从数学上证明，编写任何现有防病毒程序都无法阻止的病毒始终是可能的。

来自布鲁斯·施耐尔的“秘密与谎言”，第154页。

Answer 1

根据一种可能的解释，这是赖斯定理的结果。如果程序执行一些恶意操作，则该程序是恶意的，这使其成为一个语义属性。有些程序是恶意的，而有些则不是，这使得它成为一个非平凡的属性.因此，根据Rice定理，在一般情况下，程序是否是恶意程序是不可判定的。

Answer 2

根据维基百科：

1987年，弗雷德·科恩( Fred )发表了一篇实验，证明没有一种算法能够完美地检测出所有可能的病毒。

它还引用了本论文。这可能是施耐尔先生所指的分析。

Answer 3

除非它被重新表述为一个数学命题，否则它不能被数学证明。

至少，这需要对“病毒”是什么有一个数学上合理的定义:这是一种挑战；你可能最终会得到一种在实践中没有用的抽象，因为它包含了一些人们认为完全良性和有用的行为，和/或排除了一些人们认为是反社会的行为。

最困难的是，病毒是以某种方式改变环境的程序，任何严格定义环境的尝试都将限制实际使用。

所以我会说不:这个命题不能用数学来证明，那是因为它不能用数学来表述。