不知道有没有人听过希尔伯特那个老梗。假设有家旅馆，房间号从1、2、3一直排到无穷，现在所有房间都住满了——按咱们日常的常识，满员了就是满员了，门口挂个 no vacancy 完事。可这位 Hilbert 偏说还能再塞人进去，办法特简单：让1号房的搬到2号，2号搬3号，n号搬n+1号，这么一错位，1号房就空出来了，新来的客人直接住进去就完事。
更离谱的在后头。要是门外一下子涌来无穷多位新客，怎么办？让原本的客人全都搬到2n号房，也就是1→2、2→4、3→6……奇数号的房间整片腾空，无穷位新客轻轻松松全住下。
这事儿妙就妙在它把咱们从小熟悉的加减法彻底拧了个个儿：无穷加一还是无穷，无穷加无穷也还是无穷。所谓"满了"，在无限集合面前压根儿就是个假象。说白了这就是 Cantor 那套基数理论最直白的演示，比好多物理猜想还让人上头(￣▽￣)
楼主这个错位法讲得挺顺的，不过得补一刀：这招只对「可数无穷」好使。旅馆房间号是 1、2、3……自然数那一串，数学上记成 aleph-0。Cantor 真正让人头皮发麻的，其实不是无穷加一还是无穷，而是无穷和无穷还分大小。
举个对照：0 到 1 之间的所有实数，数量就比自然数多，多到没法用 n→2n 这种腾挪法塞进自然数房间。Cantor 的对角线论证证明实数是不可数的。你列多长的实数表，他都能当场造出一个不在表里的数。严格来说
所以帖子里「无穷加无穷还是无穷」这句，严谨点说只适用于可数无穷。真要来一群不可数的客人，这家旅馆照样得挂 no vacancy，没戏。
那要是一下来了比无穷还多的客人呢？我总觉得这故事里客人太懂事，光自己搬行李也不嫌烦(￣▽￣)
得补一个边界条件：‘无穷加无穷还是无穷’只在可数无穷（ℵ₀）下成立。Hilbert 旅馆这套错位能玩得转，是因为新老客人合起来仍然可数。真要来实数那么多个客人——不可数无穷——挪到偶数房根本没用，自然数集怎么重排也装不下实数集。Cantor 最狠的一招其实不是’满了还能塞人’，而是’无穷和无穷并不一样大’。
头一回听人讲这个错位法的时候，我也觉得希尔伯特是不是闲得慌。怎么说呢满员了还能塞…，听着跟变戏法似的。说实话话说回来
后来琢磨久了才咂摸出味儿来：他玩的其实是"标号"的把戏。整件事能成立，靠的全是房间号有序、能一直往下数这个前提。你细看那个挪法，1→2、2→4、n→2n，说白了就是给老住户重新排了个队，把偶数位整片让出来。要没有这种"有序的无限"打底，光抛一句"无穷加无穷还是无穷"，那就是空话。
我年轻时候还跟人争过这个，非说这不科学。现在回头看，能把"满"这个直觉硬拧过来，本身就是挺有意思的思维体操。
我记得第一次读到这个思想实验是在本科时一本普及小册子里，当时也觉得反直觉得有点不讲道理。不过有个细节想补一刀：这套错位法能成立，前提是房间是"可数无穷"的，也就是能和自然数一一对应。Hilbert 旅馆真正揭示的，其实是一个判定无穷集的判据：一个集合若与自己的某个真子集等势，那它就是无穷的。其实这判据 Dedekind 先给的，Cantor 拿来推到极致。
帖子里说"无穷加无穷还是无穷"，在可数层面对，但 Cantor 更狠的结论恰恰是无穷和无穷未必相等：实数集就比自然数集"大"一截，那个层面的旅馆塞不下。所以 Hilbert 旅馆只是个引子，真把旅馆开到不可数，错位法就彻底趴窝了。你后面打算接着聊连续统假设吗？
看到这个帖子想起之前和newton29瞎聊的时候也扯到过无穷，我那会儿脑子转了好半天才绕过来。你举的第二个例子我特别服，奇数房整片腾空那段，第一次听说真有点被震到。
不过后来我一直有个小困惑想请教懂行的：这种错位能一直玩下去，是不是默认了『搬家』这个动作不花时间、也不管客人愿不愿意搬？现实里真有家旅馆，半夜把人从1号喊起来挪到2号，前台怕是得先挨一顿骂（笑）。所以我觉得这东西妙归妙，是思维实验里的妙法，真拿来当『满了还能塞』的依据，总觉得还差着点什么。
你们数理版平时还聊这种上头题目不，听着比刷新闻有意思多了
读完楼主这帖，脑子里一直转着那个1号房空出来的画面。说来有些傻，小时候第一次听这故事，最让我纠结的不是无穷能塞进多少人，而是一个夜里被敲醒的细节：原本住在1号房的人拎着箱子搬到2号，2号又挪去3号，整栋楼的人在黑暗里无声地腾挪，只为给一个陌生人让出位置。怎么说呢那时只觉得这故事有点残忍，如今倒品出几分温柔来。
Cantor 这套东西最迷人的，大约是它把我们从小笃信的"满了就是满了"轻轻掀翻。日常里我们太习惯边界：钱会花光，时间用完，耐心耗尽。可无穷大偏不守规矩，它让你明白"满"原是一种错觉，门后永远还留着一道缝。
博尔赫斯写过那个能装下整个宇宙的"阿莱夫"，一个比针尖还小的点。读楼主帖子的刹那，我忽然懂了那种眩晕，不是来自公式，是站在某个远比自己辽阔的事物面前，忽然安静下来的感觉。怎么说呢
你说它比物理猜想还上头，我倒觉得，它迷人之处恰恰在于它不"猜想"：那是板上钉钉的逻辑，却比任何想象都来得陌生。
补充一个 Cantor 最想强调、却常被这个例子盖过的点。'无穷加无穷还是无穷’只在可数无穷（ℵ₀）成立，Hilbert 旅馆玩的就是自然数和偶数之间的那层一一对应。其实但 Cantor 真正颠覆常识的是反方向：无穷和无穷并不相等。
对角论证证明实数集基数严格大于自然数集，而任意集合的幂集又严格大于自身——所以不存在’最大的无穷’，无穷是层层嵌套的。从某种角度看，旅馆演示的只是 ℵ₀ 这一种特例；一旦迈入连续统，'全体挪一位腾房间’的把戏就失效，偶数和实数之间压根没有双射。
顺带一提，'满了是假象’这个直觉还藏着个前提：房间得无限、可数、能排成一列。换成不可数无穷，挪位就失灵了。连续统假设才是真让人失眠的东西。
读到"满了只是个假象"那句，在屏幕前愣了一小会儿。Hilbert 这老先生真是又温柔又调皮，在所有人都以为门已经挂上 no vacancy 的时候，轻手轻脚又替你推开一条缝。
它让我想起 Borges 写过的那座图书馆——la Biblioteca de Babel，每一本可能的书都安静躺在某个架子上，可没有谁走得完，也没有哪一刻它真的"满"过。我们从小习惯了满就是尽头，像水倒进杯子溢出来就完了；可无限偏不认这套规矩。它不像是硬邦邦的加减，倒更像一条没有终点的弧线，你以为走到了头，轻轻一转又是新的弯。
有时候觉得，这悖论最动人的地方不在数学，而在它偷偷宽慰了人：原来"装不下"常常只是我们给自己画的一道线。你呢，有没有过那种明明一天塞得满满当当、却总觉得还能再容下一点什么小事的瞬间？
我年轻时候头回听这个也愣了半天。后来才慢慢咂摸出味儿，拿有限的尺子去量无限，本来就不合适。
楼主这个老梗我早年在论坛见过，当时只觉绕，后来才咂摸出味儿。不过想补一刀：希尔伯特旅馆的错位法，严格说只对“可数无穷”管用。房间号1、2、3……能跟自然数一一对上，才有n→n+1的腾挪余地。
可若来的客人多到跟实数一样“密”——比如0到1之间所有小数——康托尔的对角线论证就说明白：这类无穷比房间数还大，再怎么错位也塞不进。所以从某种角度看，“满了还能塞”只是可数无穷这一档的特权，换一档便不灵。
数学自有规矩，跟日常加减法不是一回事，倒也不算真矛盾(￣▽￣)