math-skill 2.0.1 → 3.0.0

package/skills/algorithmic-thinking/original-texts.md

@@ -1,256 +0,0 @@
-# 算法思维 — 原始文献与历史语境 / Algorithmic Thinking — Original Texts & Historical Context
-
----
-
-## 1. Turing Machine (1936) / 图灵机 (1936)
-
-Alan Turing 的论文 **"On Computable Numbers, with an Application to the Entscheidungsproblem"** (1936) 定义了"可计算性"的精确数学模型——图灵机 (Turing machine)。
-
-> "The 'computable' numbers may be described briefly as the real numbers whose expressions as a decimal are calculable by finite means."
-> — Alan Turing, 1936
-
-**核心定义 / Core definition:**
-- 图灵机 $M = (Q, \Sigma, \Gamma, \delta, q_0, q_{\text{accept}}, q_{\text{reject}})$，其中 $\delta: Q \times \Gamma \to Q \times \Gamma \times \{L, R\}$ 为转移函数。
-- 通用图灵机 (universal Turing machine): 可模拟任意图灵机 $M$ 在输入 $w$ 上的执行，即 $U(\langle M \rangle, w) = M(w)$。
-
-**停机问题 / Halting problem:**
-- 停机问题 $H = \{\langle M, w \rangle : M \text{ halts on } w\}$ 是不可判定的 (undecidable)。
-- 证明：假设 $H$ 可判定，则构造 $D(\langle M \rangle) = \text{run } H(\langle M, \langle M \rangle \rangle)$；若 $M$ 在 $\langle M \rangle$ 上停机则 $D$ 永不停机，反之 $D$ 停机。令 $D(\langle D \rangle)$ 产生矛盾。
-
-**Entscheidungsproblem (判定问题):**
-- Hilbert 1928 年提出：是否存在算法判定一阶逻辑语句的有效性？
-- Turing 与 Church 分别独立证明：不存在。一阶逻辑的有效性是不可判定的。
-
----
-
-## 2. Church-Turing Thesis / Church-Turing 论题
-
-**论题 (thesis, not theorem):**
-> 任何"可有效计算"的函数都是图灵可计算的。
-> Every "effectively calculable" function is Turing-computable.
-
-**等价表述 / Equivalent formulations:**
-- Church: $\lambda$-可定义函数 (lambda calculus, 1936)
-- Gödel–Herbrand–Kleene: 一般递归函数 (general recursive functions)
-- Post: Post 系统 (Post canonical systems)
-- 以上模型计算的函数集完全相同，佐证论题的合理性。
-
-**强 Church-Turing 论题 / Strong Church-Turing thesis:**
-- 任何可在物理设备上于时间 $T$ 内求解的问题，均可在图灵机上于时间 $O(T^k)$（$k$ 为常数）内求解。
-- 即：所有合理的计算模型在多项式时间内等价。
-- 量子计算对此提出挑战——是否存在 $k > 1$ 的多项式加速？
-
----
-
-## 3. Euclid's Algorithm (~300 BC) / 欧几里得算法 (约公元前300年)
-
-**最古老且仍在使用的算法 / The oldest algorithm still in use.**
-
-**GCD 计算 / GCD computation:**
-$$\gcd(a, b) = \gcd(b, a \bmod b), \quad a \bmod b \neq 0$$
-$$\gcd(a, 0) = a$$
-
-**终止性证明 / Termination proof:**
-- 每一步 $b' = a \bmod b < b$，故序列 $b_0 > b_1 > b_2 > \cdots \geq 0$ 严格递减。
-- 有限步内必有 $b_k = 0$，算法终止。
-
-**扩展欧几里得算法 / Extended Euclidean algorithm:**
-- 计算 $\gcd(a, b)$ 同时求出 $x, y$ 使得 $ax + by = \gcd(a, b)$。
-- 应用：模逆元 $a^{-1} \bmod m$——当 $\gcd(a, m) = 1$ 时，$ax \equiv 1 \pmod{m}$，$x = a^{-1}$。
-
-**时间复杂度:**
-- Lamé 定理 (1844): 欧几里得算法的步数 $\leq 5 \times$ 较小数的十进制位数，即 $O(\log \min(a, b))$。
-
----
-
-## 4. Knuth — The Art of Computer Programming (1968–) / Knuth — 计算机程序设计艺术 (1968–)
-
-Donald Knuth 的多卷巨著 **TAOCP** 系统化了算法分析学科。
-
-> "The process of preparing programs for a digital computer is especially attractive, not only because it can be economically and scientifically rewarding, but also because it can be an aesthetic experience much like composing poetry or music."
-> — Donald Knuth, TAOCP Vol. 1, Preface
-
-**贡献 / Contributions:**
-- 将 big-O 记号从数论引入计算机科学并普及。$O(f(n))$: 存在常数 $c, n_0$ 使得 $T(n) \leq c \cdot f(n)$ 对所有 $n \geq n_0$。
-- 系统化的算法分类体系 (sorting, searching, arithmetic, combinatorial 等)。
-- MMIX / MIX 混合伪机器用于算法分析的精确模型。
-- 卷目: Vol. 1 (Fundamental Algorithms, 1968), Vol. 2 (Seminumerical Algorithms, 1969), Vol. 3 (Sorting and Searching, 1973), Vol. 4A (Combinatorial Algorithms, 2011).
-
----
-
-## 5. Cook-Levin Theorem (1971) / Cook-Levin 定理 (1971)
-
-**NP-完全性 / NP-completeness:**
-
-> "The question 'is P = NP?' is one of the most important open questions in theoretical computer science."
-> — Stephen Cook, 1971
-
-**Cook-Levin 定理:**
-- SAT (布尔可满足性问题) 是 NP-完全的 (NP-complete)。
-- 证明：任意 NP 语言 $L$ 的非确定图灵机 $M$ 在 $w$ 上的接受计算可编码为 SAT 公式 $\varphi_{M,w}$；$w \in L \iff \varphi_{M,w}$ 可满足。
-- 规约: $L \leq_p \text{SAT}$ 对所有 $L \in \text{NP}$ 成立。
-
-**Karp 的 21 个 NP-完全问题 (1972):**
-- Richard Karp 在 "Reducibility among Combinatorial Problems" 中证明 21 个经典问题均为 NP-完全，包括：
-  - 3SAT, CLIQUE, VERTEX-COVER, HAM-CYCLE, TSP, SUBSET-SUM, PARTITION 等。
-
-**P vs NP:**
-- $\text{P} = \text{NP}$？若成立，则所有 NP 问题均有多项式时间算法。普遍猜测 $\text{P} \neq \text{NP}$。Clay 数学研究所千禧年大奖问题之一。
-
----
-
-## 6. Divide-and-Conquer / 分治法
-
-**思想 / Key idea:** 将问题分解为若干子问题，递归求解，合并结果。
-
-**经典算法 / Canonical examples:**
-- **合并排序 (Merge sort):** $T(n) = 2T(n/2) + O(n) \Rightarrow T(n) = O(n \log n)$。稳定排序。
-- **快速排序 (Quicksort):** 平均 $O(n \log n)$，最坏 $O(n^2)$。Hoare (1962)。
-- **二分查找 (Binary search):** $T(n) = T(n/2) + O(1) \Rightarrow T(n) = O(\log n)$。有序数组前提。
-
-**主定理 / Master theorem:**
-$$T(n) = a\,T(n/b) + f(n)$$
-- 情形1: 若 $f(n) = O(n^{\log_b a - \varepsilon})$，则 $T(n) = \Theta(n^{\log_b a})$。
-- 情形2: 若 $f(n) = \Theta(n^{\log_b a} \log^k n)$，则 $T(n) = \Theta(n^{\log_b a} \log^{k+1} n)$。
-- 情形3: 若 $f(n) = \Omega(n^{\log_b a + \varepsilon})$ 且 $af(n/b) \leq cf(n)$，则 $T(n) = \Theta(f(n))$。
-
----
-
-## 7. Dynamic Programming / 动态规划
-
-> "I decided to use the word 'dynamic' … it was something not even a Congressman could object to."
-> — Richard Bellman, on naming "dynamic programming" (1957)
-
-**核心要素 / Core principles:**
-1. **最优子结构 (optimal substructure):** 最优解包含子问题的最优解。
-2. **重叠子问题 (overlapping subproblems):** 不同子问题共享更小的子问题，递归会重复计算。
-
-**经典算法:**
-- **最短路径:** Dijkstra (1959)——单源最短路径，$O((V+E)\log V)$。
-- **Floyd-Warshall (1962):** 所有顶点对最短路径，$O(V^3)$。递推 $d_{ij}^{(k)} = \min(d_{ij}^{(k-1)}, d_{ik}^{(k-1)} + d_{kj}^{(k-1)})$。
-- **背包问题 (knapsack):** $O(nW)$ 伪多项式时间。
-
-**自底向上 vs 自顶向下 / Bottom-up vs Top-down (memoization):**
-- 自底向上：按子问题规模从小到大填表。
-- 自顶向下 + 记忆化 (memoization)：递归但缓存已解子问题的结果。
-
----
-
-## 8. Greedy Algorithms / 贪心算法
-
-**思想 / Key idea:** 每一步选择局部最优，期望达到全局最优。
-
-**经典算法:**
-- **Kruskal 最小生成树 (1956):** 按边权升序加入不形成环的边。$O(E \log E)$。贪心在 MST 问题中有效。
-- **Huffman 编码 (1952):** 每次合并频率最低的两个节点。最优前缀编码。
-
-**贪心何时有效 / When greedy works:**
-- **拟阵 (matroid) 结构:** 若问题的可行解集构成拟阵 $(E, \mathcal{I})$——即满足遗传性 (hereditary) 与交换性 (exchange property)——则贪心算法对任何权函数均给出最优解。
-- 交换性: 若 $A, B \in \mathcal{I}$，$|A| < |B|$，则存在 $e \in B \setminus A$ 使得 $A \cup \{e\} \in \mathcal{I}$。
-
----
-
-## 9. Backtracking and Search / 回溯与搜索
-
-**深度优先搜索 (DFS) / 广度优先搜索 (BFS):**
-- DFS: 用栈（或递归），优先深入；用于拓扑排序、连通分量。
-- BFS: 用队列，优先扩展；用于最短路径（无权图）。
-
-**回溯 (backtracking):**
-- 系统地枚举候选解，发现不满足约束即回退。
-- 例: N-皇后问题、子集枚举、排列枚举。
-
-**剪枝与分支限界 / Pruning and branch-and-bound:**
-- 剪枝 (pruning): 利用约束提前排除不可能的分支，减少搜索空间。
-- 分支限界 (branch-and-bound): 对优化问题，维护当前最优解的界，剪去不可能更优的分支。常用于 TSP、整数规划。
-
-**约束满足问题 (CSP) / Constraint satisfaction:**
-- 变量集 + 值域 + 约束集。回溯搜索 + 约束传播 (AC-3 等)。
-
----
-
-## 10. Randomized Algorithms / 随机化算法
-
-**两类 / Two types:**
-- **Las Vegas 算法:** 结果始终正确，运行时间随机。例：随机化 quicksort。
-- **Monte Carlo 算法:** 运行时间确定，结果可能错误（但错误概率可控制在任意小）。例：Miller-Rabin 素性测试。
-
-**Miller-Rabin 素性测试 (1976/1980):**
-- 对奇数 $n$，选取随机 $a \in \{2, \ldots, n-1\}$，检验 $a^{d} \bmod n$ 的序列是否满足 Fermat 小定理的强化条件。
-- 单次测试的错误概率 $\leq 1/4$；$k$ 次独立测试后错误概率 $\leq 4^{-k}$。
-- 时间 $O(k \log^3 n)$。
-
-**随机化快速排序 / Randomized quicksort:**
-- 随机选取 pivot，期望比较次数 $2n \ln n \approx 1.39 n \log_2 n$，期望运行时间 $O(n \log n)$。
-- 最坏 $O(n^2)$ 的概率可证明极低。
-
----
-
-## 11. Decidability and Undecidability / 可判定性与不可判定性
-
-**停机问题不可判定 / Halting problem is undecidable (see §1).**
-
-**Rice 定理 (1953):**
-> 关于图灵机的任何非平凡语义性质都是不可判定的。
-> Every non-trivial semantic property of Turing machines is undecidable.
-
-- "语义性质": 仅取决于 $M$ 计算的函数，不取决于 $M$ 的结构。
-- "非平凡": 对某些图灵机成立，对某些不成立。
-- 例："M 是否计算常数函数""M 是否在某输入上停机""M 是否计算可判定语言"——均不可判定。
-
-**Post 对应问题 / Post correspondence problem (PCP, 1946):**
-- 给定 domino 集合 $\{(t_1, b_1), \ldots, (t_k, b_k)\}$（$t_i, b_i$ 为字符串），是否存在序列 $i_1, i_2, \ldots, i_m$ 使得 $t_{i_1} t_{i_2} \cdots t_{i_m} = b_{i_1} b_{i_2} \cdots b_{i_m}$？
-- PCP 是不可判定的。常用于证明其他问题的不可判定性。
-
----
-
-## 12. Complexity Classes / 复杂度类
-
-| 类 / Class | 定义 / Definition | 中文说明 |
-|---|---|---|
-| **P** | $\{L : L \text{ 可在 } O(n^k) \text{ 时间内判定}\}$ | 多项式时间可判定 |
-| **NP** | $\{L : L \text{ 有多项式长度的验证证书}\}$ | 非确定多项式时间可判定 |
-| **co-NP** | $\{L : \bar{L} \in \text{NP}\}$ | NP 的补类 |
-| **EXP** | $\{L : L \text{ 可在 } O(2^{n^k}) \text{ 时间内判定}\}$ | 指数时间可判定 |
-| **R** | $\{L : L \text{ 是可判定的}\}$ | 递归语言 / 可判定语言 |
-| **RE** | $\{L : L \text{ 可被图灵机识别}\}$ | 递归可枚举语言 |
-
-**层次关系 / Hierarchies:**
-$$\text{P} \subseteq \text{NP} \subseteq \text{PSPACE} \subseteq \text{EXP} \subseteq \text{R} \subseteq \text{RE}$$
-$$\text{P} \neq \text{EXP} \quad (\text{time hierarchy theorem, Hartmanis–Stearns 1965})$$
-$$\text{R} \neq \text{RE} \quad (\text{halting problem} \in \text{RE} \setminus \text{R})$$
-
----
-
-## 13. Sorting Lower Bound / 排序下界
-
-**比较排序的下界 / Lower bound for comparison-based sorting:**
-
-$$T(n) \geq \Omega(n \log n)$$
-
-**信息论论证 / Information-theoretic argument:**
-- $n$ 个元素的排列数 $= n!$，每次比较至多将搜索空间减半。
-- 决策树高度 $h$ 须满足 $2^h \geq n!$，故 $h \geq \log_2(n!) = \Omega(n \log n)$。
-- 由 Stirling 公式: $\log_2(n!) \approx n \log_2 n - n \log_2 e + O(\log n)$。
-
-**突破下界的方法 / Breaking the bound:**
-- 非比较排序可超越 $\Omega(n \log n)$：计数排序 $O(n+k)$，基数排序 $O(d(n+k))$——但要求输入有特殊结构。
-
----
-
-## 14. Algorithm Design Paradigms — Summary Table / 算法设计范式总结表
-
-| 范式 / Paradigm | 核心思想 / Key Idea | 适用条件 / When to Use | 典型例子 / Canonical Example |
-|---|---|---|---|
-| 分治 / Divide-and-Conquer | 分解→递归→合并 | 问题可自然分为独立子问题 | Merge sort, Binary search |
-| 动态规划 / Dynamic Programming | 子问题重叠+最优子结构，填表避免重复 | 子问题重叠严重，有最优子结构 | Floyd-Warshall, Knapsack |
-| 贪心 / Greedy | 每步取局部最优 | 拟阵结构或可证贪心正确性 | Kruskal MST, Huffman coding |
-| 回溯 / Backtracking | 系统搜索+剪枝 | 搜索空间有限但巨大 | N-Queens, CSP |
-| 分支限界 / Branch-and-Bound | 搜索+维护上下界剪枝 | 优化问题，可计算解的界 | TSP (exact), Integer programming |
-| 随机化 / Randomized | 引入随机性降低期望代价或错误概率 | 需要概率保证或期望高效 | Miller-Rabin, Randomized quicksort |
-| 归约/规约 / Reduction | 将问题变换为已知问题 | 已有高效算法求解目标问题 | SAT → 3SAT (Cook-Levin) |
-
----
-
-*本文件为算法思维技能的数学参考与历史语境，涵盖从古希腊到现代计算理论的核心成果。*
-*This file provides mathematical references and historical context for the algorithmic-thinking skill, covering core results from ancient Greece to modern computational theory.*

