我们对于无穷的计算有着浪漫的想象，光是科幻小说，就有阿西莫夫《最后的问题》、亚当斯《银河系漫游指南》的经典科幻梗。但是我们从世界体验中认知到的无穷、数学世界中勾勒的无穷以及计算机所能够触达的无穷有什么区别和联系呢？
附关于无穷的一些小趣闻：
1. 为什么 [0,1] 区间的实数无法和自然数一一对应？
第一步：简化实数的表示
[0,1] 里的任何实数，都能写成 “无限小数”（有限小数补无限个 0，比如 0.5=0.5000...，避免 0.4999... 和 0.5 重复）。
第二步：假设 “能对应”，列一张 “全包含表格”
如果 [0,1] 的实数能和自然数一一对应，意味着能把所有实数按序号排成一张无限长的表格，比如：
自然数 1 → 实数 a₁ = 0.a₁₁a₁₂a₁₃a₁₄...（a₁₁是小数点后第 1 位，a₁₂是第 2 位，依此类推）
自然数 2 → 实数 a₂ = 0.a₂₁a₂₂a₂₃a₂₄...
自然数 3 → 实数 a₃ = 0.a₃₁a₃₂a₃₃a₃₄...
自然数 n → 实数 aₙ = 0.aₙ₁aₙ₂aₙ₃...aₙₙ...
表格里的 “加粗数字”，是从每个实数里取 “第 n 位”（第 1 个数取第 1 位，第 2 个数取第 2 位，...，第 n 个数取第 n 位），构成一条 “对角线”。
第三步：构造一个 “不在表格里的实数”
根据这条对角线，造一个新的实数 b = 0.b₁b₂b₃...，规则很简单：
如果对角线第 1 位 a₁₁≠1，就设 b₁=1；如果 a₁₁=1，就设 b₁=2（只要和 a₁₁不一样就行）；
同理，对角线第 2 位 a₂₂≠1，就设 b₂=1；否则 b₂=2；
以此类推，bₙ永远和对角线第 n 位 aₙₙ不一样。
这个 b 肯定是 [0,1] 的实数（因为是 0 开头的无限小数），但它不在刚才的表格里—— 因为它的第 1 位和 a₁不同，不可能是 a₁；第 2 位和 a₂不同，不可能是 a₂；...；第 n 位和 aₙ不同，不可能是 aₙ。
这说明：“能把所有 [0,1] 实数列成表格” 的假设是错的，所以 [0,1] 的实数无法和自然数一一对应。
2. 为什么有理数可以和自然数建立一一对应？
有理数的核心是 “能写成分数 p/q（p 是整数，q 是正整数，且 p 和 q 互质，避免重复，比如 2/2=1 就只算 1/1）”。关键是用 “分组 + 遍历” 的方式，给每个有理数编上序号：
第一步：按 “分母 q” 分组
把有理数按分母 q 的大小分成无限组，每组里的分数按分子 p 的大小排列（注意去重，比如 2/2=1 已在 q=1 组里）：
q=1 组（分母为 1）：1/1（即 1）、-1/1（即 - 1）、2/1（即 2）、-2/1（即 - 2）、...
q=2 组（分母为 2）：1/2、-1/2、3/2（2/2=1 已去重）、-3/2、...
q=3 组（分母为 3）：1/3、-1/3、2/3、-2/3、4/3（3/3=1 已去重）、-4/3、...
...第二步：“蛇形遍历” 每组，编序号
因为每组里的数是 “有限个基础项 + 无限延伸”，但可以按 “先小分母、再小分子” 的顺序，像 “走蛇形” 一样逐个编号：
先取 q=1 组第 1 个：1/1（序号 1）
再取 q=1 组第 2 个：-1/1（序号 2）
取 q=2 组第 1 个：1/2（序号 3）
取 q=2 组第 2 个：-1/2（序号 4）
取 q=1 组第 3 个：2/1（序号 5）
取 q=1 组第 4 个：-2/1（序号 6）
取 q=3 组第 1 个：1/3（序号 7）
取 q=3 组第 2 个：-1/3（序号 8）
取 q=3 组第 3 个：2/3（序号 9）
取 q=3 组第 4 个：-2/3（序号 10）
...第三步：验证 “一一对应”
每个有理数都能在某一组里找到，且会被 “蛇形遍历” 编上唯一的自然数序号；
每个自然数序号，都对应一个唯一的有理数（不会重复，因为提前去重了）。
