Stephen Cole Kleene,美国数学家和计算机科学家(1994 年逝世)

斯蒂芬科尔克莱恩(KLAY-nee;1909 年 1 月 5 日 - 1994 年 1 月 25 日)是美国数学家。 Alonzo Church 的学生之一 Kleene 与 Rózsa Péter、Alan Turing、Emil Post 等人一起,被称为数理逻辑分支递归理论的创始人,该分支随后帮助提供了理论的基础计算机科学。 Kleene 的工作为可计算函数的研究奠定了基础。许多数学概念以他的名字命名:Kleene 层次、Kleene 代数、Kleene 星(Kleene 闭包)、Kleene 的递归定理和 Kleene 不动点定理。他还在 1951 年发明了正则表达式来描述 McCulloch-Pitts 神经网络,并为数学直觉主义的基础做出了重大贡献。