&鲁 Bertrand Russell (1872-1970) 罗素悖论(Russell Paradox)1901: “本命题是假的” 是真是假？ 定义集合A为： 所有“自己不属于自己的集合”的集合 A-SSS A是否属于它自己？ 罗素
A = {S | S S} Bertrand Russell (1872-1970) 罗素 罗素悖论(Russell Paradox) 1901： “本命题是假的” 是真是假？ 定义集合A为： 所有“⾃⼰不属于⾃⼰的集合”的集合 A 是否属于它⾃⼰？
设鲁扇 Bertrand Russell(1872-1970) PRINCIPIA MATHEMATICA T0.56 泰y AL,E其艺D NORTH WHIT多iExD AND BERTRAND RUSSELL影%s CAMB且IDGE AT THE UN1 V ERSITY F有EsS 《数学原理》 罗素
Bertrand Russell (1872-1970) 《数学原理》 罗素
设雾 Kurt Godel (1906-1978) “本命题不能被证明” 可以被证明吗？ 哥德尔不完备定理(1931) Incompleteness Theorem: (不自相矛盾的)数学是不完备的 哥德尔
Kurt Gödel (1906-1978) 哥德尔 “本命题不能被证明” 哥德尔不完备定理 (1931) Incompleteness Theorem： 可以被证明吗？ （不自相矛盾的）数学是不完备的