• # Je suis certainement idiot

    Posté par . En réponse au journal Déterminer le domaine d'un programme. Évalué à 5.

    Mais, on entend plein de gens repartir sur le problème de l'arrêt, etc...
    Mais moi j'ai une autre approche, qui provient de la théorie de l'ensemble.

    Si on se place dans un groupe par exemple (N,+).
    On sait que + est une loi interne (ou une connerie comme ça) du groupe, et que par conséquent, si je fait
    f(a,b)=a+b; a€N; b€N , on peut dire que f(a,b)€N

    Les théorèmes d'incertitudes sont très bien, mais ils parlent d'un cas totalement général.

    C'est comme les problèmes NP : certains sont P-approx.

    En restreignant une partie des hypothèses (je sais pas moi, au niveau de l'ensemble de départ, des fonctions utilisés dans la fonction à tester, ...) il ne serait pas possible d'essayer d'appliquer ce genre de raisonnement ?