科学史/数学史
MATH · 数学史
一条时间线,
算到 5000 年
从结绳计数的远古到 AlphaProof 攻克奥数,每一个让数字开口说话的瞬间都在这条线上——50 个关键节点,连成一部完整的数学编年史。欧几里得、笛卡尔、欧拉、高斯、哥德尔,自上而下滚动,穿越人类思考与计算的五千年。
古代数学
约前3000年 — 前500年从尼罗河与两河流域的丈量账册,到希腊人第一次为命题寻找证明;数学在算题与测地中萌芽,最终被泰勒斯与毕达哥拉斯改造成一门论证的学问。
📜莱因德纸草书
埃及抄写员阿姆士抄下 84 道题,记录单位分数与面积体积的算法。
🪢印度《绳法经》
祭坛营造的绳测技术里,写下了勾股关系最早的文字表述之一。
🥢中国算筹与十进制
以小棍纵横布筹,中国很早便用十进位值制完成四则与开方。
希腊化与古典时代
前500年 — 500年欧几里得把几何立成公理体系,阿基米德用穷竭法逼出积分的雏形;同一时期的中国,刘徽与祖冲之把圆周率推到世界之巅,东方与西方各自攀登。
❓丢番图《算术》
13 卷问题集专攻不定方程,「丢番图方程」由此得名。
🀄刘徽注《九章算术》
以割圆术逼近圆周率,「割之弥细,所失弥少」直通极限思想。
中世纪与东方
500年 — 1400年印度人发明了零,阿拉伯人把代数写成体系,中国人在高次方程上遥遥领先;这些智慧经由丝路与商队,最终汇入欧洲的算盘与账本。
代数与几何革命
1400年 — 1650年意大利人攻下三次与四次方程,韦达用字母炼成符号代数,笛卡尔把代数与几何缝合成一张坐标网——现代数学的引擎开始点火。
微积分世纪
1650年 — 1750年牛顿与莱布尼茨各自握住了变化的钥匙——微积分;欧拉随后登场,把这座新王国整理成壮丽的数学帝国。
严格化与抽象化
1750年 — 1900年高斯把数论建成大厦,非欧几何炸开「平行公设」的千年之锁;伽罗瓦与康托尔让数学转向结构本身——研究关系,而非数字。
基础危机与逻辑
1900年 — 1950年正当数学家以为大厦将成,罗素悖论与哥德尔不完备定理先后敲响警钟——数学的根基比想象中更深、也更险。
现代数学
1950年至今计算机闯进证明的行列,分形揭开自然的尺度;费马与庞加莱的百年难题相继告破,数学正与机器携手走向未知。
🎨四色定理
首个必须靠计算机完成的著名定理证明。
🌿曼德博:分形几何
「海岸线有多长?」——答案取决于你量到多细。
🖊️费马大定理得证
怀尔斯用七年孤军奋战,终结了 350 年的悬案。
🥧张益唐:孪生素数
从快餐店打零工到一夜震动数论界。
🤖AI 辅助数学证明
形式化验证与机器学习开始参与定理证明。