William Dowling
American Mathematical Monthly, v.96 n.9, p.835-836, Nov. 1989.
ISSN 0002-9890
November 1989
Download PDF (208.72Kb) (You need to be registered on forum)This note gives a proof that no program can both test its input for the presence of a virus and simultaneously be guaranteed not to spread a virus itself.