The inferential reasoning is that the game of chess starts off with a slight initiative to white, which some people consider to be worth about a fifth of a pawn to a third of a pawn, depending on the opening. It is considered that this slight initiative gradually lessens if both sides continue to play good moves, until at a particular stage in a game, the initiative has dwindled to nothing. It would take a inexplicable reversal of that trend to make a game won by one side or the other. There's no reason that there should be such a reversal, unless one side or the other blunders. Therefore it's drawn with best play and that is an inferential proof. There's no deductive proof possible. Consequently, that which I've just given is the best we have to go from.
I don't know if it's available in any books or theoretical papers anywhere, because I just put it together in my head: but it's correct.
This, I think, is the only possible theoretically correct proof that chess is drawn with best play.
@112
"It seems we just have different standards of "proof"."
++ Here is proof by reductio ad absurdum.
Fact: 97 games all draws in the ICCF World Championship Finals,
by ICCF (grand)masters with engines.
10 exceeded the 50 days / 10 move time limit in otherwise drawn positions.
Hypothesis: chess is not a draw.
Then all 97 games must contain an odd number of errors (?).
An error (?) is a move that changes the game state from draw to loss or from won to drawn,
and a blunder (??) changes the game state from won to lost and counts as a double error.
So all 97 games would contain 1, 3, 5 ... errors and none would contain 0, 2, 4... errors.
It is absurd that some games would contain 1 or 3 errors and none would contain 2.
It is absurd that some games would contain 1 error and none would contain 0 or 2.
It is absurd that the ICCF (grand)masters and their engines would conspire to always make an odd number of errors and never ever an even number of errors.
The hypothesis was false.
Thus chess is a draw.
Q.E.D.
Hypothesis: chess is a draw and the 97 games are not perfect.
Thus all 97 games contain an even number of errors: 0, 2, 4...
It is absurd that games would contain 0, 2, 4 errors and none would contain 1 error.
It is absurd that the ICCF (grand)masters and their engines would conspire to always make an even number of errors and never ever an odd number of errors and never make 1 error.
Thus all 97 games must contain 0 errors.
The hypothesis was false.
Thus all 97 games are perfect games.
Q.E.D.
I didn't think that kind of proof is possible since it seems to rely on the assumption that chess is a draw, the assumption that therefore it takes an error create a win for one side or the other and also the seemingly incorrect proposal that a won game contains an odd number of errors. I don't believe there's any possible way to show that to be correct. Therefore I think it's incorrect. I would much rather rely on my inductive reasoning example. Much stronger.