package/skills/axiomatization/SKILL.md

@@ -1,149 +0,0 @@
----
-name: axiomatization
-description: |
-  触发：审查论文/理论的假设合理性、构建新公理系统、发现理论内部矛盾、验证相容性/独立性/完备性；或为算法/算子/结构定公理与不变量并检验其可计算性时调用。
-  English: Trigger when examining the reasonableness of a theory's assumptions, constructing an axiom system, discovering internal contradictions, verifying consistency/independence/completeness; or defining axioms and invariants for an algorithm/operator/structure and checking their computability.
----
-
-# 📐 公理化思想 / Axiomatization
-
-> "从最少假设出发，用严格逻辑构建——审查前提比检查结论更重要"
-> "Starting from minimal assumptions, building through rigorous logic — examining premises matters more than checking conclusions"
->
-> —— 欧几里得《几何原本》、希尔伯特《几何基础》、公理集合论
-> —— Euclid's *Elements*, Hilbert's *Foundations of Geometry*, Axiomatic Set Theory
-
-## 核心原则 / Core Principle
-
-**任何理论体系都可以（且应该）被还原为一组基本公理，从这些公理出发，通过严格逻辑推理，可以推导出该领域的所有定理。审查前提比检查结论更重要——前提错了，结论再精巧也站不住脚。**
-
-**Any theoretical system can (and should) be reduced to a set of fundamental axioms, from which all theorems in that domain can be derived through rigorous logical inference. Examining premises matters more than checking conclusions — if premises are wrong, no amount of elegant reasoning can save the conclusion.**
-
-> **数学形式化 / Mathematical Formalization**
->
-> 评判一个公理系统的质量，有以下核心标准：
->
-> - **相容性（Consistency）**：公理之间不能互相矛盾。若公理集合矛盾，则由爆炸原理（ex falso quodlibet）可推出任意命题，体系崩溃
-> - **独立性（Independence）**：每条公理都不能由其他公理推导出来
-> - **完备性（Completeness）**：该领域的所有真命题都能从公理出发被证明（注意：完备性因逻辑系统阶数而异，见方法流程）
->
-> **范畴性（Categoricity）**：若一个公理系统的所有模型彼此同构，则该系统是范畴的。范畴系统唯一确定其研究对象的结构——例如二阶 Peano 公理是范畴的（唯一模型为自然数结构 ℕ），而一阶 Peano 公理不是范畴的（存在非标准模型）。
->
-> **相对一致性（Relative Consistency）**：若公理系统 A 的所有公理可嵌入为系统 B 中的真命题，且系统 B 已知相容，则系统 A 相容。这是证明相容性的标准方法——例如 PA 的相容性可在 ZFC 中证明（PA 的公理在 ZFC 中皆为真），但 ZFC 自身的相容性只能在更强的系统（如 ZFC+存在不可达基数）中相对证明。
->
-> 详细数学依据见 `original-texts.md`
-
-## GPU 友好性 / GPU-Friendliness（横切检查）
-
-当公理化用于**为算法/算子/结构定公理与不变量**时，所定义的结构必须过 `../../references/gpu-friendly-math.md` 八维门——「公理自洽」不等于「可算」：
-
-- **友好**：公理系统天然落到线性代数——群作用公理 → 等变层 = GEMM（权重沿轨道共享）；环公理松弛为半环 → 广义 GEMM（min-plus/热带）。过维度 1/2/3。
-- **可改造**：本质离散/符号的公理（硬 Top-K、精确有限域算术、符号证明搜索）阻断梯度 → 松弛公理：热带半环分段线性门控、Gumbel-softmax、可微代理。
-- **反模式**：不变量要求全局符号推理或精确离散满足（如精确 Čech 上同调、精确轨道相等判断）→「美但不可算」；改为局部/连续近似。
-
-八维最低判定（正式术语）：**张量化**看公理实例是否能批量检查；**GEMM 可映射**看运算公理是否能落线性/半环矩阵乘；**复杂度**看一致性/独立性检查是否退化为不可判定或指数搜索；**显存与 KV-Cache**看不变量是否需要全局状态表；**低精度稳定**看公理是否容忍近似等式；**并行与通信**看局部公理能否分块验证；**稀疏结构**看约束图是否结构化；**算子融合**看公理检查能否编译成轻量 loss/guard。
-
-> 配合 `../../references/books/abstract-algebra.md`（群/环/域公理、环→半环松弛）与 `../../references/books/algebraic-geometry-rising-sea.md`（层/范畴/上同调公理）。
-
-## 不适用场景 / When NOT to Use
-
-- **纯粹的事实查询**（如"这个公式是什么"）——没有理论体系需要审查。
-- **用户已接受某个理论框架，只需应用**——公理已选定。
-- **经验性问题**（需实验数据而非逻辑推理）——公理化不能替代实证。
-- **构造性语境下默认使用经典工具**——若用户要求构造性证明，不应默认排中律或选择公理。
-
-## 何时使用 / When to Use
-
-- 阅读论文时，审查其理论基础假设是否合理、是否自洽。
-- 构建理论框架时，从最小公理集出发。
-- 发现某理论体系内部存在矛盾或不一致。
-- 需判断形式系统是否可判定（decidable）或是否完备。
-- 需比较不同公理选择的后果（构造性 vs 经典、一阶 vs 二阶）。
-- **为算子/结构定公理与不变量**，并检验其在 GPU 上的可计算性。
-
-## 方法流程 / Method
-
-### 第一步：识别公理 / Identify the Axioms
-找出该理论体系的所有基本假设（公理），区分：**显式公理**（作者明确声明）、**隐式公理**（未声明但论证实际使用）、**背景公理**（默认接受的更大框架假设，如默认 ZFC）。
-
-> "每一门科学只有当它被公理化之后，才算是真正成熟了。" —— 希尔伯特
-
-### 第二步：规定形式语言 / Specify the Formal Language
-公理体系表达力取决于所选形式语言，公理化前必须明确：
-
-- **一阶逻辑（First-order Logic）**：量词只作用于个体元素。表达力有限，但拥有完备证明理论（哥德尔完备性定理：可证明的恰好是有效的）。一阶理论模型不唯一（非范畴性），但证明系统可靠且完备。
-- **二阶逻辑（Second-order Logic）**：量词可作用于子集和函数。表达力更强（可表达范畴性，如二阶 Peano 唯一刻画 ℕ），但不存在完备证明系统——其语义不可被任何递归公理集完全捕获。
-- **构造性逻辑（Constructive / Intuitionistic Logic）**：不接受排中律（∀P, P∨¬P）。存在量词证明必须给出显式见证（witness）：证明 ∃x.φ(x) 必须构造出具体 x₀ 使 φ(x₀) 成立。推理规则更严格，但保证所有证明可计算。
-
-> 选择语言不仅是技术细节，而是根本性哲学决定：一阶逻辑承诺可穷尽的证明系统，二阶逻辑承诺结构唯一性，构造性逻辑承诺可计算性。
-
-### 第三步：检验相容性 / Check Consistency
-检查公理之间是否互相矛盾。若公理集合矛盾，则由爆炸原理可推出任意命题，体系崩溃。检验方法：
-
-- 寻找是否存在两个公理 P 与 ¬P 同时成立。
-- 尝试构造模型使所有公理同时为真（模型存在 ⇒ 相容）。
-- **相对一致性证明**：将系统 A 的公理嵌入为系统 B 中的真命题，若 B 已知相容则 A 相容。例如 PA 相容（PA 公理在 ZFC 的 von Neumann 自然数模型中皆为真）。
-- **有限模型方法**：对较弱的形式系统（命题逻辑、某些有穷公理化弱算术），可构造有限模型直接验证相容性。
-
-### 第四步：检验独立性 / Check Independence
-检查是否有某条公理可由其他公理推导出来。若存在，它不是真正的公理而是定理。检验方法：
-
-- 对每条公理 A，构造模型使 A 不成立但其他公理都成立。
-- 若这样的模型存在，则 A 独立于其他公理。
-- 经典案例：平行公理独立于欧氏几何其余公理（非欧几何模型）；选择公理独立于 ZF（Cohen 力迫法）。
-
-### 第五步：评估完备性 / Assess Completeness
-检查公理体系是否足以推导出该领域所有重要结论。完备性性质因逻辑阶数和理论内容而异：
-
-- **一阶理论可以完备**：稠密线性序（DLO）、固定特征的代数封闭域（ACF_p）等一阶理论完备且可判定。完备 ≠ 不存在未决问题；完备指对每个闭公式 φ，φ 或 ¬φ 可由公理证明。
-- **哥德尔不完备定理的适用范围**：不完备性特指包含足够算术的一阶递归可枚举理论（PA、ZFC 等），其中必然存在不可判定命题（如 PA 中的 Gödel 句、ZFC 中的 CH）。
-- **可判定性（Decidability）是独立问题**：完备的一阶理论通常可判定（有算法判定任意公式是否为定理），但不完备理论未必不可判定——可判定性取决于是否存在判定定理的算法，而非是否所有命题都有证明。
-
-### 第六步：分析公理选择的影响 / Analyze the Impact of Axiom Choice
-改变或放松某条公理，理论会发生什么变化？许多数学分支的发展正是通过改变公理实现的：
-
-- 改变平行公理 → 非欧几何（双曲几何、椭圆几何）。
-- **构造性 vs 经典**：去除排中律 → 构造性数学（Brouwer, Heyting），存在性证明必须提供显式构造；添加选择公理 → 更强的经典数学，但产生非构造性证明（如 Banach-Tarski 分球定理）。
-- **Zorn 引理、良序定理与选择公理**：在 ZF 中三者等价——接受任何一个即接受全部，这一等价性本身是非构造性的。
-- 改变归纳公理 → 非标准分析。
-
-### 第七步：应用与结论 / Apply and Conclude
-综合以上分析，给出对该公理体系的整体评价：是否适合其预期应用领域？是否存在需补充或修改的公理？该体系的局限性是什么（不可判定命题、非范畴性、构造性缺失等）？
-
-## 常见错误 / Common Errors
-
-| 错误 / Error | 批评 / Critique | 正确做法 / Correct Approach |
-|---|---|---|
-| 混淆公理和定理 | 把需证明的命题当作不证自明的公理 | 明确区分：公理是起点，定理是终点 |
-| 忽视隐式假设 | 论证中使用了未声明的假设，推理不严密 | 审查每一步推理，暴露所有隐含假设 |
-| 接受矛盾公理集 | 从矛盾公理可推出任意结论（爆炸原理） | 检验公理集合的相容性 |
-| 把公理当真理 | 公理只是选择出发点的约定，非绝对真理 | 公理的价值在于其推论的有用性 |
-| 忽略公理变更的可能性 | 认为公理是唯一可能的选择 | 考虑改变公理会得到什么新理论 |
-| 混淆一阶与二阶完备性 | 一阶有完备证明系统（哥德尔完备性），二阶没有；二者"完备"含义不同 | 区分证明论完备性与模型论完备性，明确逻辑阶数 |
-| 忽视构造性义务 | 构造性语境中使用排中律或仅证 ¬¬∃x.φ(x) 而不给见证 | 构造性证明须对 ∃x.φ(x) 给出显式见证 x₀；构造性语境禁用排中律 |
-| 假设所有不完备理论同样不完备 | 不同不完备理论的不可判定命题数量与性质差异巨大 | 分析具体理论：哪些命题不可判定、其结构性质如何 |
-| 把离散/符号公理硬塞进训练 | 本质离散/符号的公理系统不可微、不可算 | 过八维门，必要时松弛为可微/近似（热带半环、Gumbel-softmax） |
-
-## 操作规程 / Operating Procedure
-
-当本 skill 被触发时，输出必须包含：
-
-1. **公理清单**：`[公理N]: [内容]（来源：显式/隐式/背景）`
-2. **形式语言规定**：`[语言类型]: [一阶/二阶/构造性]（理由：...）`
-3. **相容性检查**：`✅ 相容` 或 `❌ 发现矛盾：[具体矛盾]`；若用相对一致性，注明嵌入的目标系统
-4. **独立性分析**：标注是否存在冗余公理 `⚠️ [公理N] 可能由 [公理M] 推出`
-5. **完备性评估**：`✅ 完备` / `⚠️ 不完备：缺少 [X]`；注明是否属哥德尔不完备定理适用范围，标注可判定性
-6. **公理变更分析**：若改变某条公理（去除排中律、添加/去除选择公理），理论会如何变化？
-7. **结论**：对该理论体系相容性、独立性、完备性、范畴性、可判定性的综合判定
-8. **[GPU 可行性]**（若用于算法/算子/结构设计）— 所定公理与不变量导出的结构过 `../../references/gpu-friendly-math.md` 八维门，标注友好/可改造/不友好 + 改造建议
-
-**输出不得只给分析而无结论。每项必须给出明确判定，不可悬置。**
-
-## 与其他 skill 的关系 / Relations to Other Skills
-
-- **逻辑演绎**：公理化需要逻辑演绎作为推理工具；形式推理规则是公理体系的证明机制。
-- **抽象化**：公理化是最高层次的抽象——把一切还原为最少假设。
-- **建模思想**：公理体系本身也是一种模型，需检验其对现实的适用性；模型论直接服务于相容性与独立性检验。
-- **归纳与类比**：公理的选择往往通过归纳和类比获得灵感。
-- **算法思想**：形式系统与可判定性直接关联——可判定理论存在算法判定定理，不可判定理论则不存在。
-- **现代数学激活**：`../../references/books/abstract-algebra.md`（公理系统/群环域、环→半环松弛）、`../../references/books/algebraic-geometry-rising-sea.md`（层/范畴/上同调基础）。

