En écrivant ma réponse j'ai eu conscience de la faiblesse de ma définition de la résolution du jeu d'échecs, effectivement le meilleur joueur ou programme à un moment donné pourrait prétendre avoir résolu le jeu si personne n'est capable de le battre...
D'un autre côté une preuve mathématique d'une telle résolution, telle que tu la décris, supposerait non seulement une puissance de calcul mais surtout de stockage difficilement imaginable en terme physique.Ce que j'essaie d'imaginer c'est une forme de preuve qui ne serait pas parfaite mais suffisante intellectuellement, une sorte de preuve au sens légal plus que mathématique. Tout simplement parce que c'est la seule qui nous serait accessible. Mais je m'égare sans doute.
[^] # Re: jeu résolu
Posté par Nitchevo (site web personnel) . En réponse au journal Les échecs en échec. Évalué à 2.
En écrivant ma réponse j'ai eu conscience de la faiblesse de ma définition de la résolution du jeu d'échecs, effectivement le meilleur joueur ou programme à un moment donné pourrait prétendre avoir résolu le jeu si personne n'est capable de le battre...
D'un autre côté une preuve mathématique d'une telle résolution, telle que tu la décris, supposerait non seulement une puissance de calcul mais surtout de stockage difficilement imaginable en terme physique.Ce que j'essaie d'imaginer c'est une forme de preuve qui ne serait pas parfaite mais suffisante intellectuellement, une sorte de preuve au sens légal plus que mathématique. Tout simplement parce que c'est la seule qui nous serait accessible. Mais je m'égare sans doute.