斯蒂芬·科尔·克莱尼 编辑
斯蒂芬·科尔·克莱尼美国数学家、逻辑学家，主要从事对可计算函数的研究，而他的递归理论研究有助于奠定理论电脑科学的基础。他为数学直觉主义的基础做出了重要贡献，算数阶层、克莱尼代数、Kleene星号、克莱尼递归定理和克莱尼不动点定理数学概念以他的名字命名。他也是正规表示法的发明者。
1
相关
在数理逻辑中，直觉主义逻辑的布劳威尔-海廷-柯尔莫哥洛夫释义或BHK释义是由鲁伊兹·布劳威尔、阿兰德·海廷和独立的由安德雷·柯尔莫哥洛夫提出的。它有时也叫做可实现性释义，因为有关于斯蒂芬·科尔·克莱尼的可实现性理论。