斯蒂芬·科尔·克莱尼

维基百科,自由的百科全书
跳转至: 导航搜索

斯蒂芬·科尔·克莱尼Stephen Cole Kleene,1909年1月5日-1994年1月25日)美國數學家、逻辑學家,出生於美國康涅狄克州的哈特福德。他的遞歸論研究有助於奠定理論電腦科學的基礎,他也是正規表示法的發明者。

生平[编辑]

他的父親古斯塔夫·克萊因(Gustav Adolph Kleene)是一位經濟學教授,母親艾麗絲·科爾(Alice Lena Cole)是一位詩人。克萊因曾就讀於阿默斯特學院(Amherst),1934年獲普林斯頓博士學位,他的導師丘奇(Alonzo Church)是著名的邏輯學家。丘奇在1936年使用lambda演算來證明了判定問題是沒有答案的。二戰期間成為美國海軍的教員。他也是博物學家,曾發現蝴蝶的新品種。並且喜歡旅行和登山。