视频目录 / 数学导览与专题

热度排名 #2145

从最基本的假设重建数学｜第 1–2 章

A paranoid foundation for math - Chapter 1-2 #some2

讲解从哪些对象或规则可直接使用开始。阅读时可给每个定义标出依赖，观察最早的几条结论如何一步步搭出来。

bvoq · 1 串讨论 · 热度 1.418

在此播放

讨论出处

• Hacker News · 原讨论 ↗2022-10-24 · 帖子分数 1