丘里奇和计算机科学发展的历程

丘里奇（Alonzo Church）是20世纪数学、哲学、逻辑学家，注重研究数学基础和逻辑等方面。他是计算机科学的奠基人之一。对于计算数的本质，丘里奇的主要贡献是启动了 λ 演算的研究。λ 演算是一种被用来表达函数定义、函数应用和递归等概念的形式化系统。1920年代，丘里奇和着名的逻辑学家斯科利斯提出了λ演算。λ演算的出现不仅在逻辑学上起到了划时代的作用，而且在计算理论的发展史上也具有重要意义。

丘里奇和图灵一起提出了著名的“丘里奇——图灵论文” ，二者分别独立地在数学上定义了两种形式。丘里奇的 λ 演算以纯数学的方式来理解计算机科学中函数的概念。由于 λ 演算定义了函数、函数变量、函数组合等重要概念，因此被认为是等价于图灵的“可计算函数”的计算模型。

除了在计算机科学方面的贡献外，丘里奇还盛产哲学和逻辑学论文。他的这些论文引发了人们的关注，激发了逻辑学的发展，也影响到了哲学和科学。丘里奇致力于推进逻辑学的研究和普及，提出了许多重要的命题和方法，对逻辑学和数学形式化研究的推进做出了不可磨灭的贡献。