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