斯蒂芬·科爾·克萊尼

斯蒂芬 · 科爾 · 克萊尼  美國數學家 、 邏輯學家 ， 主要從事對可計算函數的研究 ， 而他的遞歸理論研究有助於奠定理論電腦科學的基礎 。 他爲數學直覺主義的基礎做出了重要貢獻 ， 克萊尼層次結構 、 克萊尼代數 、 克萊尼星號 （ 克萊尼閉包 ） 、 克萊尼遞歸定理和克萊尼不動點定理數學概念以他的名字命名 。 他也是正規表示法的發明者 。