戈丁《数学概观》第一章笔记（据 2015 年读书摘录整理；与现博客导读互链）。系列入口：阅读系列 · 详导读：勘误复盘。

章内结构：1.1 模型（自然数、天体力学、量子力学、经济学、语言）→ 1.2 模型与现实 → 1.3 数学模型。

开篇：模型与理论

为理解周围世界，人们把观察与思想组织成概念体系，称为模型；把逻辑施于模型概念所得的见解，称为理论。数学模型在逻辑上首尾一贯，并往往带有广阔的理论；其它模型未必同样严格，用处却不必更小。

精密科学里，模型对错靠逻辑与实验检验。因此必须把模型与它所表现的那部分外在世界清楚分开——这一原则已在许多科学分支通用。本章先描述并评价若干重要模型，再概括某些数学模型及其关系。

1.1 模型

自然数

最简单的数学模型是自然数集合。若对象除数目外其它性质皆不论，就可用自然数去数。语言中都有自然数；有的名称多、有的少，但总有太大而无名称的数目——或许是人第一次碰到「无穷」。古代已问：有没有大得不能数的数？地球上沙粒数得完吗？阿基米德《数沙法》（约前 200 年）列举增长很快的数目，并以体积估计证明：其中有些比太阳系沙粒还多。抽象模型可以回答外在世界的具体问题。

图示上，从现实「切下」一块，其某些性质在模型中反映不出来；模型中的直线与直角，只表现现实的某些概括特性。

把乘法加入自然数模型后，性质变丰富：有的数是大于 1 的其它数之积（如 20＝2×2×5），有的则否——后者称素数。序列可继续写下去，但大数素性检验的计算量增长很快，于是问：素数有穷还是无穷？欧几里得《原本》已有巧妙推理得出无穷多（下一章详述）。这是在模型中提出、用理论回答的例子——关于模型的逻辑推理。理论边界弯曲，表示理论并不由模型完全决定；它可包含许多关于自然数的定理（方程可解性、素数分布等），其力量也依赖创造理论的数学家。

「现实—模型—理论」三部分构成的图示，也可说明自然数以外的许多重要模型。

天体力学

现实侧是地球、行星与太阳位置的天文观测。模型中天体相当于质点，彼此按牛顿万有引力吸引：力与质量乘积成正比、与距离平方成反比，方向指向吸引体；运动满足质量×加速度＝力。理论是关于这种运动的数学命题——尤其是：某一时刻的位置与速度唯一决定以后运动。

牛顿在十七世纪创立该模型与理论，回答大量天文学问题：轨道与质量可精确计算；与预见的微小偏差曾导致新行星发现；人造卫星轨道也靠它预测。从牛顿时代至今理论不断发展，天体力学成就巨大，并深刻影响十八、十九世纪哲学。

在这里，「现实—模型—理论」三者平衡紧密，理论极有活力——近乎理想状况。

量子力学

问题是分析原子辐射（照片轨迹与光谱线）。模型可视为天体力学的变体：对象对应原子核与电子，但对象与实在物体之间较紧的直观联系已消失；某些对象须既解释为波又解释为粒子。见解大量来自天体力学中富有成果的概念（质量、能量、动量等），照片本身指引有限。

理论主要是关于希尔伯特空间的命题（可看作无穷维欧氏空间一类对象）。由少量数据可预言辐射频率及其在电磁场中的变化——古典量子力学在此意义下很成功；「互补原理」在哲学上也取得地位。

频率计算与观测的微小偏差，推动更精细的模型（相对论、电磁场量子化等）。新模型并不那么成功，理论中仍有未解困难；是否改变模型或扩展理论，仍未可知。相对天体力学，这里理论有时不充分。

经济学

以全面竞争市场中的价格理论为例：分析生产者与消费者如何决定商品价格。模型中也有生产者与消费者，但动机大大简化——生产者求最大利润，消费者求最大效用；假定每种市场状况下利润与效用已知。平衡可定义为：偏离则至少对某一方不利。理论提供平衡存在的条件，并提出计算相应价格组的方法。

数学相对简单，却不能指望用大型计算机算出杂货店价格——效用函数实际上并不那么确定，定量计算往往无意义。模型仍可给出定性结论，并充当分析市场的概念框架。经济模型大多难有满意的定量结果，经济学因而常分成：研究多少有点人为模型的理论分支，与更直接讨论现实的描述分支。

语言

