克林 - 簡(jiǎn)介

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

克林 - 經(jīng)歷

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