package/skills/axiomatization/original-texts.md

@@ -1,160 +0,0 @@
-# 数学出处与经典文献 / Mathematical Sources and Classic Texts
-
-## 欧几里得《几何原本》/ Euclid's *Elements* (~300 BC)
-
-**公理体系（五大公设）**：
-
-> 1. 任意两点之间可以作一条直线。
-> 2. 一条有限直线可以不断延长。
-> 3. 以任意中心和半径可以画一个圆。
-> 4. 所有直角都相等。
-> 5. （平行公设）若一条直线与两条直线相交，在同一侧的内角之和小于两直角，则这两条直线无限延长后在该侧相交。
-
-1. A straight line segment can be drawn joining any two points.
-2. Any straight line segment can be extended indefinitely in a straight line.
-3. Given any straight line segment, a circle can be drawn having the segment as radius and one endpoint as center.
-4. All right angles are congruent.
-5. (Parallel Postulate) If two lines are drawn which intersect a third in such a way that the sum of the inner angles on one side is less than two right angles, then the two lines inevitably must intersect on that side if extended far enough.
-
-**意义**：人类历史上第一个公理化体系，展示了从 5 条公设和 5 条公理出发，通过严格逻辑推理可以推导出 465 个命题。
-
-## 平行公设之争 / The Parallel Postulate Controversy (~300 BC – 1820s)
-
-欧几里得第五公设从一开始就令人不安：它的表述远比前四条复杂，更像是一条定理而非公理。两千年来，无数数学家试图从前四条公设推导出它，均告失败。
-
-关键人物与进展：
-- **Saccheri** (1733)：试图通过假设平行公设为假来推导矛盾，虽未成功，但首次系统探索了非欧几何的性质。
-- **Lambert** (1766)：类似思路，更深入地研究了钝角假设与锐角假设下的几何结论。
-- **Gauss** (~1820)：私下已认识到非欧几何的逻辑自洽性，但因怕引起争议而未发表。
-- **Bolyai** (1832) & **Lobachevsky** (1829)：各自独立发表双曲几何——一种平行公设为假但完全自洽的几何体系。
-
-> "我已从虚无中创造了另一个全新的世界。" — Bolyai
-> "I have created a new universe from nothing." — Bolyai
-
-**意义**：平行公设独立于其余四条——它既不能被证明也不能被证伪。这是公理独立性最早的实例，比哥德尔不完备定理早一百年就揭示了"公理不可被迫为真"的深刻事实。非欧几何的诞生直接催生了黎曼几何，后者成为广义相对论的数学基础。
-
-## 希尔伯特《几何基础》/ Hilbert's *Foundations of Geometry* (1899)
-
-> "我们可以用'桌子、椅子、啤酒杯'代替'点、线、面'——只要它们满足公理之间的关系。"
-> "We must be able to replace 'points, lines, planes' with 'tables, chairs, beer mugs'—as long as they satisfy the relations between the axioms."
-
-希尔伯特提出了更严格的公理体系要求：
-- **相容性**：公理不能互相矛盾
-- **独立性**：每条公理不能由其他公数推出
-- **完备性**：所有几何命题都能在体系内判定
-
-## 皮亚诺算术公理 / Peano Axioms for Arithmetic (1889)
-
-皮亚诺给出自然数的五条公理，是算术公理化最经典的形式：
-
-> P1. 0 是自然数。 / 0 is a natural number.
-> P2. 每个自然数 n 都有唯一后继 S(n)。 / Every natural number n has a unique successor S(n).
-> P3. 0 不是任何自然数的后继。 / 0 is not the successor of any natural number.
-> P4. 不同自然数有不同的后继。 / Different natural numbers have different successors.
-> P5. （归纳公理）若性质 P 对 0 成立，且对 n 成立则对 S(n) 成立，则 P 对所有自然数成立。 / (Induction) If P(0) and P(n) → P(S(n)), then P holds for all natural numbers.
-
-**意义**：一阶皮亚诺公理（PA）是哥德尔不完备定理的标准研究对象——PA 相容但不完备。二阶皮亚诺公理是范畴性的（见下文），唯一刻画自然数结构。
-
-## ZFC 公理 / Zermelo-Fraenkel Set Theory with Choice (1908–1922)
-
-ZFC 是当代数学的标准公理基础，由 9 条公理组成：
-
-> Z1. 外延公理：两个集合相等当且仅当它们有相同的元素。 / Extensionality: sets with the same elements are equal.
-> Z2. 空集公理：存在不含任何元素的集合。 / Empty set: ∅ exists.
-> Z3. 配对公理：对任意 a, b，存在集合 {a, b}。 / Pairing: {a, b} exists.
-> Z4. 并集公理：任意集合族的并集存在。 / Union: the union of any family of sets exists.
-> Z5. 幂集公理：任意集合的所有子集构成一个集合。 / Power set: P(A) exists.
-> Z6. 无穷公理：存在含 0 且对后继封闭的集合。 / Infinity: an infinite set exists.
-> Z7. 替换公理（Fraenkel 补充）：函数像在集合范围内。 / Replacement (Fraenkel's addition): images of functions on sets are sets.
-> Z8. 基础公理：每个非空集合有最小元，禁止集合包含自身。 / Foundation: every nonempty set has a minimal element; no set contains itself.
-> Z9. 选择公理（AC）：对任意非空集合族，存在选择函数从每个集合中选取一个元素。 / Axiom of Choice: for any family of nonempty sets, a choice function exists.
-
-**选择公理争议**：AC 看似直观，却导致反直觉结论——最著名的是 **Banach-Tarski 悖论** (1924)：一个球可以被切成五块，经旋转重组后变成两个与原球同样大小的球。Zermelo 用 AC 证明了每个集合都可良序化 (1904)，这本身也令人困惑。
-
-> "选择公理显然为真，良序定理显然为假，而谁又能分辨？" — Jerry Bona
-> "The Axiom of Choice is obviously true, the Well-Ordering Theorem obviously false, and who can tell the difference?" — Jerry Bona
-
-**意义**：ZFC 的 9 条公理足以推导几乎所有现代数学。但 ZFC 本身也是哥德尔不完备定理的适用对象——ZFC 相容但无法在内部证明其相容性。
-
-## 连续统假设 / Continuum Hypothesis (Cantor 1878, Gödel 1940, Cohen 1963)
-
-康托尔在 1878 年提出：实数集（连续统）的势恰好是 ℵ₁——即不存在介于自然数势 ℵ₀ 与实数势之间的无穷基数。
-
-> CH: 2^ℵ₀ = ℵ₁。不存在"中等大小"的无穷集。 / There is no cardinal between ℵ₀ and 2^ℵ₀.
-
-- **Gödel** (1940)：证明了 CH 与 ZFC 相容——在 ZFC 中无法反驳 CH。构造了可构造集 L，在其中 CH 成立。
-- **Cohen** (1963)：用力迫法（forcing）证明了 ¬CH 也与 ZFC 相容——在 ZFC 中无法证明 CH。这是力迫法的诞生。
-
-**意义**：CH 是哥德尔不完备定理最具体的实例——一条关于无穷大小的自然命题，在数学的标准公理体系中既不可证也不可驳。这深刻揭示了公理体系的局限：即使是最基本的数学问题，也可能超出公理的力量。
-
-## 哥德尔不完备定理 / Gödel's Incompleteness Theorems (1931)
-
-> **第一不完备定理**：任何一个包含算术的相容公理体系，都存在既不能证明也不能证伪的命题。
-> **第二不完备定理**：一个相容的公理体系不能在体系内部证明自身的相容性。
-
-**对公理化思想的启示**：完美的公理化是不可能的。但这不意味着公理化没有价值——它帮助我们理解理论的边界。
-
-## Whitehead & Russell《数学原理》/ *Principia Mathematica* (1910–1913)
-
-尝试将所有数学还原为逻辑和集合论公理，是公理化思想的巅峰尝试。虽然哥德尔后来证明了这种完全还原的不可能性，但《原理》展示了公理化方法的巨大力量。
-
-## 范畴性 / Categoricity (Veblen 1904)
-
-Veblen 在 1904 年引入范畴性概念：一个公理体系称为范畴性的（categorical），如果它的所有模型都同构——即公理唯一地刻画了研究对象。
-
-> 范畴性 = 公理体系的所有模型彼此同构。/ Categoricity = all models of the axiom system are isomorphic.
-
-**关键例子**：
-- **二阶皮亚诺公理**是范畴性的——所有满足二阶 PA 的模型都是标准自然数结构 ℕ，唯一的。
-- **一阶皮亚诺公理**不是范畴性的——存在非标准模型，其中有"无穷大"的自然数（Skolem 1934）。
-- **一阶实闭域公理**是范畴性的（Tarski）——唯一刻画 ℝ。
-
-**意义**：范畴性是公理体系的理想性质——公理真正"钉住"了唯一的数学对象。但 L\"owenheim-Skolem 定理表明，任何一阶公理体系如果有无穷模型，就有任意大小的无穷模型，因此一阶体系永远不可能范畴性（除非只有有限模型）。二阶体系可以范畴性，但二阶逻辑没有完备的证明系统。这是公理化方法中一阶与二阶的根本张力。
-
-## 塔斯基几何公理化 / Tarski's Axiomatization of Geometry (1926–1959)
-
-塔斯基用一阶逻辑公理化欧几里得平面几何，只使用点（point）与介于（betweenness）、等距（equidistance）两个基本关系。
-
-> 塔斯基几何 = 一阶逻辑 + 点 + 介于 + 等距，共约 10 条公理（短版本仅需 7 条）。
-> Tarski's geometry = first-order logic + points + betweenness + equidistance, ~10 axioms (7 in the short version).
-
-**决定性与完备性**：塔斯基在 1959 年证明了这个公理体系是**完备且可判定的**——每条几何命题都可在体系内判定真伪，且存在算法自动判定。
-
-**对比哥德尔**：这似乎与哥德尔不完备定理矛盾。关键在于：塔斯基几何不含算术——它无法编码自然数，因此哥德尔定理的条件"包含算术"不满足。这深刻说明了：公理体系的完备与否取决于它能否表达足够的算术。
-
-**意义**：塔斯基的成果是公理化方法论上的奇迹——存在既完备又可判定的一阶公理体系。代价是必须牺牲对算术的表达能力。
-
-## 布尔巴基 / Bourbaki (1935–)
-
-布尔巴基是一群法国数学家的集体笔名，致力于以公理化方法系统重构全部数学。其巨著《数学原理》（*Éléments de mathématique*）以集合论为根基，逐层构建代数、分析、拓扑、微分等分支。
-
-> "数学不是关于数的，而是关于结构的。" — 布尔巴基的精神
-> "Mathematics is not about numbers, but about structures." — The Bourbaki spirit
-
-**三大母结构**：
-- **代数结构**：群、环、域——刻画运算与组合规律。
-- **序结构**：偏序、全序、格——刻画比较与排序规律。
-- **拓扑结构**：拓扑空间、度量空间——刻画连续与邻近规律。
-
-布尔巴基认为一切数学结构都可从这三种母结构复合生成。这个纲领深刻影响了现代数学的分类方式与教学方式。
-
-**意义**：布尔巴基将公理化从"为单一学科建基础"提升到"为全部数学建统一架构"的宏大尺度。尽管后来范畴论提供了更灵活的视角，布尔巴aki的结构主义仍是数学公理化思想的核心遗产之一。
-
-## 构造性数学 / Constructive Mathematics (Brouwer 1908, Heyting 1930, Bishop 1967)
-
-构造性数学拒绝经典逻辑中的排中律（Law of Excluded Middle）和选择公理，要求每个存在性证明必须提供具体的构造方法——即"存在 x"必须伴随"如何找到 x"。
-
-> "存在即构造。" — 构造性数学的核心信条
-> "To exist is to construct." — Core credo of constructive mathematics
-
-**关键人物与体系**：
-- **Brouwer** (1908–)：直觉主义创始人，认为数学是心智的自由创造，反对将排中律视为普遍有效。
-- **Heyting** (1930)：为直觉主义逻辑建立了形式化公理体系——直觉主义逻辑（Heyting 算术）。
-- **Bishop** (1967)：在《构造性分析》中展示了构造性方法可以重建经典分析的大部分内容，无需排中律也无需选择公理。
-
-**构造性逻辑与经典逻辑的关键差异**：
-- 排中律 ¬¬P → P 在构造性逻辑中不成立。/ Excluded middle ¬¬P → P is not valid in constructive logic.
-- 选择公理在构造性框架中几乎不可接受。/ AC is nearly unacceptable in constructive frameworks.
-- 证明 ¬P = 构造一个从 P 到矛盾的函数；证明 P ∨ Q = 给出 P 的证明或 Q 的证明。/ Proving ¬P means constructing a function from P to contradiction; proving P ∨ Q means providing a proof of P or a proof of Q.
-
-**意义**：构造性数学不仅是哲学立场，更是实际需要——计算机可执行证明必须提供算法（即构造）。这与哥德尔不完备定理也有深刻关联：如果拒绝排中律，许多经典逻辑下的"证明"不再成立，公理体系的"不完备"面目也随之改变。