Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!usc!apple!rutgers!netnews.upenn.edu!vax1.cc.lehigh.edu!sei.cmu.edu!krvw
From: dmg@lid.mitre.org (David Gursky)
Newsgroups: comp.virus
Subject: An interesting article (Gen'l)
Message-ID: <0001.9001111702.AA06732@ge.sei.cmu.edu>
Date: 10 Jan 90 17:31:37 GMT
Sender: Virus Discussion List <VIRUS-L@IBM1.CC.Lehigh.EDU>
Lines: 4
Approved: krvw@sei.cmu.edu

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.