mouais. C'est vachement étonnant d'avoir un problème indicidable qui consiste à dire si un programme va s'arreter quand on considère tous les programmes dans leur ensemble.
Moi, aussi on m'a fait le coup de la démonstration par l'absurde. Or cette démo est fausse ! Le coup du f(f) avec le "f" interne sans paramètres....
[^] # Re: Que ne savons-nous pas ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Que ne savons-nous pas ?. Évalué à 1.
Moi, aussi on m'a fait le coup de la démonstration par l'absurde. Or cette démo est fausse ! Le coup du f(f) avec le "f" interne sans paramètres....
"La première sécurité est la liberté"