围棋必胜法的数理逻辑观照  

Mathematical Logic of Winning Strategy for Games?

作　　者：陈慕泽[1] 

机构地区：[1]中国人民大学人文学院,北京100872

出　　处：《湘潭矿业学院学报（社会科学版）》2004年第1期25-26,共2页

摘　　要：用一阶谓词逻辑的工具证明,那种有两方参与,根据规则在有限步内能确定胜负的游戏,从理论上说,存在必胜的方法。这说明,数理逻辑的方法可以有广泛的运用,它对于日常思维同样有重要的价值。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.

关 键 词：围棋必胜法 数理逻辑 一阶谓词逻辑 思维方法 

分 类 号：O141[理学—数学]