获得徽章 0
理发师悖论(罗素悖论)
一个村庄里有一位理发师,他宣称:
“我只给村子里所有不自己刮胡子的人刮胡子。”
那么问题来了:这位理发师自己要不要刮胡子?
分析逻辑矛盾:
如果理发师自己刮胡子,那他就属于“自己刮胡子的人”,按照他的规则,他不应该给自己刮胡子 → 矛盾。
如果理发师不自己刮胡子,那他就属于“不自己刮胡子的人”,按照他的规则,他应该给自己刮胡子 → 也矛盾。
因此,无论怎样选择都会导致矛盾。这个规则在逻辑上是自指且不可实现的。
罗素悖论的提出引发了 “第三次数学危机”(围绕数学基础可靠性的危机),并推动了数学基础研究的重大发展
这个悖论动摇了当时作为数学基础的朴素集合论(由康托尔等人建立),因为它揭示了一个根本问题:“所有集合的集合”这种不受限的自指概念会导致矛盾。
一个村庄里有一位理发师,他宣称:
“我只给村子里所有不自己刮胡子的人刮胡子。”
那么问题来了:这位理发师自己要不要刮胡子?
分析逻辑矛盾:
如果理发师自己刮胡子,那他就属于“自己刮胡子的人”,按照他的规则,他不应该给自己刮胡子 → 矛盾。
如果理发师不自己刮胡子,那他就属于“不自己刮胡子的人”,按照他的规则,他应该给自己刮胡子 → 也矛盾。
因此,无论怎样选择都会导致矛盾。这个规则在逻辑上是自指且不可实现的。
罗素悖论的提出引发了 “第三次数学危机”(围绕数学基础可靠性的危机),并推动了数学基础研究的重大发展
这个悖论动摇了当时作为数学基础的朴素集合论(由康托尔等人建立),因为它揭示了一个根本问题:“所有集合的集合”这种不受限的自指概念会导致矛盾。
展开
5
点赞
赞了这篇沸点
赞了这篇沸点
感觉国内开发一大障碍就是各种环境的搭建,往往因为网络问题要借助各种魔法,更要命的是由于安装的依赖内部可能依赖了其他包也存在网络问题导致的安装失败,导致你不得不去翻阅各种文档来解决这个本该不是问题的问题
7
3
赞了这篇沸点