系列分集
数学基础第 13 讲:强归纳法为何等价于普通归纳法
Fundamentals of Mathematics - Lecture 13: Strong Induction iff "Weak" Induction
强归纳允许使用此前所有结论。把这些结论合成一个新的归纳命题,就能用普通归纳法完成同样的证明。
Taylor Dupuy · 系列收录
讨论出处
- Hacker News · 推荐系列的原讨论 ↗Fundamentals of Mathematics · 2022-01-12
系列分集
Fundamentals of Mathematics - Lecture 13: Strong Induction iff "Weak" Induction
强归纳允许使用此前所有结论。把这些结论合成一个新的归纳命题,就能用普通归纳法完成同样的证明。
Taylor Dupuy · 系列收录