斯蒂芬·科尔·克莱尼 斯蒂芬科尔克莱尼英語Stephen Cole Kleene年月日年月日是一名美國數學家逻辑學家主要从事對可計算函數的研究而他的遞歸理論研究有助於奠定理論電腦科學的基礎他為數學直覺主義的基礎做出了重要貢獻克莱尼層次結構克莱尼代数克莱尼星号克莱尼閉包克莱尼遞歸定理和克莱尼不動點定理數學概念以他的名字命名他也是正規表示法的發明者