先后当选为符号逻辑协会主席、国际科学与哲学史联合会主席、美国全国科学院院士、美国艺术与科学学院院士。曾应邀在
国际数学家大会上作报告,并于1983年获
美国数学学会斯蒂尔奖,于1990年获
国家科学奖章。1994年卒于威斯康星的麦迪逊。克林的主要贡献在
递归函数理论和有效的可计算性方面。他建立了递归函数类的基本数学性质,并证明了递归函数的概念与可计算数论函数的直觉概念是一致的;给出了克林范式定理和克林递归定理;20世纪40年代,他发展了算术层和高型算术层;1950年,他和波斯特用相对递归定义了“不可解性的度”,有人称之为克林一波斯特不可解理论;
1955年开始,他把算术分层分类推广到了广泛的超算术、归纳和解析关系等;1959年开始,他研究了可由递归定义的泛函,还引入了“可数泛函”,从而推广了可计算性理论,对理论计算机科学有重大影响。与其学生合著有《直觉主义数学的基础,与递归函数的关系》。