1. 斯蒂芬·科尔·克莱尼，美国数学家和逻辑学家，1909年1月5日生于美国康涅狄格州的哈特福德。
2. 他的递归论研究对理论电脑科学的发展起到了关键作用。
3. 克莱尼的父亲古斯塔夫·克莱因是一位经济学教授，母亲艾丽丝·科尔是一位诗人。
4. 克莱尼在阿默斯特学院接受教育，并于1934年在普林斯顿大学获得了博士学位。他的导师，著名的逻辑学家阿尔冯斯·丘奇，在1936年使用lambda演算证明了判定问题的无解性。
5. 在二战期间，克莱尼担任美国海军的教官。
6. 除了数学和逻辑学，克莱尼还是一位博物学家，他甚至发现了蝴蝶的新品种。
7. 克莱尼热爱自然，喜欢旅行和登山。
下载本文
