克林 - 簡介

Stephen Cole Kleene，1909～1994。美國數(shù)理邏輯學(xué)家。生于康涅狄格州哈特福德。

克林 - 經(jīng)歷

1930年畢業(yè)于阿默斯特學(xué)院，1934年獲普林斯頓大學(xué)博士學(xué)位。曾在普林斯頓大學(xué)、麥迪遜威斯康星大學(xué)、阿默斯特學(xué)院任教，1979年退休。先后當(dāng)選為符號邏輯協(xié)會主席、國際科學(xué)與哲學(xué)史聯(lián)合會主席、美國全國科學(xué)院院士、美國藝術(shù)與科學(xué)學(xué)院院士。曾應(yīng)邀在國際數(shù)學(xué)家大會上作報告，并于1983年獲美國數(shù)學(xué)會斯蒂爾獎，于1990年獲美國國家科學(xué)獎?wù)隆?994年卒于威斯康星的麥迪遜�？肆值闹饕�貢獻在遞歸函數(shù)理論和有效的可計算性方面。他建立了遞歸函數(shù)類的基本數(shù)學(xué)性質(zhì)，并證明了遞歸函數(shù)的概念與可計算數(shù)論函數(shù)的直覺概念是一致的；給出了克林范式定理和克林遞歸定理；20世紀(jì)40年代，他發(fā)展了算術(shù)層和高型算術(shù)層；1950年，他和波斯特用相對遞歸定義了“不可解性的度”，有人稱之為克林一波斯特不可解理論；1955年開始，他把算術(shù)分層分類推廣到了廣泛的超算術(shù)、歸納和解析關(guān)系等；1959年開始，他研究了可由遞歸定義的泛函，還引入了“可數(shù)泛函”，從而推廣了可計算性理論，對理論計算機科學(xué)有重大影響。與其學(xué)生合著有《直覺主義數(shù)學(xué)的基礎(chǔ)，與遞歸函數(shù)的關(guān)系》。