热度排名 #1936

达纳·斯科特谈 λ 演算、力迫法与数学基础

Dana Scott – Lambda Calculus, Forcing & the Foundations of Math | #14 aboutlogic

访谈把计算的形式化与集合论的独立性放在一起。听时分别追踪函数表达式怎样获得意义，以及力迫法如何比较不同模型。

aboutlogic · 1 串讨论 · 热度 1.418

讨论出处