>>SirSeigneur

Citation de 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

Et sous prétexte qu'il ne peut pas tout faire on a pas le droit de lui poser une question et il a pas le droit de nous donner une réponse? Ok on ne peut pas tout faire, alors peut être qu'il ne répondra jamais à ma question car il ne le peut pas, mais peut être que si, et dans ce cas là que vaut la preuve?