史蒂芬·科爾·克萊尼（Stephen Cole Kleene，1909年1月5日—1994年1月25日）美國數學家、邏輯學家，出生於美國康涅狄克州的哈特福德。他的遞歸論研究有助於奠定理論電腦科學的基礎。他的父親古斯塔夫·克萊因（Gustav Adolph Kleene）是一位經濟學教授，母親艾麗絲·科爾（Alice Lena Cole）是一位詩人。克萊因曾就讀於阿默斯特學院（Amherst），1934年獲普林斯頓博士學位，他的導師丘奇（Alonzo Church）是著名的邏輯學家。丘奇在1936年使用lambda演算來證明了判定問題是沒有答案的。二戰期間成為美國海軍的教員。他也是博物學家，曾發現蝴蝶的新品種。並且喜歡旅行和登山。
基本介紹
- 中文名：史蒂芬·科爾·克萊尼
- 外文名：Stephen Cole Kleene
- 出生日期：1909年1月5日
- 職業：美國數學家
史蒂芬·科爾·克萊尼（Stephen Cole Kleene，1909年1月5日—1994年1月25日）美國數學家、邏輯學家，出生於美國康涅狄克州的哈特福德。他的遞歸論研究有助於奠定理論電腦科學的基礎。他的父親古斯塔夫·克萊因（Gustav Adolph Kleene）是一位經濟學教授，母親艾麗絲·科爾（Alice Lena Cole）是一位詩人。克萊因曾就讀於阿默斯特學院（Amherst），1934年獲普林斯頓博士學位，他的導師丘奇（Alonzo Church）是著名的邏輯學家。丘奇在1936年使用lambda演算來證明了判定問題是沒有答案的。二戰期間成為美國海軍的教員。他也是博物學家，曾發現蝴蝶的新品種。並且喜歡旅行和登山。
Stephen Cole Kleene
Stephen Cole Kleene