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