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

作者：陈慕泽

来源：湖南科技大学学报(社会科学版), 2004, (01): 25-26.

• 一阶谓词逻辑
• 游戏必胜法
• 日常思维 first order predicate logic
• winning strategy for games
• daily thinking

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

• 单位
  中国人民大学