数学

把数学界定为形式科学，核心在于它研究的是形式对象与形式结构——符号、公理、推理规则以及由它们定义的抽象结构，而不是自然界中可直接观测的实体；数学命题的真取决于它是否能从给定公理经合法推理导出，而不取决于经验检验。^{44Philosophy of Mathematicsplato.stanford.edu前往参考资料 ↓在新标签页中打开|55Formal scienceen.wikipedia.org前往参考资料 ↓在新标签页中打开}

《斯坦福哲学百科全书》「数学哲学」条目指出，数学的显著特征之一是其对象（数、集合、函数、空间）似乎是抽象的、非时空的，且数学真理若为真则似乎是必然的；围绕这些对象是否存在、以何种方式存在，形成了逻辑主义、形式主义、直觉主义、结构主义与柏拉图主义等不同纲领。^{44Philosophy of Mathematicsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

形式主义纲领的经典表述来自希尔伯特 1920 年代提出的「希尔伯特纲领」：把数学严格形式化为符号系统，再用有穷的、内容可靠的方法（元数学）证明该系统不会推出矛盾。^{44Philosophy of Mathematicsplato.stanford.edu前往参考资料 ↓在新标签页中打开|66Hilbert's Programplato.stanford.edu前往参考资料 ↓在新标签页中打开}

哥德尔 1931 年的不完备性定理表明：任何足够强（能表达初等算术）、一致且可有效公理化的形式系统，都存在在该系统内既不可证也不可证伪的命题；并且该系统不能在自身内部证明自己的一致性。这直接否定了希尔伯特纲领的原初目标。^{66Hilbert's Programplato.stanford.edu前往参考资料 ↓在新标签页中打开|77Gödel's Incompleteness Theoremsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

结构主义认为数学研究的不是个别对象本身，而是对象在结构中的位置与关系；例如自然数 3 的数学身份由它在自然数序列中的位置（后继关系）决定，而非由某个具体实体决定。这一观点在 20 世纪后半叶成为数学哲学的主流选项之一。^{44Philosophy of Mathematicsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

布尔巴基学派（1930 年代起，以尼古拉·布尔巴基为笔名的一群法国数学家）以「结构」为组织数学的核心概念，把数学对象按代数结构、序结构、拓扑结构三类母结构加以统一处理，其《数学原理》丛书对 20 世纪数学的表述方式产生了广泛影响。^{88Nicolas Bourbakien.wikipedia.org前往参考资料 ↓在新标签页中打开}

现代数学的通行基础是策梅洛–弗兰克尔集合论加选择公理（ZFC）：绝大多数数学对象可编码为集合，定理可由 ZFC 公理经一阶逻辑推出；但 ZFC 本身不能证明自身一致，且选择公理与连续统假设等命题在 ZFC 下不可判定。^{77Gödel's Incompleteness Theoremsplato.stanford.edu前往参考资料 ↓在新标签页中打开|99Set Theoryplato.stanford.edu前往参考资料 ↓在新标签页中打开}

连续统假设（不存在基数严格介于自然数集与实数集之间的集合）在 ZFC 下不可判定：哥德尔 1940 年证明它与 ZFC 相容，科恩 1963 年用力迫法证明其否定也与 ZFC 相容。^{99Set Theoryplato.stanford.edu前往参考资料 ↓在新标签页中打开}

把数学视为形式科学并不意味着数学与经验世界无关：数学概念常由物理直觉与经验问题触发（如微积分源于运动与几何问题），而形式化之后的数学结果又反过来被用于表述物理定律；「形式」与「应用」之间是双向的而非单向的。^{55Formal scienceen.wikipedia.org前往参考资料 ↓在新标签页中打开}

数学以数量关系与空间形式作为其研究对象，这是对数学学科内涵的一种经典概括。^{1111张恭庆主讲才斋讲堂第八十六讲：数学的价值news.pku.edu.cn前往参考资料 ↓在新标签页中打开}

数学中的「数」与「形」并非直接给定的实在之物：例如实数不是先天存在的实体，而是从有理数出发按一定方式定义的抽象元素，正是这种抽象定义构成了微积分与极限理论的基础。^{1111张恭庆主讲才斋讲堂第八十六讲：数学的价值news.pku.edu.cn前往参考资料 ↓在新标签页中打开}

在空间形式方面，非欧几何的出现表明，在传统空间观念之外的几何系统在逻辑上与欧氏公理具有同等的正确性；若把考察尺度放到宇宙空间，某些非欧几何反而更接近实际。^{1111张恭庆主讲才斋讲堂第八十六讲：数学的价值news.pku.edu.cn前往参考资料 ↓在新标签页中打开}

随着上述发现，数学研究的对象经历了从人类直接经验到悟性创造物的逐渐转变，黎曼流形、群、解析函数、拓扑结构、调和分析等都是这一转变中产生并发展的典型对象。^{1111张恭庆主讲才斋讲堂第八十六讲：数学的价值news.pku.edu.cn前往参考资料 ↓在新标签页中打开}

公理化方法不仅条理清晰地整合了存在内在联系的概念与理论，还使数学研究的对象成为在集合论基础上由抽象元素之间的「关系」和「运算法则」构成的「数学结构」。^{1111张恭庆主讲才斋讲堂第八十六讲：数学的价值news.pku.edu.cn前往参考资料 ↓在新标签页中打开}

数学建模是指用数学的语言和方法，通过抽象、简化把错综复杂的实际问题转化为合理的、可操作的数学结构，从而使数学理论和方法能够有效解决实际问题。^{1111张恭庆主讲才斋讲堂第八十六讲：数学的价值news.pku.edu.cn前往参考资料 ↓在新标签页中打开}

数值模拟与科学实验相辅相成，已成为人们探索规律、设计工程、检测产品与科学决策中不可缺少的手段。^{1111张恭庆主讲才斋讲堂第八十六讲：数学的价值news.pku.edu.cn前往参考资料 ↓在新标签页中打开}

创建一个好的数学模型，其意义不亚于证明一个深刻的定理。^{1111张恭庆主讲才斋讲堂第八十六讲：数学的价值news.pku.edu.cn前往参考资料 ↓在新标签页中打开}

数学是一门独特的语言，具有抽象、广泛而确切的表达方式，并作为工具服务于众多学科。^{1111张恭庆主讲才斋讲堂第八十六讲：数学的价值news.pku.edu.cn前往参考资料 ↓在新标签页中打开}

古埃及数学以纸草书为主要载体：莱因德纸草书（Rhind Papyrus，约公元前 1650 年抄成）与莫斯科纸草书（Moscow Papyrus）保存了大量算术、分数与几何问题，其中分数运算几乎只使用单位分数（分子为 1 的分数）。^{1212Egyptian Mathematicsmathshistory.st-andrews.ac.uk前往参考资料 ↓在新标签页中打开}

莱因德纸草书包含 84 道问题，其中给出了圆面积的近似算法，相当于取圆周率约为 3.16（即 (16/9)²），这是古埃及几何最著名的成果之一。^{1212Egyptian Mathematicsmathshistory.st-andrews.ac.uk前往参考资料 ↓在新标签页中打开}

古巴比伦数学以六十进制位值记数法为特征，泥板文书（如约公元前 1800 年的 YBC 7289）显示巴比伦人已掌握勾股数关系，并对 √2 给出了高精度近似值 1;24,51,10（六十进制），约合 1.41421296。^{1313Babylonian Mathematicsmathshistory.st-andrews.ac.uk前往参考资料 ↓在新标签页中打开}

欧几里得《几何原本》（约公元前 300 年）共 13 卷，以 5 条公设和 5 条公理为起点，用演绎方式推导出数百条命题，是公理化方法的奠基性文本，也是历史上流传最广的数学著作之一。^{1414Euclid's Elementsmathshistory.st-andrews.ac.uk前往参考资料 ↓在新标签页中打开}

阿基米德《方法论》（Method of Mechanical Theorems）一书仅存于一部 10 世纪的拜占庭抄本（即阿基米德重写本，Archimedes Palimpsest），该抄本在 20 世纪被重新发现并经多光谱成像读出，显示阿基米德已使用接近积分思想的力学启发式方法。^{1515The Archimedes Palimpsestarchimedespalimpsest.org前往参考资料 ↓在新标签页中打开}

古印度数学以《绳法经》（Śulba Sūtras，约公元前 800–200 年）为早期代表，其中给出了勾股定理的表述与祭坛几何构造；公元 5 世纪阿耶波多（Āryabhaṭa）的《阿耶波多历数书》系统使用了位值制与正弦函数表。^{1616Indian Mathematicsmathshistory.st-andrews.ac.uk前往参考资料 ↓在新标签页中打开}

婆罗摩笈多（Brahmagupta，598–668 年）在 628 年的《婆罗摩笈多历算书》中给出了零的运算规则与负数运算规则，并给出了二次方程的一般解法与婆罗摩笈多公式（圆内接四边形面积公式）。^{1616Indian Mathematicsmathshistory.st-andrews.ac.uk前往参考资料 ↓在新标签页中打开}

现代十进制位值记数法（含零符号）经由印度数学传入阿拉伯世界，再经花拉子米（al-Khwārizmī，约 780–850 年）等人的著作传入欧洲；「算法」（algorithm）一词即源于其名字的拉丁化形式 Algorismus。^{1717Arabic Mathematicsmathshistory.st-andrews.ac.uk前往参考资料 ↓在新标签页中打开}

花拉子米在约 820 年写成《还原与对消计算概要》（al-Kitāb al-mukhtaṣar fī ḥisāb al-jabr wa-l-muqābala），「代数」（algebra）一词即来自书名中的 al-jabr，该书系统讨论了线性与二次方程的解法，被视为代数学的奠基之作。^{1717Arabic Mathematicsmathshistory.st-andrews.ac.uk前往参考资料 ↓在新标签页中打开}

中世纪伊斯兰世界的数学在三角学、代数与天文计算方面有重要推进，如巴塔尼（al-Battānī）引入了正切与余切函数，纳西尔丁·图西（Naṣīr al-Dīn al-Ṭūsī）在 13 世纪将三角学发展为独立的学科。^{1717Arabic Mathematicsmathshistory.st-andrews.ac.uk前往参考资料 ↓在新标签页中打开}

近代数学通常以 17 世纪解析几何与微积分的创立为起点：笛卡尔在 1637 年《几何学》中把代数方程与几何曲线对应起来，牛顿与莱布尼茨在 17 世纪 60—80 年代各自独立发展出微积分的基本方法，使「变化率」与「累积量」成为可计算的对象。^{1818René Descartes, La Géométrie (1637)britannica.com前往参考资料 ↓在新标签页中打开|1919History of calculusbritannica.com前往参考资料 ↓在新标签页中打开}

18 世纪的分析学扩张以欧拉为枢纽：他系统引入函数记号 f(x)、自然对数底 e、虚数单位 i 与求和符号 Σ，并把微积分推广到无穷级数、微分方程与变分法，《无穷小分析引论》（1748）成为近代分析教科书的原型。^{1919History of calculusbritannica.com前往参考资料 ↓在新标签页中打开|2020Leonhard Eulerbritannica.com前往参考资料 ↓在新标签页中打开}

19 世纪数学的转折点是「严格化」：柯西在 1821 年《分析教程》中用极限而非无穷小来定义连续与导数，魏尔斯特拉斯随后给出 ε-δ 语言，把分析学从几何直觉与无穷小量的模糊用法中剥离出来。^{2020Leonhard Eulerbritannica.com前往参考资料 ↓在新标签页中打开|2121Augustin-Louis Cauchybritannica.com前往参考资料 ↓在新标签页中打开}

非欧几何的出现在 19 世纪二三十年代由高斯、鲍耶与罗巴切夫斯基分别触及，它表明欧几里得第五公设不能由其余公设推出，几何的真理性不再由「直观自明」保证，而取决于所选的公理系统。^{2121Augustin-Louis Cauchybritannica.com前往参考资料 ↓在新标签页中打开|2222Non-Euclidean geometrybritannica.com前往参考资料 ↓在新标签页中打开}

代数在 19 世纪从「解方程」转向「研究结构」：伽罗瓦在 1830 年前后用群论刻画多项式方程可用根式求解的条件，阿贝尔此前已证明五次及以上一般方程无根式解，这一线索最终导向抽象代数。^{2222Non-Euclidean geometrybritannica.com前往参考资料 ↓在新标签页中打开|2323Évariste Galoisbritannica.com前往参考资料 ↓在新标签页中打开}

19 世纪末，康托尔建立集合论与超限数理论，并证明实数集不可数；弗雷格与皮亚诺推进逻辑与算术公理化，数学的基础由此从几何直观转向集合与逻辑。^{2323Évariste Galoisbritannica.com前往参考资料 ↓在新标签页中打开|2424Set theorybritannica.com前往参考资料 ↓在新标签页中打开}

1900 年希尔伯特在巴黎国际数学家大会上提出 23 个问题，为 20 世纪数学设定了议程；其中连续统假设、算术公理的一致性等问题直接催生了数理逻辑与公理化方法的深化。^{2424Set theorybritannica.com前往参考资料 ↓在新标签页中打开|2525Hilbert's problemsbritannica.com前往参考资料 ↓在新标签页中打开}

1931 年哥德尔发表不完备性定理：任何包含初等算术、递归可枚举且一致的形式系统中，都存在既不能证明也不能否证的命题，且该系统不能在自身内部证明自己的一致性。这终结了希尔伯特纲领中「用有穷方法一次性证明全部数学一致性」的原初设想。^{2525Hilbert's problemsbritannica.com前往参考资料 ↓在新标签页中打开|77Gödel's Incompleteness Theoremsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

20 世纪数学的「抽象化—统一化」以布尔巴基学派为代表：1935 年起一批法国数学家以「结构」（代数结构、序结构、拓扑结构）为纲重写数学，推动了集合论、拓扑学与泛函分析的标准化表述。^{77Gödel's Incompleteness Theoremsplato.stanford.edu前往参考资料 ↓在新标签页中打开|2626Bourbakibritannica.com前往参考资料 ↓在新标签页中打开}

近代数学与物理的互动是双向的：黎曼几何为广义相对论提供语言，泛函分析与算子理论支撑量子力学，而杨-米尔斯理论等物理问题反过来推动了微分几何与拓扑学的发展。^{2626Bourbakibritannica.com前往参考资料 ↓在新标签页中打开|2727Mathematics and physicsbritannica.com前往参考资料 ↓在新标签页中打开}

20 世纪后半叶的近代数学呈现「问题驱动」与「理论统一」并行的格局：费马大定理于 1994 年由怀尔斯与泰勒完成证明，其证明依赖椭圆曲线与模形式之间的深层联系，被视为近代数论与代数几何交汇的标志性事件。^{2929Kepler conjecturebritannica.com前往参考资料 ↓在新标签页中打开|3030Fermat's last theorembritannica.com前往参考资料 ↓在新标签页中打开}

近代数学的学科建制化同步推进：19 世纪起德国哥廷根、法国巴黎高等师范与俄国数学学派成为研究中心，20 世纪后美国与苏联形成新的重心，国际数学家大会与菲尔兹奖成为学科共同体的核心制度。^{3030Fermat's last theorembritannica.com前往参考资料 ↓在新标签页中打开|3131International Mathematical Unionmathunion.org前往参考资料 ↓在新标签页中打开}

现代数学时期通常被界定为20世纪40年代至今；与变量数学时期相比，这一时期数学研究的对象从具体的数与量、一维至三维空间的几何形象，扩展为最一般的数量关系与空间形式，数与量只被视为其极特殊的情形。^{3333[科普中国]-系统化证明方法- · 科普中国网kepuchina.cn前往参考资料 ↓在新标签页中打开}

抽象代数、拓扑学与泛函分析被普遍视为现代数学科学的主体部分，它们既是大学数学专业的核心课程，非数学专业也需具备其中某些知识；与此同时，变量数学时期兴起的许多学科继续发展，内容与方法不断充实、扩大和深入。^{3333[科普中国]-系统化证明方法- · 科普中国网kepuchina.cn前往参考资料 ↓在新标签页中打开}

现代数学的起点可追溯到19世纪前半叶的两项革命性发现：约1826年罗巴切夫斯基与波尔约（材料中译作“里耶”）提出非欧几何，改变了欧氏几何唯一性的天经地义观念；1843年哈密顿发现乘法交换律不成立的四元数代数，打开了近代代数的大门。^{3333[科普中国]-系统化证明方法- · 科普中国网kepuchina.cn前往参考资料 ↓在新标签页中打开}

1854年黎曼推广了空间概念，开创黎曼几何学；非欧几何的发现还促进了对公理方法本身的深入探讨，包括公理的完全性、相容性与独立性等问题，希尔伯特于1899年对此作出重大贡献。^{3333[科普中国]-系统化证明方法- · 科普中国网kepuchina.cn前往参考资料 ↓在新标签页中打开}

代数几何的踪迹可追溯到公元前，17世纪笛卡尔建立的解析几何可视为其先声；把一组多项式方程的零点集作为一个整体来看待，就得到称为“簇”的几何空间，研究簇的数学分支即代数几何，它是现代数学中一个庞大深刻又极富活力的分支。^{3232基础数学的一些特点、思想和发展old2022.bulletin.cas.cn前往参考资料 ↓在新标签页中打开}

现代数学分支繁多，各部分之间的融合与交叉日趋深入；代数几何、数论、表示理论、动力系统、偏微分方程、几何分析、调和分析、微分几何、复几何、拓扑、组合、数学物理等是其中较为活跃的方向。^{3232基础数学的一些特点、思想和发展old2022.bulletin.cas.cn前往参考资料 ↓在新标签页中打开}

基础数学大致可分为代数（含数论）、几何、分析（基于微积分的数学）三部分，但国际数学家大会的报告目录及其分组显示现代数学的分支远多于此，这一三分法只是粗略的框架。^{3232基础数学的一些特点、思想和发展old2022.bulletin.cas.cn前往参考资料 ↓在新标签页中打开}

数学是研究数与形、也研究结构的科学；逻辑支撑着数学的大厦，而其本身也是数学研究的对象，并与计算机科学密切相关——这一自我指涉的特征在现代数学中尤为突出。^{3232基础数学的一些特点、思想和发展old2022.bulletin.cas.cn前往参考资料 ↓在新标签页中打开}

从数学基础史的角度看，巴比伦与埃及数学侧重算术与显式计算，希腊数学则转向几何并日益依赖形式演绎来确立结论；欧几里得约公元前330年的几何工作从10条公理（5条“公设”与5条“公理”）出发推导出465条定理，这一公理化范式成为后世数学的样板。^{3434Historical Notes from Stephen Wolfram's A New Kind of Sciencewolframscience.com前往参考资料 ↓在新标签页中打开}

代数学是数学最主要的组成部分之一，也是人们最早接触到的数学形态：从学数数开始，最先接触的就是代数式的运算与数的规律。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开|3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

在通行的学科分类体系中，代数学被列为数学的一级分支，其下涵盖线性代数、群论、域论、李群、李代数、Kac-Moody 代数、环论、模论、格论、泛代数理论、范畴论、同调代数、代数 K 理论、微分代数、代数编码理论等子学科。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开|3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

代数几何学在上述分类中被单列为与代数学并列的数学分支，而不是代数学的子学科；这体现了现代数学中代数方法与几何对象深度交织后形成的独立领域地位。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开|3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

16 世纪文艺复兴时期，笛卡尔创立解析几何，把此前长期分离的代数与几何联系起来，从此可以用计算证明几何定理，也可以用图形直观表示抽象的代数方程。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开|3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

代数方法向其它分支渗透的典型例子是数论：按研究方法划分，数论可分为初等数论、解析数论、代数数论和几何数论，其中代数数论即是用代数工具研究数论问题的方向。^{3737全屏显示 专题 章节mooc1.chaoxing.com前往参考资料 ↓在新标签页中打开}

几何学与代数学同为数学的基础性分支，但几何学在两千多年前就已形成严密体系，是最古老、成熟最早的数学分支之一；代数作为独立学科的系统化则晚于几何。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开|3737全屏显示 专题 章节mooc1.chaoxing.com前往参考资料 ↓在新标签页中打开}

几何学是数学中最早被人们研究的分支之一；在数学的学科分类体系中，几何学与代数几何学、拓扑学并列为独立的一级分支，其下再分为几何学基础、欧氏几何学、非欧几何学（含黎曼几何学）、球面几何学、向量和张量分析、仿射几何学、射影几何学、微分几何学、分数维几何、计算几何学等子学科。^{3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开|3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

16世纪文艺复兴时期，笛卡尔创立了解析几何，把此前彼此分离的代数学与几何学联系起来：此后既可以用计算来证明几何定理，也可以用图形直观表示抽象的代数方程；解析几何之后又发展出更为精细的微积分。^{3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开|3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

在几何学的分类中，非欧几何学被列为与欧氏几何学并列的子学科，黎曼几何学被归入非欧几何学之下；球面几何学则单列为一门子学科。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

拓扑学在学科分类中与几何学分开单列，其下包括点集拓扑学、代数拓扑学、同伦论、低维拓扑学、同调论、维数论、纤维丛论、几何拓扑学、奇点理论、微分拓扑学等；其中「几何拓扑学」这一名称本身说明几何与拓扑两个分支存在交叉地带。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

代数几何学在分类体系中是与几何学、代数学并列的独立一级分支，而不是几何学下的子学科；这体现了「用代数方法研究几何对象」这一方向在学科建制上的独立地位。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

分析（analysis）在数学分支体系中通常指以极限、连续、微分与积分为核心内容的一大类学科；在中国国家标准的学科分类里，「数学分析」被列为数学的一个二级分支，其下包括微分学、积分学与级数论。^{3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

数学分析的方法论起点是无穷小与极限：它把初等数学中静态的量与图形关系，转化为随变量趋近某值时的动态过程来研究，因而能够处理瞬时变化率（导数）与累积量（积分）这两类初等代数与几何无法直接刻画的问题。^{3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

微积分作为分析的核心内容，其系统化与解析几何的出现密切相关：材料指出，16世纪文艺复兴时期笛卡尔创立解析几何，把当时彼此分离的代数学与几何学联系起来，其后更发展出「更加精微的微积分」。^{3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

在学科分类上，分析并不等同于「数学分析」一门课：函数论（实变函数论、单复变函数论、多复变函数论）在分类表中与数学分析并列，同属分析大类下的分支学科。^{3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

非标准分析在分类表中被单列为数学的一个分支，与数学分析并列；它以严格方式重建无穷小量的使用，是分析内部方法论分歧的制度化产物。^{3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

分析与其他数学分支高度交叉：分类表中代数几何学、拓扑学、几何学等分支与数学分析并列，而分析的工具（极限、级数、微分方程）又被广泛用于几何、数论与概率等方向，因此「分析」的边界更多取决于方法而非对象。^{3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

数论是研究整数性质的一门数学分支，在数学学科分类中通常被列为与代数学、几何学、拓扑学、数学分析等并列的一级分支。^{3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开|3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开|3838走进科学院，感受数学之美！kepu.net.cn前往参考资料 ↓在新标签页中打开}

按研究方法划分，数论通常被分为初等数论、解析数论、代数数论和几何数论四个部分；其中初等数论不借助其他数学学科的工具，只依靠初等方法来研究整数性质。^{3838走进科学院，感受数学之美！kepu.net.cn前往参考资料 ↓在新标签页中打开}

中国剩余定理是初等数论中的重要内容，属于中国古代数学的代表性成果之一。^{3838走进科学院，感受数学之美！kepu.net.cn前往参考资料 ↓在新标签页中打开}

在更细的学科分类体系中，数论之下还列出超越数论、丢番图逼近、数的几何、概率数论、计算数论等子方向。^{3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开|3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

数论长期以来处于纯理论研究状态，高度抽象，对数学理论发展起到积极作用，但其实际意义对大多数人而言并不直观。^{3838走进科学院，感受数学之美！kepu.net.cn前往参考资料 ↓在新标签页中打开}

数论作为独立学科的形成较晚：直到19世纪，关于整数性质的研究成果还只是孤立地记载于各时期的算术著作中，尚未形成完整统一的学科。^{3838走进科学院，感受数学之美！kepu.net.cn前往参考资料 ↓在新标签页中打开}

古希腊时代的数学家已对整除性问题进行系统研究，并提出质数、合数、约数、倍数等一系列概念。^{3838走进科学院，感受数学之美！kepu.net.cn前往参考资料 ↓在新标签页中打开}

数论与代数学关系密切：数学作为研究“数”的学科，代数学是其最重要的组成部分之一，而数论则专门聚焦整数性质，两者在研究对象上相邻但方法取向不同。^{3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开|3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开|3838走进科学院，感受数学之美！kepu.net.cn前往参考资料 ↓在新标签页中打开}

概率论是研究随机现象数量规律的数学分支，其公理化基础由柯尔莫哥洛夫（Andrey Kolmogorov）于1933年在《概率论基础》中给出：以样本空间、事件域（σ-代数）与概率测度三元组定义概率空间，并要求概率满足非负性、规范性（全空间概率为1）与可列可加性三条公理。这一公理化使概率论从对“等可能”的直观讨论转为测度论框架下的严格数学对象。^{3939Andrey Kolmogorov, Grundbegriffe der Wahrscheinlichkeitsrechnung (Foundations of the Theory of Probability)link.springer.com前往参考资料 ↓在新标签页中打开}

在柯尔莫哥洛夫公理体系中，条件概率 P(A|B) 在 P(B)>0 时定义为 P(A∩B)/P(B)；由此推出贝叶斯公式 P(A|B)=P(B|A)P(A)/P(B)，它是贝叶斯统计与大量机器学习方法（如朴素贝叶斯分类器、贝叶斯网络）的形式基础。^{3939Andrey Kolmogorov, Grundbegriffe der Wahrscheinlichkeitsrechnung (Foundations of the Theory of Probability)link.springer.com前往参考资料 ↓在新标签页中打开|4040Bayes' theorem — Encyclopedia of Mathematicsencyclopediaofmath.org前往参考资料 ↓在新标签页中打开}

随机变量是定义在样本空间上的可测函数，其分布由累积分布函数（CDF）刻画；当分布存在密度时，CDF 是密度的积分。大数定律与中心极限定理是概率论的两组核心极限定理：前者断言独立同分布样本均值依概率（或在更强条件下几乎必然）收敛到期望，后者断言标准化后的样本均值在有限方差条件下依分布收敛到标准正态分布。^{3939Andrey Kolmogorov, Grundbegriffe der Wahrscheinlichkeitsrechnung (Foundations of the Theory of Probability)link.springer.com前往参考资料 ↓在新标签页中打开|4141Law of large numbers — Encyclopedia of Mathematicsencyclopediaofmath.org前往参考资料 ↓在新标签页中打开}

数理统计以概率论为基础，研究如何从样本推断总体，其经典框架由费希尔（R. A. Fisher）、奈曼（Jerzy Neyman）与皮尔逊（Egon Pearson）等人在20世纪上半叶奠定，核心内容包括点估计（矩估计、最大似然估计）、区间估计与假设检验。奈曼–皮尔逊引理给出了在给定显著性水平下功效最大的检验形式，是假设检验理论的基石。^{4242R. A. Fisher, On the Mathematical Foundations of Theoretical Statisticsroyalsocietypublishing.org前往参考资料 ↓在新标签页中打开|4343Mathematical statistics — Encyclopedia of Mathematicsencyclopediaofmath.org前往参考资料 ↓在新标签页中打开}

最大似然估计（MLE）由费希尔在1912—1922年间系统提出并论证其渐近性质：在正则条件下，MLE 相合且渐近正态，渐近方差达到克拉美–罗下界，即渐近有效。这一性质使 MLE 成为统计推断中最常用的估计方法之一。^{4242R. A. Fisher, On the Mathematical Foundations of Theoretical Statisticsroyalsocietypublishing.org前往参考资料 ↓在新标签页中打开|4444Maximum-likelihood method — Encyclopedia of Mathematicsencyclopediaofmath.org前往参考资料 ↓在新标签页中打开}

随机过程是概率论的重要延伸，研究随时间（或指标集）演化的随机变量族。布朗运动（维纳过程）由维纳于1923年给出严格构造，是连续时间随机过程的核心对象；马尔可夫链、泊松过程与鞅论构成随机过程理论的基础板块，并在排队论、金融数学与统计物理中有广泛应用。^{4545Norbert Wiener, Differential Spaceonlinelibrary.wiley.com前往参考资料 ↓在新标签页中打开|4646Stochastic process — Encyclopedia of Mathematicsencyclopediaofmath.org前往参考资料 ↓在新标签页中打开}

随机微分方程（SDE）由伊藤清（Kiyosi Itô）在1940年代建立伊藤积分与伊藤公式后获得严格数学基础；布莱克–斯科尔斯–默顿期权定价模型（1973年）即建立在几何布朗运动与伊藤微积分之上，是随机分析进入金融实务的标志性成果。^{4747Kiyosi Itô, Stochastic Integralprojecteuclid.org前往参考资料 ↓在新标签页中打开|4848Fischer Black and Myron Scholes, The Pricing of Options and Corporate Liabilitiesjournals.uchicago.edu前往参考资料 ↓在新标签页中打开}

概率统计为现代机器学习提供了核心语言：监督学习被形式化为在未知数据分布上最小化期望风险，泛化误差分析依赖集中不等式（如霍夫丁不等式、VC维与Rademacher复杂度）；Transformer等大模型的训练目标（交叉熵、最大似然）与评估（置信区间、假设检验）同样根植于统计推断。^{5353Shai Shalev-Shwartz and Shai Ben-David, Understanding Machine Learning: From Theory to Algorithmscambridge.org前往参考资料 ↓在新标签页中打开|5454Christopher M. Bishop, Pattern Recognition and Machine Learninglink.springer.com前往参考资料 ↓在新标签页中打开}

概率论与数理统计的主要子方向可大致列举为：概率极限理论（大数定律、中心极限定理、重对数律）、随机过程（马尔可夫过程、鞅、布朗运动与扩散过程）、随机分析（伊藤积分、随机微分方程）、数理统计（估计理论、假设检验、线性模型与回归）、多元统计与降维、非参数统计、时间序列分析、试验设计与抽样调查、贝叶斯统计与计算统计（MCMC、变分推断）等。^{4141Law of large numbers — Encyclopedia of Mathematicsencyclopediaofmath.org前往参考资料 ↓在新标签页中打开|4343Mathematical statistics — Encyclopedia of Mathematicsencyclopediaofmath.org前往参考资料 ↓在新标签页中打开|4646Stochastic process — Encyclopedia of Mathematicsencyclopediaofmath.org前往参考资料 ↓在新标签页中打开}

在数学分支的学科分类体系中，「数理逻辑与数学基础」通常被列为独立的一级分支，其下涵盖演绎逻辑学（亦称符号逻辑学）、证明论（亦称元数学）、递归论、模型论、公理集合论与数学基础等子学科。^{3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开|3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

逻辑与集合论在数学中的位置常被描述为「数学基础」：它们被发展出来，是为了弄清楚数学的基础，并探索由数学核心至其他领域之间的连结。^{3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开|3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

德国数学家康托尔（1845—1918）首创集合论，大胆地向「无穷大」进军，为的是给数学各分支提供一个坚实的基础；集合论本身内容也相当丰富，提出了实无穷的思想。^{3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开|3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

在数理逻辑的诸子学科中，证明论亦称元数学，与递归论、模型论、公理集合论并列，构成逻辑与集合论这一分支的核心组成部分。^{3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开|3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

公理系统是公理化方法的核心载体：它从一个不加证明而直接接受的前提集合（公理）出发，按照事先规定的推理规则逐步推出定理，从而把一门数学理论组织成一个有层次的陈述体系。^{3333[科普中国]-系统化证明方法- · 科普中国网kepuchina.cn前往参考资料 ↓在新标签页中打开}

按证明机制的不同，证明系统大致可分为基于公理的系统与基于规则的系统两类：前者以公理为前提进行推演，并带有句法层面的要求，通常称为形式公理系统（形式系统），也称“希尔伯特风格”的证明系统；后者仅依靠句法规则进行转换，即自然演绎系统，也称“根岑风格”的证明系统。^{3333[科普中国]-系统化证明方法- · 科普中国网kepuchina.cn前往参考资料 ↓在新标签页中打开}

自然演绎系统可以没有公理、只有推理规则，这与以公理为出发点的形式系统形成对照；两者的核心区别正在于“以公理作前提”还是“以规则作语法转换”。^{3333[科普中国]-系统化证明方法- · 科普中国网kepuchina.cn前往参考资料 ↓在新标签页中打开}

系统化的数学证明可追溯到古希腊：现有资料显示，最早进行公理化证明实践的是泰勒斯，他给出了几何证明，其证明后来被欧几里得多次引用。^{3333[科普中国]-系统化证明方法- · 科普中国网kepuchina.cn前往参考资料 ↓在新标签页中打开}

亚里士多德的三段论体系被视为最早的自然演绎系统兼形式系统：他不仅给出三段论推理形式，还给出用规则推导出有效三段论的方法；同时，以第一格第一式（Barbara）为出发点推导其他格的三段论，相当于把该式当作形式系统的公理来使用。^{3333[科普中国]-系统化证明方法- · 科普中国网kepuchina.cn前往参考资料 ↓在新标签页中打开}

欧几里得的公理系统较早且较为完善地提供了公理化数学证明的范例，其影响巨大：后来的希尔伯特几何学、罗巴切夫斯基几何学、黎曼几何学都构建了各自的公理系统。^{3333[科普中国]-系统化证明方法- · 科普中国网kepuchina.cn前往参考资料 ↓在新标签页中打开}

欧几里得展示的“科学作为陈述体系”的逻辑图景越出了数学：牛顿的《自然哲学的数学原理》即借鉴欧几里得公理系统的结构与写法，命题逐次、累积地加以证明。^{3333[科普中国]-系统化证明方法- · 科普中国网kepuchina.cn前往参考资料 ↓在新标签页中打开}

在现代，弗雷格与罗素已建立形式化的逻辑演算体系，在此背景下希尔伯特提出数学公理化的倡议，使公理化成为数学的重要目标，公理化方法也由此成为数学的一项基本方法。^{3333[科普中国]-系统化证明方法- · 科普中国网kepuchina.cn前往参考资料 ↓在新标签页中打开}

数学证明是以一些真实性已确定的命题（基本概念与公理）为前提，通过合乎逻辑的推理来确定某一命题真实性的思维形式；按《辞海》的解释，证明由论题、论据、论证三部分组成，其逻辑依据是充足理由律。^{5555无标题文档oss.ouchn.cn前往参考资料 ↓在新标签页中打开}

数学史通常把演绎证明的开端追溯到公元前6世纪的古希腊哲学家泰勒斯（Thales），据史料记载他首先发现并证明了对顶角相等、等腰三角形两底角相等等命题，但具体证明过程并未流传下来。^{3333[科普中国]-系统化证明方法- · 科普中国网kepuchina.cn前往参考资料 ↓在新标签页中打开|5555无标题文档oss.ouchn.cn前往参考资料 ↓在新标签页中打开}

欧几里得在公元前4世纪把几何整理成演绎的公理化体系《几何原本》，从一个最直观的基本事实（公理或公设）出发经严格演绎推理得到相关结论，由此奠定了数学证明的模式，并在两千多年中成为经典。^{3333[科普中国]-系统化证明方法- · 科普中国网kepuchina.cn前往参考资料 ↓在新标签页中打开|5555无标题文档oss.ouchn.cn前往参考资料 ↓在新标签页中打开}

按证明系统的构造方式，系统化证明方法大致可分为基于公理系统和基于规则系统两类：基于公理进行推理推演并具有句法要求的形式公理系统（形式系统）通常称为“希尔伯特风格”的证明系统；仅基于句法规则进行转换的自然演绎系统通常称为“根岑风格”的证明系统，其核心区别在于前者以公理作为前提来证明命题，后者以规则通过语法形式转换来证明命题，可以没有公理、只有规则。^{3333[科普中国]-系统化证明方法- · 科普中国网kepuchina.cn前往参考资料 ↓在新标签页中打开}

亚里士多德的三段论证明系统被视为最早的自然演绎系统和形式系统：他不仅提出三段论推理形式，还给出用规则推导有效三段论的方法（属自然演绎式证明），同时以第一格第一式（Babara）推导其他格式的三段论，相当于把第一格第一式作为形式系统的公理进行证明。^{3333[科普中国]-系统化证明方法- · 科普中国网kepuchina.cn前往参考资料 ↓在新标签页中打开}

欧几里得的公理化证明范例影响深远：后来的希尔伯特几何学、罗巴切夫斯基几何学、黎曼几何学都构建了各自的公理系统；在数学之外，牛顿的《自然哲学的数学原理》也借鉴了欧几里得公理系统的结构与方法，命题逐次、累积地加以证明。^{3333[科普中国]-系统化证明方法- · 科普中国网kepuchina.cn前往参考资料 ↓在新标签页中打开}

在现代逻辑背景下，弗雷格和罗素已建立形式化的逻辑演算体系，希尔伯特随后提出数学公理化的倡议，使公理化成为数学的重要目标，公理化方法由此成为数学的一项基本方法。^{3333[科普中国]-系统化证明方法- · 科普中国网kepuchina.cn前往参考资料 ↓在新标签页中打开}

证明被视为数学的基本特征，离开证明很难体现数学的真理性，因此理解数学证明是全面理解数学的重要部分，证明本身也是数学的一项基本思想方法。^{5555无标题文档oss.ouchn.cn前往参考资料 ↓在新标签页中打开}

在数学中，反例（counterexample）是指满足某个命题的前提、却不满足其结论的具体实例，因而足以证明该全称命题为假。一个反例即可推翻一条「对所有 x 都有 P(x)」形式的猜想，这是数学证明中最经济也最有力的否定手段之一。^{5656Counterexample — Encyclopedia of Mathematicsencyclopediaofmath.org前往参考资料 ↓在新标签页中打开}

反例在数学史上的经典案例是费马大定理的「失败版本」：费马曾猜测形如 2^(2^n)+1 的数（费马数）全为素数，但欧拉于 1732 年指出 n=5 时 2^32+1 = 4294967297 = 641 × 6700417，从而以单个反例推翻了这一猜想。^{5757Fermat number — Wikipediaen.wikipedia.org前往参考资料 ↓在新标签页中打开}

另一个常被引用的反例是欧拉猜想（Euler's sum of powers conjecture）：欧拉猜测至少需要 n 个 n 次幂之和才能等于另一个 n 次幂，但 1966 年 Lander 与 Parkin 找到 27^5 + 84^5 + 110^5 + 133^5 = 144^5，以四个五次幂之和等于一个五次幂，直接否定了 n=5 时的欧拉猜想。^{5858Euler's sum of powers conjecture — Wikipediaen.wikipedia.org前往参考资料 ↓在新标签页中打开}

波利亚（George Pólya）在《数学与猜想》中系统论述了猜想在数学发现中的地位：数学的创造过程往往是「先猜后证」，猜想为证明提供目标，而证明则负责把猜想转化为定理或将其否定。^{5959Mathematics and Plausible Reasoning, Vol. I: Induction and Analogy in Mathematicspress.princeton.edu前往参考资料 ↓在新标签页中打开}

并非所有猜想都能被反例或证明迅速裁决。哥德巴赫猜想（每个大于 2 的偶数都是两个素数之和）自 1742 年提出至今既未被证明也未被否证，尽管已验证到极大范围；黎曼猜想同样悬而未决，被列为克雷数学研究所七个千禧年大奖难题之一。^{6060Goldbach conjecture — Encyclopedia of Mathematicsencyclopediaofmath.org前往参考资料 ↓在新标签页中打开}

反例的构造有时需要计算机辅助。1976 年 Appel 与 Haken 借助计算机验证了四色定理，这是首个依赖大规模机算的著名证明；而 1993 年 Beasley 等人对欧拉猜想 n=6 情形给出的反例，也是通过计算机搜索得到的。^{6161Four color theorem — Wikipediaen.wikipedia.org前往参考资料 ↓在新标签页中打开}

在数学教育中，反例被用作培养批判性思维的工具：通过让学生寻找反例来检验猜想，可以训练其区分「验证若干实例」与「证明全称命题」的能力，避免把归纳证据误当作证明。^{6363Using Counterexamples in Mathematics Educationnctm.org前往参考资料 ↓在新标签页中打开}

猜想与反例的互动也塑造了现代数学的分支格局：例如费马大定理的证明催生了代数数论，而对其「错误猜想」的否定则提醒研究者，未经证明的直觉即便出自大家之手也可能失效。^{6464Fermat's Last Theorem — Encyclopedia of Mathematicsencyclopediaofmath.org前往参考资料 ↓在新标签页中打开}

牛顿在1687年出版的《自然哲学的数学原理》（Philosophiæ Naturalis Principia Mathematica）中，用他本人发明的微积分（流数术）与几何论证相结合的方式，从万有引力定律和运动三定律出发推导出行星运动的椭圆轨道、潮汐、岁差等现象，被普遍视为数学与物理学深度结合的起点。^{6565Newton's Principia: The Mathematical Principles of Natural Philosophy (1729 English translation, ed. Florian Cajori)archive.org前往参考资料 ↓在新标签页中打开}

物理学理论通常以数学结构为其表述语言：经典力学以微分几何与辛几何表述相空间，电磁学以矢量分析与偏微分方程（麦克斯韦方程组）表述，广义相对论以黎曼几何与张量分析表述，量子力学以希尔伯特空间上的算子代数表述。这种「物理理论=数学结构+经验诠释」的格局是近代物理学的基本形态。^{6666The Feynman Lectures on Physics, Vol. II, Chapter 1: Electromagnetismfeynmanlectures.caltech.edu前往参考资料 ↓在新标签页中打开|6767Mathematical Foundations of Quantum Mechanics (von Neumann, 1932; English translation 1955)press.princeton.edu前往参考资料 ↓在新标签页中打开}

数学与物理学之间存在「不合理的有效性」现象：物理学家 Eugene Wigner 在1960年发表的同名文章中指出，数学概念被发明时往往纯出于数学内部动机，却在此后数十年被证明恰好是描述物理世界的语言，例如黎曼几何先于广义相对论、群论先于量子力学中的对称性分类。^{6868The Unreasonable Effectiveness of Mathematics in the Natural Sciences (E. Wigner, 1960)onlinelibrary.wiley.com前往参考资料 ↓在新标签页中打开}

数学为物理学提供可检验的预言能力：狄拉克1928年写下相对论性电子方程，该方程除描述电子自旋外，还预言了正电子的存在，1932年安德森在宇宙射线中观测到正电子，成为数学预言先于实验发现的经典案例。^{6969The Quantum Theory of the Electron (P. A. M. Dirac, 1928)royalsocietypublishing.org前往参考资料 ↓在新标签页中打开}

物理学反过来催生新的数学：牛顿为处理变速运动发明微积分；傅里叶为研究热传导在1822年提出傅里叶级数与傅里叶变换；爱因斯坦广义相对论所依赖的黎曼几何与张量分析在19世纪已由黎曼、里奇、列维-奇维塔等人发展。这些数学分支后来独立成长为现代数学的核心领域。^{6565Newton's Principia: The Mathematical Principles of Natural Philosophy (1729 English translation, ed. Florian Cajori)archive.org前往参考资料 ↓在新标签页中打开|7070Théorie analytique de la chaleur (J. Fourier, 1822)gallica.bnf.fr前往参考资料 ↓在新标签页中打开}

量子力学的数学化过程体现了数学与物理的互动：海森堡1925年的矩阵力学与薛定谔1926年的波动力学最初形式不同，随后由狄拉克与冯·诺依曼证明二者在希尔伯特空间框架下等价，冯·诺依曼1932年的《量子力学的数学基础》系统建立了量子力学的公理化数学表述。^{6767Mathematical Foundations of Quantum Mechanics (von Neumann, 1932; English translation 1955)press.princeton.edu前往参考资料 ↓在新标签页中打开}

统计物理与概率论的结合是数学与物理互动的另一典型：吉布斯1902年的《统计力学基本原理》用系综与相空间概率分布表述热力学，而概率论的公理化（柯尔莫哥洛夫1933年）与随机过程理论（布朗运动、伊藤积分）又直接源于对物理扩散现象的研究。^{7171Elementary Principles in Statistical Mechanics (J. W. Gibbs, 1902)archive.org前往参考资料 ↓在新标签页中打开}

杨振宁与米尔斯1954年提出的非阿贝尔规范场论，把物理学中的规范对称性表述为主丛上的联络，这一数学结构后来被数学家识别为纤维丛理论中的联络与曲率；1970年代阿蒂亚、辛格等人的指标定理与规范场论的瞬子解研究相互促进，形成数学与物理的双向渗透。^{7272Conservation of Isotopic Spin and Isotopic Gauge Invariance (Yang & Mills, 1954)journals.aps.org前往参考资料 ↓在新标签页中打开}

弦论是当代数学与物理互动最密集的领域之一：弦论所要求的额外维度、镜像对称、Calabi–Yau 流形等概念直接推动了代数几何与辛几何的发展，1990年代由物理学家与数学家共同发现的镜像对称后来被数学家以格罗莫夫–威滕不变量等形式严格化。^{7373Mirror Symmetry (Clay Mathematics Monographs, Vol. 1)ams.org前往参考资料 ↓在新标签页中打开}

数学与物理学的学科边界在当代并非固定：数学物理（mathematical physics）作为交叉学科，既包括以严格数学方法研究物理模型（如可积系统、统计力学严格结果），也包括以物理直觉启发数学猜想（如镜像对称、量子场论中的几何朗兰兹对应），其学科归属在不同国家与机构中划分不一。^{7575Mathematical Physics — Encyclopedia of Mathematicsencyclopediaofmath.org前往参考资料 ↓在新标签页中打开}

实验物理与数学的关系相对间接，但数据分析与理论建模仍高度依赖数学：粒子物理中的群论用于分类粒子多重态（如 SU(3) 八重态），广义相对论中的数值相对论依赖偏微分方程数值方法与高性能计算，2015年 LIGO 首次直接探测引力波的信号分析即基于匹配滤波等数学统计方法。^{7676Observation of Gravitational Waves from a Binary Black Hole Merger (LIGO/Virgo, 2016)journals.aps.org前往参考资料 ↓在新标签页中打开}

数学与物理学的互动也体现在教育层面：物理学本科课程通常要求微积分、线性代数、常微分方程与偏微分方程、复变函数等数学基础，而数学专业学生则常被建议学习经典力学与量子力学以理解数学结构的物理来源；这一交叉训练安排在不同高校差异较大。^{7777Physics Undergraduate Curriculum — American Physical Societyaps.org前往参考资料 ↓在新标签页中打开}

现代计算机科学在学科建制上脱胎于数学：1936 年图灵（Alan Turing）在《论可计算数及其在判定问题上的应用》中给出「图灵机」的形式定义，用数学方法刻画「可计算性」，直接回答了希尔伯特判定问题，这篇论文被视为计算机科学理论起点的标志性工作。^{7878On Computable Numbers, with an Application to the Entscheidungsproblemcs.virginia.edu前往参考资料 ↓在新标签页中打开}

1936 年丘奇（Alonzo Church）用 λ 演算给出可计算函数的另一种形式刻画，并证明 λ 可定义函数与一般递归函数等价；随后图灵证明图灵可计算函数与 λ 可定义函数是同一类，这一「丘奇—图灵论题」把直观的「可计算」与多种形式系统统一起来，是数学与计算机科学共享的基础命题。^{7878On Computable Numbers, with an Application to the Entscheidungsproblemcs.virginia.edu前往参考资料 ↓在新标签页中打开|7979An Unsolvable Problem of Elementary Number Theoryjstor.org前往参考资料 ↓在新标签页中打开}

数理逻辑为计算机科学提供了第一批核心工具：布尔代数（1854 年布尔《思维规律的研究》）后来成为数字电路设计与程序条件判断的数学基础；命题逻辑与一阶逻辑则构成程序规约、数据库查询语言（如 SQL 的关系演算）与自动定理证明的形式语义框架。^{8080An Investigation of the Laws of Thoughtarchive.org前往参考资料 ↓在新标签页中打开}

可计算性理论给出了计算机科学的根本边界：停机问题不可判定（图灵 1936），赖斯定理进一步表明程序的任何非平凡语义性质都不可判定；这意味着不存在能自动判定任意程序是否正确的一般算法，软件验证只能依赖不完全的方法或受限的子语言。^{7878On Computable Numbers, with an Application to the Entscheidungsproblemcs.virginia.edu前往参考资料 ↓在新标签页中打开|8181Classes of Recursively Enumerable Sets and Their Decision Problemsjstor.org前往参考资料 ↓在新标签页中打开}

计算复杂性理论用渐近记号（O、Ω、Θ）刻画算法资源消耗，是数学分析与组合数学方法在计算机科学中的直接应用；P 与 NP 是否相等是克雷数学研究所 2000 年悬赏百万美元的七个千禧年大奖难题之一，至今未解决。^{8282P vs NP Problemclaymath.org前往参考资料 ↓在新标签页中打开}

NP 完全性理论由库克（Stephen Cook）1971 年与列文（Leonid Levin）1973 年独立建立：库克证明布尔可满足性问题（SAT）是 NP 完全的，卡普（Richard Karp）1972 年进一步给出 21 个 NP 完全问题的清单，使「归约」成为理论计算机科学的标准证明技术。^{8383The Complexity of Theorem-Proving Proceduresdl.acm.org前往参考资料 ↓在新标签页中打开|8484Reducibility Among Combinatorial Problemslink.springer.com前往参考资料 ↓在新标签页中打开}

算法设计与分析大量借用数学分支：排序与查找依赖组合计数与概率分析，图算法依赖图论，密码学依赖数论（RSA 依赖大整数分解困难性，Diffie–Hellman 依赖离散对数），编码理论依赖有限域与线性代数，机器学习理论依赖概率论、泛函分析与凸优化。^{8585A Method for Obtaining Digital Signatures and Public-Key Cryptosystemsdl.acm.org前往参考资料 ↓在新标签页中打开|8686New Directions in Cryptographyieeexplore.ieee.org前往参考资料 ↓在新标签页中打开}

形式化方法把数学证明技术引入软件与硬件工程：模型检验（model checking）由 Clarke 与 Emerson 等人在 1980 年代初提出，通过对有限状态系统做穷举搜索来验证时序逻辑性质；2007 年 ACM 图灵奖授予 Clarke、Emerson 与 Sifakis，以表彰其在模型检验算法上的贡献。^{87872007 Turing Award: Edmund M. Clarke, E. Allen Emerson, Joseph Sifakisamturing.acm.org前往参考资料 ↓在新标签页中打开}

交互式定理证明把数学证明本身变成可机器检验的对象：Coq、Isabelle/HOL、Lean 等证明助手基于依赖类型论或高阶逻辑，已用于验证四色定理（Coq，2005）、Feit–Thompson 奇阶定理（Gonthier 等，2012）以及 CompCert C 编译器的语义正确性。^{8888Formal Proof — The Four-Color Theoremams.org前往参考资料 ↓在新标签页中打开|8989Engineering Formal Metatheorydl.acm.org前往参考资料 ↓在新标签页中打开}

理论计算机科学与数学的边界高度模糊：计算复杂性、组合数学、信息论、范畴论与类型论等领域同时活跃在两边；《ACM 计算理论会刊》（TOCT）与《SIAM 计算杂志》等期刊的论文常以纯数学定理的形式呈现。^{9191ACM Transactions on Computation Theory (TOCT)dl.acm.org前往参考资料 ↓在新标签页中打开}

数值分析与科学计算是数学与计算机科学最古老的结合部之一：浮点运算标准 IEEE 754（1985 年首版，2019 年修订为 IEEE 754-2019）规定了舍入、特殊值与异常处理，使数值算法的可移植性与可复现性成为工程标准问题。^{9292IEEE 754-2019 — IEEE Standard for Floating-Point Arithmeticstandards.ieee.org前往参考资料 ↓在新标签页中打开}

信息论由香农（Claude Shannon）1948 年《通信的数学理论》奠定，用概率与熵刻画信道容量与编码极限；它既是数学分支，也是数据压缩、纠错码与密码学的理论源头，与计算机科学中的存储与传输问题直接对接。^{9393A Mathematical Theory of Communicationpeople.math.harvard.edu前往参考资料 ↓在新标签页中打开}

群体遗传学的核心数学框架由费希尔（R. A. Fisher）、霍尔丹（J. B. S. Haldane）和赖特（Sewall Wright）在 20 世纪 20—30 年代奠定，他们把孟德尔遗传与达尔文选择统一为可计算的群体基因频率变化模型，费希尔 1930 年的《自然选择的遗传理论》是这一综合的代表作。^{9797R. A. Fisher, The Genetical Theory of Natural Selection (1930)en.wikipedia.org前往参考资料 ↓在新标签页中打开}

哈代—温伯格定律是群体遗传学中最基础的数学结论：在随机交配、无突变、无迁移、无选择且群体足够大的理想条件下，一对等位基因的频率在世代间保持不变，基因型频率一代后即达到 p²、2pq、q² 的平衡。^{9898Hardy–Weinberg principleen.wikipedia.org前往参考资料 ↓在新标签页中打开}

数学生态学中，洛特卡—沃尔泰拉（Lotka–Volterra）方程用一组耦合微分方程描述捕食者与被捕食者种群的周期振荡，是数学建模进入生态学的标志性成果，由洛特卡 1925 年与沃尔泰拉 1926 年分别独立提出。^{100100Lotka–Volterra equationsen.wikipedia.org前往参考资料 ↓在新标签页中打开}

种群遗传学中的溯祖理论（coalescent theory）由金曼（John Kingman）于 1982 年提出，它把样本基因谱系回溯为随机合并过程，使群体历史参数可以用分子序列数据做统计推断，成为现代群体基因组学的计算基础。^{101101Coalescent theoryen.wikipedia.org前往参考资料 ↓在新标签页中打开}

生物信息学中的序列比对算法以动态规划为核心：Needleman–Wunsch 算法（1970）给出全局最优比对，Smith–Waterman 算法（1981）给出局部最优比对，两者都是多项式时间的精确算法。^{102102Needleman–Wunsch algorithmen.wikipedia.org前往参考资料 ↓在新标签页中打开}

系统发生树的构建大量使用图论与统计推断方法，最大似然与贝叶斯推断已成为分子系统发生学的主流框架，Felsenstein 1981 年提出的似然法是其方法论起点之一。^{103103Evolutionary tree: maximum likelihood estimation (Felsenstein 1981)en.wikipedia.org前往参考资料 ↓在新标签页中打开}

流行病学中的 SIR 仓室模型由 Kermack 与 McKendrick 于 1927 年提出，用三个常微分方程刻画易感者、感染者与移除者的转化，其基本再生数 R₀ 成为判断疫情能否暴发的阈值量。^{104104Compartmental models in epidemiologyen.wikipedia.org前往参考资料 ↓在新标签页中打开}

数理经济学中，一般均衡理论由瓦尔拉斯提出思想雏形，阿罗（Kenneth Arrow）与德布鲁（Gérard Debreu）于 1954 年给出存在性证明：在偏好凸性、完备市场等条件下，竞争均衡存在且与帕累托最优相对应，这成为现代微观经济学的公理化基石。^{105105Existence of an equilibrium for a competitive economy (Arrow & Debreu, 1954)jstor.org前往参考资料 ↓在新标签页中打开}

冯·诺依曼与摩根斯坦 1944 年的《博弈论与经济行为》把期望效用与策略互动形式化，奠定了博弈论作为数学分支进入经济学的起点；纳什 1950 年证明有限博弈中混合策略纳什均衡必然存在。^{106106Equilibrium points in n-person games (Nash, 1950)pnas.org前往参考资料 ↓在新标签页中打开}

布莱克—斯科尔斯—默顿期权定价公式（1973）以几何布朗运动与无套利复制论证推导出欧式期权闭式解，默顿与斯科尔斯因此获 1997 年诺贝尔经济学奖；该模型对波动率为常数等假设在极端市场下失效，是公认的局限。^{107107The Pricing of Options and Corporate Liabilities (Black & Scholes, 1973)jstor.org前往参考资料 ↓在新标签页中打开}

计量经济学以统计学与概率论为工具估计经济关系，高斯—马尔可夫定理给出普通最小二乘估计在经典假设下为最佳线性无偏估计（BLUE），是计量经济学教科书的标准结论。^{109109Gauss–Markov theoremen.wikipedia.org前往参考资料 ↓在新标签页中打开}

机制设计理论由赫维茨（Leonid Hurwicz）开创，马斯金（Eric Maskin）与迈尔森（Roger Myerson）发展，研究在信息不对称下如何设计规则使自利参与者的行为达成社会目标，三人共获 2007 年诺贝尔经济学奖。^{110110The Sveriges Riksbank Prize in Economic Sciences in Memory of Alfred Nobel 2007nobelprize.org前往参考资料 ↓在新标签页中打开}

数学与生物学、经济学的交叉已形成稳定的学科建制：数学生物学、生物信息学、数理经济学、计量经济学均有专门期刊与学会，诺贝尔经济学奖多次授予以数学方法著称的经济学家。^{112112Mathematical and theoretical biologyen.wikipedia.org前往参考资料 ↓在新标签页中打开}

费马大定理（Fermat's Last Theorem，又称费马最后定理）断言：当整数 n > 2 时，方程 x^n + y^n = z^n 不存在正整数解 x、y、z。该方程被称为费马方程，属于丢番图方程——即只考虑整数解、具有整系数的多元多项式方程。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

该命题由法国数学家皮埃尔·德·费马（Pierre de Fermat）在 1637 年前后提出。他在丢番图《算术》拉丁文译本的页边空白处写下这一命题，并声称自己已找到证明，但「页边空白太窄，写不下」。由于费马本人未留下证明，此后长期被称为「费马猜想」而非定理，他声称的证明也从未被承认。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

从 1637 年提出到 1994 年证明完成，费马大定理悬置了约 358 年，期间无数数学家尝试证明均告失败，是数学史上持续时间最长、最著名的未解问题之一。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

1994 年，英国数学家安德鲁·怀尔斯（Andrew Wiles）完成了费马大定理的证明，并于 1995 年正式发表。这一证明结束了该问题长达三个半世纪的悬而未决状态。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

怀尔斯的证明并非孤立地处理费马方程，而是通过证明半稳定椭圆曲线的模性定理（原称谷山–志村猜想的一个情形）间接推出费马大定理：若费马方程存在非平凡解，则可构造出一条不满足模性的椭圆曲线，从而与模性定理矛盾。这一「反证式」路线把数论中看似无关的两个领域连接起来，被视为 20 世纪数学的重大成就之一。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

费马大定理的证明在 1993 年首次公布时存在漏洞，怀尔斯与理查德·泰勒（Richard Taylor）合作修补后才于 1994 年完成、1995 年正式发表，这一曲折过程本身成为数学界关于「证明须经同行严格审查」的典型案例。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

费马大定理常被作为数学中「问题驱动发展」的范例：为攻克它而发展出的模形式、椭圆曲线、伽罗瓦表示等工具，其价值被认为远超定理本身，深刻影响了现代数论与算术几何的走向。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

黎曼猜想（Riemann hypothesis，又称黎曼假设）是关于黎曼 ζ 函数 ζ(s) 零点分布的猜想，由德国数学家波恩哈德·黎曼（Bernhard Riemann，1826—1866）于 1859 年提出。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

黎曼 ζ 函数定义为 ζ(s) = 1 + 1/2^s + 1/3^s + 1/4^s + …，黎曼猜想断言该函数的所有非平凡零点都位于复平面上一条垂直直线上（即实部为 1/2 的临界线）。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

猜想的提出动机来自素数分布：黎曼观察到素数的出现频率与 ζ 函数密切相关，ζ 函数零点的位置决定了素数计数函数 π(x) 的误差项，因此该猜想是解析数论中素数分布问题的核心。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

1859 年，黎曼被选为柏林科学院通信院士，作为回报他向柏林科学院提交了题为《论小于给定数值的素数个数》的论文，这篇仅八页的论文就是黎曼猜想的诞生地。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

黎曼猜想被希尔伯特（David Hilbert）列入 1900 年第二届国际数学家大会上提出的 23 个数学问题之中，被视为 20 世纪数学的制高点之一。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

黎曼猜想是克雷数学研究所（Clay Mathematics Institute）2000 年悬赏的「世界七大数学难题」（千禧年大奖难题）之一，解决者可获一百万美元奖金。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

2018 年 9 月 24 日，89 岁的迈克尔·阿蒂亚爵士（Sir Michael Atiyah）在海德堡获奖者论坛上宣讲了他对黎曼猜想的证明，其思路基于一个物理上未被完全证明的常数，该证明当时尚未经过同行评议。^{113113黎曼与数学中最大的未解之谜 --科普时报--数字报digitalpaper.stdaily.com前往参考资料 ↓在新标签页中打开}

1742年，普鲁士数学家克里斯蒂安·哥德巴赫（Christian Goldbach，1690—1764）在致欧拉的信中提出一个关于整数与素数之和的猜想；他本人无法证明，遂求教于欧拉，而欧拉终其一生也未能给出证明。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

哥德巴赫原初的表述是「任一大于2的整数都可写成三个质数之和」。由于现代数学界已不再把1视为素数，该原始表述的现代等价陈述被调整为「任一大于5的整数都可写成三个质数之和」。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

欧拉在回信中提出了另一个等价版本：任一大于2的偶数都可写成两个素数之和。这一版本后来成为通行的猜想陈述，被称为「强哥德巴赫猜想」或「关于偶数的哥德巴赫猜想」。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

由强哥德巴赫猜想可以推出：任一大于7的奇数都可写成三个质数之和。这一推论被称为「弱哥德巴赫猜想」或「关于奇数的哥德巴赫猜想」；若强猜想成立，则弱猜想必然成立。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

2013年5月，巴黎高等师范学院研究员哈洛德·贺欧夫各特（Harald Helfgott）发表两篇论文，宣布彻底证明了弱哥德巴赫猜想。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

研究强哥德巴赫猜想的一条主要路径是「a+b」命题：把「任一充分大的偶数都可以表示为一个素因子个数不超过a的数与另一个素因子个数不超过b的数之和」记作「a+b」。1966年，陈景润证明了「1+2」成立，即任一充分大的偶数都可以表示成两个素数之和，或是一个素数和一个半素数之和。^{3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

四色定理断言：任意将平面划分成有限个区域的地图，都可以只用四种颜色给各区域染色，使得任意两个共享一段边界（而非仅共享一个点）的区域颜色不同。该问题最早由英国地图制图师弗朗西斯·古特里（Francis Guthrie）于1852年在观察地图时提出，他随后通过弟弟弗雷德里克·古特里（Frederick Guthrie）转问伦敦大学学院的奥古斯塔斯·德摩根（Augustus De Morgan），德摩根又写信告知爱尔兰数学家威廉·哈密顿（William Hamilton），但哈密顿对此兴趣不大。^{3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开|3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

四色问题起初并未引起数学界广泛关注，直到1878年英国数学家阿瑟·凯莱（Arthur Cayley）重新提出后才逐渐成为图论与组合拓扑中的著名难题；从1852年提出到最终获得公认的证明，前后历时一百多年。^{3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开|3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

四色定理的最终证明由肯尼斯·阿佩尔（Kenneth Appel）与沃尔夫冈·哈肯（Wolfgang Haken）于1976年给出，证明依赖计算机对大量不可避免构形进行穷举检验，是历史上第一个借助计算机完成的重要数学定理证明，也因此引发了关于「计算机辅助证明是否算作证明」的数学哲学争论。^{3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开|3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

在阿佩尔—哈肯的计算机证明之后，四色定理的证明被多次简化与改进：1996年尼尔·罗伯逊（Neil Robertson）、丹尼尔·桑德斯（Daniel Sanders）、保罗·塞缪尔（Paul Seymour）与罗宾·托马斯（Robin Thomas）给出了一个仍依赖计算机、但构形数与检验量都大幅缩减的证明版本。^{3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

四色定理的证明只保证四种颜色足够，并不直接给出对任意地图快速找出具体四染色的实用算法；求地图或平面图四染色的构造性算法是其后图论与算法研究中的独立课题。^{3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

四色定理催生了图论中一系列衍生着色问题，例如「在无限大网格纸上填入数字、同一数字之间的距离必须大于该数字本身，最少需要多少个数字覆盖整个平面」这类起源于广播电台频率分配的问题。^{3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开|3535图文详情——科普中国资源服务cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

四色定理可等价表述为：每个平面图都是4-可着色的；其证明史与「五色定理」的早期证明、以及肯普（Kempe）1879年提出的错误证明及其1890年被希伍德（Heawood）指出漏洞，共同构成图论着色理论的经典脉络。^{3636图文详情cloud.kepuchina.cn前往参考资料 ↓在新标签页中打开}

美国国家研究理事会（National Research Council）2001 年出版的研讨会论文集《Knowing and Learning Mathematics for Teaching》中，专设一章讨论“教师对基础数学的理解”（Teachers' Understanding of Fundamental Mathematics），其讨论围绕马立平（Liping Ma）1999 年的著作《Knowing and Teaching Elementary Mathematics》展开，说明基础教育阶段的数学教学被作为独立的研究与政策议题对待。^{114114Readnationalacademies.org前往参考资料 ↓在新标签页中打开}

在基础教育数学教育研究中，一个被反复讨论的命题是：教师自身对“基础数学”的理解深度——而非仅仅掌握算法步骤——直接影响其课堂教学质量；马立平对中美小学数学教师的比较研究是这一讨论的起点之一。^{114114Readnationalacademies.org前往参考资料 ↓在新标签页中打开}

“基础数学”在课程语境中通常指小学与初中阶段的核心内容：数与运算、分数与小数、比例、初等几何与测量、以及简单的代数与统计初步；这些内容构成后续所有数学学习的共同底座。^{114114Readnationalacademies.org前往参考资料 ↓在新标签页中打开}

教师教育中的“基础数学理解”议题还涉及教师能否解释算法背后的原理（例如为什么分数除法要“颠倒相乘”），这类解释能力被视为学科教学知识（pedagogical content knowledge）的核心成分。^{114114Readnationalacademies.org前往参考资料 ↓在新标签页中打开}

香港中文大学开设「数学教育理学硕士」课程，由该校教育学院与数学系合办，是该校首个由这两个教学单位共同筹办的项目；课程为两年制兼读制，面向现职或有志成为香港中、小学数学教师的人士，目标是同时提升学员的学科知识与教学知识。^{115115课程要求 – Master of Science Programme in Mathematics Educationfed.cuhk.edu.hk前往参考资料 ↓在新标签页中打开}

该课程要求学员修满 24 学分方可毕业，学分分布为：数学范畴三个学科、数学教育范畴三个学科、教育范畴两个学科，即学科内容与教育专业训练各占相当比重。^{115115课程要求 – Master of Science Programme in Mathematics Educationfed.cuhk.edu.hk前往参考资料 ↓在新标签页中打开}

在数学范畴内，该课程开设「高等数学基础」（MMAT 5510）与「微分方程与线性代数」（MMAT 5520）等科目，说明研究生层次的数学教师培养把分析学与代数的基础训练列为正式课程内容，而非仅停留在中学教学法层面。^{115115课程要求 – Master of Science Programme in Mathematics Educationfed.cuhk.edu.hk前往参考资料 ↓在新标签页中打开}

在数学教育范畴内，该课程开设「课程变革中之数学教学」（MAED 6161）、「教育改革中之数学课程与评核」（MAED 6162）、「数学教学的实践研究」（MAED 6163）以及「研习与研究报告：数学教育」（MAED 6164）等科目，把课程改革、评核制度与课堂实践研究并列为高等数学教育课程的核心议题。^{115115课程要求 – Master of Science Programme in Mathematics Educationfed.cuhk.edu.hk前往参考资料 ↓在新标签页中打开}

该课程还设有「数学教育独立研读」（MAED 6165）这类自主研读科目，表明高等数学教育课程在结构化授课之外，为学员保留了自选课题、独立阅读与研究的学分空间。^{115115课程要求 – Master of Science Programme in Mathematics Educationfed.cuhk.edu.hk前往参考资料 ↓在新标签页中打开}

从该课程的科目设置可以看出一种常见的课程设计取向：高等数学课程（如高等数学基础、微分方程与线性代数）与数学教育课程（课程变革、评核、实践研究）并行开设，而不是把学科内容课压缩为教学法课的附属。^{115115课程要求 – Master of Science Programme in Mathematics Educationfed.cuhk.edu.hk前往参考资料 ↓在新标签页中打开}

数学竞赛被数学教育研究界视为数学人才早期发现与培养的重要途径之一；华东师范大学何忆捷、吴尉迟、陈锦华在《数学教育学报》2024 年第 33 卷第 6 期撰文，以 2020 年保罗·埃尔德什奖（Paul Erdős Award）得主冷岗松的观点为线索，讨论了竞赛命题、人才早期识别与培育、数学教师教育等议题。^{116116数学竞赛促进数学人才的早期发现与培养:经验与路径_国家科技期刊平台opaj.napstic.cn前往参考资料 ↓在新标签页中打开}

该文指出，数学家的初等定理是提出竞赛试题的重要灵感来源；在竞赛试题的遴选与评价上，既需要数学家的眼光，也需要教育者的视角。^{116116数学竞赛促进数学人才的早期发现与培养:经验与路径_国家科技期刊平台opaj.napstic.cn前往参考资料 ↓在新标签页中打开}

国际数学奥林匹克（International Mathematical Olympiad, IMO）是面向中学生的最具代表性的国际数学竞赛，首届于 1959 年在罗马尼亚举行，此后除 1980 年外每年举办一届，由参赛国轮流主办。^{117117International Mathematical Olympiadimo-official.org前往参考资料 ↓在新标签页中打开}

IMO 每届比赛分两天进行，每天 3 道题、限时 4.5 小时，满分 42 分；试题通常覆盖代数、组合、几何与数论四大领域，且不要求微积分等高等数学工具。^{117117International Mathematical Olympiadimo-official.org前往参考资料 ↓在新标签页中打开}

各国选拔 IMO 选手通常经过多层级的竞赛体系：以中国大陆为例，形成了从全国高中数学联赛、中国数学奥林匹克（CMO）到国家集训队选拔的阶梯，最终产生 6 名国家队队员参加 IMO。^{118118中国数学会：全国高中数学联赛与中国数学奥林匹克cms.org.cn前往参考资料 ↓在新标签页中打开}

除 IMO 外，国际上还有面向大学生的国际大学生数学竞赛（IMC）以及各国国内的竞赛体系；不同竞赛在参赛资格、命题风格与评分方式上差异显著，因此「数学竞赛」并非单一同质活动。^{117117International Mathematical Olympiadimo-official.org前往参考资料 ↓在新标签页中打开|118118中国数学会：全国高中数学联赛与中国数学奥林匹克cms.org.cn前往参考资料 ↓在新标签页中打开}

逻辑主义是数学哲学与数学基础中的一种纲领，其核心主张是：数学真理可以化归为逻辑真理，数学概念可以通过逻辑概念加以定义，从而算术（乃至大部分数学）是逻辑的延伸或分支。^{3737全屏显示 专题 章节mooc1.chaoxing.com前往参考资料 ↓在新标签页中打开}

逻辑主义的奠基性工作由戈特洛布·弗雷格在《算术基础》（1884）与《算术基本法则》（1893/1903）中给出，他试图用「休谟原则」与二阶逻辑导出皮亚诺算术。^{3737全屏显示 专题 章节mooc1.chaoxing.com前往参考资料 ↓在新标签页中打开}

伯特兰·罗素与阿尔弗雷德·诺思·怀特海在《数学原理》（Principia Mathematica，1910–1913）中继承并修正了弗雷格的纲领，试图从类型论出发把数学建立在逻辑之上。^{3737全屏显示 专题 章节mooc1.chaoxing.com前往参考资料 ↓在新标签页中打开}

罗素在1901年发现的「罗素悖论」暴露了弗雷格素朴概括原则的不一致，直接动摇了《算术基本法则》的基础，是逻辑主义由强纲领转向修正版本的关键事件。^{3737全屏显示 专题 章节mooc1.chaoxing.com前往参考资料 ↓在新标签页中打开}

逻辑主义与数学哲学与基础中的形式主义、直觉主义并列为20世纪初数学基础三大纲领，其争论焦点在于数学知识的最终根据是逻辑、符号规则还是心智构造。^{3737全屏显示 专题 章节mooc1.chaoxing.com前往参考资料 ↓在新标签页中打开}

弗雷格的逻辑主义纲领在《算术基本法则》第二卷出版后因罗素悖论而受重创，弗雷格本人亦承认其基础被动摇，此后逻辑主义主要以罗素—怀特海路线与新逻辑主义路线延续。^{3737全屏显示 专题 章节mooc1.chaoxing.com前往参考资料 ↓在新标签页中打开}

形式主义（formalism）是数学哲学中把数学视为对符号串按明确规则进行操作的观点，其核心主张是数学命题的真值不依赖于符号所指称的对象，而取决于符号系统内部的语法规则与推导程序。这一立场通常与希尔伯特（David Hilbert）在20世纪20年代提出的「希尔伯特纲领」相联系。^{120120Formalism in the Philosophy of Mathematicsplato.stanford.edu前往参考资料 ↓在新标签页中打开|121121The Philosophy of Mathematics: An Introductory Essayarchive.org前往参考资料 ↓在新标签页中打开}

希尔伯特纲领的核心目标是用有穷的（finitary）、内容性的（contentual）方法证明整个数学形式系统的一致性（consistency）与完备性，从而一劳永逸地回应数学基础中的悖论危机。希尔伯特在1922年的《数学的新基础》与1925年的《论无穷》等文中系统阐述了这一纲领。^{120120Formalism in the Philosophy of Mathematicsplato.stanford.edu前往参考资料 ↓在新标签页中打开|66Hilbert's Programplato.stanford.edu前往参考资料 ↓在新标签页中打开}

哥德尔（Kurt Gödel）在1931年发表的不完备性定理表明：任何包含初等算术、一致且可递归公理化的形式系统，都存在在该系统内既不可证也不可证伪的命题；且该系统不能在自身内部证明自己的一致性。这一结果直接否定了希尔伯特纲领「用有穷方法证明整个数学一致性」的原初目标。^{77Gödel's Incompleteness Theoremsplato.stanford.edu前往参考资料 ↓在新标签页中打开|122122On Formally Undecidable Propositions of Principia Mathematica and Related Systems Idoi.org前往参考资料 ↓在新标签页中打开}

形式主义内部可区分出「游戏形式主义」（game formalism）与「希尔伯特式形式主义」：前者把数学纯粹视为无意义符号按规则的游戏（如海耶斯的部分表述），后者则强调形式系统必须对应内容性数学并接受一致性证明的约束。这一区分由Resnik、Detlefsen等数学哲学家系统梳理。^{121121The Philosophy of Mathematics: An Introductory Essayarchive.org前往参考资料 ↓在新标签页中打开}

形式主义与逻辑主义（logicism）、直觉主义（intuitionism）并列为20世纪初数学基础三大流派。逻辑主义（弗雷格、罗素）试图把数学归约为逻辑；直觉主义（布劳威尔）拒绝排中律在无穷情形下的使用；形式主义则以形式系统与一致性证明为核心策略。^{120120Formalism in the Philosophy of Mathematicsplato.stanford.edu前往参考资料 ↓在新标签页中打开|121121The Philosophy of Mathematics: An Introductory Essayarchive.org前往参考资料 ↓在新标签页中打开}

在当代数学实践中，形式主义常被用作一种工作态度而非完整的哲学立场：多数数学家在日常研究中并不关心基础问题，而是按形式化规则操作符号，这种「工作形式主义」与哲学上的强形式主义主张有实质区别。^{124124The Mathematical Experiencelink.springer.com前往参考资料 ↓在新标签页中打开}

形式化证明助手（如Coq、Lean、Isabelle）的兴起使形式主义的部分理念在计算机科学中获得了工程化实现：这些系统要求证明被机器逐行检验，从而把「符号操作可检验性」从哲学主张转化为可执行的技术标准。Lean的mathlib库已包含大量形式化数学定理。^{125125mathlib: A Mathematical Library for Leanleanprover-community.github.io前往参考资料 ↓在新标签页中打开}

布尔巴基学派（Bourbaki）在20世纪中期以公理化结构主义方式重写数学，虽非严格意义上的形式主义，但其「以结构而非对象为中心」的进路与形式主义对符号系统的强调有亲缘关系，对现代数学表述产生了深远影响。^{124124The Mathematical Experiencelink.springer.com前往参考资料 ↓在新标签页中打开|126126Bourbaki and the Foundations of Mathematicsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

直觉主义（intuitionism）是数学哲学与数学基础中的一种构造主义立场，其核心主张是：数学对象不是独立于心灵而存在的，而是由数学家的心智构造出来的；因此一个数学命题为真，当且仅当存在一个构造性的证明（构造）把它实现出来。^{127127Luitzen Egbertus Jan Brouwerplato.stanford.edu前往参考资料 ↓在新标签页中打开|128128Intuitionismplato.stanford.edu前往参考资料 ↓在新标签页中打开}

直觉主义的奠基人是荷兰数学家 L. E. J. 布劳威尔（Luitzen Egbertus Jan Brouwer）。他在 1907 年的博士论文《论数学基础》（Over de grondslagen der wiskunde）中系统提出了直觉主义数学哲学，并在 1912 年的就职演讲《直觉主义与形式主义》中将其与希尔伯特的形式主义明确对立。^{127127Luitzen Egbertus Jan Brouwerplato.stanford.edu前往参考资料 ↓在新标签页中打开|66Hilbert's Programplato.stanford.edu前往参考资料 ↓在新标签页中打开}

直觉主义拒绝把排中律（law of excluded middle，即对任意命题 P，P 或非 P 必有一真）当作普遍有效的逻辑原则。布劳威尔认为，排中律是从有限集合的推理中被非法外推到无限集合上的；对于涉及无限对象的命题，除非能构造性地判定，否则不能断言 P 或非 P。^{127127Luitzen Egbertus Jan Brouwerplato.stanford.edu前往参考资料 ↓在新标签页中打开|128128Intuitionismplato.stanford.edu前往参考资料 ↓在新标签页中打开}

在直觉主义逻辑中，否定被定义为蕴含荒谬：¬P 定义为 P → ⊥。由此，双重否定消去（¬¬P → P）不再普遍成立，而只是单向的 P → ¬¬P 成立；这是直觉主义逻辑与经典逻辑的关键区别之一。^{128128Intuitionismplato.stanford.edu前往参考资料 ↓在新标签页中打开|129129Intuitionistic Logicplato.stanford.edu前往参考资料 ↓在新标签页中打开}

直觉主义数学拒绝把「存在」理解为纯粹的非构造性断言。布劳威尔式的存在命题 ∃x P(x) 只有在能够给出一个具体的构造对象 a 并证明 P(a) 时才算被证明；这与经典数学中通过反证法（若不存在则矛盾）来确立存在性的做法形成对照。^{127127Luitzen Egbertus Jan Brouwerplato.stanford.edu前往参考资料 ↓在新标签页中打开|128128Intuitionismplato.stanford.edu前往参考资料 ↓在新标签页中打开}

布劳威尔在 1912 年前后发展出直觉主义连续统理论，其中实数被理解为由选择序列（choice sequences）生成的过程，而非已完成的对象总体。这一处理导致直觉主义连续统与经典集合论中的实数集在性质上不同，例如直觉主义下不能断言每个实数序列都有收敛子列（波尔查诺–魏尔斯特拉斯定理的构造性版本需要额外条件）。^{127127Luitzen Egbertus Jan Brouwerplato.stanford.edu前往参考资料 ↓在新标签页中打开|130130Constructive Mathematicsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

1920 年代，布劳威尔与希尔伯特之间爆发了关于数学基础的著名争论（Grundlagenstreit）。希尔伯特主张用有穷主义（finitism）方法证明整个数学的一致性，以回击布劳威尔对经典数学中非构造性部分的攻击；布劳威尔则主张清除数学中非构造性的存在性证明。^{66Hilbert's Programplato.stanford.edu前往参考资料 ↓在新标签页中打开|77Gödel's Incompleteness Theoremsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

1930 年，哥德尔证明了两条不完备性定理，表明任何足够强、一致且可递归公理化的形式系统都存在不可判定的命题，且该系统不能在自身内部证明自己的一致性。这一结果被广泛认为削弱了希尔伯特纲领的核心目标，同时也对直觉主义关于「数学是心智构造」的纲领提出了新的基础问题。^{77Gödel's Incompleteness Theoremsplato.stanford.edu前往参考资料 ↓在新标签页中打开|131131Kurt Gödelplato.stanford.edu前往参考资料 ↓在新标签页中打开}

在直觉主义逻辑的形式化方面，阿伦特·海廷（Arend Heyting）于 1930 年给出了直觉主义命题逻辑与谓词逻辑的公理化系统，即所谓海廷算术（Heyting arithmetic，HA），它构成直觉主义数学的形式化基础之一。^{128128Intuitionismplato.stanford.edu前往参考资料 ↓在新标签页中打开|129129Intuitionistic Logicplato.stanford.edu前往参考资料 ↓在新标签页中打开}

1960 年代，美国数学家索尔·克里普克（Saul Kripke）为直觉主义逻辑建立了可能世界语义学（Kripke semantics），用带偏序关系的框架来解释直觉主义联结词：命题在某个「世界」为真意味着在该世界及其所有后继世界中可被证实。这一语义学成为直觉主义逻辑的标准模型论工具。^{129129Intuitionistic Logicplato.stanford.edu前往参考资料 ↓在新标签页中打开}

在证明论中，直觉主义逻辑具有比经典逻辑更强的元逻辑性质：直觉主义命题逻辑可通过根岑（Gentzen）的自然演绎或相继式演算给出，且其证明规范化（normalization）定理成立；经典逻辑则需要额外的控制算子或采用不同形式化才能获得类似性质。^{129129Intuitionistic Logicplato.stanford.edu前往参考资料 ↓在新标签页中打开|6262The Philosophical Status of Computer-Assisted Proofsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

在计算机科学中，直觉主义逻辑与类型论通过柯里–霍华德对应（Curry–Howard correspondence）相联系：命题对应类型，证明对应程序，命题的构造性证明对应可计算函数。这一对应是构造性类型论（如马丁-洛夫类型论）和依赖类型编程语言（如 Coq、Agda）的理论基础。^{6262The Philosophical Status of Computer-Assisted Proofsplato.stanford.edu前往参考资料 ↓在新标签页中打开|132132Intuitionistic Type Theoryplato.stanford.edu前往参考资料 ↓在新标签页中打开}

直觉主义数学在经典数学中有一个重要的「翻译」结果：哥德尔于 1933 年提出双重否定翻译（double-negation translation），将经典算术翻译为直觉主义算术，从而表明如果直觉主义算术一致，则经典算术也一致；反之，经典算术的一致性不能直接推出直觉主义算术的一致性。^{131131Kurt Gödelplato.stanford.edu前往参考资料 ↓在新标签页中打开|133133Double-negation translationncatlab.org前往参考资料 ↓在新标签页中打开}

直觉主义与其它构造主义流派（如俄罗斯构造主义、毕晓普式构造主义）在具体纲领上存在分歧：布劳威尔式直觉主义依赖「心智构造」这一哲学前提，而毕晓普（Errett Bishop）在 1967 年的《构造性分析》中试图在不依赖布劳威尔式哲学的前提下重建构造性数学，使构造性分析更易被主流接受。^{130130Constructive Mathematicsplato.stanford.edu前往参考资料 ↓在新标签页中打开|130130Constructive Mathematicsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

在数学教育中，直觉主义与构造主义的影响主要体现在对「存在性证明」和「算法可计算性」的强调上；部分教材在讨论反证法时会区分构造性证明与非构造性证明，但主流本科数学课程仍以经典逻辑为默认框架。^{128128Intuitionismplato.stanford.edu前往参考资料 ↓在新标签页中打开|130130Constructive Mathematicsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

结构主义（structuralism）是20世纪数学哲学中的一种立场，主张数学研究的对象不是个别数学对象（数、函数、集合）本身，而是对象在结构中所占据的位置；一个数学对象由其与结构中其他对象的关系唯一确定，离开结构便无所谓「是什么」。这一纲领主要由布尔巴基学派（Bourbaki）的实践与范畴论的发展所推动。^{126126Bourbaki and the Foundations of Mathematicsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

保罗·贝纳塞拉夫（Paul Benacerraf）在1965年的论文《数不可能是什么》中提出，任何把自然数等同于某个具体集合论编码（如冯·诺依曼序数或策梅洛序数）的方案都是任意的，因为不同的编码同样能满足皮亚诺公理；由此他论证数不是集合，而只能是结构中的位置。这篇论文通常被视为现代结构主义数学哲学的直接起点。^{134134What Numbers Could Not Bejstor.org前往参考资料 ↓在新标签页中打开}

结构主义通常被划分为几个版本：以雷斯尼克（Michael Resnik）为代表的「模式结构主义」（pattern structuralism）、以夏皮罗（Stewart Shapiro）为代表的「先行结构主义」（ante rem structuralism）、以赫尔曼（Geoffrey Hellman）为代表的「模态结构主义」（modal structuralism），以及以菲尔德（Hartry Field）等人为代表的「消除式结构主义」（eliminative structuralism）。各版本的核心分歧在于结构是否独立于其例示而存在。^{126126Bourbaki and the Foundations of Mathematicsplato.stanford.edu前往参考资料 ↓在新标签页中打开|135135Philosophy of Mathematics: Structure and Ontologyglobal.oup.com前往参考资料 ↓在新标签页中打开}

夏皮罗的「先行结构主义」主张结构先于并独立于任何具体系统而存在，数学对象是结构中的「位置」（places），如同棋盘上的格子，其身份完全由结构内的关系网络决定；这一立场与柏拉图主义有亲缘关系，但拒绝把对象视为独立自存的实体。^{135135Philosophy of Mathematics: Structure and Ontologyglobal.oup.com前往参考资料 ↓在新标签页中打开}

赫尔曼的模态结构主义试图在不承诺抽象结构存在的前提下重建数学：数学定理被解释为「必然地，任何满足某公理的系统都会如此这般」的模态命题，从而在名义主义（nominalism）框架内保留结构主义的核心洞见。^{136136Mathematics Without Numbers: Towards a Modal-Structural Interpretationglobal.oup.com前往参考资料 ↓在新标签页中打开}

范畴论（category theory）为结构主义提供了形式化语言：范畴由对象与态射组成，对象只通过态射（关系）被刻画，这与结构主义「关系优先于对象」的主张高度契合；麦克莱恩（Saunders Mac Lane）与艾伦伯格（Samuel Eilenberg）在1945年引入范畴论，其后被布尔巴基学派用于统一数学结构。^{137137Category Theoryplato.stanford.edu前往参考资料 ↓在新标签页中打开}

结构主义对数学教育有实际影响：20世纪60年代的「新数学」（New Math）运动强调集合、关系与结构而非计算技巧，其理念部分源自布尔巴基学派的结构观，但该运动在实施中因脱离学生认知水平而受到广泛批评。^{138138New Mathen.wikipedia.org前往参考资料 ↓在新标签页中打开}

在当代数学哲学中，结构主义被视为与柏拉图主义、名义主义、逻辑主义、形式主义并列的主要立场之一，其影响力在20世纪90年代至21世纪初达到高峰，此后随范畴论基础与同伦类型论（HoTT）的兴起而出现新的讨论方向。^{126126Bourbaki and the Foundations of Mathematicsplato.stanford.edu前往参考资料 ↓在新标签页中打开|137137Category Theoryplato.stanford.edu前往参考资料 ↓在新标签页中打开}

IMU 每四年举办一次国际数学家大会（International Congress of Mathematicians，ICM），并在开幕式上颁发菲尔兹奖（Fields Medal）；ICM 是数学界规模最大、规格最高的学术会议，首届于 1897 年在苏黎世举行。^{139139Fields Medal — International Mathematical Unionmathunion.org前往参考资料 ↓在新标签页中打开}

菲尔兹奖由加拿大数学家约翰·查尔斯·菲尔兹（John Charles Fields）倡议设立，1936 年首次颁发，授予年龄不超过 40 岁的数学家，每四年在国际数学家大会上颁发一次，通常每次 2 至 4 人。^{139139Fields Medal — International Mathematical Unionmathunion.org前往参考资料 ↓在新标签页中打开}

阿贝尔奖（Abel Prize）由挪威政府于 2002 年设立，以挪威数学家尼尔斯·亨利克·阿贝尔（Niels Henrik Abel）命名，自 2003 年起每年颁发一次，奖金为 750 万挪威克朗，是数学界奖金规模最高的国际奖项之一。^{140140The Abel Prizeabelprize.no前往参考资料 ↓在新标签页中打开}

美国数学会（American Mathematical Society，AMS）成立于 1888 年，总部位于罗德岛州普罗维登斯，是世界上最古老的全国性数学学会之一，出版《数学评论》（Mathematical Reviews）等核心检索刊物，并维护 MathSciNet 数据库。^{141141American Mathematical Society — About the AMSams.org前往参考资料 ↓在新标签页中打开}

伦敦数学会（London Mathematical Society，LMS）成立于 1865 年 1 月 16 日，是英国历史最悠久的数学学术团体，其首任主席为奥古斯都·德·摩根（Augustus De Morgan），出版《伦敦数学会会刊》等期刊。^{142142London Mathematical Society — Historylms.ac.uk前往参考资料 ↓在新标签页中打开}

德国数学会（Deutsche Mathematiker-Vereinigung，DMV）成立于 1890 年，首任主席为格奥尔格·康托尔（Georg Cantor），是欧洲历史最悠久的全国性数学学会之一。^{143143Deutsche Mathematiker-Vereinigung — Über die DMVmathematik.de前往参考资料 ↓在新标签页中打开}

法国数学会（Société Mathématique de France，SMF）成立于 1872 年，出版《法国数学会通报》（Bulletin de la SMF）等刊物，是法国数学共同体的核心学术组织。^{144144Société Mathématique de France — Présentationsmf.emath.fr前往参考资料 ↓在新标签页中打开}

中国数学会成立于 1935 年 7 月，是中国数学工作者的全国性学术团体，挂靠中国科学院数学与系统科学研究院，出版《数学学报》《数学进展》等期刊，并设立华罗庚数学奖、陈省身数学奖等奖项。^{118118中国数学会：全国高中数学联赛与中国数学奥林匹克cms.org.cn前往参考资料 ↓在新标签页中打开}

日本数学会（Mathematical Society of Japan，MSJ）成立于 1946 年，由原东京数学会与日本数学物理学会合并而成，出版《日本数学会杂志》（Journal of the Mathematical Society of Japan）等刊物。^{145145The Mathematical Society of Japan — About MSJmathsoc.jp前往参考资料 ↓在新标签页中打开}

克雷数学研究所（Clay Mathematics Institute，CMI）于 1998 年由波士顿商人兰登·克雷（Landon T. Clay）出资在马萨诸塞州剑桥市成立，2000 年公布七个「千禧年大奖难题」（Millennium Prize Problems），每题悬赏 100 万美元。^{146146Millennium Prize Problemsclaymath.org前往参考资料 ↓在新标签页中打开}

截至 2024 年，七个千禧年大奖难题中只有庞加莱猜想（Poincaré conjecture）被解决，格里戈里·佩雷尔曼（Grigori Perelman）于 2002—2003 年发表证明，2010 年 CMI 正式确认其解决，但佩雷尔曼拒绝了奖金。^{146146Millennium Prize Problemsclaymath.org前往参考资料 ↓在新标签页中打开|147147Poincaré Conjecture — Clay Mathematics Instituteclaymath.org前往参考资料 ↓在新标签页中打开}

艾萨克·牛顿研究所（Isaac Newton Institute for Mathematical Sciences，INI）位于英国剑桥大学，1992 年正式开放，是欧洲最重要的数学研究中心之一，以主题研究计划（research programme）形式组织跨学科合作。^{148148Isaac Newton Institute for Mathematical Sciences — Aboutnewton.ac.uk前往参考资料 ↓在新标签页中打开}

奥伯沃尔法赫数学研究所（Mathematisches Forschungsinstitut Oberwolfach，MFO）位于德国黑森林地区，1944 年成立，以小型封闭式研讨会（workshop）闻名，是国际数学界最重要的合作研究中心之一。^{149149Mathematisches Forschungsinstitut Oberwolfach — Aboutmfo.de前往参考资料 ↓在新标签页中打开}

美国国家数学科学研究所（Mathematical Sciences Research Institute，MSRI，2022 年更名为 SLMath）位于加州伯克利，1982 年成立，由美国国家科学基金会资助，是美国的国家级数学研究中心。^{150150Mathematical Sciences Research Institute — About MSRImsri.org前往参考资料 ↓在新标签页中打开}

欧洲数学会（European Mathematical Society，EMS）成立于 1990 年，总部位于芬兰赫尔辛基，每四年举办一次欧洲数学大会（European Congress of Mathematics，ECM），并颁发 EMS 奖。^{151151European Mathematical Society — About EMSeuromathsoc.org前往参考资料 ↓在新标签页中打开}

国际工业与应用数学理事会（International Council for Industrial and Applied Mathematics，ICIAM）每四年举办一次国际工业与应用数学大会（ICIAM），并颁发柯拉茨奖（Collatz Prize）等奖项，代表应用数学方向的国际建制。^{152152International Council for Industrial and Applied Mathematics — About ICIAMiciam.org前往参考资料 ↓在新标签页中打开}

国际数学教育委员会（International Commission on Mathematical Instruction，ICMI）成立于 1908 年，自 1952 年起成为 IMU 的下属机构，每四年举办一次国际数学教育大会（ICME），是数学教育领域最具代表性的国际组织。^{153153International Commission on Mathematical Instruction — About ICMImathunion.org前往参考资料 ↓在新标签页中打开}

数学研究机构与学会的经费来源差异显著：欧美主要数学研究所多依赖国家科学基金或政府拨款（如 MSRI/SLMath 由 NSF 资助），而部分学会（如 AMS、LMS）则依靠会费、出版收入与捐赠维持运作。^{141141American Mathematical Society — About the AMSams.org前往参考资料 ↓在新标签页中打开|150150Mathematical Sciences Research Institute — About MSRImsri.org前往参考资料 ↓在新标签页中打开}

阿贝尔奖（Abel Prize）由挪威科学与文学院代表挪威政府颁发，自2003年起每年授予一位数学家，奖金为750万挪威克朗，旨在弥补数学领域没有诺贝尔奖的缺憾。^{140140The Abel Prizeabelprize.no前往参考资料 ↓在新标签页中打开}

沃尔夫数学奖（Wolf Prize in Mathematics）由沃尔夫基金会自1978年起每年颁发，是数学界终身成就类奖项中声望最高的之一，常被视为菲尔兹奖之外对资深数学家最重要的国际奖项。^{154154Wolf Prize — Mathematicswolffund.org.il前往参考资料 ↓在新标签页中打开}

千禧年大奖难题（Millennium Prize Problems）由克雷数学研究所（Clay Mathematics Institute）于2000年公布，共七道题，每道题的首个正确解答可获得100万美元奖金；截至2020年代，七题中仅庞加莱猜想被解决（格里戈里·佩雷尔曼，2003年公布证明，2010年正式获奖）。^{146146Millennium Prize Problemsclaymath.org前往参考资料 ↓在新标签页中打开}

邵逸夫奖数学科学奖由邵逸夫奖基金会自2004年起每年颁发，奖金为120万美元，是亚洲主导设立、在国际数学界具有较高能见度的奖项之一。^{155155Shaw Prize — Mathematical Sciencesshawprize.org前往参考资料 ↓在新标签页中打开}

突破奖（Breakthrough Prize）数学奖由谢尔盖·布林、马克·扎克伯格、尤里·米尔纳等人于2012年创立，每年颁发，单项奖金为300万美元，是奖金金额最高的数学奖项之一。^{156156Breakthrough Prize — Mathematicsbreakthroughprize.org前往参考资料 ↓在新标签页中打开}

千禧年大奖难题的奖金规则规定，解答必须在经同行评议的数学期刊上正式发表并经过两年等待期，克雷数学研究所才会启动评奖程序；佩雷尔曼因拒绝领奖而使该规则的实际执行受到关注。^{146146Millennium Prize Problemsclaymath.org前往参考资料 ↓在新标签页中打开}

阿贝尔奖的设立背景之一是数学领域没有诺贝尔奖，挪威政府在2001年宣布设立该奖，以挪威数学家尼尔斯·亨利克·阿贝尔命名，2003年首次颁奖。^{140140The Abel Prizeabelprize.no前往参考资料 ↓在新标签页中打开}

《数学年刊》（Annals of Mathematics）由普林斯顿大学与高等研究院共同主办，是数学界公认的顶尖期刊之一；它与《数学新进展》（Inventiones Mathematicae）、《美国数学会杂志》（Journal of the American Mathematical Society）、《数学学报》（Acta Mathematica）常被并称为数学领域最负盛名的几份综合期刊。^{157157Annals of Mathematicsannals.math.princeton.edu前往参考资料 ↓在新标签页中打开|158158Inventiones Mathematicaelink.springer.com前往参考资料 ↓在新标签页中打开}

《数学新进展》（Inventiones Mathematicae）由施普林格（Springer）出版，创刊于 1966 年，长期被视为欧洲大陆最有影响力的综合数学期刊之一。^{158158Inventiones Mathematicaelink.springer.com前往参考资料 ↓在新标签页中打开}

《数学学报》（Acta Mathematica）由瑞典皇家科学院下属的米塔-列夫勒研究所（Institut Mittag-Leffler）出版，创刊于 1882 年，是历史最悠久的仍在发行的国际数学期刊之一。^{159159Acta Mathematicalink.springer.com前往参考资料 ↓在新标签页中打开}

《美国数学会杂志》（Journal of the American Mathematical Society, JAMS）由美国数学会（AMS）出版，1988 年创刊，是北美数学界最具代表性的旗舰期刊之一。^{160160Journal of the American Mathematical Societyams.org前往参考资料 ↓在新标签页中打开}

《数学发明通讯》（Comptes Rendus Mathématique）与《法国科学院院刊》等国家级科学院院刊长期承担快速发表数学短文的职能，但近年来其数学部分在法国科学院的出版体系调整中经历了改版与重组。^{161161Comptes Rendus Mathématiquecomptes-rendus.academie-sciences.fr前往参考资料 ↓在新标签页中打开}

预印本平台 arXiv 的 math 分区（自 1990 年代初从 hep-th 分拆而来）已成为数学论文传播的主渠道之一；绝大多数数学论文在正式发表前会先以预印本形式公开，这一实践在 21 世纪后成为常态。^{162162arXiv math archivearxiv.org前往参考资料 ↓在新标签页中打开}

《数学评论》（Mathematical Reviews，由美国数学会出版）与《数学文摘》（Zentralblatt MATH，现 zbMATH Open）是数学界两大核心文摘与评论数据库，承担论文检索、分类（MSC 分类号）与评论功能。^{164164Mathematical Reviews and MSCmathscinet.ams.org前往参考资料 ↓在新标签页中打开|165165zbMATH Openzbmath.org前往参考资料 ↓在新标签页中打开}

zbMATH Open 自 2021 年起转为开放获取，其全部评论与书目数据可免费查询；这一转变被视为数学文献基础设施开放化的重要一步。^{165165zbMATH Openzbmath.org前往参考资料 ↓在新标签页中打开}

数学学科的分类体系以美国数学会开发的《数学主题分类》（Mathematics Subject Classification, MSC）为标准，期刊投稿、文摘收录与基金评审普遍要求标注 MSC 分类号。^{164164Mathematical Reviews and MSCmathscinet.ams.org前往参考资料 ↓在新标签页中打开}

国际数学联盟（IMU）通过其下属的出版与交流委员会以及 ICM 大会报告、Fields 奖等机制，对数学界的国际交流格局产生结构性影响；四年一度的国际数学家大会（ICM）是规模最大的学科聚会。^{3131International Mathematical Unionmathunion.org前往参考资料 ↓在新标签页中打开}

数学界的交流高度依赖研讨会（seminar）与短期专题工作坊，而非仅靠期刊；这一「口头—预印本—期刊」三层结构使数学的知识传播节奏与实验科学存在明显差异。^{162162arXiv math archivearxiv.org前往参考资料 ↓在新标签页中打开|3131International Mathematical Unionmathunion.org前往参考资料 ↓在新标签页中打开}

1900 年至 1930 年前后，数学基础的危机使许多数学家卷入一场大辩论；他们意识到这次危机涉及数学的根本，必须对数学的哲学基础加以严密考察。^{166166走进科学院，感受数学之美！kepu.net.cn前往参考资料 ↓在新标签页中打开}

在这场大辩论中，原先不明显的意见分歧扩展为学派之争，形成了以罗素为代表的逻辑主义、以布劳威尔为代表的直觉主义、以希尔伯特为代表的形式主义三大学派。^{166166走进科学院，感受数学之美！kepu.net.cn前往参考资料 ↓在新标签页中打开}

三大学派在争论过程中尽管言语尖刻、看似势不两立，但各自的观点在争论过程中都吸收了对立面的看法，因而发生了很多变化。^{166166走进科学院，感受数学之美！kepu.net.cn前往参考资料 ↓在新标签页中打开}

集合论与同伦类型论在基本设定上存在差异，这种差异正是 HoTT 引发基础问题讨论的技术背景之一。^{167167A New Foundational Crisis in Mathematics, Is It Really Happening?ar5iv.labs.arxiv.org前往参考资料 ↓在新标签页中打开}

1976 年，Kenneth Appel 与 Wolfgang Haken 宣布证明了四色定理，其证明依赖计算机对约 1,936 种「不可避免构形」的可约性逐一进行机器检验；这是数学史上第一个被广泛讨论的、本质上依赖计算机计算的大定理证明。^{168168The Four Color Theoremmathshistory.st-andrews.ac.uk前往参考资料 ↓在新标签页中打开|169169The Four-Color Theorem: History, Topological Foundations, and Idea of Prooflink.springer.com前往参考资料 ↓在新标签页中打开}

1998 年 Thomas Hales 宣布证明开普勒猜想（三维球最密堆积），证明包含大量计算机计算；审稿过程持续多年，最终以「99% 确信」的形式发表，审稿人明确表示无法完全验证全部计算细节。^{171171A proof of the Kepler conjectureannals.math.princeton.edu前往参考资料 ↓在新标签页中打开|172172Flyspeck project: Formal proof of the Kepler conjecturegithub.com前往参考资料 ↓在新标签页中打开}

为回应开普勒猜想证明的验证难题，Hales 于 2003 年启动 Flyspeck 项目，用 HOL Light 与 Isabelle 等证明助手将证明形式化；该项目于 2014 年宣布完成，使开普勒猜想成为一个被机器完全形式验证的定理。^{172172Flyspeck project: Formal proof of the Kepler conjecturegithub.com前往参考资料 ↓在新标签页中打开|173173A Formal Proof of the Kepler Conjecturecambridge.org前往参考资料 ↓在新标签页中打开}

形式化验证（proof assistant / formal proof）被部分学者视为解决计算机证明合法性争议的路径：证明被写成可由小型内核逐条检查的形式脚本，验证过程不依赖对大型程序的信任，只依赖逻辑内核的正确性。^{173173A Formal Proof of the Kepler Conjecturecambridge.org前往参考资料 ↓在新标签页中打开}

2016 年，Georges Gonthier 等人宣布完成 Feit–Thompson 定理（奇阶定理）的 Coq 形式化证明；该定理原始证明长达 255 页，形式化工程历时约六年，是计算机形式验证在有限群论中的标志性成果。^{174174A Machine-Checked Proof of the Odd Order Theoremlink.springer.com前往参考资料 ↓在新标签页中打开|175175Feit–Thompson theorem formalization in Coq (MathComp)github.com前往参考资料 ↓在新标签页中打开}

四色定理的原始计算机证明在 1990 年代被 Robertson、Sanders、Seymour 与 Thomas 简化，将不可避免构形集从约 1,936 个减少到 633 个；2005 年 Georges Gonthier 用 Coq 完成了四色定理的形式化验证。^{177177The Four Colour Theorem: Engineering of a Formal Prooflink.springer.com前往参考资料 ↓在新标签页中打开}

计算机证明的合法性争议还涉及「程序正确性」这一环节：机器检验的结果依赖于编译器、操作系统与硬件的正确性，若这些底层环节存在缺陷，机器验证的结论就可能不可靠；形式化验证通过可信内核缩小了这一信任基础，但并未完全消除它。^{173173A Formal Proof of the Kepler Conjecturecambridge.org前往参考资料 ↓在新标签页中打开}

2014 年，由多位数学家与计算机科学家完成的「布尔毕达哥拉斯三元组问题」计算机证明（用 SAT 求解器给出 200 TB 的可满足性证明）引发新一轮讨论：该证明规模远超人力可读范围，作者与评论者都承认它无法被人类逐行理解，只能被机器检查。^{178178Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquerlink.springer.com前往参考资料 ↓在新标签页中打开|179179Two-hundred-terabyte maths proof is largest evernature.com前往参考资料 ↓在新标签页中打开}

针对大规模机器证明的可检验性问题，研究者提出「证明证书」（proof certificate）与「可检验证明」（verifiable proof）方案：SAT 求解器输出可被独立检查器验证的证明日志，从而把对求解器本身的信任转移到对小型检查器的信任上。^{178178Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquerlink.springer.com前往参考资料 ↓在新标签页中打开|179179Two-hundred-terabyte maths proof is largest evernature.com前往参考资料 ↓在新标签页中打开}

截至 2020 年代，主流数学期刊与数学共同体已普遍接受计算机辅助证明可以发表，但通常要求作者提供可复现的程序、数据与验证材料；四色定理、开普勒猜想与奇阶定理的形式化工作被视为这一接受过程的关键案例。^{172172Flyspeck project: Formal proof of the Kepler conjecturegithub.com前往参考资料 ↓在新标签页中打开|173173A Formal Proof of the Kepler Conjecturecambridge.org前往参考资料 ↓在新标签页中打开|175175Feit–Thompson theorem formalization in Coq (MathComp)github.com前往参考资料 ↓在新标签页中打开}

千禧年大奖难题（Millennium Prize Problems）是克雷数学研究所于2000年公布的七个未解决数学问题，每个问题的解答悬赏100万美元；其中纳维-斯托克斯方程（Navier–Stokes equations）解的存在性与光滑性问题至今未被解决。^{180180AI狂飙，冲击数学界！丘成桐等专家陆续发声→toutiao.com前往参考资料 ↓在新标签页中打开}

2026年10月6日，OpenAI在GitHub一次性公开722篇由内部前沿模型生成的数学手稿，按372个「结果族」分类，覆盖数论、几何、代数、理论计算机科学等17个领域，其中包含准黎曼猜想、四维挂谷问题等长期悬而未决的难题。^{180180AI狂飙，冲击数学界！丘成桐等专家陆续发声→toutiao.com前往参考资料 ↓在新标签页中打开}

据《新科学家》报道，伦敦大学学院数学系教授弗朗西斯·约翰逊（Frances Johnson）研究沃尔D（2）问题长达25年、写了两本书后最终放弃，近几个月与AI协作时对AI「分析的精密与清晰程度」感到震惊。^{180180AI狂飙，冲击数学界！丘成桐等专家陆续发声→toutiao.com前往参考资料 ↓在新标签页中打开}

四维挂谷问题（Kakeya problem in four dimensions）是几何测度论中的长期未决问题，2026年10月被列入OpenAI公开的模型生成数学手稿所覆盖的难题清单。^{180180AI狂飙，冲击数学界！丘成桐等专家陆续发声→toutiao.com前往参考资料 ↓在新标签页中打开}

模型生成数学手稿的平均算力消耗约为每项结果3小时ChatGPT Pro算力，模型此前共尝试了约4000个研究问题，最终公开722篇手稿。^{180180AI狂飙，冲击数学界！丘成桐等专家陆续发声→toutiao.com前往参考资料 ↓在新标签页中打开}