i suddenly have this question in mind which i think i have not quite thought through:
in a chess game, does there exist a strategy (either for the first mover or the second), only in theory perhaps, that garantees the player doesn't lose (either win or end up in a draw)?
does the existence of a rule for the game to end in some finite steps matter?
Sep 12th 2009, 07:06 AM
If the game ends in some finite N steps: suppose player 1 has no never-lose strategy, then for every strategy i that player 1 might choose, player 2 has a strategy 2(i) that makes her win IF PLAYER 1 PLAYS i. A never-lose strategy for player 2 is then to play 2(i) if 1 plays i. (or is this possible? for if i1 and i2 are 2 strategies of 1 with the first n steps the same, then 2(i1) and 2(i2) must also be such that their first n steps are the same, since one cannot see moves that have not yet come! )
(proof for the existence of the set consisting of 2(i)'s would utilize "axiom of choice"?)