“如果没有可计算性理论的基础,我们连'什么是可计算的'这个基本问题都无法回答。现代 AI 遇到的很多理论难题,其实都可以追溯到邱奇的工作。”作者 | 王启隆出品丨AI 科技大本营(ID:rgznai100)近期,一篇题为 Alonzo Church: The Forgotten Architect of Computer Intelligence 的文章在 Hacker News ...