Citation du moment : Ennui.

"L’ennui est la marque des esprits médiocres. Ils s’ennuient dans la solitude parce qu’ils y rencontrent eux-mêmes." Albert Ier

 

L’indécidabilité de l’infection par un virus

Démontration qu’il ne peut pas exister d’antivirus universel et fiable à 100%.

Je l’avais lue et notée sur un bout de papier il y a une petite quinzaine d’années. J’ai pu la retrouver sur l’Internet.

« Définition : un programme infecté est un programme qui en modifie au moins un autre.

Supposons que nous ayons écrit un programme DÉTECTEUR qui indique si un programme donné est un programme infecté ou non, soit le programme PIÈGE défini par :

Si DÉTECTEUR appliqué à PIÈGE donne le résultat oui, alors ne rien faire.

Si DÉTECTEUR appliqué à PIÈGE donne le résultat non, alors choisir un programme dans la mémoire et l’infecter, c’est-à-dire y insérer PIÈGE.

PIÈGE est-il un programme infecté ?

Si la réponse est oui, alors PIÈGE ne fait rien aux programmes et PIÈGE n’est pas un programme infecté, c’est une contradiction.

Si la réponse est non, alors PIÈGE infecte un programme et donc est un programme infecté, ce qui est encore une contradiction. Il en résulte que DÉTECTEUR ne peut exister.

Conclusion : il n’existe pas de détecteur universel de programmes infectés. »

Source :
J-P Delahaye "Logique, informatique et paradoxes", Pour la science, Belin, ISBN : 2-9029-1894-1

Article du 28 novembre 2010 (0 visite(s))

Certaines images ou séquences vidéos proposées sont la propriété de leurs auteurs respectifs (que j’indique quand je les connais). Elles seront supprimées sur simple demande (légitime), mon but n’étant pas de porter préjudice à leurs auteurs (copie...).



Electronique, Informatique, Professionnel



Bonne idée !Soutenez les logiciels libres !

Promouvoir et soutenir le logiciel libre



44678 visites, 124 visite(s)/jour
Mis à jour le 23/02/2017 à 22:08
Version : avril 2014

© 1999-2017 Pascal DELROT

Contact / Mentions légales
Creative Commons License
Création(s) mises à disposition sous un contrat Creative Commons.

Site optimisé pour être visible

Site publié grâce à :
Site publié grâce à SPIP 3.1.4 [23444] Réalisé avec openSUSE Linux