数学与物理
一、自然的语言
二、牛顿：为物理发明数学
牛顿力学的核心是微分方程：F = ma 把力与加速度联系起来，只要知道初始条件，物体的整个未来都被方程锁定。这种"决定论"的图景统治了科学两百年，也塑造了"数学能够预言自然"的现代信念。
后世数学家不断把牛顿力学打磨得更加抽象优美。1788 年，约瑟夫·拉格朗日（Joseph-Louis Lagrange，1736—1813 年）出版**《分析力学》，全书不用一张几何图——他在序言里自豪地声明"这本书里找不到任何图形”。1834 年哈密顿又提出最小作用量原理**，把力学归结为一条变分原理。这套纯粹数学化的表述，后来成为通往量子力学的桥梁。
三、麦克斯韦：四个方程的统一
1865 年，詹姆斯·克拉克·麦克斯韦（James Clerk Maxwell，1831—1879 年）用一组偏微分方程统一了电与磁。麦克斯韦方程组只有四个方程，却描述了全部电磁现象，还预言了电磁波的存在——他算出电磁波的速度恰好等于光速，由此断定光本身就是一种电磁波。
1887 年，海因里希·赫兹（Heinrich Hertz，1857—1894 年）在卡尔斯鲁厄的实验室里产生了电磁波，证实了麦克斯韦的预言。遗憾的是麦克斯韦已于八年前去世，没能看到无线电时代的来临。有人问赫兹这项发现有什么用处，他答：“毫无用处——这只是证明麦克斯韦大师正确的实验。“他不知道，从广播到手机，今天整个无线世界都建立在这四个方程之上。
四、爱因斯坦：数学先行
阿尔伯特·爱因斯坦（Albert Einstein，1879—1955 年）的广义相对论（1915 年）讲述了一个惊人的图景：引力不是一种力，而是时空弯曲的表现。写下这个理论所需的黎曼几何和张量分析，早在 1854 年就被黎曼准备好了——数学家先于物理学家六十年造好了工具，是爱因斯坦的大学同窗格罗斯曼把这套数学指给了他。
1919 年爱丁顿率队观测日全食，证实星光经过太阳附近时确实弯曲，爱因斯坦一夜之间成为世界级名人。当时有记者问爱丁顿：“听说全世界只有三个人懂相对论？“据说他沉吟片刻反问：“第三个人是谁？“此后，2015 年 LIGO 探测到引力波、2019 年事件视界望远镜拍到黑洞照片，广义相对论的预言在一个世纪之后仍在被逐一证实。
五、量子力学：概率的数学
量子力学的数学基础是线性代数与泛函分析：量子态是希尔伯特空间中的向量，物理量是算符，测量结果是概率。1926 年，埃尔温·薛定谔（Erwin Schrödinger，1887—1961 年）写下描述量子态演化的薛定谔方程；沃纳·海森堡（Werner Heisenberg，1901—1976 年）则给出了不确定性原理——位置与动量不能同时被精确测定。这条原理并非测量技术的局限，而是数学结构本身的铁律：两个算符不对易。
1928 年，保罗·狄拉克（Paul Dirac，1902—1984 年）写下电子的相对论性方程，方程预言了一种"反电子”——四年后安德森在宇宙射线中真的找到了正电子。数学方程先看见了粒子，实验随后才赶到。1932 年，约翰·冯·诺依曼（John von Neumann，1903—1957 年）出版《量子力学的数学基础》，用希尔伯特空间为整个理论立下公理——从诞生到公理化，量子力学只用了不到十年。物理学跑得越快，需要的数学就越抽象。
六、弦理论与未竟之梦
弦理论试图统一广义相对论与量子力学——它假设基本粒子不是点，而是振动的微小"弦”。为此物理学家动用了代数几何、拓扑学乃至数论中最艰深的部分，爱德华·威滕甚至因物理学研究获得了 1990 年的菲尔兹奖。
数学反哺物理的故事还有更惊险的。1954 年，杨振宁（1922 年生）与米尔斯提出规范场论，把麦克斯韦方程组推广到不可交换的对称群——这套数学起初被认为漂亮而无用，泡利甚至当面发难。二十年后，它成了粒子物理标准模型的骨架，电磁力、弱力、强力全部被装进同一个规范场的框架。
数学与物理的纠缠为何如此之深？1960 年，物理学家尤金·维格纳（Eugene Wigner，1902—1995 年）称之为”数学在自然科学中不合理的有效性"。这个谜至今没有答案——也许它本身就是宇宙留给我们的最深的一道数学题。