斯蒂芬-科爾-克萊尼（stephen cole kleene，1909年1月5日—1994年1月25日）美國(guó)數(shù)學(xué)家、邏輯學(xué)家，出生于美國(guó)康涅狄克州的哈特福德。他的遞歸論研究有助于奠定理論電腦科學(xué)的基礎(chǔ)。他的父親古斯塔夫·克萊因（gustav adolph kleene）是一位經(jīng)濟(jì)學(xué)教授，母親艾麗絲·科爾（alice lena cole）是一位詩人。克萊因曾就讀于阿默斯特學(xué)院（amherst），1934年獲普林斯頓博士學(xué)位，他的導(dǎo)師丘奇（alonzo church）是著名的邏輯學(xué)家。丘奇在1936年使用lambda演算來證明了判定問題是沒有答案的。二戰(zhàn)期間成為美國(guó)海軍的教員。他也是博物學(xué)家，曾發(fā)現(xiàn)蝴蝶的新品種。并且喜歡旅行和登山。