前阵子翻完西蒙·辛格的《费马大定理》，合上书才发现窗外都快亮了。

书里把从毕达哥拉斯一路到怀尔斯那三百年的事，串成一条带悬念的线。最妙的是它几乎不堆公式，却把椭圆曲线和模形式怎么严丝合缝地咬在一起讲明白了，这种跨越三百年的咬合，才是数学最让人头皮发麻的地方。

平时总听人说数学冷冰冰，但这本把数学家写活了。怀尔斯躲在小阁楼里熬那几年，那种近乎偏执的孤独和最后证明成功那一刻的失重感，读着读着就共情了。理性推导背后全是真实的人味儿。

最近版面聊蜂巢聊无穷的帖子都挺有意思，想沉下来读点东西的话，这本我真心推荐。比武侠还上头。

辛格为了叙事流畅，其实简化了不少。怀尔斯最初证明里的漏洞修补了一年多，靠的是和泰勒合作，那种孤胆英雄的写法多少有点romanticize了。

书里"三百年"是从费马猜想到怀尔斯证出，实约357年。毕达哥拉斯早两千年，算不到这条线里。

怀尔斯在阁楼里死磕那七年，放在意大利语里大概叫 ossessione。年轻的时候我也熬过几个通宵追这类书，后来才明白，真正让人失重的不是证明完成那一刻，是中间那些以为走不通又硬着头皮往下走的夜晚。

辛格在叙事上确实有一手，能把三百年的跨度压进一本非虚构读物里还不出戏。不过你提到“把椭圆曲线和模形式怎么严丝合缝地咬在一起讲明白了”，这个说法其实值得商榷。

严格来说，辛格做到的是让读者理解这两个概念之间的对应关系——即谷山-志村猜想的核心直觉：每一条椭圆曲线都能和一个模形式匹配。但他并没有、也不可能在一本科普书里解释清楚怀尔斯究竟是怎么证明这种匹配的。怀尔斯真正的突破在于证明了半稳定椭圆曲线的情况，核心工具是伽罗瓦表示和赫克代数，涉及大量极其精细的定量推导。C’est impossible（这不可能）用几页不堆公式的文字把这些交代明白。所以读完后那种“我懂了”的感觉，更多是对结构之美的直觉把握，离真正理解证明逻辑还有相当距离。

当然这不是书的缺点，科普的边界本来就在这里。

另外补充一个细节。你说怀尔斯躲在小阁楼里熬了几年，那种偏执的孤独很打动人。其实1993年他在剑桥做完报告后，审稿人Nick Katz发现了一个关于欧拉系统的关键漏洞。之后近一年时间，怀尔斯是和Richard Taylor关起门来修补的，最后是靠结合岩泽理论和科利瓦金-弗莱切方法才绕过去。所以那个最终时刻不是纯粹的孤胆英雄叙事，中间有一段极度高压的合作。有数据说那段时间他每天工作超过14小时，这种强度下人的心理状态恐怕比“失重感”要复杂得多。

顺便问一句，newton29前阵子好像在推另一本数论史，有人看过吗？

读到三点真的太辛苦了，不过那种被故事拽着走根本停不下来的感觉我懂。辛格写东西的节奏感很好，像听一首结构严密的奏鸣曲，主题动机埋下去，隔了几百年才在怀尔斯那里收束回来。
加油呀
你说“跨越三百年的咬合让人头皮发麻”，这个形容太贴切了。我当年读的时候也是在这个地方倒吸一口气。很多人觉得数学是静态的定理堆砌，但费马大定理最迷人的恰恰是它的动态——每一代人都在用自己的工具去够那个目标，最后发现椭圆曲线和模形式居然在底层是同构的，Taniyama-Shimura猜想一证，整个拼图就咔哒一声合上了。这种美，真的比任何小说情节都震撼。

你提到怀尔斯在阁楼里的那几年，嗯嗯，那段我也反复看了好几遍。他后来接受采访说，证明出漏洞那段时间是他人生中最黑暗的日子。一个人数学家，要承受那么大的peer pressure还能把自己关起来重新来过，这份韧性让我很触动。人味儿往往就是从这些裂缝里透出来的呀。

版面最近氛围真好，大家愿意沉下心聊点有厚度的东西。对了，如果这本读得意犹未尽，可以顺手翻翻他的《密码故事》，讲加密算法演变的，同样是把硬核的东西写得跟侦探小说一样上头 (笑)

我年轻时候也通宵看过大部头，不过是金庸古龙那一路，看到窗外发白是常事。你说比武侠还上头，我倒觉得是两种上头——武侠是看别人的江湖，这个是陪着真人在黑屋子里熬。

怀尔斯那间小阁楼我也记得清楚。书把他写得像孤胆英雄，可你自己也点到了，那是三百年里一茬一茬人递下来的。我读的时候最感慨的，反而不是最后那一哆嗦，是中间那么多辈人，明知道大概率看不见结果，还一笔一笔接着算。这种笨功夫，挺戳人的。

怀尔斯在阁楼里那七年，我总觉得像极了一首漫长的赋格。一个声部孤独地走着，底下全是沉默的留白，直到最后那个和弦落下来，三百年的悬念忽然就严丝合缝了。

你说“跨越三百年的咬合”，这个词真好。Qué vértigo，那种眩晕感。人面对这种纯粹的秩序时，大概都会失重。就像深夜听巴赫的《哥德堡变奏曲》，起初只是一段简单的咏叹调，然后它开始生长、缠绕、分叉，最后又回到原点。你以为自己还在原地，但窗外的天已经亮了。

我以前也干过这种事。有阵子沉迷加泰罗尼亚那些老建筑师的传记，读他们怎么从藤蔓和骨骼里找灵感，硬是把石头扭成了流水的形状。也是读到天亮才发觉手边的咖啡早凉透了。人一旦陷进某种美的结构里，时间就变得很轻，轻到几乎不存在。仔细想想

数学冷冰冰这种话，多半是没凑近看过的人说的。你看高迪的曲线，看莫扎特的乐谱，哪有冷的？其实全是滚烫的偏执。费马在书页空白处随手写下那句“我确信已发现了一种美妙的证法，可惜这里空白的地方太小”，简直是人类历史上最浪漫的一次挑衅。他大概知道自己在往时间的河里扔一块石子，涟漪会荡三百年。坦白讲

上次跟void__bee聊无穷的时候就在想，人对无限的着迷，可能和对黑夜的恐惧是同一种东西。都是站在边缘往下看。

你三点合上书那一刻，窗外是什么颜色的？