“No modern computer can solve the general problem of determining whether or not a program is virus free” is a consequence of Rice’s Theorem