e.g., 复旦大学周杰伦

Query String: 克林

Named-Entity Disambiguation:斯蒂芬·科尔·克莱尼

点击更新页面

Visualization Timeline Curiosity

Information

斯蒂芬·科尔·克莱因(Stephen Cole Kleene,1909年1月5日—1994年1月25日)美国数学家、逻辑学家,出生于美国康涅狄克州的哈特福德。他的递归论研究有助于奠定理论计算机科学的基础。他的父亲古斯塔夫·克莱因(Gustav Adolph Kleene)是一位经济学教授,母亲艾丽丝·科尔(Alice Lena Cole)是一位诗人。克莱因曾就读于阿默斯特学院(Amherst),1934年获普林斯顿博士学位,他的导师丘奇(Alonzo Church)是著名的逻辑学家。丘奇在1936年使用lambda演算来证明了判定问题是没有答案的。二战期间成为美国海军的教员。他也是博物学家,曾发现蝴蝶的新品种。并且喜欢旅行和登山。

InfoBox

中文名 斯蒂芬·科尔·克莱因
出生日期 1909年01月05日
外文名称 Stephen Cole Kleene
职业 美国数学家
逝世日期 1994年01月25日

CN-Probase Concept

概念 科学家
概念 美国数学家

Baidu Baike Tag

Linking

Copyright © 2014-2017 KW Lab@Fudan University