经典语法及其各部分可看作语言的模型；直到晚近，人们才更清楚地区分模型与其理论（对该模型的逻辑分析）。五十年代乔姆斯基走出重要一步：考虑生成模型——规则与指令的集合，由其得到且只得到构造正确的句子。他用数理逻辑说明：生成模型必然包含一些「变换」规则，超出由材料马上推出的简单规则（例如主动态变被动态）。他对语法模型的要求更严，并抛掉「模型须由语言本身经预先指定步骤构造出来」的观念。

1.2 模型与现实

记着上述例子，可对「现实—模型—理论」作更一般的论述：天体力学三者平衡紧密；量子场论一类情形理论可能不充分；许多模型非常概念化，只能起框架作用而不能作定量预见。有效模型罕见，也不能由观察经某种自动步骤得出。促使改进模型的，往往不是「现实本身」，而是现实与模型接触的临界点；现实混乱难观察时，旧模型有时仍为新模型提供直觉。

离开精密科学与数学后，「理论」在前述严格意义上会变弱，有时可把模型与理论合而为一，只谈模型与现实——这一对概念在人类思想中极重要。例如：进化论是生命演化的模型；宗教与哲学体系也是关于人与世界的模型（逻辑分量不同）；许多宗教与哲学声称普遍合理，但对现实或逻辑时缺点会暴露——想包罗万象反而弄巧成拙。人仍常至少相信其中一种模型；有人甚至「生活在模型中」，用模型解释一切现象。模型与现实的冲突，也是文学常见题材（如契诃夫《套中人》）。

人有追求理论的动力：大脑筛选、归类刺激，加工成世界模型；被混乱压倒时，会逃向模型的简单与安全。多数人满足于别人构造的模型，也有人能创建或改进。这股动力既产生关于外在世界的原始观念，也通向科学理论。

1.3 数学模型

把自然数集合称为与现实及逻辑有别的数学模型，听来迂腐；多数希腊哲学家未必同意这种区分。但希腊数学家创造的欧几里得几何，却精确符合此方案：《原本》描述模型，讨论直线、三角形等——它们出现于日常生活（拉直的绳子、沙盘图形），已抽象化，关系总结在公理中（如「过两不同点能作且仅能作一条直线」）。模型由公理固定，理论以逻辑为唯一工具建立，含大量与观察不矛盾的结果。数学正是借欧氏几何获得「最严格、最纯粹」的名声。

近四个世纪数学大发展，主要并不由「讨论模型」所支配：对数学家，对象显然是抽象观念，逻辑是最后标准；把数学用于物理的科学家则考虑实验检验。详尽分析模型组成部分并非总是最优先。到了二十世纪，随着数学系统化，模型分析才受重视，得到集合、群、环、线性空间、拓扑空间等——它们构成的「现实世界」是数学对象，而非日常事物。在此意义下，它们是第二代模型。

集合论：并、交、集合代数与函数概念等。小学可用日常事物表现；数学中它是概念框架，对函数等尤其有用。康托尔约在 1870 年创造，现已吸收进逻辑、代数等分支。集合论一部分也可当作自然数的「现实世界」（数理逻辑中如此）。

线性空间是涉及代数、分析与几何某些方面的模型，其理论称线性代数；群则在整个数学有许多不同表现，内容远比线性代数丰富。国际惯例常以公理化表述二者。重新组织数学后，公理化似乎是唯一合理方法——麻烦在于：孩子与多数大学生习惯具体思考，碰到第二代模型术语就困难，甚至在与现实紧密联系的简单模型上也会困难。因此公立中学很难真正讲授线性代数与群论基础；材料看似简单，「大多数学生就是听不懂」。「新数学」半途受挫，也与此有关：本想用日常集合教小孩集合论，以为比算术几何简单，可为后来学数与几何开路——但集合论内容贫乏、应用与习题花样少；数与几何反而是更好的「运动场」，让孩子直接接触多变的外在世界。

文献（书中提示）

把数学看作「数学模型之理论的搜集」富有启发，但要写好这个主题，须同时给出数学的丰富与多样。戈丁提到 Courant & Robbins 的 What is Mathematics?（中译曾作《近代数学概观》等）——为公众写的代数、几何、分析基本概念漫谈，极为通俗易读。这也呼应全书导读里与《什么是数学》的对读关系。

小结一句：第一章不是「科普开场白」，而是全书认识论入口——后面各章的「种子」，都长在「现实—模型—理论」这张图上。