8.4 KiB
信仰者族 · 数学家小传
"把数学当信仰的人——不为名不为利，只为真理本身"
高斯：锁在抽屉里的天才
人物档案
- 姓名：卡尔·弗里德里希·高斯（Carl Friedrich Gauss）
- 年代：1777-1855，德国
- 称号：数学王子
- MathBTI类型：定理工匠
小传
高斯3岁纠正父亲的工资账目，10岁秒算1到100——这些故事太著名了，以至于听起来像传说。但真正体现高斯钻研精神的，是他19岁那年做的一件事。
欧几里得以来两千年，没人能用尺规作出正十七边形。19岁的高斯坐在哥廷根大学的宿舍里，花了一整夜，证明了这个作图是可能的，并且给出了精确的作图方法。这不是"灵光一闪"的天才故事——他花了整整一夜，在纸上反复推演，一步一步逼近那个隐藏在圆背后的优雅结构。
他一生以此为傲。遗嘱里唯一的要求：在墓碑上刻正十七边形。后来工匠说"太难刻了，看起来跟圆没区别"，但没有这句话更准确了——高斯的钻研，外人根本看不出跟普通努力有什么区别。
他在微分几何中定义了高斯曲率，让曲面第一次有了可量化的"弯曲度"；他发明最小二乘法，让数据中的噪声第一次有了数学上的最优解；正态分布（高斯分布）至今仍是一切统计推断的起点。但他最震撼的事迹，是一件"没有发表"的事。
高斯的书信里藏着秘密：他大概在1817年就发现了非欧几何——一个完全不同于欧几里得的几何体系，在那里三角形内角和不等于180度，平行线会相交。但他一个字都没发表。理由是什么？他在给朋友的信里写道："我怕惊扰了那些蠢人的蜂巢。"
他怕被别人骂，于是他选择不发表。整整30年。
30年后，俄国人罗巴切夫斯基和匈牙利人鲍耶分别独立发表了非欧几何，成为"发现者"。高斯没有争辩，他的钻研从来不为"优先权"——他为的是自己心里那条完美的逻辑链条。
这就是定理工匠：他不出手则已，一出手就是一篇完美的证明。至于别人知不知道？那是别人的事。
祖冲之：用算筹对抗时间
人物档案
- 姓名：祖冲之
- 年代：429-500，中国南朝
- 称号：算不烂的守尺人
- MathBTI类型：穷竭守尺人
小传
南北朝是什么时代？战乱、分裂、人命如草。祖冲之在这样的时代里，坐在一盏油灯下，手边一堆小木棍——叫算筹——一根一根摆来摆去，一算就是大半辈子。
他要算什么？算一个数字：圆周率 π。
他把π算到了3.1415926到3.1415927之间。你可能会想：这有什么？现在计算机一秒钟能算几百万位。但你要知道，祖冲之用的是算筹——一种靠在地面上摆弄小棍来进行的计算方式。他没有计算器，没有纸笔（当时的纸又贵又粗），连像样的书桌都没有。他就蹲在地上，摆出几万根算筹，记录中间结果，错了重来——而且他永远不知道自己的答案是不是"对的"，因为没有人比他算得更准。
他算了多久？史书没写。但那个精度——3.1415926——一千一百多年后才被打破。
他还给出了密率 355/113。这个分数之美，令人窒息：分母113，分子355，恰好取自 113355 这六位数。一个简洁到不像手算时代的产物，欧洲人直到16世纪才重新发现它。
你以为他只是个算数书呆子？他同时也是一流的工程师和天文学家。他制定了《大明历》，测算出回归年仅差46秒；他改良了指南车——一种靠齿轮传动保持方向的机械装置，在战场上用来辨别方位。在他留下的文字里，天文、历法、数学、机械浑然一体——在那个时代，真正的钻研者不分文理。
他用算筹对抗时间。一千年后，世上还有人记得他算的那个数。这不是因为他比天才更天才——是因为他愿意花一辈子，把一件事算到最准。
欧拉：失明后，算得更快了
人物档案
- 姓名：莱昂哈德·欧拉（Leonhard Euler）
- 年代：1707-1783，瑞士/俄国
- 称号：数学史上的永动机
- MathBTI类型：公式狂僧
小传
数学史上最高产的人是谁？欧拉。886篇论文，死后留下的手稿还够出版50年。但这不是最惊人的。
28岁，右眼失明。59岁，双目全盲。欧拉说："视力没了，心里的数学更清楚了。"他不是在说漂亮话——失明之后，他的产出翻倍了。全部靠心算，口述，让助手誊写。
想象一下：一个盲人，在脑海里推演复杂的微积分、微分方程、无穷级数，不需要纸，不需要黑板，甚至不需要看到任何符号——整个推导过程在大脑中像流水一样流过。他的家人说，他常抱着刚出生的婴儿，腿上放着一沓稿纸，一边哄孩子一边口述定理。13个孩子，5个存活，家中的吵闹可想而知——但他算进去了。
他最著名的两个贡献，都有一个共同的特点：他根本没打算创造一个新学科。
柯尼斯堡有七座桥，当地的市民有一个奇怪的爱好——散步时能不能每座桥只走一次？欧拉听了这个问题，觉得很有趣。然后他没有画画——他发明了图论。他把桥变成线，把陆地变成点，把整个城市变成一幅图。他证明了这件事不可能做到，然后顺手定义了一个全新的数学领域。今天你用的导航、你刷的社交网络、你坐的高铁调度——底层都有图论的影子。
另一次，他写下了：e^(iπ) + 1 = 0。就这么短，但里面装了数学里最重要的五个常数——e、i、π、1、0。后人称之为"最美数学公式"。而他写下它的时候，不过是某一天推演到一半，随手记下来的。
还有一件事你可能每天都在享受欧拉的劳动成果：函数符号 f(x)、圆周率 π、自然常数 e、虚数单位 i、求和符号 ∑——这些沿用至今的数学记号，都是欧拉定的。不是因为他想"建立一套符号体系"，而是因为他写的论文太多了，不得不想出一套方便的简写。他顺手就定义了整个数学界的通用语言。
这就是公式狂僧：他不是因为"想赢"才写论文，而是因为停不下来。数学不是他的职业，是他的呼吸。
诺特：她不在乎
人物档案
- 姓名：埃米·诺特（Emmy Noether）
- 年代：1882-1935，德国
- 称号：抽象代数之母
- MathBTI类型：抽象代数宗师
小传
数学史上被否定最多次的人，大概就是诺特。
她是女人——在20世纪初的德国大学里，女性连旁听资格都没有。她靠自学考过了所有课程，终于被允许参加考试，获得了博士学位。然后呢？没有学校肯雇她。
她的父亲是数学教授，私下资助她在哥廷根大学"义务讲课"——没有头衔、没有薪酬、没有办公室。一教就是好几年。这期间她创立了"诺特学派"，学生自发挤满她的课堂，这些人后来统治了现代代数学。但学校依然不给薪水。
第二次否定来自世界。她研究的抽象代数，在当时的数学家看来"几乎不属于数学"——太抽象了，连符号都看不懂。有人嘲讽说："这跟数学有什么关系？她到底在研究什么？"
诺特不在乎。
她继续推演她的抽象结构，在黑板上写满没人能一眼看懂的公式。她的学生给她的绰号不是"诺特教授"（毕竟她连教授都不是），而是"der Noether"——一个亲昵又尊敬的称呼。
第三次否定在1915年之后被打破。当年她证明了诺特定理——物理学中每一种对称性，都对应一个守恒定律。能量守恒对应时间平移对称性，动量守恒对应空间平移对称性。这个定理是现代物理学的基石，没有它，杨振宁的规范场论无从出发。爱因斯坦亲自写信为她争取教职，称她为"自女性接受高等教育以来最杰出的数学天才"。
她最终拿到了教授职位——但四年后就因纳粹政策被驱逐。她去了美国，又在短短几年内培养了一批新的弟子，直到53岁因手术并发症去世。
被否定三次，她还是把最抽象的数学，讲得连门外汉都想入门。她的钻研不需要任何人来认证——因为数学永远站在她这边。