V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX 提问指南
liteyou
V2EX  ›  问与答

理发师悖论:我只给村里不为自己理发的人理发。

  •  
  •   liteyou · 2017-10-14 08:10:19 +08:00 via Android · 5809 次点击
    这是一个创建于 2595 天前的主题,其中的信息可能已经有所发展或是发生改变。
    遇到有人和你讲这种悖论:理发师要不要给自己理发呢?你是当荒谬笑话,还是觉得也有道理呢?
    36 条回复    2017-10-15 16:14:18 +08:00
    cnkuner
        1
    cnkuner  
       2017-10-14 08:16:17 +08:00 via Android   ❤️ 1
    不就一个死循环吗,杀了祭天。
    vebuqi
        2
    vebuqi  
       2017-10-14 08:16:40 +08:00 via Android   ❤️ 1
    这个理发师不是村里人😯
    ooh
        3
    ooh  
       2017-10-14 08:19:27 +08:00 via Android
    秃子
    misaka20038numbe
        4
    misaka20038numbe  
       2017-10-14 08:21:07 +08:00
    我给大家带路。我给村里人理发。我都是不包括在集合里面的。
    Tunar
        5
    Tunar  
       2017-10-14 08:33:01 +08:00 via Android
    我 tm 一撇子抡死他
    kendisk
        6
    kendisk  
       2017-10-14 08:37:49 +08:00 via iPhone
    再来个理发师
    就解决问题了 。
    gimp
        7
    gimp  
       2017-10-14 08:41:06 +08:00
    理发师光头,没毛病。
    Kilerd
        8
    Kilerd  
       2017-10-14 08:52:11 +08:00
    > 抛开悖论的各种含义,通常所说的导致矛盾的悖论是指逻辑悖论。

    本来悖论在逻辑上就是一个矛盾
    liteyou
        9
    liteyou  
    OP
       2017-10-14 09:02:43 +08:00 via Android
    @Kilerd 以前中学数学老师就教我们:(同一平面内)平行线就是永远不会相交的两条直线,然后又补一句:它们在无穷远处相交。我们就问,那到底交还是不交?他说这个问题试卷保证不会考(๑‾᷅^‾᷅๑)
    kran
        10
    kran  
       2017-10-14 09:18:50 +08:00 via iPhone
    暂时不理就好了,以后嘛,谁知道呢,毕竟还没发生
    Kilerd
        11
    Kilerd  
       2017-10-14 09:23:07 +08:00   ❤️ 1
    @liteyou 因为我们学的都是欧式几何(两平行线不会相交。)
    然后还有非欧几何
    罗氏几何 (有一个交点) 黎曼几何(有无数个交点)
    RqPS6rhmP3Nyn3Tm
        12
    RqPS6rhmP3Nyn3Tm  
       2017-10-14 09:23:27 +08:00 via iPad
    @liteyou 因为这是大学的内容=…
    duya10010
        13
    duya10010  
       2017-10-14 09:23:36 +08:00 via Android
    我这句话是假的
    imn1
        14
    imn1  
       2017-10-14 09:47:56 +08:00
    这句话不算悖论,只是定义及其外延的集合涵盖问题

    “村里不为自己理发的人”这个定义不是精准的,其内涵外延其实是可伸缩的
    Linyvhan
        15
    Linyvhan  
       2017-10-14 09:50:20 +08:00 via Android
    第三次数学危机么,刚学离散
    eminemcola
        16
    eminemcola  
       2017-10-14 09:59:05 +08:00 via Android
    去学离散数学。
    silencefent
        17
    silencefent  
       2017-10-14 10:32:23 +08:00
    jack 师傅,matt 师傅,peter 师傅的头都是 tony 总监替他们理的
    Jiuyu
        18
    Jiuyu  
       2017-10-14 10:42:23 +08:00 via Android
    “只给”,只是说给理发的范围,又不是说范围内的必定都理,所以理发师给不给自己理发跟这句话没有关系啊。
    xrui
        19
    xrui  
       2017-10-14 10:45:02 +08:00 via iPhone
    刚学离散的时候讲了一下…就是悖论啦
    还有一个:f ( x )=1/x 绕 x 轴旋转一周形成的东西,体积有限而表面积无穷
    leeg810312
        20
    leeg810312  
       2017-10-14 10:56:29 +08:00 via Android
    在研究椭圆曲线加密时就遇到平行线在无穷远相交这个定义,怎么也无法想象这个定义的图形
    yongyuhi
        21
    yongyuhi  
       2017-10-14 11:05:06 +08:00 via Android
    脑筋急转弯罢了,智商检测而已。
    chengostdmc
        22
    chengostdmc  
       2017-10-14 11:06:18 +08:00 via Android
    @cnkuner 哇头像和我微信一样
    SuperMild
        23
    SuperMild  
       2017-10-14 11:15:43 +08:00
    有一天,这个理发师打算为自己理发,他做好一切准备,剪刀往头上剪去,到这时为止,一切正常。

    0.1 秒后,剪刀剪断了第一根头发,boom !世界停止,抛出异常:理发对象不能是自己理发的人。
    siyemiaokube
        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 罗心澄
    intheplants
        25
    intheplants  
       2017-10-14 12:40:19 +08:00 via iPhone
    理发室悖论是罗素为了生动的解释集合论中的问题而提出来的,下次谁再提这种问题,就给他讲讲第三次数学危机[doge]
    cyr1l
        26
    cyr1l  
       2017-10-14 13:08:36 +08:00 via iPhone
    上帝悖论: 上帝是万能的。


    那么,上帝能否做出一个他举不起来的石头?
    rosu
        27
    rosu  
       2017-10-14 13:22:00 +08:00 via Android
    悖论不属于通常逻辑问题的讨论范畴。
    Lax
        28
    Lax  
       2017-10-14 13:29:13 +08:00
    “我只给村里不为自己理发的人理发” 和 “我给所有不为自己理发的人理发” 是有区别的。
    只要不给自己理发,原来的说法就能一直成立。
    ferencz
        29
    ferencz  
       2017-10-14 15:00:31 +08:00
    没什么问题吧,我想的和 28l 一样。他不自己理发,我给他理,懒死他了。这应该是语言的逻辑问题吧。
    iceheart
        30
    iceheart  
       2017-10-14 15:15:17 +08:00 via Android
    这不是悖论,他的头发又不是必须他自己理,甚至,头发一辈子不理也没关系啊
    ln1225707801
        31
    ln1225707801  
       2017-10-14 19:33:59 +08:00 via Android
    parametrix
        32
    parametrix  
       2017-10-14 21:25:12 +08:00
    ZFC 公理下,并不存在此种集合构造。而 class 没有“包含于”这一符号。
    davidqw
        33
    davidqw  
       2017-10-14 22:34:47 +08:00
    恭喜你发现了一阶逻辑本身存在的深刻问题,问题等价于停机问题:是否存在一个程序 P,对于任意输入的程序 w,能够判断 w 会在有限时间内结束或者死循环。

    相信统计学这样的高阶谓词系统在现实生活中的应用会逐渐碾压一阶逻辑
    poison123
        34
    poison123  
       2017-10-15 01:09:00 +08:00 via iPhone
    @Lax 对啊不知道这些知乎 er 在说些啥
    shihira
        35
    shihira  
       2017-10-15 01:29:31 +08:00
    @Lax 确实。中文里只给 XXX 理发的意思,是给 XXX 的子集理发
    lylsh1993
        36
    lylsh1993  
       2017-10-15 16:14:18 +08:00 via iPhone
    理发师不是村里人,结贴
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   1093 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 22ms · UTC 18:49 · PVG 02:49 · LAX 10:49 · JFK 13:49
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.