1 自然数：从计数到归纳的抽象之旅
三只羊与三棵树之间藏着什么共通？皮亚诺用五条公理把自然数从直觉钉成形式系统：零、后继、归纳。本文从计数原点出发，经皮亚诺公理、冯·诺伊曼集合论编码，走到数学归纳法的力量与边界。
书籍
直觉主义数学
从自然数到不可计算性——一场关于数学基础、结构与边界的系统性探索。
共 23 篇文章
目录
23 章2 整数与有理数——数系的第一次扩张
婆罗摩笈多 628 年首次系统给出负数运算规则，欧洲到 16 世纪才接受。从 ℕ 到 ℤ 到 ℚ 是封闭性追求：等价类构造让减法、除法封闭。有理数稠密但不连续——这一缺口将逼出实数。
3 实数：填补数轴上的稠密裂缝
有理数稠密却不连续——√2 的存在揭示了数轴上的微小但致命的洞。本文从这条第一裂缝出发，经戴德金分割与柯西列两条独立路径，构造完备的实数域，并触及实数不可数性的深层秘密与小数表示的局限。
4 复数——代数封闭的达成
从卡尔达诺三次方程的「不可能数」到代数封闭、复分析、解析延拓与黎曼猜想：复数三百年从被排斥到成为研究素数最有效舞台的完整旅程。本文系统讨论复数代数定义、复平面几何、欧拉公式、代数基本定理的三条独立证明（刘维尔/旋转数/最大模）、解析延拓的恒等定理与四个经典延拓、ζ 函数欧拉乘积与黎曼猜想及其与素数定理的等价性。
5 为什么到复数为止——弗罗贝尼乌斯定理
1843 年 Hamilton 在桥上刻下 i²=j²=k²=ijk=-1 时，他放弃的不是数学游戏，而是乘法交换律。Frobenius 1877、Hurwitz 1898、Bott-Milnor 1958 三层证明从代数、几何、拓扑三视角同收敛——可除代数维数只能是 1、2、4、8。本文沿着 ℝ→ℂ→ℍ→𝕆 的代价阶梯，回答数学中最深刻的问题之一：为什么到复数为止？
6 p-进数——另一种完备化
实数不是有理数唯一的完备化。1897 年 Hensel 发现：把绝对值换成 p-进绝对值（被 p 整除越多反而越小），完备化得到一个全新的域 ℚ_p。Ostrowski 定理保证 ℚ 上的绝对值仅有这两类——通常的 ℝ 和每个素数的 ℚ_p。Hasse 局部-整体原理把数论问题分解到所有完备化上。从 Hensel 引理、Newton 多边形到 p-进 zeta 函数，每个素数都是一个独立宇宙。
7 连续与极限——逼近的基础
连续是把局部信息提升为全局结论的资格证。从 Cauchy 1821 到 Weierstrass 1872，ε-δ 把无穷小幽灵翻译成了有限语言；逐点连续与一致连续仅是量词位置交换，但前者撑不起 Riemann 积分、Picard 唯一性、Weierstrass 逼近。Heine-Cantor 把闭区间紧致性翻译成自动一致——这是分析中第一次以紧致性升级局部为全局，也是后续 Banach、Hilbert、流形分析的同一个机制。
8 逼近的科学——简单触及复杂
从泰勒展开到 Stone–Weierstrass 五步证明再到神经网络万有逼近：逼近论的真正机理是紧致性、代数结构与闭包三根钢梁。本文系统讨论可逼近性的光谱、上确界与下确界作为逼近误差的尺子、Chebyshev 等振定理、Stone–Weierstrass 定理的细致证明（√t 多项式逼近、双点插值、紧致性两次有限子覆盖）与从必要性/充分性双向论证的三个充要条件、Cybenko–Hornik–Pinkus 万有逼近，以及五个常见误区。
9 化曲为直——微积分的核心思想
从化曲为直与夹逼准则两个互补视角，系统推导圆的周长、圆的面积、一般曲线弧长、一般图形面积，并深入讨论上下界为何就是真相，揭示高等数学拆解复杂问题的朴素逻辑。
10 微积分——局部线性化的革命
1665 年牛顿在乌尔索普庄园发明微积分。导数把曲线压成切线、积分把面积切成 Riemann 矩形和；微积分基本定理把微分与积分绑成互逆操作——这套局部线性化的语言此后统治了三百年的物理学。
11 变分法——泛函的线性化
1696 年伯努利的最速降线问题——下落最快的曲线是摆线而非直线——开启了变分法。Euler-Lagrange 方程把找最优函数翻译成 ODE，最速降线、悬链线、测地线由同一方程统治。最小作用量原理让牛顿运动方程、广义相对论场方程、Feynman 路径积分都来自变分原理；Noether 定理把对称性翻译成守恒律。从 Gateaux/Fréchet 导数到 Schwartz 分布，变分法把整个微积分搬进无穷维空间。
12 积分理论——从黎曼到勒贝格
从 Riemann 纵切到 Lebesgue 横切的范式转移与元层级洞见：跳过点-线长度裂缝、用可数可加性重铸切割与加法。含三大收敛定理、Fubini、Radon–Nikodym、L^p 几何、绝对连续 FTC、六大直觉论断，并以胖 Cantor、Volterra 导数、sin x/x 等具体例子展示积分计算边界的推进。
13 测度论的灵魂：可加分解与 Littlewood 三原则
从可加分解与 Littlewood 三原则两条主线切入，重新审视中学的「长度、面积」直觉，搭建勒贝格测度的核心骨架，并解释黎曼积分为何在剧烈振荡与极限交换面前束手无策。
14 群：把对称装进一个集合
从正方形的 8 种翻转出发，深入到对称的本质——保持结构不变的可逆变换。讨论群论为什么是对称的数学语言、Cayley 定理与群-对称对偶、Klein 的 Erlangen 纲领；详述伽罗瓦理论如何用群驯服多项式方程，以及 S₅ 不可解为何导致五次方程没有根式解；上升到物理学的对称——诺特定理、规范原理、标准模型 SU(3)×SU(2)×U(1)、Higgs 自发对称破缺。
15 方程的根式解：对称性的胜利
为什么五次方程没有根式解？答案不是技术问题，而是结构性必然——20 岁的 Galois 在决斗前夜留下的几页手稿告诉我们：方程能不能用根式解，由它的对称群是否可解决定。从 Cardano 1545 到 Abel-Ruffini 1824 再到 Galois 1832，三百年探索的终点是一句几乎像诗的话——A₅ 是非阿贝尔单群，所以五次方程没有通用公式。
16 无穷大的阶梯——超限数与连续统假设
1874 年康托尔用对角线证明 |ℝ| > |ℕ|，第一次区分了两种无穷；幂集定理告诉我们无穷的塔永无封顶。希尔伯特名单第一题连续统假设 CH 问：ℕ 与 ℝ 之间还有第三种无穷吗？1940 Gödel 用可构成宇宙 L 证明 CH 不能否证，1963 Cohen 用强迫法证明 CH 不能证明——CH 独立于 ZFC，是数学中最深刻的不可判定命题。
17 哥德尔不完备性：形式系统的边界
1931 年哥德尔击穿希尔伯特纲领：编码、可表达性、对角化引理三步造出自指句 G。本文细化第一/第二定理的证明踪迹，把对角线方法溯源到康托尔、罗素、理查德、图灵、Tarski 并用 Lawvere 不动点定理统一，并深入解释「为什么含初等算术就必然引爆自我指涉」。
18 丘奇-图灵论题：可计算性的奇迹
1936 年 Church 的 λ 演算、Gödel-Kleene 的递归函数、Turing 的图灵机三种独立提出的计算模型最终被证明完全等价——这就是 Church-Turing 论题的奇迹。
19 停机问题：计算的禁区与图灵的对角线
能否写一个终极调试器，判断任意程序遇到任意输入是否会停机？图灵 1936 年用对角线论证给出了否定答案——这是计算机科学第一道不可逾越的边界，也是哥德尔不完备性的同胞兄弟。
20 不可计算性的蔓延：从停机问题到丢番图方程
Δ₁ 是人类有限步骤能解的终极集合——可数、稀有、却有清晰边界。本章探究 Church-Turing 论题、希尔伯特第十问题与 MRDP 定理、字问题、流形同胚、王浩瓷砖如何全部坐落在 Δ₁ 之外，并以算术层级金字塔收口数学的内在边界。
21 莱斯定理：程序行为的不可判定性
1953 年 Henry Gordon Rice 给所有抱有希望的程序分析者当头一棒：所有关于程序行为的非平凡问题都不可判定。停机问题不是冰山，是冰山一角。Rice 定理用一句话扼杀了完美 bug 检测器、完美编译器优化器、完美程序等价器的梦想，划出了软件工程不可逾越的天花板。
22 Oracle 图灵机与图灵度：不可计算性的光谱
1944 年 Post 提出深刻的问题：不可计算的问题之间，有没有难度差别？Oracle 图灵机让我们能假装获得不可计算的信息，看看下一步能算什么；图灵归约衡量问题之间的相对难度；图灵度把所有不可计算性组织成有结构的格。从 0 到 0'、0''、0''' 直到 0^(ω)，不可计算性不是一面墙，而是一架金字塔。
23 自我指涉：计算的深层结构
Cantor 对角线、Russell 悖论、Gödel 不完备、Turing 停机问题、Rice 定理——五个看似无关的不可能性结果，藏着同一个深层结构：自我指涉。1969 年 Lawvere 用范畴论把它们统一成一个不动点定理。从古希腊说谎者悖论到 Y 组合子的递归魔法，自我指涉既能毁灭也能创造。