斯蒂芬·科尔·克莱尼

✍ dations ◷ 2025-06-08 17:10:12 #1909年出生,1994年逝世,20世纪逻辑学家,美国逻辑学家,数理逻辑学家,美国国家科学奖获奖者,阿默斯特学院校友,普林斯顿大学校友

斯蒂芬·科尔·克莱尼(Stephen Cole Kleene,1909年1月5日-1994年1月25日)美国数学家、逻辑学家,主要从事对可计算函数的研究,而他的递归理论研究有助于奠定理论计算机科学的基础。他为数学直觉主义的基础做出了重要贡献,克莱尼层次结构、克莱尼代数、克莱尼星号(克莱尼闭包)、克莱尼递归定理和克莱尼不动点定理数学概念以他的名字命名。他也是正规表示法的发明者。

斯蒂芬·科尔·克莱尼出生于美国康涅狄克州的哈特福德。他的父亲古斯塔夫·克莱尼(Gustav Adolph Kleene)是一位经济学教授,母亲艾丽丝·科尔(Alice Lena Cole)是一位诗人。

克莱尼于1930年在阿默斯特学院获得学士学位,于1934年在普林斯顿大学获得数学博士学位。他的导师阿隆佐·邱奇是著名的逻辑学家。丘奇在1936年使用lambda演算来证明了判定问题是没有答案的;克莱尼的博士论文题目为“形式逻辑中的正整数理论”。

在20世纪30年代,他在丘奇的lambda演算上做了重要的工作。 1935年,他加入了威斯康辛大学麦迪逊分校数学系,在那里度过了他几乎所有的职业生涯。在担任导师两年后,他于1937年被任命为助理教授。1939年至1940年间,他是普林斯顿高等研究所的访问学者。他为递归理论奠定了基础,这个研究领域将是他一生的研究兴趣。1941年,他回到了阿默斯特学院并在那任职了一年的数学副教授。

克莱尼在二战期间是美国海军少校,他是纽约美国海军预备役军舰学校的导航教官,之后是华盛顿海军研究实验室的专案主任。克莱尼1946年回到威斯康辛州,1948年成为正教授,1964年成为“Cyrus C. MacDuffee”数学教授。他于1962年到1963年担任数学与计算机科学系主任(英语:dean (education)),1969年到1974年担任文学院与科学院院长。尽管当时的越南战争引起了学生们的不安,但他还是接受了后者的任命。他于1979年从威斯康辛大学退休。1999年,威斯康辛大学的数学图书馆以他的荣誉而更名。

克莱尼在威斯康辛州的教学产生了3篇关于数学逻辑的文章,一篇发表于1952年,一篇发布于1967年,还有一篇和Vesley合作的发布于1965年。前2个经常被引用,仍然在印刷中。克莱尼1952年的论文给哥德尔不完备定理提供了另外的证明,这些定理增强了其规范地位,使其更容易教导和理解。克莱尼和Vesley合写于1965年的论文是美国人对直觉主义逻辑和数学的经典介绍。克莱尼曾于1956年至1988年担任符号逻辑协会(Association for Symbolic Logic)主席,1961年担任国际科学史与科学哲学联盟(International Union of History and Philosophy of Science)主席。1990年,他被授予国家科学奖章。克莱尼工作的重要性导致了“克莱尼性就在哥德尔性之左右”(Kleeneness is next to Gödelness)的说法。

克莱尼和妻子Nancy Elliott有4个孩子。他毕生热爱缅因州的家庭农场。他是一名热心的登山者,对自然和环境有浓厚的兴趣,并积极参与许多环境保护事业。

相关

  • 假根假根是植物和真菌的一种结构,和根一样用做支撑或吸收等用途。在真菌里,假根是由固定真菌的匍匐枝向下长的小小分歧菌丝。假根会释放出消化酶并吸收消化后的有机物质。在陆生植
  • 巴库利德斯巴库利德斯(英语:Bacchylides /bəˈkɪlᵻˌdiːz/,古希腊语:Βακχυλίδης),约活动于公元前5世纪前后。古希腊抒情诗人之一,他常于进行抒情表达。与品达齐名,他的生平事迹
  • 生态遗传学现代生物分类群体从它们的 共同祖先遗传分化的图示。进化论介绍(英语:Introduction to evolution) 演化的证据 共同起源 共同起源的证据群体遗传学 · 遗传多样性 突变 · 自
  • 安道尔侯国安道尔公国(加泰罗尼亚语:Principat d'Andorra),也译作安道拉亲王国,通称安道尔,为一微型国家,国土面积468平方千米。是西南欧的内陆亲王国,位于比利牛斯山脉东南部,毗邻法国和西班牙
  • 维尔纳·法伊曼维尔纳·法伊曼(德语:Werner Faymann;1960年5月14日-),奥地利政治家、曾任奥地利总理。 由于未得到奥地利社会民主党一致支持,维尔纳·法伊曼宣布辞去奥地利总理和该党领导人职务。
  • 奥古斯丁岛奥古斯丁火山是美国的火山,位于库克湾,由阿拉斯加州负责管辖,长12公里、宽10公里,海拔高度1,260米,山体在40,000年前形成,最近一次火山喷发在2006年发生。坐标:59°21′48″N 153°
  • 赵锡成赵锡成(1927年12月29日-),生于中华民国上海市嘉定,拥有中华民国与美国双重国籍,企业家,为福茂集团创办人暨荣誉董事长。赵锡成在上海出生,父亲是一名小学校长。1946年,考取国立交通大
  • 历史文化名城国家历史文化名城由中华人民共和国国务院确定及公布,是于1982年根据北京大学侯仁之、建设部郑孝燮和故宫博物院单士元提议而建立的一种文物保护机制。被列入名单的均为保存文
  • 供给的价格弹性供给的价格弹性有时候也被简称为供给弹性。它表示价格变动1%引起供给量变动的程度。供给价格弹性系数同需求的价格弹性一样,也是由供给量变动的百分比与价格变动的百分比的比
  • 心智政权心智政权(英语:Noocracy,/noʊˈɒkrəsi/, /ˈnoʊ.əkrəsi/),亦称智主政治,柏拉图给予的定义是以智慧为主体的政权,根据佛拉迪米尔·维尔纳斯基提出的说明,它是一个基于人类思想