为了活着：数学的实用起源
数学的第一个身份是生存工具：数羊群、分粮食、量土地、算历法。尼罗河每年泛滥冲毁田界，古埃及人年年重测土地，几何学（geo+metry，本义「测地」）因此生长；两河流域的巴比伦人发展出成熟的六十进制（今天的 60 分钟、360° 都是遗产）；中国先秦的算筹与后来的《九章算术》，则是「解题手册」路线的巅峰——246 道实用题，方田、粟米、均输，全是民生。
这一阶段数学的形态是：跟着问题走，会算就行。「为什么这样算是对的」还不重要。
转折点：希腊人问出了「为什么」
公元前 600 年起，希腊人做了一件前无古人的事：不满足于「怎么算」，追问「凭什么」。泰勒斯证明了几何命题，毕达哥拉斯提出「万物皆数」，到欧几里得《几何原本》用公理体系收拢一切——数学从手艺变成了思想（这段故事详见第一窗的「公理化」）。
但「万物皆数」（指一切都能用整数和整数之比表达）很快遭遇了致命一击。这段「第一次数学危机」，值得单独讲：
毕达哥拉斯学派发现：边长为 1 的正方形，对角线长度无法写成任何整数之比（√2 是无理数）。这在他们的世界观里是「不该存在的数」。传说发现者希帕索斯被抛入大海。但数学最终选择了面对现实：接纳无理数，扩充数系。第一次危机的结局是——数学没有崩塌，反而长出了新的疆土。
同一时期，中国与印度继续在算法与代数上推进：祖冲之把圆周率精确到小数点后 7 位（领先世界约 800 年）；印度人发明了「0」和十进制位值记数法——今天全球通用的阿拉伯数字，其实是印度人的发明经阿拉伯世界传播而来。
大爆炸：代数、坐标与微积分
12 世纪起，阿拉伯世界的代数（al-jabr，「代数」一词的本源）传入欧洲；文艺复兴后欧洲数学爆发：
- 符号代数成型（16–17 世纪）韦达、笛卡尔把文字题变成 x 和 y（第二窗讲过符号化的威力），方程从此可以被「摆弄」。
- 解析几何（1637）笛卡尔发明坐标系，把几何与代数焊接成一体：图形是方程，方程是图形。这是「跨学科」的千古神来之笔。
- 微积分（1660s–1680s）牛顿与莱布尼茨各自独立发明微积分，人类第一次能精确处理「变化」：速度、面积、生长、积累。现代物理与工程的大厦全部建在它上面。
- 概率论诞生（1650s）帕斯卡和费马为赌徒分赌金的问题通信，意外开辟了「研究随机」的数学——今天 AI 的数学基础之一。
但微积分的早期版本有个软肋：它大量使用「无穷小」，而这东西一会儿当 0 用、一会儿不当 0 用，逻辑上说不清。哲学家贝克莱嘲讽它是「消失量的幽灵」。这埋下了第二次数学危机——直到 19 世纪，柯西、魏尔斯特拉斯等人用严格的极限理论重建地基，微积分才真正站稳。危机再次以「地基更牢固」收场。
追求确定性的巅峰与坍塌
19 世纪末，数学家们雄心勃勃：既然几何能公理化，那全部数学都应该公理化——把整座大厦建在无懈可击的逻辑上。希尔伯特在 1900 年提出了这个纲领，一时被视为数学的终极目标。
1931 年，25 岁的哥德尔证明了震惊世界的不完备定理：任何足够丰富的自洽数学系统里，必然存在「既不能证明、也不能证伪」的命题。第三次数学危机由此定调——不是数学错了，而是「数学能证明一切」这个梦想错了。确定性有边界，而这个边界本身是被严格证明的。这是人类思想史上最深刻的一次「自我认知」。
三次危机的剧本一模一样：旧世界观里出现「不该存在的东西」→ 争论与阵痛 → 接纳并扩容 → 数学更大更强。危机不是数学的失败，而是数学自我更新的方式——这个规律也值得每个人记在心里。
数学的当量：从图灵到 AI
20 世纪的数学深刻塑造了今天的世界，几条线索值得点名：
- 1936 · 图灵机图灵用纯粹的数学定义了「什么是可计算」，为计算机画出蓝图——你是用一台「数学定理的物化机器」在读这段文字。
- 1940s · 冯·诺依曼体系程序与数据同存于内存的现代计算机结构，出自一位数学家之手。
- 1960s–70s · 公钥密码数论这个「最没用的纯数学」突然成为全球网络安全的地基（详见姊妹站密码学的数学）。
- 2010s– · 深度学习线性代数、概率统计、最优化理论联手造出 AI。数学史再次证明：今天看似无用的抽象理论，可能是几十年后的技术引爆点。
五千年速览 · 时间线
- 前3000年计数与测地
埃及测地几何、巴比伦六十进制、中国算筹——数学作为生存工具。
- 前300年欧几里得《几何原本》
公理化方法确立，数学成为「证明的学科」。
- 前3世纪第一次数学危机余波
无理数被接纳；欧多克索斯发展比例论应对不可公度量。
- 约480年祖冲之算圆周率
精确到小数点后 7 位，领先世界约 800 年。
- 约600年印度发明「0」与位值制
十进制记数法经阿拉伯世界西传，成为全球通用记数系统。
- 825年花拉子米《代数学》
「代数（algebra）」与「算法（algorithm）」两个词都源自这里。
- 1637年解析几何 + 符号代数成熟
笛卡尔坐标系；几何与代数合体。
- 1687年牛顿《原理》发表
微积分武装物理学，科学革命进入加速期。
- 19世纪第二次危机消解
极限理论严格化；非欧几何诞生，公理从「真理」变为「约定」。
- 1931年哥德尔不完备定理
第三次危机：确定性有边界，边界本身被严格证明。
- 1936–45年图灵机与现代计算机
数学定义了「计算」，随后物化为改变世界的机器。
- 1976年至今数论上岗、AI 爆发
RSA 加密上线；线性代数与概率造出深度学习——数学史正在书写新章。
常见疑问
中国数学在世界数学史里是什么地位？
古代中国是「算法与实用」路线的高峰：《九章算术》的方程术、正负数运算、盈不足术都领先世界；祖冲之的圆周率、宋元时期的天元术与四元术成就斐然。明清后近代数学转型滞后，直到 20 世纪重新融入世界体系——陈省身、华罗庚、吴文俊等人的工作让中国数学重回前沿。
数学危机是不是说明数学不可靠？
恰恰相反。每次危机都经过最严酷的审视，最终让数学的地基更牢、疆域更广。数学的独特之处正在于：它敢于对自己的根基发起审判，并且总能给出严格结论。
读数学史对学数学有帮助吗？
帮助极大。概念按历史顺序「为什么被需要」来理解，比直接背定义容易十倍：先知道「人们为了分赌金发明概率」，再学概率公式，公式就变成了故事的主角。这也是本站三扇窗相互引用的原因——思想、方法、历史本来就是一件事的三个面。