1. 斯蒂芬·科爾·克萊尼，美國數(shù)學(xué)家和邏輯學(xué)家，1909年1月5日生于美國康涅狄格州的哈特福德。2. 他的遞歸論研究對理論電腦科學(xué)的發(fā)展起到了關(guān)鍵作用。3. 克萊尼的父親古斯塔夫·克萊因是一位經(jīng)濟學(xué)教授，母親艾麗絲·科爾是一位詩人。4. 克萊尼在阿默斯特學(xué)院接受教育，并于1934年在普林斯頓大學(xué)獲得了博士學(xué)位。他的導(dǎo)師，著名的邏輯學(xué)家阿爾馮斯·丘奇，在1936年使用lambda演算證明了判定問題的無解性。5. 在二戰(zhàn)期間，克萊尼擔(dān)任美國海軍的教官。6. 除了數(shù)學(xué)和邏輯學(xué)，克萊尼還是一位博物學(xué)家，他甚至發(fā)現(xiàn)了蝴蝶的新品種。7. 克萊尼熱愛自然，喜歡旅行和登山。