斯蒂芬·科尔·克莱尼
编辑：Simone
2025-02-16 01:25:46
551 阅读
斯蒂芬·科尔·克莱尼（Stephen Cole Kleene，1909年1月5日—1994年1月25日）美国数学家、逻辑学家，出生于美国康涅狄克州的哈特福德。他的递归论研究有助于奠定理论计算机科学的基础。他的父亲古斯塔夫·克莱因（Gustav Adolph Kleene）是一位经济学教授，母亲艾丽丝·科尔（Alice Lena Cole）是一位诗人。克莱因曾就读于阿默斯特学院（Amherst），1934年获普林斯顿博士学位，他的导师丘奇（Alonzo Church）是著名的逻辑学家。丘奇在1936年使用lambda演算来证明了判定问题是没有答案的。二战期间成为美国海军的教员。他也是博物学家，曾发现蝴蝶的新品种。并且喜欢旅行和登山。
想要了解更多“斯蒂芬·科尔·克莱尼”的信息，请点击：斯蒂芬·科尔·克莱尼百科
版权声明：本站【问百科】文章素材来源于网络或者用户投稿，未经许可不得用于商用，如转载保留本文链接：https://www.wenbaik.com/answer/269035.html
