剋林 stephen cole kleene，1909～1994
美國數理邏輯學家。生於康涅狄格州哈特福德。1930年畢業於阿默斯特學院，1934年獲普林斯頓大學博士學位。曾在普林斯頓大學、麥迪遜威斯康星大學、阿默斯特學院任教，1979年退休。先後當選為符號邏輯協會主席、國際科學與哲學史聯合會主席、美國全國科學院院士、美國藝術與科學學院院士。曾應邀在國際數學家大會上作報告，並於1983年獲美國數學會斯蒂爾奬，於1990年獲美國國傢科學奬章。1994年卒於威斯康星的麥迪遜。剋林的主要貢獻在遞歸函數理論和有效的可計算性方面。他建立了遞歸函數類的基本數學性質，並證明了遞歸函數的概念與可計算數論函數的直覺概念是一致的；給出了剋林範式定理和剋林遞歸定理；20世紀40年代，他發展了算術層和高型算術層；1950年，他和波斯特用相對遞歸定義了“不可解性的度”，有人稱之為剋林一波斯特不可解理論；1955年開始，他把算術分層分類推廣到了廣泛的超算術、歸納和解析關係等；1959年開始，他研究了可由遞歸定義的泛函，還引入了“可數泛函”，從而推廣了可計算性理論，對理論計算機科學有重大影響。與其學生合著有《直覺主義數學的基礎，與遞歸函數的關係》。