克利尼，S．C．

【生卒】：1909～

【介绍】：

美国逻辑学家。就读于阿默斯特学院和普林斯顿大学，1934年获数学博士学位，1934年至1942年曾先后任教于普林斯顿大学、威斯康星大学、阿默斯特学院，1946年起任教于威斯康星－麦迪逊大学，并曾任该校数学系主任、文理学院院长。主要论著有：《元数学导论》(1952)、《直觉主义数学基础》(1965，与R．E．维斯莱合著)。他的《元数学导论》已再版7次，并被翻译成包括中文在内的多种文字，是数理逻辑文献中十分重要的专著。克利尼对递归论的形成与发展作出了重要的贡献。递归论中的许多重要的概念是由他引进的。30年代初他与其师A．丘奇共同引进了λ－可定义函数的概念。他通过对K．哥德尔在普林斯顿讲演时提出的一般递归函数概念作进一步研究，在1936年发表的《自然数的一般递归函数》中给出了一般递归函数的严格定义。由于这个概念是哥德尔根据J．艾尔布朗的建议而提出的，因此现在通常把一般递归函数称为艾尔布朗－哥德尔－克利尼函数。此外他还引进了包括相对可计算性在内的许多重要概念。递归论中的许多重要结果也是由他建立的，如λ－可定义性与一般递归的等价、范式定理、不可隔离集定理等等。另外他在分层理论、泛函数理论、直觉主义数学等领域也有建树。