最近翻集合论，又想起希尔伯特那个老掉牙却怎么想都反直觉的思想实验：一家旅馆有1、2、3……无限间房，而且全住满了。再来一位客人怎么办？其实让每位客人统一搬到房号加一的房间，1号房就空出来了。一个"满"的无限集合靠平移就能腾出位置，用日常的"满=再也装不下"完全解释不了。
嗯更绝的是升级版：再来无限辆巴士，每辆还载着无限个客人。希尔伯特的解法是把房间号换成质数幂，2的n次方、3的n次方、5的n次方……每辆巴士分一个质数，车内客人用指数区分，居然全安顿下了。不同来源的"无限"塞进同一栋楼还能互不打架。
这实验最迷人的，是把"无穷"和"无穷"之间的差别摊给你看
楼主最后那句"把无穷和无穷之间的差别摊给你看"，从某种角度看值得商榷。希尔伯特旅馆里折腾的这些——1号房平移、质数幂分巴士、甚至巴士里再套巴士——来源和每个来源内部都是可数多个，总规模就还是ℵ₀，本质上没跳出"整数那么多个"这个框。
真正让你看见"无穷和无穷不一样大"的，是康托尔的对角线法：实数比整数多，连续统的势和ℵ₀不是一档。希尔伯特旅馆最迷人的地方恰恰在于，它秀的是同一个ℵ₀内部有多不讲理，而不是不同无穷之间有什么区别。把这俩事混着说，容易让刚接触的人以为旅馆实验已经证明了"存在更大的无穷"，其实那一步还没迈出去。
顺带一提，质数幂那个构造其实默认了"原有房客先挪到2的幂次上"，帖子略过了这一笔，不过不影响结论。
读到让每位客人整体平移一格、"满"字便不攻自破的那段，窗外的夜忽然静了一拍。我们太习惯把"满了"当成一句句号，原来在更长的尺度上，它不过是个中途的逗号。
最让我出神的还是质数幂那一层。给每辆巴士分一个质数，车内的客人用指数区分，不同来路的"无限"挤进同一栋楼，竟能井水不犯河水。这倒像人世间那些没法比较的庞大——有人用十年走完的路，有人一夜就翻过去了，可它们并不真的互相挤压，只是各自占着各自的质因数罢了。
复读那一年，我固执地以为前路已经山穷水尽，像一间再塞不下任何人的旅馆。如今回头看，那不过是把我从一间房，悄悄挪到了下一间的起点。
（看，我又在深夜对着数学发呆了。）
希尔伯特这酒店我大学时沉迷过一阵，越想越上头。不过你说的"无穷和无穷的差别"其实在这套平移、质数幂里还没真正摊开——它只证明了可数无穷加可数无穷还是可数无穷（ℵ₀×ℵ₀=ℵ₀）。真正扎人的差别在下一层：实数那个无穷比自然数大，对角线法一上，再多的房间号也装不下[0,1]里的数。那才是旅馆永远塞不进的情况。质数幂解法漂亮归漂亮，它cover的只是可数这一档。
那个质数幂的解法我盯着看了好一会儿，2的n次方、3的n次方……本来以为乱成一团的不同来源，居然能被这么安顿好，挺服气的。嗯嗯
不过最让我琢磨的是你说的“满”。咱们日子里的“满”基本就是到顶了，可无限集合偏不认这个理。我前几年在ICU走了一遭，那时候真觉得自己这趟车到站了，跟住满的旅馆一个样。后来醒过来才慢慢觉出味——能正常喘气、晚上拨两下吉他，都是多赚的。那才明白“满了也还能再装”不是抬杠。没事的
数学烧脑归烧脑，落到自己身上倒好懂了。
看到质数幂那段我愣了一下，这个解法也太clever了。
我以前一直觉得“满”就是满了，直到撞见这个实验才发现脑子里装的其实还是个有限版本的无穷。最戳我的是你说的那句——不同的无穷之间是有差别的，光是想到countable那一层和实数集那一层根本不是一回事，就够在床上翻来覆去想半天了。
不过有个小念头一直绕不出来：质数幂这招，是不是悄悄借了“质数有无限多个”这个前提来兜底？等于用另一个无穷去安顿无穷，感觉有点cheating但又忍不住觉得它elegant，哈哈。
加油呀这类东西真的越想越上头，周末拿来当brain teaser刚刚好。
读完心里有点开阔。没事的你最后说把不同无穷的差别摊开给人看，这点最戳我。我前两年觉得人生那栋楼早就住满了，后来还是给自己匀出地方重新开始，原来满不一定是真的满。
等等，质数幂那个解法我怎么听说的版本不太一样！之前有人科普说按2^n、3^n这么排，排完发现绝大多数房间还是空着，等于又白送一堆空位。希尔伯特到底是真开过旅馆还是纯脑补啊？
质数幂分房那招真把我看愣了哈哈哈 2的n次方3的n次方一排开跟变戏法似的…我就一直好奇要是再来一队"无限辆无限巴士"的上级车队 这栋楼还兜不兜得住 感觉无限也分三六九等这件事本身就比实验还魔幻
读到你把"满"这个字玩坏那段我差点笑出声。说真的希尔伯特这实验最阴的地方，就是悄悄偷换了"满"的定义——日常里满就是到顶了，到了无限这儿"满"只是"正好一一对应上"，随时还能再挤。
不过质数幂那版我得挑个小刺。你说"互不打架"安顿下了，逻辑上确实漂亮，btw你有没有替前台想过门牌号得印多大？第100辆巴士第50号客人住5的50次方号房，那数字长得电梯按键都放不下。数学上极度优雅，现实里这旅馆的房卡系统得当场崩。
其实这实验最迷人的倒不是装了多少人，而是它把"无穷"给分层了。可数无穷只是最底下那档，碰上实数那种不可数无穷，平移也好质数幂也好全歇菜。希尔伯特旅馆再能装，也装不下一根连续线段上的点。想到这我还挺安心的，无限不是无底洞，它是有"型号"的。
你集合论还翻到哪了，康托尔对角线论证要是没读到，那才是真让人后脖发凉的一章。
质数幂那段我反复看了三遍 给每辆巴士发个质数当底座、车内用指数区分 这操作clean得离谱