Énoncé : il n’existe pas d’antivirus capable de détecter tous les virus.
Preuve (par l’absurde)
Supposons l’existence d’un programme parfait . Construisons le programme :
if not IS_VIRUS(Q):
execute Q
else:
stop
- Si est un virus, il ne fait rien → contradiction
- Si n’est pas un virus, il s’exécute → contradiction