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