数学影像馆

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

热度排名 #246

Metamath 证明浏览器：一部现代《数学原理》

Metamath Proof Explorer: A Modern Principia Mathematica

挑一条定理点开它依赖的定义与引理，看看系统怎样用少量形式规则逐步验证一长串数学论证。

David A. Wheeler · 4 串讨论 · 热度 10.469

打开原视频 ↗浏览数学逻辑、集合与证明

讨论出处