Mathematical Logic of Winning Strategy for Games
Chen Mu-ze · 2004
With the tool of first order predicate logic, this paper demonstrates that there theoretically exists a winning strategy for games which have two players and end after a fixed number moves to get one's win and the other's loss. This paper shows that the methods of mathematical logic may have a broad application and also valuable to human's daily thinking.