阿龙佐丘奇的学术成就,和杨振宁先生差距是很大的。不过因为丘奇的学生们都特别能打,

科海群星谱 2025-10-19 04:18:04

阿龙佐丘奇的学术成就,和杨振宁先生差距是很大的。不过因为丘奇的学生们都特别能打,一长串的顶流逻辑学家,他的理论也成了今天形式化理论中最重要的一个基础。 但丘奇有一件事非常了不起,就是他在讲台上站了60多年。现在的数学家族谱上,他的徒子徒孙已经超过了两千人,你能想象吗?几乎是北美逻辑和计算科学的半壁江山。 多年以前我不是很看得起Robert Harper和Benjamin Pierce的学术地位,当然都是大佬但没有顶级的学术成就。但现在我不这么想了。一个人最真心热爱什么学术,就体现在他花了多少时间让多少年轻人进入这个领域。

0 阅读:1
科海群星谱

科海群星谱

感谢大家的关注