Venkatesh Rao@vgrAlgorithmically determining whether virus is or is not present is undecidable L. M. Adleman, "An Abstract Theory of Computer Viruses" 19881:25 PM · Jun 9, 2010