【德国数学家策梅洛介绍 策梅洛定理是什么】策梅洛定理表示在二人的有限游戏中 ， 如果双方皆拥有完全的资讯 ， 并且运气因素并不牵涉在游戏中 ， 那先行或后行者当一必有一方有必胜/必不败的策略 。 若运用至国际象棋 ， 则策梅洛定理表示”要么黑方有必胜之策略、要么白方有必胜之策略、要么双方也有必不败之策略” 。
策梅洛(1871~1953)德国数学家 。 公理集合论的主要开创者之一 。 1871年7月27日生于柏林 ， 1953年5月21日卒于弗赖堡 。 1889年大学毕业后 ， 研究数学、物理和哲学 ， 1894年获博士学位 ， 1899年执教于格丁根 。 1905年为教授 。 1926年为弗赖堡大学荣誉教授 ， 1935年因驳斥阿道夫·希特勒 的统治与该校失去联系 ， 直到第二次世界大战后的1946年才被该校承认复职 。

文章插图

策梅洛的主要贡献是集合论基础 ， 1904年发表的论文不仅解决了G.康托尔的良序问题 ， 而且给出了选择公理(也称为策梅洛公理) ， 它有上百种等价形式 ， 已应用于几乎每一个数学分支 ， 成为一个独立的研究领域 。 他在1908年建立了第一个集合论公理系统 ， 给出了外延、空集合、并集合、幂集合、分离、无穷与选择等公理 ， A.A.弗伦克尔和A.T.斯科朗又作了改进 ， 增加了替换公理 ， J.冯·诺伊曼进一步提出了正则公理 ， 后经策梅洛的总结构成了著名的集合论公理系统ZF ， 形成了公理集合论的主要基础 。 策梅洛对物理、数学应用一直有浓厚的兴趣 ， 在变分法、气体运动学等方面也有研究 。
策梅洛定理表示在二人的有限游戏中 ， 如果双方皆拥有完全的资讯 ， 并且运气因素并不牵涉在游戏中 ， 那先行或后行者当一必有一方有必胜/必不败的策略 。 若运用至国际象棋 ， 则策梅洛定理表示”要么黑方有必胜之策略、要么白方有必胜之策略、要么双方也有必不败之策略” 。
策梅洛的论文于1913年以德文发表 ， 并被Ulrich Schwalbe和Paul Walker于1997年译为英文 。