斯蒂芬·科尔·克莱尼

✍ dations ◷ 2025-04-04 11:27:22 #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个孩子。他毕生热爱缅因州的家庭农场。他是一名热心的登山者,对自然和环境有浓厚的兴趣,并积极参与许多环境保护事业。

相关

  • 中毒中毒(Poisoning)是指生物体因为有毒物质或是动物的毒液导致的化学性危害。毒理学是有关中毒的症状、机制、诊断及治疗的研究及实务。生物体吸收有毒物质(也就是进入血液中)是系
  • 高龄老年(英语:old age),一般指生物的生命周期一个阶段,即中年到死亡的一段时间不同的文化圈对于老年人有着不同的定义。由于生命的周期是一个渐变的过程,壮年到老年的分界线往往是很
  • 巴门尼德爱利亚的巴门尼德(Παρμενίδης)(约前515-前445),公元前5世纪的古希腊哲学家,最重要的“前苏格拉底”哲学家之一,是埃利亚学派的一员。生于埃利亚(Ἐλέα,位于现在意大利南
  • 拉泽斯拉齐(波斯语:ابوبكر محمّد زکرياى رازى‎ ,Abūbakr Mohammad-e Zakariā-ye Rāzī ;865年8月26日-925年),波斯医师、炼金术师、化学家、哲学家。他博学多才
  • 皮尔罗伯特·皮尔爵士,第二代从男爵(英语:Sir Robert Peel, 2nd Baronet,1788年2月5日-1850年7月2日),出生于英国布莱克本附近,政治家,他被看作是英国保守党的创建人,及伦敦警察厅的成立者
  • 旧莱姆镇旧莱姆(英语:Old Lyme)是一个位于美国康涅狄格州新伦敦县的城镇。旧莱姆的座标为41°19′00″N 72°28′00″W / 41.31667°N 72.46667°W / 41.31667; -72.46667,而该地的平均
  • 玻尔原子模型玻尔模型是丹麦物理学家尼尔斯·玻尔于1913年提出的关于原子结构的模型。玻尔模型引入量子化的概念来研究原子内电子的运动。这模型对于计算氢原子光谱的里德伯公式给出理论
  • 皇位继承人政治主题威尔士亲王(英语:Prince of Wales,威尔士语:Tywysog Cymru),前威尔士王国的国家元首头衔,自1301年英格兰吞并威尔士之后,英王便将这个头衔赐与王储。在威尔士被占领前,只有很
  • 沈中阳沈中阳(1962年11月-),汉族,辽宁沈阳人,中华人民共和国政治人物,全国政协委员。担任农工党中央常委、天津市委副主委、天津市第一中心医院院长。2008年,当选第十一届全国政协委员,代表
  • 朝圣山学社朝圣山学社(Mont Pelerin Society)是一个由经济学家、企业领袖和其他古典自由主义支持者组成的国际性组织。该组织提倡自由市场经济政策,倡导开放社会的价值。朝圣山学社由弗里