斯蒂芬·科尔·克莱尼Stephen Kleene:

出生:(1909-01-05)1909年1月5日美国康涅狄克州哈特福德

逝世:1994年1月25日(1994岁—01—25)（85岁）美国威斯康辛州麦迪逊

居住地: 美国

国籍: 美国

母校:阿默斯特学院普林斯顿大学

知名于: 对直觉主义的贡献克莱尼-莫斯托夫斯基阶层克莱尼-罗瑟尔悖论（英语：Kleene–Rosser paradox）克莱尼星号克莱尼算法（英语：Kleene's algorithm）克莱尼定理正则表达式可实现性克莱尼smn定理（英语：Smn theorem）

奖项:勒罗伊·斯蒂勒奖（英语：Leroy P. Steele Prize） (1983)美国国家科学奖章 (1990)

科学生涯

研究领域:数理逻辑

机构:威斯康辛大学麦迪逊分校

博士导师:阿隆佐·邱奇

博士生:Robert Lee ConstableJoan MoschovakisYiannis MoschovakisNels David NelsonDick de Jongh

斯蒂芬·科尔·克莱尼（Stephen Cole Kleene，1909年1月5日—1994年1月25日）美国数学家、逻辑学家，主要从事对可计算函数的研究，而他的递归理论研究有助于奠定理论计算机科学的基础。他为数学直觉主义的基础做出了重要贡献，克莱尼层次结构、克莱尼代数、克莱尼星号（克莱尼闭包）、克莱尼递归定理和克莱尼不动点定理数学概念以他的名字命名。他也是正规表示法的发明者。