[comp.virus] An interesting article

dmg@lid.mitre.org (David Gursky) (01/11/90)

I am told that in the November '89 issue of the American Mathematical
Monthly, to the effect that no completely safe computer virus test is
possible.  The proof is suppose to be short, and along the lines of
the various proofs of the Halting problem.