"If it is powerful enough to be useful, it is
powerful enough to write a
self-reproducing program" - I think, but am not sure that I can prove, that
this translates to "if it is powerful enough to be useful then it can have a
virus"
so, . . .
should "virus capable" be the definitive definition of "computer"?