斯蒂芬·科尔·克莱尼

斯蒂芬·科尔·克莱尼
image
斯蒂芬·科尔·克莱尼（Stephen Cole Kleene，1909年1月5日—1994年1月25日）是一位美国数学家和逻辑学家，他的递归论研究对理论计算机科学的发展起到了重要作用。他的父亲古斯塔夫·克莱尼（Gustav Adolph Kleene）是一位经济学教授，母亲艾丽丝·科尔（Alice Lena Cole）是一位诗人。克莱尼在阿默斯特学院获得学士学位，并在普林斯顿大学获得博士学位，他的导师是逻辑学家阿隆佐·丘奇。他的研究领域包括递归函数、直觉主义和正规表示法等。

人物经历

克莱尼在阿默斯特学院获得学士学位，并在普林斯顿大学获得博士学位。他的博士论文题目为“形式逻辑中的正整数理论”。他的导师阿隆佐·丘奇是逻辑学家，丘奇在1936年使用lambda演算来证明了判定问题是没有答案的。
克莱尼在威斯康辛大学麦迪逊分校数学系工作，他在那里度过了他几乎所有的职业生涯。他为递归理论奠定了基础，这个研究领域将是他一生的研究兴趣。
在二战期间，克莱尼担任美国海军少校，他是纽约美国海军预备役军舰学校的导航教官，之后是华盛顿海军研究实验室的专案主任。