[Neocon]

In other words, no program can find all the viruses on your computer, unless it interferes with and alters the operating system.

Das ist eine ziemlich beschränkte Logik. Man kann z.B. Gödels Unvollständigkeitstheorie nicht für heutige Anti-Viren-Programme verwenden. Es wird davon ausgegangen, dass man nicht in ein Programm hineinsehen kann, welche Absichten es hegt. Braucht man auch nicht, denn jeder Virus hat ja die Absicht etwas zu zerstören und versucht diese Absicht nachzukommen. Aber für die Zerstörung oder Löschung gibt es ein eindeutiges Muster, was ersehbar ist. Diese Muster kontrollieren die Anti-Viren-Programme und können auch so Viren anhand diesen Schadcodes erkennen. Dafür gibt es viele andere sichere Methoden zur Erkennung, die sich sehr ähneln.