视频目录 / 数学逻辑、集合与证明

热度排名 #1825

布尔巴基怎样尝试统一数学的基础？

Bourbaki: A Unified Foundation for Mathematics

以代数与拓扑为例，想想同一套集合和结构语言能重复使用到哪里。再问定义放在全书前面会怎样改变后面各章的写法。

Computable Secrets · 1 串讨论 · 热度 1.418

在此播放

讨论出处

• Hacker News · 原讨论 ↗2026-04-12 · 帖子分数 1