数学影像馆

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

热度排名 #161

陶哲轩谈机器辅助证明

Terence Tao, "Machine Assisted Proof"

听陶哲轩讨论把人写的论证交给形式化系统检查时，需要补齐哪些推理步骤，以及这对合作有什么用。

Joint Mathematics Meetings · 8 串讨论 · 热度 16.475

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

讨论出处