高木贞治 · 只证存在
已可阅读明线理想 · 类群 · 类域论
故事看不见,但确凿
本辑的旅程:一九一四年,邮件在海上断了,高木贞治在东京的书房里独自写下两篇短论文,说某种域一定存在——却拿不出一个具体的造法。此后一百年,数学一次次面对同一件事:要看清的对象已经越过手能够到的边界。康威用三条规则让一片方格自己长起来,汤普森把证明写到二百五十五页,米尔诺发现七维的球有二十八种弯曲方式,曼德尔布罗特给海岸线与云造了一门几何,乌伦贝克在几何与分析之间架桥,米尔扎哈尼在曲面上掷骰子,张益唐五十八岁把「七千万」写进数学年刊,塞尔把该看见什么写得足够清楚,陶哲轩把难题拆开、让众人轮流看。
前六辑分别收在看见、方法、严格、造物、立序、署名;本辑绕回看见——只是这一次,要看见的东西从头到尾都不在眼前:七维的球、二百五十五页的证明、无限维的群、随机的曲面。数学必须先为它造一副新的感官,才谈得上看见。体例同前六辑,每册五幕:起(一个具体困境)· 转(一个关键念头)· 立(方法成形)· 用(一道道算给你看)· 远(它后来长成了什么)。
十人中九位的主要工作发生在二十世纪之后,五位今日仍在世。行文只用已公开发表的著作与访谈,不虚构对话;末册收在一个开放的句子上——数学是一场随时有人加入的对话。
明线理想 · 类群 · 类域论
故事看不见,但确凿
明线群论 · 组合游戏 · 涌现
故事规则极简,世界极繁
明线有限群 · 奇阶定理 · 单群分类
故事长到没人能一口气读完
明线微分拓扑 · 怪球 · 不变量
故事差别不在形状,在怎样弯曲
明线分形 · 自相似 · 维数
故事先看见,再去证明
明线几何分析 · 规范理论 · 紧性
故事在几何与分析之间架桥
明线双曲曲面 · 模空间 · 闭测地线
故事换成随机,反而看清整体
明线解析数论 · 孪生素数 · 筛法
故事一个人十年,然后众人接手
明线拓扑 · 代数几何 · 数论
故事把该看见什么写清楚
明线调和分析 · 加性组合 · 素数等差数列
故事一个人看不见全部,众人轮流看