| 克林 Stephen Cole Kleene1909—1994 美国逻辑学家。就读于阿默斯特学院和普林斯顿大学。1934年获数学博士学位。1934年至1942年曾先后任教于普林斯顿大学、威斯康星大学、阿默斯特学院。1946年起执教于威斯康星-麦迪逊大学，并曾任该校数学系主任、文理学院院长。1931年与其师丘奇共同得到λ-可定义函数。1934年春，哥德尔在普林斯顿演讲时，根据法国数学家厄布朗(Jacques Herbrand， 1908—1931)1931年给他信中的建议提出一般递归的概念，当时克林听了演讲并作了记录。后来他分析了所建议的概念，在1936年发表《自然数的一般递归函数》一文，发展了等式演算并给出了一般递归的严格定义。故通称一般递归为厄布朗-哥德尔-克林函数，这是最先公开提出的一种能行可计算理论。1935年初，大致与丘奇同时证明了一般递归与λ-可定义性为相互等价，并在1936年发表的《λ-可定义性和递归性》一文中公布了这一研究成果。主要著作还有《元数学导论》(1952)等。 |