liteyou
V2EX  ›  问与答

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

  •  
  •   liteyou · Oct 14, 2017 via Android · 7196 views
    This topic created in 3311 days ago, the information mentioned may be changed or developed.
    遇到有人和你讲这种悖论:理发师要不要给自己理发呢?你是当荒谬笑话,还是觉得也有道理呢?
    36 replies  •  2017-10-15 16:14:18 +08:00
    cnkuner
    cnkuner
    Oct 14, 2017 via Android❤️1
    1
    不就一个死循环吗,杀了祭天。
    vebuqi
    vebuqi
    Oct 14, 2017 via Android❤️1
    2
    这个理发师不是村里人😯
    ooh
    ooh
    Oct 14, 2017 via Android
    3
    秃子
    misaka20038numbe
    misaka20038numbe
    Oct 14, 2017
    4
    我给大家带路。我给村里人理发。我都是不包括在集合里面的。
    Tunar
    Tunar
    Oct 14, 2017 via Android
    5
    我 tm 一撇子抡死他
    kendisk
    kendisk
    Oct 14, 2017 via iPhone
    6
    再来个理发师
    就解决问题了 。
    gimp
    gimp
    Oct 14, 2017
    7
    理发师光头,没毛病。
    Kilerd
    Kilerd
    Oct 14, 2017
    8
    > 抛开悖论的各种含义,通常所说的导致矛盾的悖论是指逻辑悖论。

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

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

    0.1 秒后,剪刀剪断了第一根头发,boom !世界停止,抛出异常:理发对象不能是自己理发的人。
    siyemiaokube
    siyemiaokube
    Oct 14, 2017 via iPhone
    24
    简单的说:现代的公理集合论不允许假设存在“包含一切的全集”,也就是说,我们只能在给定集合内取差集。

    这是 ZFC 版本下的 separation:
    如果 A 是一个集合,并且\phi(x)是一个描述,那么我们可以把那些属于 A 并且满足描述\phi 的个体搜集在一起构成一个集合。

    这是粗鄙的 separation:
    如果\phi(x)是一个描述,那么我们可以把那些满足描述\phi 的个体搜集在一起构成一个集合。

    https://www.zhihu.com/question/36135349 罗心澄
    intheplants
    intheplants
    Oct 14, 2017 via iPhone
    25
    理发室悖论是罗素为了生动的解释集合论中的问题而提出来的,下次谁再提这种问题,就给他讲讲第三次数学危机[doge]
    cyr1l
    cyr1l
    Oct 14, 2017 via iPhone
    26
    上帝悖论: 上帝是万能的。


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

    相信统计学这样的高阶谓词系统在现实生活中的应用会逐渐碾压一阶逻辑
    poison123
    poison123
    Oct 15, 2017 via iPhone
    34
    @Lax 对啊不知道这些知乎 er 在说些啥
    shihira
    shihira
    Oct 15, 2017
    35
    @Lax 确实。中文里只给 XXX 理发的意思,是给 XXX 的子集理发
    lylsh1993
    lylsh1993
    Oct 15, 2017 via iPhone
    36
    理发师不是村里人,结贴
    About   ·   Help   ·   Advertise   ·   Blog   ·   API   ·   FAQ   ·   Privacy   ·   Solana   ·   1694 Online   Highest 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 104ms · UTC 04:19 · PVG 12:19 · LAX 20:19 · JFK 23:19
    ♥ Do have faith in what you're doing.