>>Tigre-HAD

Donc si j'ai bien compris, il n'existe pas de machine à qui on donne un code source à lire (simuler), ainsi qu'un paramètre pour ce code (une entrée), qui permette de dire si la machine initiale utilisant ce code source et ce paramètre s'arrêtera ou pas.
Mon petit cerveau tente de faire le lien, je donne à mon IA un problème: "Est-ce que X est vrai?"
Et donc on ne saura pas si mon IA va s'arrêter de mouliner ou pas c'est ça?
Mais c'est quoi le problème alors? On peut juste essayer, si ça s'arrête tant mieux sinon on débranchera quand on en aura marre?

non, la tu te concentre sur le problème, ce n'est pas ça l'important, l'important est qu'il est prouvé qu'un ordinateur ne peut pas tout faire