可迁移模型 · TRANSFERABLE MODEL

数学归纳法是人类处理无穷的第一把钥匙

数学归纳法的核心不是「验证所有情况」,而是「证明基础情况+证明传递性=覆盖无穷情况」。这个结构可以迁移到任何需要「从有限推无穷」的场景——只要能证明「第n步成立则第n+1步也成立」,就能用有限的工作量覆盖无限的步骤。
来源

《陶哲轩讲实分析》第2章(自然数的归纳法原理)

可迁移到

程序设计中的递归正确性证明;法律中从判例推导普遍规则;组织管理中从单个试点推导全组织推广。

来自这本书的解读报告

《陶哲轩讲实分析》

Terence Tao · 数学 / 实分析

这本书回答了实数系统如何从最基本的公理被严格建构起来,答案是从皮亚诺公理一步步搭建整个分析学大厦

数学基础·实分析·公理化方法·数学证明
阅读完整解读报告 →
PRESS YOUR OWN BOOK

找一本想读的书,解读出你自己的洞察

90 秒得到核心模型 · 行动接口 · 失效边界 · 三套 SOP

解读一本书 →