A brief
history of viruses, including a link to the first published paper
on them. Mentions that virus detection is undecidable.
Hungry for more on Godel's theorem? Read Chaitin's thoughtful article
and see the discussion
in Encyclopedia Britannica.
Hungry for even more? See a translation
of Godel's original article from 1931. Still hungry for more? Join the Kurt Godel society.