人物簡介
美國數(shù)理邏輯學家克林
Stephen Cole Kleene，1909～1994
先后當選為符號邏輯協(xié)會主席、國際科學與哲學史聯(lián)合會主席、美國全國科學院院士、美國藝術與科學學院院士。曾應邀在國際數(shù)學家大會上作報告，并于1983年獲美國數(shù)學會斯蒂爾獎，于1990年獲美國國家科學獎章。1994年卒于威斯康星的麥迪遜。克林的主要貢獻在遞歸函數(shù)理論和有效的可計算性方面。他建立了遞歸函數(shù)類的基本數(shù)學性質(zhì)，并證明了遞歸函數(shù)的概念與可計算數(shù)論函數(shù)的直覺概念是一致的；給出了克林范式定理和克林遞歸定理；20世紀40年代，他發(fā)展了算術層和高型算術層；1950年，他和波斯特用相對遞歸定義了“不可解性的度”，有人稱之為克林一波斯特不可解理論；
主要成就
1955年開始，他把算術分層分類推廣到了廣泛的超算術、歸納和解析關系等；1959年開始，他研究了可由遞歸定義的泛函，還引入了“可數(shù)泛函”，從而推廣了可計算性理論，對理論計算機科學有重大影響。與其學生合著有《直覺主義數(shù)學的基礎，與遞歸函數(shù)的關系》。