斯蒂芬·科尔·克莱尼

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

相关

  • 粒细胞粒细胞是一类细胞质中包含颗粒体(英语:Granule_(cell biology))的白细胞,又因其细胞核形态多样而称多形核白细胞,(PMN或PML)。术语多形核白细胞通常特指最常见的中性粒细胞。粒细胞
  • Wiktionary维基词典(英语:Wiktionary),是维基百科的姊妹工程,它的目标是创建一个基于所有语言的自由的词典。该项目于2002年12月12日启动,发起人是维基人Daniel Alston。维基词典旨在收录字
  • 钙通道阻滞剂钙离子通道阻滞剂(英语:calcium channel blocker,CCB、calcium channel antagonists 或 calcium antagonists)是阻断钙离子经过细胞膜上的钙离子通道进入细胞的药物。 钙离子通
  • 社会建构社会建构主义(social constructionism)是由20世纪著名的思想家米歇尔·福柯在其《性史》第一卷中提出的。社会建构主义认为,性并不是一种独立于外界条件的观念,而是文化建构的结
  • Oct4n/an/an/an/an/an/an/an/an/an/aOct4(八聚体结合转录因子4, octamer-binding transcription factor 4),亦称为POU5F1(第五类POU结构域转录因子1),是一种蛋白质,在人体中由POU5F1基
  • 五甲中山高速公路为中华民国(台湾)第一条国道。1971年开工,1978年通车。全长374.3公里(汐五高架则为20.7公里,不包含其中),共有34个交流道(含端点)。随着国道三号及各地快速公路通车,2017
  • 冠状病毒酱冠状病毒酱(Corona-chan)是严重急性呼吸系统综合症冠状病毒2型的萌拟人化角色,在4chan、Reddit等网站爆红。2014年西非埃博拉病毒疫症爆发时,英语世界的贴图讨论版及网络讨论区
  • 陶瓷史朝鲜陶瓷开始于隆起文土器(英语:yunggimun pottery)。9世纪后期,统一新罗从中国引进制瓷技术,是世界上最早引进制瓷技术的国家之一。12世纪,青瓷在朝鲜半岛的发展达到鼎盛,创造出翡
  • 冒险家冒险者通常指下列三种意义中的一种:在小说里,冒险者此一角色可以认为是源自于中世纪罗曼史中的游侠骑士。如同骑士一般,冒险者会经历著各段的遭遇,通常包括有财富、罗曼史或战斗
  • 阿波罗登月舱阿波罗登月舱(Apollo Lunar Module)是阿波罗宇宙飞船登月直接登月的部分,由美国的阿波罗计划为达到登月并成功返回而建。登月舱又被其制造商称作“LM”(月面模组),也叫做“LEM”(登