math-skill 1.0.0 → 2.0.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.en-US.md +280 -0
- package/README.md +280 -278
- package/agents/math-critic.md +235 -203
- package/commands/abstraction.md +13 -34
- package/commands/algorithmic-thinking.md +13 -34
- package/commands/ask.md +20 -21
- package/commands/axiomatization.md +13 -34
- package/commands/causal-inference.md +13 -34
- package/commands/discrete-combinatorial.md +13 -34
- package/commands/game-theory.md +13 -34
- package/commands/induction-analogy.md +13 -34
- package/commands/information-theory.md +13 -34
- package/commands/logic-deduction.md +13 -34
- package/commands/modeling.md +13 -37
- package/commands/optimization.md +13 -33
- package/commands/probability-statistics.md +13 -36
- package/commands/symmetry-invariance.md +13 -34
- package/commands/topological-thinking.md +13 -33
- package/commands/transformation.md +13 -33
- package/knowledge-base/overview.md +228 -230
- package/package.json +71 -59
- package/references/agentic-workflow.md +53 -0
- package/references/books/abstract-algebra.md +120 -0
- package/references/books/algebraic-geometry-rising-sea.md +167 -0
- package/references/books/differential-geometry.md +136 -0
- package/references/books/matrix-analysis.md +142 -0
- package/references/books/micro-lie-theory.md +112 -0
- package/references/books/optimization-ml.md +160 -0
- package/references/books/smooth-manifolds.md +101 -0
- package/references/gpu-friendly-math.md +65 -0
- package/skills/abstraction/SKILL.md +119 -264
- package/skills/algorithmic-thinking/SKILL.md +136 -371
- package/skills/axiomatization/SKILL.md +149 -213
- package/skills/causal-inference/SKILL.md +149 -374
- package/skills/discrete-combinatorial/SKILL.md +129 -286
- package/skills/game-theory/SKILL.md +121 -318
- package/skills/induction-analogy/SKILL.md +150 -310
- package/skills/information-theory/SKILL.md +138 -242
- package/skills/logic-deduction/SKILL.md +133 -280
- package/skills/math-research-activator/SKILL.md +134 -0
- package/skills/{meta-selector → math-research-activator}/original-texts.md +104 -104
- package/skills/modeling/SKILL.md +137 -318
- package/skills/optimization/SKILL.md +133 -292
- package/skills/probability-statistics/SKILL.md +149 -312
- package/skills/symmetry-invariance/SKILL.md +137 -358
- package/skills/topological-thinking/SKILL.md +126 -273
- package/skills/transformation/SKILL.md +122 -264
- package/docs/CLAUDE.md +0 -187
- package/skills/meta-selector/SKILL.md +0 -188
- /package/{docs → references}/inspiration.md +0 -0
|
@@ -1,105 +1,105 @@
|
|
|
1
|
-
# 武器选择器的思想来源 / Intellectual Sources for the Weapon Selector
|
|
2
|
-
|
|
3
|
-
## 问题分类与工具选择的传统 / The Tradition of Problem Classification and Tool Selection
|
|
4
|
-
|
|
5
|
-
### Pólya 的问题求解启发法 / Pólya's Problem-Solving Heuristics
|
|
6
|
-
|
|
7
|
-
George Pólya (1887-1985) 在《怎样解题》(How to Solve It, 1945) 中提出了四步求解法,这是现代问题求解方法论的基础:
|
|
8
|
-
|
|
9
|
-
1. **理解问题** (Understanding the problem) — 你必须理解问题
|
|
10
|
-
2. **拟定方案** (Devising a plan) — 找出已知与未知之间的联系
|
|
11
|
-
3. **执行方案** (Carrying out the plan) — 检查每一步
|
|
12
|
-
4. **回顾检验** (Looking back) — 检查所得解答
|
|
13
|
-
|
|
14
|
-
Pólya 的核心洞见:**不同类型的问题需要不同的解题策略**。他列举了数十种启发法(heuristic strategies),包括:
|
|
15
|
-
- 如果不能解决提出的问题,尝试先解决某个相关的问题
|
|
16
|
-
- 回到定义
|
|
17
|
-
- 从特殊到一般,从一般到特殊
|
|
18
|
-
- 考虑极端情况
|
|
19
|
-
- 逆向推理
|
|
20
|
-
- 画图
|
|
21
|
-
- 引入辅助元素
|
|
22
|
-
|
|
23
|
-
> "解题是一种实践技能,就像游泳一样——你可以通过模仿和练习来学习它。" —— Pólya
|
|
24
|
-
|
|
25
|
-
Pólya 的启发法分类为我们的武器选择器提供了思想基础:**问题的核心特征(如"是否涉及不确定量""是否有对称性""能否分解为子问题")决定了最合适的解题方法**。
|
|
26
|
-
|
|
27
|
-
### Newell & Simon 的问题空间理论 / Newell & Simon's Problem Space Theory
|
|
28
|
-
|
|
29
|
-
Allen Newell 和 Herbert A. Simon 在《人类问题求解》(Human Problem Solving, 1972) 中提出了问题空间理论:
|
|
30
|
-
|
|
31
|
-
- **问题空间** (Problem Space):所有可能状态构成的集合,包含初始状态、目标状态和允许的操作
|
|
32
|
-
- **搜索策略** (Search Strategy):在问题空间中从初始状态导航到目标状态的方法
|
|
33
|
-
- **启发式搜索** (Heuristic Search):不是穷举所有状态,而是用启发规则选择最可能导向目标的方向
|
|
34
|
-
|
|
35
|
-
核心洞见:**问题空间的性质决定了搜索策略的选择**。如果问题空间很小,穷举可行;如果很大,必须用启发式;如果问题空间有特殊结构(如单调性、对称性),可以利用结构加速搜索。
|
|
36
|
-
|
|
37
|
-
> "选择搜索策略是问题求解中最关键的决策——策略决定了你将在问题空间中的哪个区域搜索。" —— Newell & Simon
|
|
38
|
-
|
|
39
|
-
### Schoenfeld 的策略选择理论 / Schoenfeld's Strategic Decision Theory
|
|
40
|
-
|
|
41
|
-
Alan H. Schoenfeld 在《数学问题求解》(Mathematical Problem Solving, 1985) 中分析了为什么学生即使掌握了解题工具也无法解决问题——关键不是缺少工具,而是缺少**策略选择能力**:
|
|
42
|
-
|
|
43
|
-
- **资源** (Resources):知识、技能、工具——相当于我们的15种思想武器
|
|
44
|
-
- **启发法** (Heuristics):如何使用资源——相当于每种思想武器的方法流程
|
|
45
|
-
- **控制** (Control):何时使用哪个资源——相当于武器选择器的功能
|
|
46
|
-
- **信念系统** (Belief Systems):对数学和自我的信念——影响是否选择合适的工具
|
|
47
|
-
|
|
48
|
-
核心洞见:**掌握工具≠能解决问题。关键差异在于'控制'层面——知道何时调用哪个工具**。这正是武器选择器要解决的问题。
|
|
49
|
-
|
|
50
|
-
> "学生的问题不是缺乏知识或技能,而是缺乏策略性决策能力——他们不知道何时该用什么方法。" —— Schoenfeld
|
|
51
|
-
|
|
52
|
-
### Rittel & Webber 的棘问题理论 / Wicked Problems Theory
|
|
53
|
-
|
|
54
|
-
Horst Rittel 和 Melvin Webber 在 "Dilemmas in a General Theory of Planning" (1973) 中区分了"驯问题"(tame problems) 和"棘问题"(wicked problems):
|
|
55
|
-
|
|
56
|
-
驯问题的特征:
|
|
57
|
-
- 有明确的定义
|
|
58
|
-
- 有明确的终止条件
|
|
59
|
-
- 解可以客观评价为对或错
|
|
60
|
-
- 属于特定领域
|
|
61
|
-
|
|
62
|
-
棘问题的特征:
|
|
63
|
-
- 没有明确的定义——理解问题本身就是解决问题的一部分
|
|
64
|
-
- 没有明确的终止条件
|
|
65
|
-
- 解没有对错之分,只有好与更好
|
|
66
|
-
- 跨越多个领域
|
|
67
|
-
|
|
68
|
-
核心洞见:**棘问题需要跨领域的思想武器组合,而驯问题可以用单一工具解决**。武器选择器在面对棘问题时推荐多工具组合,面对驯问题时推荐单一聚焦。
|
|
69
|
-
|
|
70
|
-
> "棘问题没有对错答案,只有更好或更差的处理方式。" —— Rittel & Webber
|
|
71
|
-
|
|
72
|
-
### Kahneman 的双系统理论 / Kahneman's Dual-System Theory
|
|
73
|
-
|
|
74
|
-
Daniel Kahneman 在《思考,快与慢》(Thinking, Fast and Slow, 2011) 中提出了双系统理论:
|
|
75
|
-
|
|
76
|
-
- **系统1** (System 1):快速、直觉、自动——日常生活中大部分决策
|
|
77
|
-
- **系统2** (System 2):慢速、理性、可控——需要深思熟虑的决策
|
|
78
|
-
|
|
79
|
-
核心洞见:**不是所有问题都需要系统2级别的理性分析**。生活中的许多决策只需要直觉(系统1),强行调用思想武器是过度分析。武器选择器的"不适用场景"清单正是基于这个洞见——简单问题不需要工具,棘问题才需要。
|
|
80
|
-
|
|
81
|
-
> "过度思考是决策的敌人——有些决定最好交给直觉。" —— Kahneman
|
|
82
|
-
|
|
83
|
-
### Lakatos 的方法论 / Lakatos's Methodology
|
|
84
|
-
|
|
85
|
-
Imre Lakatos 在《证明与反驳》(Proofs and Refutations, 1976) 中展示了数学知识不是线性增长的,而是通过"猜想→反驳→修正"的辩证过程演进:
|
|
86
|
-
|
|
87
|
-
- **进步的问题转换** (Progressive Problemshift):每次修正产生新的、更深刻的问题
|
|
88
|
-
- **退化的问题转换** (Degenerative Problemshift):修正只是为了应付反例,没有产生新洞见
|
|
89
|
-
|
|
90
|
-
核心洞见:**工具选择本身也应该是一个进步的问题转换**——第一次选择可能不理想,但通过使用后反思,选择能力逐步提升。武器选择器的"组合顺序"和"辅助视角"推荐正是这种辩证思维的体现。
|
|
91
|
-
|
|
92
|
-
> "知识不是从天而降的真理,而是在批评与反驳中不断改进的猜想。" —— Lakatos
|
|
93
|
-
|
|
94
|
-
## 从思想到实践的映射 / Mapping Ideas to Practice
|
|
95
|
-
|
|
96
|
-
我们的武器选择器融合了以上思想:
|
|
97
|
-
|
|
98
|
-
| 思想来源 | 在武器选择器中的体现 |
|
|
99
|
-
|---------|-------------------|
|
|
100
|
-
| Pólya 启发法 | 决策树中的11个特征分支——每个分支对应一类启发策略 |
|
|
101
|
-
| Newell & Simon 问题空间 | 问题特征维度刻画——互动性、不确定性、约束性、结构性、动态性 |
|
|
102
|
-
| Schoenfeld 策略选择 | "选对工具比用力分析更重要"的核心原则 |
|
|
103
|
-
| 棘问题理论 | 多工具组合推荐——棘问题需要跨领域工具组合 |
|
|
104
|
-
| Kahneman 双系统 | "不适用场景"——简单问题不需要工具,避免过度分析 |
|
|
1
|
+
# 武器选择器的思想来源 / Intellectual Sources for the Weapon Selector
|
|
2
|
+
|
|
3
|
+
## 问题分类与工具选择的传统 / The Tradition of Problem Classification and Tool Selection
|
|
4
|
+
|
|
5
|
+
### Pólya 的问题求解启发法 / Pólya's Problem-Solving Heuristics
|
|
6
|
+
|
|
7
|
+
George Pólya (1887-1985) 在《怎样解题》(How to Solve It, 1945) 中提出了四步求解法,这是现代问题求解方法论的基础:
|
|
8
|
+
|
|
9
|
+
1. **理解问题** (Understanding the problem) — 你必须理解问题
|
|
10
|
+
2. **拟定方案** (Devising a plan) — 找出已知与未知之间的联系
|
|
11
|
+
3. **执行方案** (Carrying out the plan) — 检查每一步
|
|
12
|
+
4. **回顾检验** (Looking back) — 检查所得解答
|
|
13
|
+
|
|
14
|
+
Pólya 的核心洞见:**不同类型的问题需要不同的解题策略**。他列举了数十种启发法(heuristic strategies),包括:
|
|
15
|
+
- 如果不能解决提出的问题,尝试先解决某个相关的问题
|
|
16
|
+
- 回到定义
|
|
17
|
+
- 从特殊到一般,从一般到特殊
|
|
18
|
+
- 考虑极端情况
|
|
19
|
+
- 逆向推理
|
|
20
|
+
- 画图
|
|
21
|
+
- 引入辅助元素
|
|
22
|
+
|
|
23
|
+
> "解题是一种实践技能,就像游泳一样——你可以通过模仿和练习来学习它。" —— Pólya
|
|
24
|
+
|
|
25
|
+
Pólya 的启发法分类为我们的武器选择器提供了思想基础:**问题的核心特征(如"是否涉及不确定量""是否有对称性""能否分解为子问题")决定了最合适的解题方法**。
|
|
26
|
+
|
|
27
|
+
### Newell & Simon 的问题空间理论 / Newell & Simon's Problem Space Theory
|
|
28
|
+
|
|
29
|
+
Allen Newell 和 Herbert A. Simon 在《人类问题求解》(Human Problem Solving, 1972) 中提出了问题空间理论:
|
|
30
|
+
|
|
31
|
+
- **问题空间** (Problem Space):所有可能状态构成的集合,包含初始状态、目标状态和允许的操作
|
|
32
|
+
- **搜索策略** (Search Strategy):在问题空间中从初始状态导航到目标状态的方法
|
|
33
|
+
- **启发式搜索** (Heuristic Search):不是穷举所有状态,而是用启发规则选择最可能导向目标的方向
|
|
34
|
+
|
|
35
|
+
核心洞见:**问题空间的性质决定了搜索策略的选择**。如果问题空间很小,穷举可行;如果很大,必须用启发式;如果问题空间有特殊结构(如单调性、对称性),可以利用结构加速搜索。
|
|
36
|
+
|
|
37
|
+
> "选择搜索策略是问题求解中最关键的决策——策略决定了你将在问题空间中的哪个区域搜索。" —— Newell & Simon
|
|
38
|
+
|
|
39
|
+
### Schoenfeld 的策略选择理论 / Schoenfeld's Strategic Decision Theory
|
|
40
|
+
|
|
41
|
+
Alan H. Schoenfeld 在《数学问题求解》(Mathematical Problem Solving, 1985) 中分析了为什么学生即使掌握了解题工具也无法解决问题——关键不是缺少工具,而是缺少**策略选择能力**:
|
|
42
|
+
|
|
43
|
+
- **资源** (Resources):知识、技能、工具——相当于我们的15种思想武器
|
|
44
|
+
- **启发法** (Heuristics):如何使用资源——相当于每种思想武器的方法流程
|
|
45
|
+
- **控制** (Control):何时使用哪个资源——相当于武器选择器的功能
|
|
46
|
+
- **信念系统** (Belief Systems):对数学和自我的信念——影响是否选择合适的工具
|
|
47
|
+
|
|
48
|
+
核心洞见:**掌握工具≠能解决问题。关键差异在于'控制'层面——知道何时调用哪个工具**。这正是武器选择器要解决的问题。
|
|
49
|
+
|
|
50
|
+
> "学生的问题不是缺乏知识或技能,而是缺乏策略性决策能力——他们不知道何时该用什么方法。" —— Schoenfeld
|
|
51
|
+
|
|
52
|
+
### Rittel & Webber 的棘问题理论 / Wicked Problems Theory
|
|
53
|
+
|
|
54
|
+
Horst Rittel 和 Melvin Webber 在 "Dilemmas in a General Theory of Planning" (1973) 中区分了"驯问题"(tame problems) 和"棘问题"(wicked problems):
|
|
55
|
+
|
|
56
|
+
驯问题的特征:
|
|
57
|
+
- 有明确的定义
|
|
58
|
+
- 有明确的终止条件
|
|
59
|
+
- 解可以客观评价为对或错
|
|
60
|
+
- 属于特定领域
|
|
61
|
+
|
|
62
|
+
棘问题的特征:
|
|
63
|
+
- 没有明确的定义——理解问题本身就是解决问题的一部分
|
|
64
|
+
- 没有明确的终止条件
|
|
65
|
+
- 解没有对错之分,只有好与更好
|
|
66
|
+
- 跨越多个领域
|
|
67
|
+
|
|
68
|
+
核心洞见:**棘问题需要跨领域的思想武器组合,而驯问题可以用单一工具解决**。武器选择器在面对棘问题时推荐多工具组合,面对驯问题时推荐单一聚焦。
|
|
69
|
+
|
|
70
|
+
> "棘问题没有对错答案,只有更好或更差的处理方式。" —— Rittel & Webber
|
|
71
|
+
|
|
72
|
+
### Kahneman 的双系统理论 / Kahneman's Dual-System Theory
|
|
73
|
+
|
|
74
|
+
Daniel Kahneman 在《思考,快与慢》(Thinking, Fast and Slow, 2011) 中提出了双系统理论:
|
|
75
|
+
|
|
76
|
+
- **系统1** (System 1):快速、直觉、自动——日常生活中大部分决策
|
|
77
|
+
- **系统2** (System 2):慢速、理性、可控——需要深思熟虑的决策
|
|
78
|
+
|
|
79
|
+
核心洞见:**不是所有问题都需要系统2级别的理性分析**。生活中的许多决策只需要直觉(系统1),强行调用思想武器是过度分析。武器选择器的"不适用场景"清单正是基于这个洞见——简单问题不需要工具,棘问题才需要。
|
|
80
|
+
|
|
81
|
+
> "过度思考是决策的敌人——有些决定最好交给直觉。" —— Kahneman
|
|
82
|
+
|
|
83
|
+
### Lakatos 的方法论 / Lakatos's Methodology
|
|
84
|
+
|
|
85
|
+
Imre Lakatos 在《证明与反驳》(Proofs and Refutations, 1976) 中展示了数学知识不是线性增长的,而是通过"猜想→反驳→修正"的辩证过程演进:
|
|
86
|
+
|
|
87
|
+
- **进步的问题转换** (Progressive Problemshift):每次修正产生新的、更深刻的问题
|
|
88
|
+
- **退化的问题转换** (Degenerative Problemshift):修正只是为了应付反例,没有产生新洞见
|
|
89
|
+
|
|
90
|
+
核心洞见:**工具选择本身也应该是一个进步的问题转换**——第一次选择可能不理想,但通过使用后反思,选择能力逐步提升。武器选择器的"组合顺序"和"辅助视角"推荐正是这种辩证思维的体现。
|
|
91
|
+
|
|
92
|
+
> "知识不是从天而降的真理,而是在批评与反驳中不断改进的猜想。" —— Lakatos
|
|
93
|
+
|
|
94
|
+
## 从思想到实践的映射 / Mapping Ideas to Practice
|
|
95
|
+
|
|
96
|
+
我们的武器选择器融合了以上思想:
|
|
97
|
+
|
|
98
|
+
| 思想来源 | 在武器选择器中的体现 |
|
|
99
|
+
|---------|-------------------|
|
|
100
|
+
| Pólya 启发法 | 决策树中的11个特征分支——每个分支对应一类启发策略 |
|
|
101
|
+
| Newell & Simon 问题空间 | 问题特征维度刻画——互动性、不确定性、约束性、结构性、动态性 |
|
|
102
|
+
| Schoenfeld 策略选择 | "选对工具比用力分析更重要"的核心原则 |
|
|
103
|
+
| 棘问题理论 | 多工具组合推荐——棘问题需要跨领域工具组合 |
|
|
104
|
+
| Kahneman 双系统 | "不适用场景"——简单问题不需要工具,避免过度分析 |
|
|
105
105
|
| Lakatos 方法论 | 组合顺序建议——先用主工具,再用辅助工具补充视角 |
|