BlockTempo 发布文章,整理并翻译 @thelichhh 对“真正的数学”的一组看法。文中提出,数学不是学校里常见的算术训练或按步骤解题,而是人类用来理解现实结构的一套深层工具。
文章开头写道,很多人对数学的挫败感,往往来自课堂、考试或教师评价留下的经验。作者将这种落差归结为一个替换过程:学校交给学生的,多是算术与程序;而“真正的数学”则更接近一种描述现实如何被构造的语言。只要看见其中一部分,世界就不再只是噪声,而会显出结构。
数学被描述为现实运行的语言
文章第一部分提出一个核心观点:抽象符号和规则体系,长期以来却能以极高准确度预测物理世界。文中举例说,一些原本并非为现实应用而写下的方程,后来被发现可以描述行星运动、电流流动,或群体增长。
这种现象频繁到足以让物理学家为它命名,即“数学那不合理的有效性”。文章认为,这意味着数学不只是人类贴在现实之上的记号,现实本身似乎就在与数学相同的逻辑中运行。按这一说法,学习数学并不是背一门科目,而是在阅读“万物如何行为”的原始代码。
在这一框架下,数学不再只是学科列表中的一项,而是物理、生物、金融、音乐,以及当下会“思考”的机器系统底层共同依赖的一层结构。
它处理的不是整齐图形,而是混乱中的规律
第二部分转向人们对现实世界的直观感受。文章指出,课堂上常见的圆、三角形、平滑曲线,并不能很好描述真正可以触摸到的事物。海岸线不是线,云不是球,山也不是圆锥,现实更粗糙、破碎,也更不规则。
但文中的重点不在于“现实是混乱的”,而在于这种粗糙并不等于无序。以锯齿状海岸线为例,它会在不同尺度上重复自身的样式,从卫星视角到一块石头,都能看到类似结构,而短小的公式可以抓住这种重复。作者据此延伸到更广的领域,认为结构常常藏在表面杂乱之中。
文章还提到,质数表面看似随机,却包含深刻规律;人群、市场、湍流这些对象看上去无序,也可能遵循可被写下的定律。所谓数学思维,在这里首先是一种视角变化:不再把事物只看作噪声,而是去找出噪声服从的规则。一旦找到规则,就有可能在肉眼难以判断的地方做出预测。
证明提供了“感觉正确”之外的确定性
第三部分聚焦于数学证明。文章把它与其他知识领域区分开来:科学结果会随着更好的实验被修正,而数学证明在性质上不同。一件事一旦被证明,就被定下来。
文中举的例子是,希腊人在 2000 多年前已经证明质数有无穷多个,此后的发现没有、也不会改变这一点。作者将这种恒久性视为人类知识中少见的特征。证明之所以成立,在于它由一连串紧密相扣的步骤构成,只要接受起始规则,就必须接受结论,中间没有腾挪空间。
按文章的说法,学习用证明来思考,会让人区分“感觉是真的”与“它就是成立”之间的差别。这会形成一种可迁移到其他领域的思维习惯:不先问自己是否相信,而是先问命题是否成立。在一个充满强烈断言的环境里,分辨严密论证与仅仅有说服力的论证,已经接近一种基本能力。
数学也处理无穷,而且不回避它
第四部分讨论无穷。文章认为,无穷会打碎日常直觉,而数学是少数能够稳定处理这一对象的工具。
文中提到,无穷不只有一种大小。用于计数的数字可以无限延伸,0 与 1 之间的小数也同样无穷无尽,但后者可以被证明“更大”。作者将这种结论写成一种起初难以接受、但一旦进入论证就自洽严密的结果。
文章接着把这一层逻辑与微积分联系起来,指出处理无穷大和无穷小的机制,正是微积分赖以成立的基础;而微积分又是描述变化的工具,可用于运动、增长、热、金钱,以及下落物体的轨迹。作者借此强调,数学面对的是人类直觉难以承载的对象,但它仍能为此建立精确工具。
它把不确定性变成可计算的对象
第五部分转向概率与信息。文章指出,现实中的大多数事情本来就不确定,而数学并不会假装这种不确定不存在。它更深的实用性,在于即使不知道接下来会发生什么,仍然可以清楚地推理。
文中称,概率为“机会”提供了精确结构,能够说明罕见事件应如何衡量、为什么人们对巧合的直觉经常出错,以及一项证据究竟应把信念推移多少。沿着同一条线索,文章还提到“信息本身可以被测量”这一观念。
按照原文说法,任何消息、任何信号、任何一段文字,都可以转化为 bit,而在一条带有噪声的通道中,存在一个关于可传输信息量的严格数学上限。文章认为,这一洞见支撑了电话、文件传输,以及生成语言模型。其结论是,不确定性不是靠猜测糊弄过去的理由,而是可以被赋值、被计算和被推理的量。
文章最后落到“重新拿回数学”
第六部分没有讨论考试成绩,而是讨论数学思维会给人带来什么。作者写道,重新拿回数学,核心不在于通过某种考核,而在于观察方式本身被升级。
文中认为,人会开始在过去只看见混乱的地方识别结构,比如一个趋势、一个风险,或自己工作里反复出现的形状;也会获得一种不容易被数字误导的防御能力。与此同时,一旦体验过证明所带来的确定性,严密论证与油滑论证就不会再显得相似。
文章最后写道,数学还是一种共同语言,物理、金融、音乐以及 AI 系统都在使用它,因此许多原本看似彼此无关的领域,会开始出现呼应。作者将这一点归结为一个需要被解除的旧信念:并不是“这东西从来不适合你”。

