克林[美國數理邏輯學家]

克林，美國數理邏輯學家。生於康乃狄克州哈特福德。1930年畢業於阿默斯特學院，1934年獲普林斯頓大學博士學位。曾在普林斯頓大學、麥迪遜威斯康星大學、阿默斯特學院任教，1979年退休。

人物簡介

美國數理邏輯學家克林

Stephen Cole Kleene，1909～1994

克林[美國數理邏輯學家]

先後當選為符號邏輯協會主席、國際科學與哲學史聯合會主席、美國全國科學院院士、美國藝術與科學學院院士。曾應邀在國際數學家大會上作報告，並於1983年獲美國數學會斯蒂爾獎，於1990年獲美國國家科學獎章。1994年卒於威斯康星的麥迪遜。克林的主要貢獻在遞歸函式理論和有效的可計算性方面。他建立了遞歸函式類的基本數學性質，並證明了遞歸函式的概念與可計算數論函式的直覺概念是一致的；給出了克林範式定理和克林遞歸定理；20世紀40年代，他發展了算術層和高型算術層；1950年，他和波斯特用相對遞歸定義了“不可解性的度”，有人稱之為克林一波斯特不可解理論；

主要成就

1955年開始，他把算術分層分類推廣到了廣泛的超算術、歸納和解析關係等；1959年開始，他研究了可由遞歸定義的泛函，還引入了“可數泛函”，從而推廣了可計算性理論，對理論計算機科學有重大影響。與其學生合著有《直覺主義數學的基礎，與遞歸函式的關係》。