数学影像馆

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

系列分集

牛津数学哲学：什么算数学证明？

What is Proof?

比较读者能跟随的解释和形式系统允许的推导。挑一个存在性论证，问它是否真的给了读者找出例子的办法。

Joel David Hamkins · 系列收录

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

讨论出处