当才能退潮，拿什么替一生作证
这本小书表面替数学辩护，实际先把写书人送上被告席。Hardy 已过创作高峰，身体和信心都在退。他说，替自己的学科辩护，免不了也在替自己辩护。于是问题比“数学有什么用”更窄，也更难躲：一个以创造为业的人，创造力衰退后，怎样判断从前那条路值不值得走？
公共辩护惯用的答案是用途。数学能算桥梁、炮弹、保险和星历，当然值得供养。职业答案则更平：教课、考试、谋生，和别的工作一样。Hardy 不肯借这两张收据。他把“真正的数学”同日常计算分开，又把值得留下的作品同熟练但琐碎的工作分开。只证明数学有用，证明不了他珍视的那一种数学；只证明数学家勤奋，也证明不了这份勤奋结出了什么。
旧答案在这里松动。用途常在成果出现很久以后才到场，写下定理的人未必能预见；而立刻有用的计算也未必有思想重量。若用尚未发生的应用替一生辩护，辩词会随历史行情涨跌。Hardy 要找一条作品完成时就能判断、又不靠外部奖赏的尺度。
观念也有线条、比例和余味
- 基线：功利主义的旧共识按社会用途估价学问；不能改善生产、战争或生活的研究，很难解释公共资源为何该投给它。
- 基线：职业常识把数学当一门可教、可考、可谋生的技术；合格和稳定已经足够，不追问作品能否留下。
- 基线：艺术自主论把创作的价值放在形式本身，作品不必先替别的目的服役；这给 Hardy 提供了现成的辩护姿势。
借来的框，是把纯数学放进艺术而不是工具箱。数学家和画家、诗人一样造图案，只是材料不是颜色或词，而是观念。形式要和谐，安排要经济，转折要出人意料，结论又得像早已在那里等着。这样的审美自治并非数学独有，也不是 Hardy 首创。
作者工序，是把这副审美框压到证明内部。他不只说“数学很美”，还区分琐碎与严肃、局部技巧与一般观念，并拿欧几里得关于素数无穷的证明、平方根二无理的证明当样品。短并不自动等于美。好的短，是删去一步便失去必然性；好的意外，是回头看又觉得别无他法。深度和一般性则问一个观念能接通多少别的问题，能不能改变后来人的路线。
这套加工也划出残酷边界。数学不是年长者靠经验便能一直增产的手艺；原创能力若已退潮，评论自己的旧成绩便带着哀伤。Hardy 没把“喜欢数学”当充分理由。他只承认极少数人能做重要作品。这既是他的判断工具，也是盲点：作品的价值全压在少数创作者与少数经典上，教、协作、维护方法和培养后来人被挤到画外。
无用不是缺陷，美也不是安慰奖
用这套尺度看，数学的世界分成两层。外层处理数量、工程和日常需要，价值可由效果验收。内层追求观念图案，验收发生在数学共同体内部：论证是否严密，结构是否出人意料又不可替换，观念是否够一般、够深，能不能比作者活得久。两层会相遇，却不能互相冒充。
Hardy 因而敢把“无用”写成防火墙。写作时正值战争，他宁愿相信数论和相对论远离杀人的机器。历史后来拆掉了这层安全感：密码学、核技术和卫星系统都能把抽象数学拖进现实。这不是旁枝，而是原框的薄处。数学家能判断证明，却不能封存证明将来的用途。
不过，应用史推翻的是“纯数学天然无害”，不是那条内部估价线。一个定理后来用于芯片或武器，并不会倒推出它原先就美；一个定理暂时没有用途，也不会自动变重要。可反驳的落点因此很清楚：数学作品若没有严肃问题、一般观念和不可随意改动的论证安排，即使后来碰巧有用，也不是 Hardy 所说的第一流数学。反过来，若数学共同体长期保留大量仅靠身份、声望或用途支撑、形式与观念都贫乏的作品，这套尺度便没有它声称的筛选力。
价值的收据开在门外还是门内
数学价值的裁决轴
左极：外部用途 ───────────────────── 右极：内部形式
● 功利主义旧共识 ● 职业技术观 ★ Hardy
└──────────────────────────────────→
★ 靠右：美、严肃、深度、一般性先定作品价值。
移动：倒转；他把作品的第一张收据从社会用途移到数学内部。图注：功利主义在左端，价值随可见效果而来；职业技术观略向中间，因为准确和熟练已有内部标准，却仍以社会职位结账。艺术自主论没有单列成点，它是 Hardy 把 ★ 推向右端的借力处。★ 不在绝对端点：他仍谈数学的永久性、无害与名声，这些都把门外世界带了回来。
盲点：这条轴默认数学共同体有资格独自定义美，也默认后世会认可同一套品味。用途会突变，审美和权力也会。谁得到闲暇、训练与发表位置，不在证明里，却会决定哪些“图案”有机会被看见。
最高奖状究竟向谁开收据
Hardy 没见过的具体难题，是今天的最高数学奖怎样向公众说明一项同时有深理论和广用途的工作。预测：正式 citation 应先写新结构、证明、一般工具和对数学分支的影响；外部用途即使出现，也不该成为主要凭据。证伪条件：若官方说明主要靠产业、工程或社会效果论证价值，几乎不谈数学结构，这条判断便落空。
现实对照是挪威科学与文学院的 2024 Abel Prize citation。它把 Talagrand 的贡献落在概率论、泛函分析、集中不等式、随机过程与自旋玻璃等内部成果上，也称赞他解决长期问题、造出有广泛适用面的工具。这一半很像 Hardy 的验货单。可 citation 开头又用天气预报、大语言模型、晶体杂质、电路热涨落和量子计算说明随机性的现实分量，并在授奖短句中明写数学物理与统计应用。门内标准仍掌舵，却没有把用途挡在门外。
结果：半中。
辩词、反驳与材料边界
- Cambridge University Press 版本节选：提供版本信息、Snow 前言及正文节选，校准写作处境与“替数学辩护就是替自己辩护”的问题入口。
- Cambridge Core 第十节：直接呈现“数学家是图案制造者”、美作为首要检验及观念材料的说法。
- Nature 1941 年同期书评：记录当时对“真正数学无用”、纯数学与应用数学分割的尖锐反驳，防止把后来的崇敬倒灌进 1940 年语境。
- 2024 Abel Prize 官方 citation：核对最高数学奖如何同时调用内部成果、一般工具与现实应用来说明 Talagrand 的价值。
材料等级：初拆。现有材料覆盖出版社节选、关键正文段和同期专业书评，足以支撑主裁决；未逐页核对 1940 年首版全文，因此不把细枝末节写成完整文本考证。