go top

Alonzo Church

  • 阿隆佐·邱奇:阿隆佐·邱奇(Alonzo Church,1903年6月14日—1995年8月11日)是美国数学家,1936年发表可计算函数的第一份精确定义,对算法理论的系统发展做出巨大贡献。邱奇在普林斯顿大学受教并工作四十年,曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。

网络释义

  丘奇

克莱因曾经就读于阿默斯特学院(Amhet),1934年获普林斯顿博士学位,他的导师丘奇Alonzo Church)是著名的名学家。丘奇在1936年使用lambda演算来证明确断定题目是没有谜底的。

基于170个网页-相关网页

  阿龙佐·彻基

1903年6月14日阿龙佐·彻基(Alonzo Church )生于美国首都华盛顿,1995年8月11日死于俄亥俄州哈德桑。他被葬在普林斯顿公墓。

基于16个网页-相关网页

  邱奇

... aisled church 有厢房教堂 alonzo church 邱奇 ambuatory church 十字形圆顶教堂 ...

基于1个网页-相关网页

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定