热度排名 #485

从有限符号到无穷思考：计算、逻辑与代数的历史

Ron Pressler - Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra

把这场讲座里的历史问题连起来看：人怎样把推理写成可操作的符号规则，又怎样从有限条规则谈到无穷多个对象。

Curry On! · 2 串讨论 · 热度 5.081

讨论出处