阿隆佐·邱奇：被遗忘的计算机智能架构师

本文介绍了阿隆佐·邱奇，一位对计算机科学发展做出重大贡献的逻辑学家。他提出了λ演算，为计算机科学奠定了基础，并在图灵机的理论完善方面发挥了关键作用。邱奇-图灵论题阐述了可计算函数的概念，对人工智能和算法领域产生了深远影响。此外，他还解决了Entscheidungsproblem（判定问题），证明了不存在一个通用的算法来判定所有数学陈述的真伪。尽管成就斐然，邱奇却鲜为人知，本文呼吁人们关注并纪念这位对现代计算和人工智能发展至关重要的科学家。