数学史：三次危机与一座大厦见色非色
巴比伦泥板到怀尔斯的阁楼，一座在地震中反复坍塌又重建的人类心智大厦
1796年3月30日，19岁的高斯在一夜之间解决了困扰数学家两千年的正十七边形问题。但他之所以能成功，不是因为他比阿基米德更聪明——而是因为他站在了一座经历过三次地基崩塌后重建的数学大厦之上。
本文以三次数学危机为主线，从泥板上的实用计算到哥德尔的不完备判决，讲述数学如何在确定性的幻灭中一次次重生。
引子：1796年的那个夜晚
第一章：泥板上的起点
第二章：万物皆数
第三章：灯塔
第四章：给我一个支点
第五章：沙漠中的保存者
第六章：我思故我在
第七章：已死量的幽灵
第八章：正十七边形之后
第九章：不同的无穷
第十章：理发师的困境
第十一章：不完备的判决
第十二章：358年的阁楼
尾声：发现还是发明？
1796年的那个夜晚
卡尔·弗里德里希·高斯（Carl Friedrich Gauss, 1777–1855）
1796年3月30日，德国哥廷根大学的一间学生宿舍里，19岁的卡尔·弗里德里希·高斯还没有睡。
桌上摊着导师布置的三道数学题。前两道他很快就做完了，第三道却让他握笔的手悬在半空。题目要求：用没有刻度的直尺和圆规，构造一个正十七边形。
这看起来只是一道普通的几何题。但高斯不知道的是，这道题已经困扰了数学家整整两千年。从阿基米德到牛顿，无数天才都曾在它面前折戟。古希腊人能用尺规做出正三角形、正方形、正五边形，甚至正十五边形，但正十七边形——十七，这个不起眼的质数——始终是一座无法逾越的高山。
高斯在桌前一坐就是一整夜。当黎明的光从窗户透进来时，他的稿纸上已经写满了密密麻麻的推导。他找到了。不是用几何直觉，而是把几何问题翻译成代数方程，借助复数单位根的理论，他证明了正十七边形是可以尺规作图的，并且给出了具体的作法。
据说高斯后来希望人们在他的墓碑上刻一个正十七边形。墓碑最终没有如愿刻上这个图形，但底座被修成了十七边形——后世的人用这种方式，纪念一个19岁青年在那个夜晚完成的壮举。
这个故事常常被当作"天才神话"来讲述。但如果只把它看作一个天才的偶然闪光，就错过了更重要的东西。高斯之所以能解决这个两千年难题，不是因为他比阿基米德更聪明，而是因为他站在了一个全新的数学地基上——代数与几何的结合、复数理论的成熟、对"可构造性"的代数化理解。这座地基不是一夜之间建成的。它经历了至少三次地基崩塌、三次重建。每一次崩塌，都曾让当时的数学家以为数学大厦即将倾覆；每一次重建，都让大厦比之前更高、更坚固，也更让人不安。
这就是数学史的真实面貌。它不是一条平滑上升的直线，而是一座在地震中反复坍塌又反复重建的大厦。
卡尔·弗里德里希·高斯
1777–1855
德国数学家、物理学家，被誉为「数学王子」。19岁时解决正十七边形尺规作图问题，奠定了现代数论的基础。
公元前2000年 – 公元5世纪
泥板上的起点
Plimpton 322 泥板（约公元前1800年），现存于哥伦比亚大学
在讲述那些地震之前，我们得先看看这座大厦的第一块砖是从哪里搬来的。
大约公元前2000年，美索不达米亚平原上的巴比伦人用一种楔形的文字，在湿润的泥板上记录下他们的计算。这些泥板被晒干或烘干，在地下沉睡了几千年，直到19世纪才被考古学家重新发掘出来。今天，我们在大英博物馆和卢浮宫还能看到它们——上面刻满了密密麻麻的楔形符号，记录着乘法表、平方表、立方表，以及一元二次方程的解法。
巴比伦人使用的是六十进制。为什么是六十？不是因为什么神秘的宇宙规律，而是因为六十是一个极其"好用"的数——它能被2、3、4、5、6整除，在做分数运算时特别方便。我们今天把一小时分成六十分钟、一分钟分成六十秒，把圆周分成三百六十度，都是这个古老传统的遗产。更有趣的是，巴比伦人已经掌握了位置制记数法的雏形——同一个符号在不同位置上代表不同的值。这是人类历史上最早的位置制记数系统之一，比印度的十进制位置制早了至少一千年。
泥板上还记录着一些让现代学生感到亲切的内容。比如一块名为"Plimpton 322"的泥板（大约公元前1800年），上面列着十五组数字，每一组都满足勾股定理的关系——也就是直角三角形三边的整数比。这十五组数字中，最大的一组对应着一个斜边长达12709的直角三角形。巴比伦人是怎么找到这些数字的？他们是否掌握了某种系统性的生成方法？这些问题至今仍有争议。但无论如何，这块泥板证明了一个事实：在毕达哥拉斯出生前一千年，有人已经在玩"勾股数"的游戏了。
与此同时，在尼罗河畔，埃及的书记官们也在用纸莎草纸记录他们的数学。现存的莫斯科纸草书（约公元前1850年）和莱茵德纸草书（约公元前1650年）中，记载了大量与土地测量、粮食分配、金字塔建造相关的实用问题。埃及人已经知道如何计算截头棱锥的体积——也就是金字塔被削去顶端后剩下的那部分。这个公式在纸草书上的表述方式非常具体："如果你被告知一个截头棱锥，高为6，下底边长为4，上底边长为2……"然后给出了计算步骤。没有证明，没有推导，只有"这样做，你就会得到正确答案"。
这种"怎么做"而非"为什么"的风格，是古代近东数学的普遍特征。数学在这里是一种工具，服务于祭司的历法计算、王室的税收征收、工程师的建筑设计。它还没有成为一种独立的精神活动。
在东方，中国的数学走的是另一条路。《九章算术》成书于东汉时期（约公元1世纪），是一本问题集式的数学著作，收录了246道与田亩测量、工程计算、赋税分摊、粮食交换相关的实际问题。三国时期的刘徽为《九章算术》作注，这是中国数学史上一个决定性的时刻——刘徽不满足于"怎么做"，他开始追问"为什么"。他发明了"割圆术"：在圆内不断作内接正多边形，让边数越来越多，多边形的面积就越来越接近圆的面积。从正六边形开始，割到正九十六边形，他算出圆周率约为3.1416。这个方法的精妙之处在于，它第一次在中国数学中引入了"极限"的思想——虽然刘徽本人并没有使用"极限"这个词。
南北朝时期的祖冲之把刘徽的方法推向了极致。他将圆周率精确到小数点后第七位——3.1415926到3.1415927之间。这个精度在当时的世界范围内是无与伦比的，直到一千年后才被阿拉伯数学家打破。祖冲之还发现了圆周率的两个近似分数：约率22/7和密率355/113。后者精确到小数点后六位，而且分子分母都只有三位数，堪称数学史上的神来之笔。
在印度，数学家们也在独立地发展着他们的数学传统。公元5世纪，阿耶波多提出了正弦函数的雏形；7世纪的婆罗摩笈多第一次系统讨论了零的运算法则——零乘以任何数等于零，零除以任何数等于零——并且明确承认了负数的存在。印度数学家还发明了我们现在使用的十进制位置制记数法，包括那个至关重要的符号：0。
这些古代文明——巴比伦、埃及、中国、印度——的数学传统彼此独立，风格各异，但它们有一个共同点：数学是实用的，是具体的，是依附于现实问题的。没有人问过"数学的本质是什么"，也没有人试图建立一个不依赖于具体事物的抽象体系。
第一个这样做的人，出现在爱琴海边。
公元前6世纪 · 希腊
毕达哥拉斯与勾股定理
第一次数学危机
希帕索斯证明√2不能表示为整数之比，摧毁了「万物皆数」的信仰。希腊数学从此走上几何优先的道路，整整两千年。
公元前6世纪，希腊的萨摩斯岛上，一个名叫毕达哥拉斯的人开始传播一种奇怪的学说。他说，宇宙的本质是数。不是比喻，不是修辞，而是字面意义上的——一切事物，从音乐的和声到天体的运行，从几何图形到道德秩序，都可以用整数或整数之比来表达。
毕达哥拉斯学派是一个带有宗教色彩的团体。成员们宣誓保密，所有发现都归功于学派领袖。他们相信，数是宇宙的灵魂，整数的和谐就是宇宙的和谐。据说毕达哥拉斯本人发现，当两根琴弦的长度之比是简单的整数比时——比如2:1、3:2、4:3——发出的声音就是和谐的。这个发现让他欣喜若狂：连音乐这种最"非理性"的艺术，背后都隐藏着数的规律，那还有什么不能用数来解释呢？
