• [^] # Re: Que ne savons-nous pas ?

    Posté par (site web personnel) . En réponse au journal Que ne savons-nous pas ?. Évalué à 1.

    Bien sur que je l'ai lus ! La démonstration fausse y est !

    Does Trouble(T) halt?

    Sauf que Trouble attend un paramètre. Trouble(T) (avec T = Trouble) n'a aucun sens si T n'a pas de paramètre passé.

    T est indicidable car elle dépend de ses données.

    Imagine le truc habituel Halt(f, i) s'arrete si f ne s'arrète pas avec i et vice versa.

    Halt(halt, halt); fait quoi ?

    Cela demande si Halt s'arrète, avec Halt comme paramètre mais ce résultat dépend du paramètre donné à halt. Il y a une sorte de récursion inifinie.

    En gros on demande si halt(halt, halt( halt , halt( halt , halt( ....)))) s'arrète ?

    Imaginons stop (p) avec p la concaténation du programme et de ses données.

    Que dis stop(s) ? avec S, stop + donné.

    S c'est donc stop (stop(stop(stop(...))) donc une chaine infinie.

    Et l'on s'étonne de ne pas pouvoir arrèter une suite infinie ?

    "La première sécurité est la liberté"