阿隆佐·邱奇(1903年6月14日–1995年8月11日)是美国数学家,1936年发表可计算函数的第一份精确定义,对计算理论的系统发展做出巨大贡献。[1]邱奇在普林斯顿受教并工作四十年,曾任数学与哲学教授。[2]1967年迁往加利福尼亚大学洛杉矶分校。并且,他发明了著名的λ演算。
人物简介
参考资料 2
- 参考 1
- 参考 2
美国数学家
阿隆佐·邱奇(1903年6月14日–1995年8月11日)是美国数学家,1936年发表可计算函数的第一份精确定义,对计算理论的系统发展做出巨大贡献。[0]邱奇在普林斯顿受教并工作四十年,曾任数学与哲学教授。[1]1967年迁往加利福尼亚大学洛杉矶分校。并且,他发明了著名的λ演算。阿隆佐·邱奇
阿隆佐·邱奇(1903年6月14日–1995年8月11日)是美国数学家,1936年发表可计算函数的第一份精确定义,对计算理论的系统发展做出巨大贡献。[1]邱奇在普林斯顿受教并工作四十年,曾任数学与哲学教授。[2]1967年迁往加利福尼亚大学洛杉矶分校。并且,他发明了著名的λ演算。