2.1.1计算机的缘起 数学家阿隆佐邱奇( Alonzo church)设计了“λ演算”,这 是一套用于研究函数定义、函数应用和递归的形式系统 演算被视为最小的通用程序设计语言 λ演算的通用性就体现在,任何一个可计算函数都能用这种 形式来表达和求值 λ演算是一个数理逻辑形式系统,强调的是变换规则的运用, 而非实现它们的具体机器 《大数据处理技术 Spark》 厦门大学计算机科学系 林子雨 zyulInoxmueau cn《大数据处理技术Spark》 厦门大学计算机科学系 林子雨 ziyulin@xmu.edu.cn 2.1.1 计算机的缘起 •数学家阿隆佐•邱奇(Alonzo Church)设计了“λ演算”，这 是一套用于研究函数定义、函数应用和递归的形式系统 •λ演算被视为最小的通用程序设计语言 •λ演算的通用性就体现在，任何一个可计算函数都能用这种 形式来表达和求值 •λ演算是一个数理逻辑形式系统，强调的是变换规则的运用， 而非实现它们的具体机器