数学影像馆

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

热度排名 #509

凯文·巴扎德：数学中的形式化怎样兴起？

Kevin Buzzard: The rise of formalism in mathematics

看一份能由计算机检验的证明，需要怎样把对象、假设和推理步骤写清楚。可比较人读得通的省略，在哪些地方还得替机器补出来。

International Mathematical Union · 3 串讨论 · 热度 4.863

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

讨论出处