数学之美
一句话定位
《数学之美》(吴军)是博客随笔结集,不是教材。它的价值是给你一张领域地图和直觉,不提供可引用的公式——凡有公式的段落,都要拿教材对照。读完能记住”这个领域有哪些工具”,比”背会了它怎么推导”更符合它的写法。
怎么读
- 不必线性读。章节独立,按兴趣跳。
- 每章问三个问题:这章要解决什么工程问题?用了什么数学工具?关键公式我能自己推出来吗?
- 凡是出现公式的段落,拿教材对照一遍(见下方书单)。作者不擅长的章节(31–34)对照读或跳过。
- 别把它当参考书引用。它没有证明、没有勘误保证。
章节地图 × 我正在做的东西
| 章节 | 和现有笔记/工作的联系 |
|---|---|
| 第 3 章 分词 | 直接对应 Token、Tokenizer 与 Embedding——读完可对照看”词表怎么来的” |
| 第 4、9 章 隐含马尔可夫 / 维特比 | 序列标注的祖宗,理解 CRF / 序列建模的来路 |
| 第 5、6 章 信息熵 / 贾里尼克 | 信息论视角,理解”为什么用交叉熵做损失” |
| 第 7、18 章 布隆过滤器 / 信息指纹 | 去重、缓存、近重复检测,工程上立刻能用 |
| 第 10、11 章 PageRank / TF-IDF 与余弦 | RAG 检索的地基,和向量检索对照读 |
| 第 16 章 矩阵运算与 SVD | embedding 的数学来路(LSA → 词向量) |
| 第 19、20 章 密码学 / 最大熵 | 密码学章注意下方”费马 vs 欧拉”的错;最大熵是 CRF 的前身 |
| 第 31–34 章 | 错误集中区,对照教材读或跳过(见下) |
有争议的章节:指控 vs 我的判断
以下"错误"来自网上作者的指控,我 没有书在手上逐页核对。判断是按数学本身下的,不是对印本的核实。
指控里站得住的(4 条)
| 章 | 指控 | 判断 |
|---|---|---|
| 第 34 章 希尔伯特第十问题 | 把问题理解成”针对单个丢番图方程”,推出”存在无法判断是否有解的方程” | ✅ 实质错误。希尔伯特第十问的是”是否存在统一的固定算法判定所有丢番图方程”,答案是否定的(MRDP 定理);不等于存在不可判定的单个方程 |
| 第 31 章 椭圆曲线 | 群运算定义省掉了取镜像点那一步 | ✅ 很可能实质错误。标准定义:A+B = 直线 AB 与曲线第三交点关于 x 轴的对称点;只取交点不镜像,运算性质崩 |
| 第 17 章 密码学 | 对 N=P×Q 用了 φ(N)=(P−1)(Q−1),却写”根据费马小定理” | ✅ 命名错误。合数模要用欧拉定理。但结论可用 CRT + 费马分模 P、Q 各证一次救回,是”术语错”不是”结论错” |
| 第 14 章 章名”余弦定理” | 实际用的是向量夹角余弦公式 (A·B)/(|A||B|),不是余弦定理 | ✅ 术语不准确。两式相关(余弦定理可由 |A−B|² 展开推出),但不等价 |
指控里站不住的(3 条,批评者自己搞错了)
| 指控 | 为什么站不住 |
|---|---|
| ”分量都是正数,余弦都 >0,怎么可能正交?前后矛盾” | ❌ 支撑集不相交(两篇毫无共同词)时余弦恰好为 0,正交完全可能 |
| ”PageRank 幂迭代一般不收敛(如旋转矩阵)” | ❌ PageRank 的 Google 矩阵随机且本原(阻尼系数 d<1 + 随机跳转),由 Perron–Frobenius 定理幂迭代收敛到唯一平稳分布。旋转矩阵是缺 teleport 的退化情形 |
| ”切比雪夫不等式多加了个 n” | ❌ 大概率是误读。对样本均值应用时就是 σ²/(nε²),这个 n 正确,而且正是推导弱大数定律的标准路径 |
态度类批评(观点之争,不判断)
豆瓣书评主要批评书名名不副实、序言疑似贬低纯数学。属观点,自行翻序言判断。
总结
指控里有真货也有冤枉。值得警惕的是第 31–34 章”外延数学”(椭圆曲线、希尔伯特第十问题、概率论)——作者舒适区之外的题材,错误最集中。NLP / 搜索 / 信息论主线(分词、HMM、维特比、TF-IDF、余弦、SVD、信息指纹)基本靠谱,是他的本行。
配套教材(每章挑一本对照)
- Jurafsky & Martin《Speech and Language Processing》(第 3 版草稿免费在线)——NLP 主线最对口
- 李航《统计学习方法》——HMM / 最大熵 / CRF 的严格推导
- Manning 等《Introduction to Information Retrieval》(免费在线)——TF-IDF / 余弦 / PageRank 的权威版本
- Cover & Thomas《Elements of Information Theory》——熵与互信息的严格定义
科普书常见陷阱
用维恩图解释多变量联合熵会误导(见 东北大学 CS7840 讲义),这类图在科普书里很常见。
产出方式
每读完一章,在 读书笔记/ 下写一页”问题 → 工具 → 关键公式 → 我的疑问”,有疑问的公式单独标记待核验。这样这本书的价值会从”看过”变成”能用来做设计判断”。
相关笔记
- Token、Tokenizer 与 Embedding(第 3 章分词的现代对应)
- 计算机科学的数学
- 读书列表