Why do people lose in chess?
The theorem is about perfect players.
Assume you were able to enumerate and evaluate all the gazillion chess positions. Then the following can happen:
- You find out that you can force a win as white, no matter how well black plays
- You find out that even with your best play, you cannot force a win as white if black plays well enough
- You find out that you can force a win as black, no matter how well white plays
- You find out that even with your best play, you cannot force a win as black, if white plays well enough.
In fact, with your complete knowledge, you will find out that exactly one of 1 and 2 holds (but we imperfect beings don't know which): either you can or you can't force a win.
Similarly exactly one of 3 and 4 must hold.
Of course, 1 and 3 cannot hold simultaneously. That leaves us with three exhaustive and mutually exclusive options in total:
- A perfect white player can force a win
- A perfect black player can force a win
- None of the above. That is: if only they play well enough, both white and black can avoid losing. In other words, both can force at least a draw (though they may win against a stupid opponent).
Real life people (and computers) lose because the premise of the above is not fulfilled for them: nobody has perfect knowledge of all chess positions.
We do have perfect knowledge about simplified games, for example chess endgames with very few pieces. The perfect knowledge about these even led to a change in chess rules regarding the 50-move-rule, because endgames were discovered that could be won, but might require more than 50 moves. More precisely (thanks to Voo's comment): The 50 moves rule was changed so that if you could show you'd win in $N$ moves with $N \le 100$ it would still be allowed (and players had to agree on which positions that extension was allowed and god knows what else) and then abolished again later on. In §9.3 of the current FIDE rules the 50 moves rule is once again strictly enforced.
EDIT:(inspired by vaxquis' comment) The above considerations are not specific to chess, they apply to a large class of games, the important properties of these games being that there are no elements of secrecy or probability (e.g. Poker fails on both these criteria because the cards are dealt at random and only you know your own hand):
- TicTacToe is so simple that one can enumerate all possibiliteis by hand to show that no side can force a win
- Who can force a win in Nim (a draw is not possible by the rules) depends on the specific variant and the starting position, but the analysis is not too complicated and may be done in introductory courses - or even by puzzlers
- That Nine men's morris is a draw was found by a lot of brute-forcing (plus smart ideas)
- In 2007, it ws found that Checkers is a draw, also by the use of massive computer power
- It is a "two-liner" to show that the game of Hex can be won by the first player ("strategy stealing"). Nevertheless, explicit winning strategies are known only for small boards (again, by throwing CPU power at the problem)
Wikipedia has a nice overview listing more games that are more or less solved.
Answering to a comment which seems to be closer to the core of the issue here:
In every game, if people play a perfect game they win and they lose otherwise. What is the utility of the theorem then, please?
The theorem allows you to classify games. Assuming all players play perfectly, there are games where the beginning perfect player will always win, others where the player to make the second move will always win, and still others where any tournament between perfect players will lead to a draw. So it says that you can classify (deterministic finite perfect-information two-player) games into these three categories.
As others have already stated, perfect players for chess are hard to come by, so at the moment (and for the forseeable future) we don't know which of these categories chess falls into. But we do know – thanks to the theorem – that it must fall into one of the categories.
The relevance of this finding for actual chess players is zero. The relevance for game theorists is a bit larger, but obviously the theorem is most useful in those cases where you can actually determine (in reasonable time) which of the three cases holds, like e.g. Tic Tac Toe. Once you have analyzed a gaim sufficiently to know the perfect strategy, and are able to remember that strategy (as Voo pointed out), then the game will likely become boring. That's the reason why there are no world championships for standard Tic Tac Toe: all games would be draws, since it falls into the “both players can force at least a draw” category. For some other games, perfect strategies are known as well, and more might join that club eventually.
Come to think of it, there might be one possible application of Zermelo's theorem for chess players: blaming frustration after a lost game on the game design. “I did play perfectly, but unfortunately so did my opponent, and the game is designed in such a way that I had to loose it.” A claim which is hard to believe but also not easy to refute. The part about the game being designed in such and such way is this classification I've mentioned, which is unknown so far. So you'd have to show that the speaker did make some suboptimal move at some point. (If his opponent did make a suboptimal move, and the speaker lost anyway, that means the speaker must have made such a move as well.)
Here's an intuitive definition for what a "winning strategy" is.
We define recursively what it means to "have a winning strategy" for any given state of the game.
If at a particular game state, it's your turn, and there is a move you can make that'll win you the game (right away), you have a winning strategy for that state.
If it's the opponent's turn, but all of the moves available to them lead to states in which you have a winning strategy, then you have a winning strategy for that state.
If it's your turn, and at least one of the moves available to you leads to a state in which you have a winning strategy, then you have a winning strategy for that state.
This definition does break down a little for games like chess that can theoretically go on forever (since there might not be a place to start the recursion in some cases), but it works for games with a guaranteed end (like Tic Tac Toe) and provides some intuition about what mathematicians mean when they say that a player can "force a win".
I suppose the answer to your question - why do people lose, if there exists a winning strategy - lies in point (3). At least one of the moves available to you leads to a state in which you have a winning strategy. But you need to be smart enough to know which move that is.
I should mention that I've never studied game theory, so I don't know exactly what the definition used in Zermelo's theorem is. I'm assuming that whatever it is, it would be equivalent to mine, but I could be wrong.