Une chose amusante qu'on ne sait pas calculer : c'est l'arrêt d'un programme informatique. Il n'existe pas de programme informatique qui prenne en entrée un code source et te dit s'il termine ou non. Et le plus intéressant, c'est qu'on peut démontrer qu'on ne pourra jamais écrire de tel programme. Cela vient du fait que l'arrêt d'une machine de Turïng est un problème indécidable.
# Re: Que ne savons-nous pas ?
Posté par gawal . En réponse au journal Que ne savons-nous pas ?. Évalué à 5.