这是一个创建于 2595 天前的主题，其中的信息可能已经有所发展或是发生改变。
遇到有人和你讲这种悖论：理发师要不要给自己理发呢？你是当荒谬笑话，还是觉得也有道理呢？
 |
1
cnkuner 2017-10-14 08:16:17 +08:00 via Android  1
不就一个死循环吗，杀了祭天。
|
 |
2
vebuqi 2017-10-14 08:16:40 +08:00 via Android 1
这个理发师不是村里人😯
|
 |
3
ooh 2017-10-14 08:19:27 +08:00 via Android
秃子
|
 |
4
misaka20038numbe 2017-10-14 08:21:07 +08:00
我给大家带路。我给村里人理发。我都是不包括在集合里面的。
|
 |
5
Tunar 2017-10-14 08:33:01 +08:00 via Android
我 tm 一撇子抡死他
|
 |
6
kendisk 2017-10-14 08:37:49 +08:00 via iPhone
再来个理发师
就解决问题了 。 |
 |
7
gimp 2017-10-14 08:41:06 +08:00
理发师光头，没毛病。
|
 |
8
Kilerd 2017-10-14 08:52:11 +08:00
> 抛开悖论的各种含义，通常所说的导致矛盾的悖论是指逻辑悖论。
本来悖论在逻辑上就是一个矛盾 |
 |
9
liteyou OP @Kilerd 以前中学数学老师就教我们：（同一平面内）平行线就是永远不会相交的两条直线，然后又补一句：它们在无穷远处相交。我们就问，那到底交还是不交？他说这个问题试卷保证不会考(๑‾᷅^‾᷅๑)
|
 |
10
kran 2017-10-14 09:18:50 +08:00 via iPhone
暂时不理就好了，以后嘛，谁知道呢，毕竟还没发生
|
|
11
Kilerd 2017-10-14 09:23:07 +08:00 1
|
 |
12
RqPS6rhmP3Nyn3Tm 2017-10-14 09:23:27 +08:00 via iPad
@liteyou 因为这是大学的内容=…
|
 |
13
duya10010 2017-10-14 09:23:36 +08:00 via Android
我这句话是假的
|
 |
14
imn1 2017-10-14 09:47:56 +08:00
这句话不算悖论，只是定义及其外延的集合涵盖问题
“村里不为自己理发的人”这个定义不是精准的，其内涵外延其实是可伸缩的 |
 |
15
Linyvhan 2017-10-14 09:50:20 +08:00 via Android
第三次数学危机么，刚学离散
|
 |
16
eminemcola 2017-10-14 09:59:05 +08:00 via Android
去学离散数学。
|
 |
17
silencefent 2017-10-14 10:32:23 +08:00
jack 师傅，matt 师傅，peter 师傅的头都是 tony 总监替他们理的
|
 |
18
Jiuyu 2017-10-14 10:42:23 +08:00 via Android
“只给”，只是说给理发的范围，又不是说范围内的必定都理，所以理发师给不给自己理发跟这句话没有关系啊。
|
 |
19
xrui 2017-10-14 10:45:02 +08:00 via iPhone
刚学离散的时候讲了一下…就是悖论啦
还有一个：f （ x ）=1/x 绕 x 轴旋转一周形成的东西，体积有限而表面积无穷 |
 |
20
leeg810312 2017-10-14 10:56:29 +08:00 via Android
在研究椭圆曲线加密时就遇到平行线在无穷远相交这个定义，怎么也无法想象这个定义的图形
|
 |
21
yongyuhi 2017-10-14 11:05:06 +08:00 via Android
脑筋急转弯罢了，智商检测而已。
|
 |
22
chengostdmc 2017-10-14 11:06:18 +08:00 via Android
@cnkuner 哇头像和我微信一样
|
 |
23
SuperMild 2017-10-14 11:15:43 +08:00
有一天，这个理发师打算为自己理发，他做好一切准备，剪刀往头上剪去，到这时为止，一切正常。
0.1 秒后，剪刀剪断了第一根头发，boom ！世界停止，抛出异常：理发对象不能是自己理发的人。 |
 |
24
siyemiaokube 2017-10-14 11:29:28 +08:00 via iPhone
简单的说：现代的公理集合论不允许假设存在“包含一切的全集”，也就是说，我们只能在给定集合内取差集。
这是 ZFC 版本下的 separation： 如果 A 是一个集合，并且\phi(x)是一个描述，那么我们可以把那些属于 A 并且满足描述\phi 的个体搜集在一起构成一个集合。 这是粗鄙的 separation： 如果\phi(x)是一个描述，那么我们可以把那些满足描述\phi 的个体搜集在一起构成一个集合。 https://www.zhihu.com/question/36135349 罗心澄 |
 |
25
intheplants 2017-10-14 12:40:19 +08:00 via iPhone
理发室悖论是罗素为了生动的解释集合论中的问题而提出来的，下次谁再提这种问题，就给他讲讲第三次数学危机[doge]
|
 |
26
cyr1l 2017-10-14 13:08:36 +08:00 via iPhone
上帝悖论: 上帝是万能的。
那么，上帝能否做出一个他举不起来的石头？ |
 |
27
rosu 2017-10-14 13:22:00 +08:00 via Android
悖论不属于通常逻辑问题的讨论范畴。
|
 |
28
Lax 2017-10-14 13:29:13 +08:00
“我只给村里不为自己理发的人理发” 和 “我给所有不为自己理发的人理发” 是有区别的。
只要不给自己理发，原来的说法就能一直成立。 |
 |
29
ferencz 2017-10-14 15:00:31 +08:00
没什么问题吧，我想的和 28l 一样。他不自己理发，我给他理，懒死他了。这应该是语言的逻辑问题吧。
|
 |
30
iceheart 2017-10-14 15:15:17 +08:00 via Android
这不是悖论，他的头发又不是必须他自己理，甚至，头发一辈子不理也没关系啊
|
 |
31
ln1225707801 2017-10-14 19:33:59 +08:00 via Android
@iceheart +1
|
 |
32
parametrix 2017-10-14 21:25:12 +08:00
ZFC 公理下，并不存在此种集合构造。而 class 没有“包含于”这一符号。
|
 |
33
davidqw 2017-10-14 22:34:47 +08:00
恭喜你发现了一阶逻辑本身存在的深刻问题，问题等价于停机问题：是否存在一个程序 P，对于任意输入的程序 w，能够判断 w 会在有限时间内结束或者死循环。
相信统计学这样的高阶谓词系统在现实生活中的应用会逐渐碾压一阶逻辑 |
 |
36
lylsh1993 2017-10-15 16:14:18 +08:00 via iPhone
理发师不是村里人，结贴
|
Select Language