史蒂芬·科爾·克萊尼
維基百科,自由的 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