数学影像馆

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

热度排名 #281

安德烈·鲍尔谈接受构造性数学的五个阶段

Five Stages of Accepting Constructive Mathematics - Andrej Bauer

试着证明「某物存在」时，要分清是在排除不存在的可能，还是给出一个实际例子。讲座借此说明构造性证明对证据的要求。

Institute for Advanced Study · 4 串讨论 · 热度 9.023

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

讨论出处