想象你要说服一个从不轻信的人：每句「显然」都会被追问「凭什么」。欧几里得的革命性想法是——先摊开几条谁都无法拒绝的公设（两点连一条直线、线段可任意延长……），此后每一个结论都必须从它们一步步逻辑推出。整部《几何原本》465 条命题，像一座只靠 5 条公设、5 条公理、23 个定义搭起来的大厦：每块砖都压在下面的砖上，追到底就是那几块地基。这不是「一本讲三角形的书」，而是人类第一次演示：如何从最少的假设，推出最多的确定知识。
五条公设中，前四条简短自明；第五条平行公设却啰嗦得多，其等价表述是：
这条「不太自明的公设」，正是两千年争议的火种。
无数人想用前四条证明第五条，全部失败。直到 19 世纪，Gauss、Bolyai、Lobachevsky 才醒悟：它根本不能被证明——否定它，会得到同样自洽的非欧几何（Day 10）。一条「证不出的公设」，最终孵出了弯曲空间，孵出了广义相对论。地基里一块看似松动的砖，撬开了一整个新宇宙。数学的严谨，第一次向人展示了它的想象力。
公理化方法是全部现代数学的操作系统：群、拓扑、概率（Kolmogorov 公理）都是「给几条公理，看能推出什么」。计算机的形式化验证（Coq、Lean）、程序正确性证明，正是欧几里得精神的机械化。连美国《独立宣言》那句「we hold these truths to be self-evident」，都在模仿《原本》的句法。
希腊人擅长几何图形，却把「解方程」当成一个个孤立的谜题。花拉子米（al-Khwārizmī）的飞跃是：与其为每道题耍小聪明，不如给出一套任何人照着做就能解的通用步骤。他著作里的 al-jabr（「移项还原」）成了 algebra（代数）这个词；他的名字拉丁化后成了 algorithm（算法）。代数的精神就此诞生——不管具体数字是几，只看运算的结构，用符号占位、按规则搬运。这是从「这道题的答案」到「这类题的方法」的惊人一跃。
解 $x^2 + bx = c$ 的配方法：把 $x^2+bx$ 想成一个边长 $x$ 的正方形，再贴上两条宽 $b/2$ 的长条；补上角落一个 $(b/2)^2$ 的小方块，就凑成一个完整的大正方形：
「配方」二字，字面就是把图形配成一个完整的方——几何直觉直接长出了代数公式。
花拉子米还没有今天的符号（他全用文字描述方程），但「抽象出一套可复用的程序」这一步，直接指向了一千年后的计算机。算法——有限、明确、机械可执行的步骤——是代数留给世界最深的观念。计算机科学的整座大厦，本质是花拉子米那句「照这些步骤做」的无穷放大。数学在这里第一次从「关于数」变成「关于方法」。
从解方程到 RSA 加密、从排序算法到神经网络训练，全都是「算法」。符号代数后来演化成布尔代数（Day 12 逻辑）与抽象代数（群、环、域，Day 20）。编译器把你的代码翻译成机器指令，做的正是花拉子米式的「按规则做符号变换」。你写的每一行程序，都在延续这条一千两百年前从巴格达出发的线索。
for 循环，你在多大程度上是花拉子米的继承人？「可执行的确定步骤」这个观念，为什么非要等到有了符号语言才真正起飞？在牛顿之前，数学基本是静态的——几何图形、代数方程，都不动。可世界偏偏在变化：行星在动、温度在变、人口在长。牛顿（与莱布尼茨独立地）造出了一套描述「连续变化」的语言：微积分。它把「求切线斜率」（变化率）与「求曲线下面积」（累积量）这两门八竿子打不着的手艺，证明成了互逆运算（微积分基本定理，Day 3）。一夜之间，运动、引力、流动第一次可以被精确地书写与预测。
基本定理把「求面积」变成「找反导数、代端点相减」：
而牛顿第二定律 $F=m\ddot{x}$ 本身是一个微分方程——用「此刻的力」锁定「整条未来轨迹」（Day 22）。
这是数学史上最著名的「同时独立发现」：牛顿 1666、莱布尼茨 1670 年代末，各自从不同动机（牛顿为物理，莱布尼茨为哲学与符号）抵达同一座山顶。随后的优先权之争撕裂英国与欧陆数学界近一个世纪——英国固守牛顿笨拙的点记号而停滞，欧陆用莱布尼茨优雅的 $dy/dx$ 一路狂奔。记号的好坏，竟能决定一个国家数学的兴衰——这是历史给「形式设计」上的一课。
微积分是整个物理学、工程学的母语。麦克斯韦方程、薛定谔方程、Navier–Stokes、Black–Scholes——现代科学几乎全部写成微分方程（Day 22）。而今天深度学习的反向传播，本质仍是莱布尼茨链式法则的大规模自动化：三百多年前一个符号约定，如今在每块 GPU 上每秒运行亿万次。
1900 年，巴黎国际数学家大会，38 岁的希尔伯特没有炫耀自己的成果，而做了件更大胆的事：列出他认为将定义 20 世纪的 23 个未解问题，等于给整个数学界画了一张寻宝地图。这是数学从「各自为战」走向「拥有共同纲领的现代学科」的象征时刻。他坚信数学没有不可知（ignorabimus），并留下名言——「我们必须知道，我们必将知道」（Wir müssen wissen. Wir werden wissen.）。
清单上的几颗明珠：
最戏剧性的反转在此：希尔伯特第 2 问要「证明数学自身无矛盾」，第 10 问要「找一个万能判定算法」——结果 1931 年 Gödel 不完备定理证明第 2 问的雄心不可能实现；1970 年 Matiyasevich 证明第 10 问的算法根本不存在。希尔伯特问出的问题，答案恰恰是「你想要的那种确定性并不存在」。追问确定性的边界，反而发现了边界本身。这份被自己的问题教会的谦卑，比任何一条定理都深。（这条线直通 Day 24：Gödel、图灵、丘奇。）
第 10 问的否定直接催生了可计算性理论：为了证明「没有算法」，图灵必须先精确定义「算法到底是什么」——于是有了图灵机，也就有了现代计算机的理论蓝图（Day 24）。黎曼猜想（第 8 问）仍悬赏百万美元，牵动素数分布与密码学（Day 6）。一份 1900 年的清单，至今仍在约束数学家把力气投向哪里。