丘奇 75466名qiūqí (软件注音)

---

[Church, Alonzo]
1（1903.6.14,美国 华盛顿特区～1995.8.11,俄亥俄州 哈得孙）， 美国数学家。普林斯顿大学博士。对数论的贡献及（计算机）算法与可计算性的理论，奠定了计算机科学的基础。丘奇原理或称丘奇命题（另由图灵独立提出）的规则说明只有递归的函数可以机械化计算，意味算术程序不能用来决定公式化陈述是否与算术定律一致。著有标准教科书《数学逻辑导论》（1956），协助创办《符号逻辑期刊》，并担任编辑到1979年。
2（1826.5.4,美国 康涅狄格州 哈特福德～1900.4.7,纽约州 纽约市附近）美国风景画家。曾在纽约州卡茨基尔从画家科尔学画，不久成为哈得孙河画派的顶尖成员之一。他周游各地，寻找壮观景色和自然奇观，如尼亚加拉瀑布、火山爆发和冰山，以及南美热带丛林等。在美国和欧洲都享盛誉。他的原住宅在哈得孙河畔，现为博物馆。