| 词条 | 克林 |
| 释义 | 2 美国数理逻辑学家◎ 美国数理逻辑学家克林Stephen Cole Kleene，1909～1994 美国数理逻辑学家。生于康涅狄格州哈特福德。1930年毕业于阿默斯特学院，1934年获普林斯顿大学博士学位。曾在普林斯顿大学、麦迪逊威斯康星大学、阿默斯特学院任教，1979年退休。先后当选为符号逻辑协会主席、国际科学与哲学史联合会主席、美国全国科学院院士、美国艺术与科学学院院士。曾应邀在国际数学家大会上作报告，并于1983年获美国数学会斯蒂尔奖，于1990年获美国国家科学奖章。1994年卒于威斯康星的麦迪逊。克林的主要贡献在递归函数理论和有效的可计算性方面。他建立了递归函数类的基本数学性质，并证明了递归函数的概念与可计算数论函数的直觉概念是一致的；给出了克林范式定理和克林递归定理；20世纪40年代，他发展了算术层和高型算术层；1950年，他和波斯特用相对递归定义了“不可解性的度”，有人称之为克林一波斯特不可解理论；1955年开始，他把算术分层分类推广到了广泛的超算术、归纳和解析关系等；1959年开始，他研究了可由递归定义的泛函，还引入了“可数泛函”，从而推广了可计算性理论，对理论计算机科学有重大影响。与其学生合著有《直觉主义数学的基础，与递归函数的关系》。 3 俄罗斯城市克林（俄语：Клин，英语：Klin），城市名。位于俄罗斯莫斯科州，莫斯科西北。地处俄罗斯平原中部，属温带大陆性气候。人口83,178（2002年）。连接莫斯科和圣彼得堡的M10高速公路以及莫斯科到圣彼得堡的铁路贯穿该市。 1317年首次出现在文献中。1482年和特维尔大公国其他部份被并入莫斯科大公国。著名作曲家柴可夫斯基在这里创作了《睡公主》和《胡桃夹子》。 当地有一间很大的啤酒工厂，专门生产Klinskoye啤酒。 姐妹城市：法国，奥利 |
| 随便看 |
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。