金句级表达 · PITHY EXPRESSION
欧几里得公理化:人类最古老的"API设计"
欧几里得在两千多年前做的事情——从少数几个公理出发,用逻辑推导出整个几何体系——本质上是人类最早的一次"接口设计":定义最小输入(公理),保证确定输出(定理),中间的逻辑链条就是"处理函数"。这比计算机科学的 API 设计早了两千多年,但逻辑结构完全一致。
来自这本书的解读报告
《从无穷小到无穷大》
这本书回答了'无穷概念如何从哲学困惑变成数学工具'的问题,答案是通过极限思想和反证法的逐步推进。
阅读完整解读报告 →