数学影像馆

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

热度排名 #365

阿克沙伊·文卡泰什：推理机器时代如何重新想象数学？

Akshay Venkatesh: (Re)imagining mathematics in a world of reasoning machines

从自动推理的历史回到今天的研究。听他区分机器替人执行一段论证，以及数学家因此改变自己提出问题的方式。

Harvard Mathematics Department · 3 串讨论 · 热度 6.855

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

讨论出处