数学影像馆

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

热度排名 #1702

三十年代的普林斯顿：图灵、哥德尔与丘奇

Andrew Appel: Turing, Gödel, and Church at Princeton in the 1930s

听安德鲁·阿佩尔梳理同一时期的逻辑研究。可以记下每个人在问的是可计算、可证明，还是可判定。

princetonacademics · 1 串讨论 · 热度 1.723

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

讨论出处