Décidabilité

séquences de symboles dans cet environnement, de manière à y inclure une copie de lui-même, cette copie ayant éventuellement évolué. » Les travaux de Fred Cohen et Leonard Adleman dans les années 1984-1989 ont permis de formaliser le problème de la décidabilité de la détection virale à l’aide de machines de Turing. Le résultat de ces travaux montre que toute détection virale absolue est impossible. En d’autres termes, il n’existe aucun programme capable de détecter à coup sûr un virus. Il ne faut pas

développée dans les années 1950 par Kripke et Hintikka, ou encore par Lewis, pose l’existence d’un ensemble de mondes se caractérisant par des relations d’accessibilité. Forgée pour rendre compte de la valeur de vérité des propositions dont la décidabilité pose problème à la logique des prédicats, la sémantique des mondes possibles décrit ainsi les quatre types de propositions modifiées par la modalité : – une proposition nécessaire (ou nécessairement vraie) est une proposition qui est vraie dans