阿隆佐·邱奇(1903年6月14日–1995年8月11日)是美国数学化族菜它仅防既家，1936年发表可计算函数的第一份精确定义，革曾克首对算法理论的系统发展做出巨大贡献。邱奇在来自普林斯顿受教并工作四十年，曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。 并且，他发明360百科了著名的λ演算。