笔趣阁

手机浏览器扫描二维码访问

第五十章 白马非马此马非此马（第2页）

故曰:白马非马也。

（1）试证白马非马（5分）

（2）如果有一匹马，它得为所有【不给自己找食物的马】寻找食物，试证此马非此马，并举例说明“此马非此马”

的存在情况（35分）】

伊诚不由得发出一声轻叹。

现在语文不好连数学题都做不了了。

这是关于古时候一个叫做诡辩家公孙龙的典故

有一次公孙龙过关，关吏说:“按照惯例，过关人可以，但是马不行。

“公孙龙便说白马不是马，一番论证，关吏听了后连连点头，说:“你说的很有道理，请你为马匹付钱吧。

“

现在这道题目，就是需要你用数学语言对文言文进行翻译，并且证明【白马非马】

可以说前面的话都是废话，要说有用也有点用，要说没用也没多大用。

只能说出题人是个狂热的古文化爱好者。

第一问明显是个送分题。

伊诚摇摇头，开始做出证明

假设马为集合a，白马为元素b。

那么有b∈a

b≠a

也就是说，公孙龙得先定义清楚两者的关系才能对结果进行讨论。

如果按照第一种情况，b∈a，白马是马这个集合中的一个元素，那么白马是马，这就是一个伪命题。

如果按照第二种情况，b≠a，白马只是马这个集合中的一个元素，所以白马不等于马，这就是一个真命题。

第一问顺利证完，来到第二问的伊诚瞬间傻了眼。

此马非此马。

不会吧？

这道题明显不该放在这里。

因为这是一个典型的罗素悖论题。

何为罗素悖论？

这是一个引发了数学界轩然大波的可怕故事，至今没有得到完美的解答

德国数学家康托尔创立了著名的集合论，集合论成为现代数学的基石。

“一切数学成果可建立在集合论基础上“这一发现使数学家们为之陶醉。

1903年，一个震惊数学界的消息传出:集合论是有漏洞的!这就是英国数学家罗素提出的著名的罗素悖论。

罗素举了一个非常浅显易懂的例子来描述集合论中的这一漏洞

在某个城市中有一位理发师，他只给【不自己刮脸】的人刮脸。