來源：互聯網
斯蒂芬·科爾·克萊尼（Stephen Cole Kleene，1909年1月5日—1994年1月25日）是一位美國數學家和邏輯學家，他的遞歸論研究對理論計算機科學的發展起到了重要作用。他的父親古斯塔夫·克萊尼（Gustav Adolph Kleene）是一位經濟學教授，母親艾麗絲·科爾（Alice Lena Cole）是一位詩人?？巳R尼在阿默斯特學院獲得學士，并在普林斯頓大學獲得博士學位，他的導師是邏輯學家阿隆佐·丘奇。他的研究領域包括遞歸函數、直覺主義和正規表示法等。
人物經歷
克萊尼在阿默斯特學院獲得學士學位，并在普林斯頓大學獲得博士學位。他的博士論文題目為“形式邏輯中的正整數理論”。他的導師阿隆佐·阿隆佐·邱奇是邏輯學家，丘奇在1936年使用lambda演算來證明了判定問題是沒有答案的。
克萊尼在威斯康星大學麥迪遜分校數學系工作，他在那里度過了他幾乎所有的職業生涯。他為遞歸理論奠定了基礎，這個研究領域將是他一生的研究興趣。
在二戰期間，克萊尼擔任美國海軍少校，他是紐約美國海軍預備役軍艦學校的導航教官，之后是華盛頓哥倫比亞特區海軍研究實驗室的專案主任。
個人生活
克萊尼和妻子Nancy Elliott有4個孩子。他熱愛緬因州的家庭農場，是一名熱心的登山者，對自然和環境有濃厚的興趣，并積極參與許多環境保護事業。
參考資料 >