数学的真谛：超越自然现象的理性思考
【千问解读】
即便用桌子、椅子和啤酒杯来代替点、直线和平面，几何理论也必须行得通。
——戴维·希尔伯特
我们在自然数中可以讨论质数和因数分解，但是在实数中就不行。
正如我们从自然数过渡到负数或者复数时所发现的那样，曾经坚信的观点在更一般的结构中未必正确。
概念的推广固然有其优势，但是无论对于学生还是数学家来说，含义的变化都让人晕头转向。
即便像四元数中交换律失效这样，只有一个性质发生改变，也会产生无法预见的后果。
比如，我们看到了四元数多项式可以有无限多个根，但是无法根据交换律失效一眼看出这个结果。
这些长期的含义变化不仅为读者带来了麻烦，也随着概念的演进改变了数学家的信念。
随着数学的边界不断拓展，这种变化不仅存在于过去、发生在当下，也必将持续到未来。
古希腊人开始公式化地表述几何时，他们认为点、线和面比画在纸上或者沙地上的图形有着更深奥、更完美的含义。
对于古希腊人来说，点不仅仅是纸上的一个痕迹，它还表示了平面或者空间中的一个唯一的位置。
直线不只是沿着直尺画出的笔迹，它表示的是一条完美的直线，这种柏拉图式的存在超越了人类物理方法表述的极限。
圆也比圆规画出的曲线更加完美：它是一个没有大小的点在平面上和圆心保持固定距离移动的轨迹。
同理，我们可以数石头的个数，并且把它们按一定的规则摆放，来揭示一些理论结构，从而表示整数。
比如，如果你有一定数量的石头，我们有时候可以把它们摆成长方形阵列，有时候却不行。
这就形成了合数和质数的概念，最终引出了质数有无限多个，每个整数都能唯一地表示为质数之积这两个结果的形式化证明。
古希腊人的数学基于自然现象，但是又有着完美的柏拉图式性质，无法用物理方法模拟。
因为他们的数学源于对自然现象的观察，所以他们的数学是自然的。
但他们又会在想象的世界中寻求完美的理论基础，让他们超脱自然的限制。
接着他们开始思考更一般的数。
因为他们只能用几何来思考，所以他们先是把数想象为长度、面积和体积。
基于其他领域的经验（比如弦在长度二分之一、三分之一或者三分之二的地方振动可以产生和弦，而和弦是音乐理论的基础），他们把这些量和整数之比联系了起来。
但后来他们发现直角边均为单位长度的直角三角形的斜边不能这样表示，因此必须把它也纳入数学理论中。
后来的数学家引入新数系，不断拓展了这些概念。
每个数系中引入的新词汇其实都表现了人们对于新含义的担忧：正数和负数，有理数和无理数，实数和复数（以及后者的实部和虚部）。
加粗的词都有着负面含义。
每次扩张之后，新数系乍一看都更加抽象，和自然现象毫无瓜葛。
但是随着数学家对新数系的理解加深，他们发现可以把负数理解为扩张后的数轴上的点，把复数理解为平面上的点。
与此同时，熟悉的旧概念也变得和新概念一样扑朔迷离了。
等到数学家终于理解了复数之后，他们反而开始思考实数的本质了。
几何概念依然基于点和线：点位于线上，而线穿过点。
即便笛卡儿用一对数( xy, ) 把点表示在了平面上，古希腊人对于点和线的看法依然是几何思维的自然基础。
牛顿使用古希腊几何和符号代数构建了他的微积分思想，解释了重力和天体运动等自然现象。
莱布尼茨思考了无穷小量，并给出了一套强大的符号系统，用来表示微积分。
尽管逻辑基础饱受质疑，但这一系统还是经受住了时间的考验。
在他们之后的数学巨匠们则各自专注于不同领域。
欧拉利用幂级数和复数来代数式地运用符号，而柯西用几何方法解释无穷小量，把它们想象为直线上或者平面上任意小的可变量。
柯西的方法将实分析和复分析中的图像和符号方法相结合，取得了重大进展，但也招致了大量对其准确含义的批评。
这些批评的核心在于：无穷小量的含义没有得到完整解释。
他的方法更像是基于一种“它从前没有自相矛盾，所以现在一定也没有问题”的盲信。
欧拉当时发表的很多论文放到今天可能都无法通过，而柯西的无穷小量的概念后来被广泛批评。
19 世纪后半叶和 20 世纪初的时候，发生了从自然数学向形式化方法的转变。
数学家用集合论定义数学实体，并只靠数学证明来推导它们的性质。
据说，戴维·希尔伯特在一堂几何基础的讲座之后和同事们在柏林火车站休息，他当时说道：“即便用桌子、椅子和啤酒杯来代替点、直线和平面，几何理论也必须行得通。
”这句话的意义在于，数学不必只依赖于自然现象。
从此我们不再只关注对象是什么，而是关注它们的形式化定义的性质。
于是我们不再认为点标在线上，而是认为实轴是一个由点组成的集合。
“自然”数学感知到的是点在直线上平滑地移动，而形式数学把数重新解读为固定的实体，它们构成了实数这一集合。
在这段时期，新的思维方式不仅应用于自然现象，也应用到了用形式化陈述的性质所描述的系统中。
当时出现了大量不同的思维方法，各自侧重于不同的数学领域。
举例如下。
● 直觉主义：基于人类认知和构造方法的自然数学，其中构造必须由有限的运算序列完成，并且不允许使用反证法。
● 逻辑主义：数学基于形式逻辑，不依赖于任何自然直觉。
● 形式主义：数学具有一个形式化的集合论基础。
希尔伯特承认这个基础可能源于自然的直觉经验，但是它必须用集合论的定义和形式化证明来系统阐述。
因为数学家的关注点不同，所以后来数学也发展出了多种多样的领域。
应用数学家研究实际问题，并且构造数学模型来解决问题。
物理学家考察重力或磁力这样的自然现象，用牛顿力学或者爱因斯坦相对论的四维时空来构造数学模型。
他们认为宇宙起源于一次大爆炸，而大爆炸理论本身是一种宇宙扩张的数学模型。
他们思考原子的结构，构造亚原子粒子的模型，用复杂的实验来检验模型是否匹配现实世界。
气候学家构建长期天气变化的数学模型。
经济学家构建经济增长的数学模型，并基于它做出时而准确时而错误的预测。
如果模型不足以预测，那么就会寻找预测更精确的模型。
与此同时，纯数学家试图构建精密的理论，让它在明确的上下文中自洽。
数学家从任何吸引他们的现象中汲取灵感，寻找解决问题的规律和联系。
他们有时使用已有的理论解决问题，有时根据经验来提出新的可能性，有时则思考已有的理论来寻找新的定理，从而给出新的形式化定义并建立新的形式理论。
许多数学家会视情况混用这些方法，毕竟每个人对数学研究方法都有自己的偏好。
学生们在学习不同领域时，很可能遇到截然不同的方法。
读者应当冷静地看待它们，多样性自有其优势。
数学是艰深的：我们要尽可能地用上所有能想到的方法来思考。
你掌握的工具和方法越多，能创造的成果也就越多。
基于熟悉的图像和符号运算的自然方法更容易被人脑理解，但形式化地证明相关性质可以由形式化定义推导出来也是必要的。
你还可能发现从未想过的新可能性。
例如，复数把我们熟悉的小数扩展到了一个允许求 -1 的平方根的系统，而复数到四元数的扩张则得到了一个不满足乘法交换律、二次方程可以有无限多个根的系统。
形式化的方法为这些新概念打好地基提供了所必需的结构。
形式化方法关注从特定假设开始的逻辑推导的准确性，可以用来构造头脑中联系知识的基模。
赋予这些基模以图形和符号意义，让我们能从自然角度理解它们。
我们可以证明特定的结构定理来实现这一过程：这些定理证明一个已知的形式化结构有着可以形式推导的性质，这些性质可以把概念表示为图像或者符号，进而解决问题。
这使得数学能够用不同的方法发展：可以基于逻辑推导，也可以在形式证明的支持下，用图像或者符号运算来自然地思考形式系统。
上文转自图灵新知，节选自《基础数学讲义》，【遇见数学】已获转发许可。
推荐阅读
作者：[英] 伊恩·斯图尔特（Ian Stewart） [英] 戴维·托尔（David Tall）
译者：姜喆
一版再版，被美国大学广泛采用的经典参考书
在数学学习的道路上走向“成熟”，弥合中学与大学数学学习的差距
启发思维，拓展知识，有效引导，知识与方法深度结合
为高中生、低年级本科生和爱好数学的大众读者开启的一场妙趣横生的数学思维之旅
校友会2024和2025大学排名，结果大相迥异，前十名你能想得到吗？
全球排行前十大学
今天，就让我们一同走进 2025 年世界排名前十的大学，深入领略它们独特的魅力与风采！ 1. 麻省理工学院（MIT）—— 美国 多年来稳居榜首，实力强劲到令人惊叹！它的工程系简直就是王牌中的王牌，连续七届在竞争激烈的美国工科研究生课程评比中斩获冠军 电子工程专业更是声名远扬，在行业内拥有着极高的认可度。
机械工程专业同样表现出色，一点也不逊色。
此外，物理学、化学、经济学等学科领域也成绩斐然，斯隆商学院的 MBA 项目更是在全球范围内都享有盛誉，培养出了无数商业精英。
想要踏入这所顶尖学府的大门可不容易，新生托福成绩中位数达到 100 分，雅思成绩中位数为 7.0 分，SAT 阅读和数学部分平均分为 750 分，ACT 成绩平均分为 34 分，可见对申请者的成绩要求相当之高！ 2. 帝国理工学院 —— 英国 今年排名上升至第二位，在工程、科学、医学和商业等多个领域都有着十分突出的表现。
特别是在工程与技术领域，电子电气工程、化学工程等学科在世界上都名列前茅。
其 A - Level 成绩基础要求通常为 AAA - AAA，IB 成绩基础要求为总分不低于 38 - 42，相关 HL 学科成绩更是需要达到 6 - 7 ，如此高标准也彰显了它的卓越品质。
3. 牛津大学 —— 英国 位列第三，以其深厚的人文底蕴和自由开放的学术氛围闻名于世。
在人文社会科学、自然科学等多个领域，牛津大学都取得了卓越的成就，培养出了众多影响世界的杰出人才。
在入学要求方面，A - Level 成绩通常要求达到 AAA 或更高，部分专业可能还会要求特定科目达到 A*；IB 成绩通常要求 IB 总分达到 38 - 40 分，HL 科目成绩达到 7 或 6 ，严格的标准也保证了生源的高质量。
4. 哈佛大学 —— 美国 排名第四，作为世界顶尖学府，在法学、医学、商学等领域都处于世界领先的地位。
哈佛法学院是全球著名的法律教育和研究中心之一，培养出了无数法律界的精英；哈佛医学院及其附属教学医院在临床医学等多个领域都位居全球前列，为医学发展做出了巨大贡献；哈佛商学院更是商业领袖的摇篮，孕育出了无数商业传奇人物。
5. 剑桥大学 —— 英国 排名第五，在文学、历史、哲学、经济学、法学等人文社会科学领域拥有众多顶尖学者，他们的学术研究成果影响深远，在全球范围内都备受关注。
A - Level 成绩通常要求达到 AAA 或更高，IB 成绩通常要求 IB 总分达到 38 - 40 分，HL 科目成绩达到 7 或 6 ，严谨的学术氛围和高要求的入学标准，共同铸就了剑桥大学的辉煌。
6. 斯坦福大学 —— 美国 排名第六，作为美国西部的学术中心之一，在工程学、计算机科学等领域表现十分突出，与加州大学伯克利分校共同构成了强大的学术联盟。
这里的学术氛围浓厚，创新精神十足。
SAT 总分在 1450 - 1590 之间，ACT 均分范围在 31 - 35 之间，如此高的分数要求，也反映出了学校对学生学术能力的高期望。
7. 苏黎世联邦理工学院 —— 瑞士 排名第七，在地球与海洋科学、地质学、工程 - 土木和结构等众多学科在 2024 年世界 QS 大学学科排名中都位居世界前列。
学校要求申请者具备优异的学术成绩单，尤其是在数学、科学和工程相关课程中要有出色的表现，这也使得从这里毕业的学生都具备扎实的专业基础。
8. 新加坡国立大学 —— 新加坡 排名第八，作为亚洲领先的高等教育机构之一，在工程、生命科学、社会科学等多个领域都展现出了强大的实力。
学校注重国际化教育，为学生提供了广阔的发展空间和丰富的学习资源。
9. 伦敦大学学院 —— 英国 排名第九，药理毒理、放射学、教育与教育研究等多个学科在 2023 US News 学科排名前 50。
对于申请者的要求，985/211 学生均分 85 以上可以申请一些热门专业，而双非学生的要求则会更高，这也体现了学校对学生综合素质的重视。
10. 加州理工学院 —— 美国 排名第十，在科学和工程领域实力强劲，培养了众多顶尖人才。
学术成绩要求 GPA 成绩为 3.5+，实际申请中在读 GPA 达到 4.0 + 录取几率较大；SAT 录取均分为 1530 - 1580，ACT 录取均分为 35 - 36 ，高要求筛选出了一批又一批优秀的学生，也保证了学校的学术水平。
这十所世界名校，每一所都有着独一无二的学术氛围和优势学科，是无数学生心中梦寐以求的求学圣地。
你最向往哪一所大学呢 欢迎在评论区留言讨论，分享你的梦想与憧憬！
声明：本文内容仅代表作者个人观点，与本站立场无关。
如有内容侵犯您的合法权益，请及时与我们联系，我们将第一时间安排处理
