斯蒂芬·科尔·克莱尼
维基百科,自由的 encyclopedia
斯蒂芬·科尔·克莱尼(英语:Stephen Cole Kleene,1909年1月5日—1994年1月25日)是一名美国数学家、逻辑学家,主要从事对可计算函数的研究,而他的递归理论研究有助于奠定理论电脑科学的基础。他为数学直觉主义的基础做出了重要贡献,克莱尼层次结构、克莱尼代数、克莱尼星号(克莱尼闭包)、克莱尼递归定理和克莱尼不动点定理数学概念以他的名字命名。他也是正规表示法的发明者。
此条目需要补充更多来源。 (2018年5月17日) |
Quick Facts 斯蒂芬·科尔·克莱尼Stephen Kleene, 出生 ...
斯蒂芬·科尔·克莱尼 Stephen Kleene | |
---|---|
出生 | (1909-01-05)1909年1月5日 美国康涅狄克州哈特福德 |
逝世 | 1994年1月25日(1994岁—01—25)(85岁) 美国威斯康辛州麦迪逊 |
母校 | 阿默斯特学院 普林斯顿大学 |
知名于 |
|
奖项 | 勒罗伊·斯蒂勒奖(英语:Leroy P. Steele Prize) (1983) 美国国家科学奖章 (1990) |
科学生涯 | |
研究领域 | 数理逻辑 |
机构 | 威斯康辛大学麦迪逊分校 |
博士导师 | 阿隆佐·邱奇 |
博士生 | Robert Lee Constable Joan Moschovakis Yiannis Moschovakis Nels David Nelson Dick de Jongh |
Close