Math ? humour ? à choisir ! aux mines de Nancy, on fait la théorie des virus informatiques - 'Toward an abstract computer virology' (VX heavens)

Matheux informaticiens , éclatez-vous :-D

A savoir la prochaine fois que votre ordinateur sera infecté par la mafia russe.

La définition d'un virus est basée sur le théorème d'itération et au-dessus de tout sur le théorème de récursion de Kleen .

Sachez aussi que la détection des virus est un problème -complet (se dit aussi Pi 2^0-Complete Problem)

Après vous avoir mis ainsi l'eau à la bouche, la suite est là : Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Mario 'Toward an abstract computer virology' (VX heavens)

C'est une page web (sans danger , sauf pour la tête ;-)