数学的美到底美在哪里？它是被发现的真，还是被发明的游戏；学校教的死记硬背，和数学家说的"美"，为何像是两种东西？四本书各自给一个答案。
2026 · 好书推荐 · 第二十期
多数人对数学的记忆是公式与考题，而数学家谈的却是"美"。本期四本各自抓住一个机制：哈代《一个数学家的辩白》给出美的判准——深刻、意外、不可避免的模式才美，"美是第一道检验"；洛克哈特《一个数学家的叹息》指出学校把数学教反了，美其实在亲手提问、亲手证明的创造过程；郑乐隽《如何烤一个数学派》拆解抽象这一动作——给大脑做减法，看见不同事物共享的结构；张景中《数学家的眼光》用三角形、面积这些寻常例子示范"数学家的眼光"，并主张数学本可以很容易。
| 书 | 作者 | 年份 | 这本说清楚的那件事 |
|---|---|---|---|
| 一个数学家的辩白 A Mathematician's Apology | G. H. 哈代 | 1940 | 数学家是"模式的创造者"，美是判断数学好坏的第一道检验 |
| 一个数学家的叹息 A Mathematician's Lament | 保罗·洛克哈特 | 2009 | 数学本是想象力的艺术，被学校教成了只记规则、不问为什么的空壳 |
| 如何烤一个数学派 How to Bake Pi | 郑乐隽 Eugenia Cheng | 2015 | 数学不是关于数字，而是关于"事物如何运作"——抽象就是给大脑做减法 |
| 数学家的眼光 院士数学讲座 | 张景中 | 1990 | 用"数学家的眼光"看寻常事物，杂乱表象下藏着统一的秩序；数学本可以很容易 |
哈代（1877–1947）是英国最杰出的数论家，却在 62 岁、自觉才思已逝时写下这本小书。他要回答一个朴素的问题：一个把一生献给"没用"的纯数学的人，凭什么为自己辩护？他的答案不是功利的，而是美学的——数学的价值，首先在于它美。
核心命题：数学家和画家、诗人是同类，都是"模式的创造者"，区别只在材料是思想。而判断一个数学模式好坏的第一标准就是美。美由几样东西构成：深刻（牵动的结构越根本越美）、意外（结论出人意料）、不可避免（一旦看懂便觉非如此不可）、经济（用最少的手段达成）。
他举两个两千多年前的证明作范例：√2 是无理数（毕达哥拉斯学派）与素数有无穷多个（欧几里得）。两者都极短、都用反证法，结论都出人意料，却一旦读懂就觉得天经地义。哈代说，这就是美的解剖——它们至今"和初被发现时一样新鲜"。
更深一层，他是个数学实在论者：317 是素数，不因我们这样想，而因它本就如此。在他看来数学家是发现者，不是发明者；那些模式早已存在于一个客观的数学实在里，我们只是把它看见。美因此不是装饰，而是真的标志。
哈代把全部价值押在"纯粹无用"上，刻意贬低应用数学，今天看来偏激；书中又弥漫"数学是年轻人的游戏"的暮年悲凉，略显消沉。但正因立场极端，它对"美"的提炼反而格外清澈，值得带着距离读。
哈代的"美是第一道检验"可以直接搬到工程与架构上。下周可试：拿你手上的一份系统设计或一段核心代码，问哈代式的问题——它"丑"吗？冗余、到处打补丁的特例、绕来绕去才说清的逻辑，都是丑；而深刻、意外地简洁、改一处就牵动全局的对称，才是美。把"丑陋的方案没有长久立足之地"当成早期信号：丑往往是错的前兆。具体动作——给当前架构列出三处"丑点"，强迫自己各找一个更对称的替代方案，哪怕暂时不落地。
洛克哈特用一个噩梦般的寓言开篇：假如音乐教育像数学教育——孩子十几年只被要求背记谱法、练音阶、抄术语，从不准碰乐器、不准听一首曲子，理由是"等基础打牢了才配欣赏音乐"。结果会是全民厌恶音乐。他说：这正是我们对数学做的事。
他的核心主张：数学是一门艺术，一门想象力的艺术。真正的数学活动是面对一个问题——常常是你自己提出的，比如"三角形里内接的矩形，面积什么时候最大"——然后独自猜测、尝试、卡住、再想出一个漂亮的论证。乐趣全在这个挣扎与豁然的过程，而这恰恰是学校彻底删掉的部分。
学校的病根在于只教"是什么"、抛掉"为什么"：学生背公式、套题型，却从不知道这些规则从哪来、凭什么成立。证明本该是"数学的诗"，是把"为什么非如此不可"讲成一个让人信服的故事，却被降格成两栏式的填空仪式。数学被掏成了一具空壳。
他的建设性主张是：数学课应该更像艺术课——给学生真实而诱人的问题，让他们自己探索、犯错、争论、发现。一个漂亮的证明不是格式，而是一次成功的解释。美，就藏在"我自己想通了为什么"的那一刻。
洛克哈特批判犀利，建设性却偏理想化：他几乎不谈在大班额、统一考试的现实约束下如何落地，又把一切机械训练一概斥为戕害，忽略了适度熟练对自由探索其实是必要的脚手架。当激励而非操作手册读。
作为学龄孩子的家长，这本书的提醒最直接。下周可试：别再给孩子加刷题型，换一个"洛克哈特式问题"——没有标准答案、能动手玩的：比如"用 12 根同样长的火柴，能围出的图形里哪种面积最大""上一段楼梯，一次迈一级或两级，一共有几种走法"。陪她猜、试、争论，重点不是答出来，而是她自己说出一个理由的那一刻。记住：当孩子问"为什么"，那正是数学开始的地方，别用"先背下来"打断它。
郑乐隽（Eugenia Cheng，1976–）研究范畴论——号称"数学的数学"，业余是登台演奏的钢琴家。她要破除一个误解：数学不是关于数字和计算，而是"用逻辑去研究合乎逻辑的事物如何运作"。重点是过程与关系，不是算得快。
她用烘焙贯穿全书：食谱、原料、方法。做菜的真功夫不在某道具体的菜，而在掌握可迁移的"方法"。数学也一样——它真正的对象，是从一堆具体例子里抽出的通用结构。
全书的核心动作是抽象：抽象就是给大脑做减法，把此刻不需要的细节先收起来，像下厨前把用不上的厨具收进柜子，台面清爽了，结构才看得清。一旦抽象，你会发现"7 加 5""时钟上 9 点过 5 小时""把一个图形转两格再转三格"——背后可能是同一个结构。
这正是范畴论的视角：不盯着具体对象，只研究对象之间的关系（箭头）。它让你看见跨领域的类比——同一个抽象结构，在算术里、在对称里、在音乐里反复现身。对偏爱跨学科映射的人，这是一把称手的工具：先抽象，再认出"原来这是我在别处见过的同一件事"。
为求亲切，全书前半轻盈好读，到后半真正进入范畴论时门槛陡然升高，普通读者容易在这里掉队；而烘焙类比有时为了好懂牺牲了精确，专业读者会嫌它"甜"过了头。把它当作打开抽象之门的引子，而非范畴论教材。
"抽象=给大脑做减法"几乎就是架构设计的定义。下周可试：拿一个你正纠结的具体问题（某个分布式一致性的 bug、某条 AI 工作流），做一次郑乐隽式抽象——把所有业务细节剥掉，只问"它本质上是哪一类问题？我在别处见过同构的结构吗？"很多时候你会发现，眼前的难题和"一群节点如何就一个值达成一致"是同一个抽象；认出那个抽象，往往就借到了另一个领域早已成熟的解法。把"先抽象、再迁移"养成处理新问题的第一反射。
张景中（1936–）是中科院院士、数学家，也是把毕生精力投在数学教育上的人。《数学家的眼光》篇幅不大，却让几何学大师陈省身读后建议译成英文向外推广。它示范的，正是哈代和洛克哈特用英文讲的那种"美"，在中文语境里长什么样。
他提出的核心理念叫"教育数学"：不是研究"怎么教数学"，而是去改造数学本身，让它更适合教与学。在他看来，很多数学之所以难，不是它本质上难，而是前人没把它整理好；数学本可以很容易。
他给出"四个容易"作为方法：熟悉了就容易，简单了就容易，想通了就容易，直观了就容易。书里用一个个寻常问题示范——三角形的三条高，为什么必定交于一点？面积这一个概念，怎样把许多看似无关的命题统一起来？用"数学家的眼光"一看，杂乱的表象下藏着惊人的秩序。
所谓"眼光"，是一种看待方式：先把熟悉的东西陌生化（咦，三条高凭什么交于一点），再把它统一化（原来背后是同一个结构）。普通人看见一堆零散的公式，数学家看见的是同一个结构在不同伪装下反复登场。美，就在这"原来如此"的统一时刻。
本书定位是青少年科普，深度与系统性自然有限，老练的读者会嫌它浅；个别叙述与排版带着出版年代的痕迹。但作为"中文原创、把数学讲活"的范本，它的价值不在难度，而在示范一种可亲近、可上手的数学美感。
"把难的变容易"恰是技术领导力与带人的核心功夫。下周可试：挑一个你团队里"大家都觉得难"的概念（某个算法、某套系统、某个 AI 机制），用张景中的"四个容易"过一遍诊断——它难，究竟是因为不熟悉（缺例子）、不简单（没拆解）、没想通（缺动机/为什么），还是不直观（缺图示）？对症下药，而不是笼统地说"这个很难"。很多"难"不是本质难，是没被整理好。把这四条做成你写文档、带新人时的检查清单。
哈代说"丑陋的数学没有永久的立足之地"。把它当技术嗅觉：一个方案若要靠层层特例、补丁和绕弯才说得清，多半是抽象选错了。自检——你能用一句话讲清它"为什么非这样不可"吗？讲不清、或越讲越绕，往往不是你笨，而是这个设计本身不美、因而很可能不对。美在这里不是审美洁癖，是一种早期预警。
洛克哈特说，删掉"为什么"，知识就成了空壳。检验很简单：能不能把它从头推一遍、讲给一个外行听，而不是背出结论？若只能复述结果、复述不出理由，你拥有的就只是一具空壳，遇到稍变形的问题就会失灵。真正"学会"的标志，是你能重新发现它——哪怕忘了答案，也能再想出来。
郑乐隽与张景中从两端指向同一件事：抽象对了，难就化开。遇到难题先别硬扛，退一步问——"剥掉所有具体细节，它本质上是哪一类问题？我在别的领域见过同构的结构吗？"很多难，难在你还困在具体层、没抽象到能看见它和已知问题相通的高度。找到那个抽象，常常等于借到了别处现成的解法。