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.