丘里奇（Alonzo Church，1903-1995）是一位著名的逻辑学家和数学家，他在20世纪40年代提出了Lambda演算，这一理论对于计算机科学领域的发展产生了很大的影响。
Lambda演算是一种数学理论，它描述了一个简单、通用的计算模型，被认为是现代计算机科学中函数式编程的起源。Lambda演算不但为函数式编程语言提供了清晰和简洁的语义基础，而且还解决了哥德尔不完备性定理的一个重要问题。
丘里奇还与图灵共同做出了“丘里奇-图灵论文”，在这篇论文中，他们首次证明了旅行推销员问题具有不可判定性，这一结果对于计算机理论和计算复杂性理论的发展产生了重要影响。
