在盘算机科学降生时期，丘奇先生（Alonzo Church）缔造了lambda演算，使得盘算机科学能够正式地推动起来。他是早期盘算机理论家的翘楚，也是盘算机科学的一位首创人之一。
lambda演算是通用的函数盘算模子，它被以为是现代盘算机科学的基础。lambda演算自己并不是一种编程语言，它是一种使我们能够明晰区间看法的数学形式。由于丘奇先生的孝顺，它在盘算机科学降生时期掀起了一场革命。
丘奇先生生于美国华盛顿特区，1925年结业于普林斯顿大学，往后在哈佛大学担任了长达40年的教授。为纪念这位盘算机科学之父，哈佛大学每年还会举行一次“丘奇讲座”。
由于丘奇先生的精采孝顺，他也被列为了彭斯奖的首批获奖者之一。
虽然他的研究没有在那时就被普遍应用，但随着盘算机手艺的飞速生长，lambda演算成为了盘算机科学的理论基础，丘奇先生的孝顺也被人们重新熟悉和珍视。
