Computer Virus detection decidability proof [closed]

Question

Is there a way to prove that detecting computer virus is decidable, the prove may be theoretical also