前两天翻康托尔的集合论，又被希尔伯特那个旅馆实验逗乐了。一家旅馆房间号1、2、3……一直排到无穷，已经客满，这时再来一位客人，按日常直觉满房就是没戏。但无穷集合不这么讲道理——让1号挪到2号，2号挪到3号，n号挪到n+1号，客人一个没少，1号房就空出来了，新客住进去，齐活。

更绝的是后续。假设门外不是一个人，而是无穷辆巴士，每辆也坐了无穷个客人，照样能全塞进去：把现有客人安排到2、4、8……这些2的幂次房，腾出所有奇数号，再用素数幂次把每辆巴士的客人分进去。有限世界的排布逻辑到这里彻底失灵。

希尔伯特拿这个例子，就是想给大家一个抓手去理解"可数无穷"和"有限"根本不是一回事。基数这个概念，没点反直觉的铺垫真进不去脑子。数学好玩就好玩在这些地方

让n号挪去n+1号腾出1号房，这操作すごい，但现实里谁乐意半夜被叫醒搬家啊草

门外排无穷辆巴士都能塞 那司机自己想住咋办 再挪一轮？哈哈哈我脑子不够用了

读到让每位旧客人往隔壁挪一间的那段，心里忽然软了一下。明明谁都没失去房间，整栋旅馆却都在为一个陌生人的到来悄悄位移——这种温柔的 displacing，比「无穷」这个字眼本身更让我出神。

我们太习惯有限世界的逻辑了：满了就是满了，墙在那里，出不去也进不来。可有些门牌号的尽头没有墙。想起前些年有段日子，觉得自己心里早已客满，什么都不肯再装。后来才慢慢明白，只要肯把旧的思绪往更深处推一推，一号房总还是能空出来的。数学里叫 countable infinity，落在人身上，大约就是这份「永远还能再容纳」的余地。

lofi 转着圈，窗外天色也暗下来了。infinity 真是个 generous 的词。

素数幂把每辆巴士塞进奇数房那段我直接看呆，门外排无穷辆巴士还能全员入住，这经理得多少条腿才够跑。平时现实生活里排个队都嫌慢，数学倒好，无穷个无穷说装就装。越反直觉越上头，楼主多整点这种怪知识我爱看

读到让1号挪到2号、n号挪到n+1号那段，手心微微发紧。我们在有限里住得太久了，连"让出一格"都要靠逻辑打架才肯信。小时候听评书，先生一拍醒木说"千军万马"，我当那是顶了天的数目，后来才懂数学里有比千军万马安静得多、也凶得多的一一对应。

无穷这东西像水，你道满了，它偏能从缝里再渗进一个人去。希尔伯特哪是在逗乐，他是替我们指了一扇平日里看不见的门。

有时疑心，人心或许也正是那样一间客满却还容得下人的旅馆。

你们知道吗，我听说这旅馆其实是希尔伯特拿来怼直觉派的，跟布劳威尔哪场论战才是背后的戏？

看前面那段就笑了，让每个房客集体往后挪一位，硬生生腾出1号房——这思路太坏了，我喜欢。

说实话我念书时候最怕数学，什么集合论碰都没碰过。但你这么一讲，反而不觉得远了，不用符号，就靠“挪一挪”把人听进去了。后面无穷辆巴士那个我承认看晕了，素数、幂次一上来我脑子就打结，是我自己底子薄，你写得很明白。

不过“看着满了其实还能塞”这个劲头，莫名让我觉得挺暖的。有时候人以为没路了，换个法子空间还在那儿。

你平常还翻这类书吗，有没有更离谱的例子，想听你再讲讲 ^_^

素数幂次分巴士那段真把我整乐了 不过现实里满房就满房 老板才不跟你掰扯可数无穷 哈哈

所以要是来的不是可数无穷 是实数那种塞不进号里的 经理是不是直接躺平了哈哈 这旅馆门槛也太迷了 只认整数客人

你们知道吗，希尔伯特这人我越琢磨越觉得是个老狐狸。楼主说他是想给大家一个抓手去理解可数无穷，这个解释 too nice 了，我怎么听说的版本不太一样。当年康托尔那套集合论被直觉派围攻，什么"数学的肿瘤"都骂出来了，希尔伯特是铁了心挺康托尔的。我怀疑这个旅馆段子根本就是他拿出来当公开武器用的，相当于在台面上把反对派的逻辑按在地上摩擦。

不过有个细节我卡住了。你说把现有客人挪到2、4、8这些2的幂次，腾出奇数号给巴士；可我印象里分巴士那步用的是素数幂，每辆巴士认领一个素数、客人对应它的幂次。你这2的幂次版本我得再捋捋，感觉会跟后面的安排撞车，sounds a bit off？我去
离谱
这种反直觉的劲儿确实上头，每次看都觉得日常那套脑子被刷新了一遍 (￣▽￣)

我年轻的时候也翻过康托尔，当时只觉得烧脑，没啥用。后来才慢慢懂，这种反直觉的把戏其实是教人别太迷信自己的直觉。btw 素数幂那个排法我是真没耐心跟着算下去