阿隆佐·邱奇：计算基础理论 | AI生成和翻译
阿隆佐·邱奇（1903–1995）是一位极具影响力的美国计算机科学家、数学家、逻辑学家和哲学家。他被公认为数理逻辑和理论计算机科学基础原理发展史上的关键人物。
邱奇最重要的贡献包括：
- Lambda演算：他在1930年代创立了lambda演算，这是一个基于函数抽象与应用的计算形式系统。这项研究为现代计算机编程语言，尤其是像Haskell和Lisp这样的函数式编程语言提供了基础框架。
- 邱奇定理：邱奇证明了判定问题的不可解性，表明不存在通用的算法方法能判定所有数学陈述的真假。这一结果揭示了计算系统固有的局限性。
- 邱奇-图灵论题：他与博士生艾伦·图灵共同提出了邱奇-图灵论题。这一可计算性理论中的基本概念主张，任何有效可计算函数都能通过图灵机计算或用lambda演算表达，从而建立了这些计算模型之间的紧密联系，并界定了可计算问题的范围。
- 逻辑学奠基工作：邱奇是数理逻辑学科的奠基人之一，在创立符号逻辑协会与《符号逻辑杂志》过程中发挥了关键作用。他的研究还延伸至哲学逻辑、认识论和形而上学领域，常运用其”逻辑方法”探讨哲学议题。
- 对计算机科学的影响：邱奇的研究为现代计算理论的发展和计算机科学作为学科的建立奠定了基础。他的思想对编程语言设计产生了深远影响，催生了如今广泛应用的函数式编程、匿名函数和高阶函数等概念。
邱奇在普林斯顿大学执教哲学与数学近四十年，后担任加州大学洛杉矶分校教授。为表彰其贡献，逻辑与计算领域设立了年度阿隆佐·邱奇杰出贡献奖以传承其学术遗产。