克林

美國數理邏輯學家克林

Stephen Cole Kleene，1909～1994

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

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