克莱尼

✍ dations ◷ 2025-09-09 11:30:15 #克莱尼
斯蒂芬·科尔·克莱尼(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个孩子。他毕生热爱缅因州的家庭农场。他是一名热心的登山者,对自然和环境有浓厚的兴趣,并积极参与许多环境保护事业。

相关

  • 螺旋体门螺旋体门(Spirochaetes)是一类很有特点的细菌,具有长的螺旋形盘绕的细胞。它们独具细胞全长、在细胞膜和细胞壁之间的鞭毛,称为“轴丝”(axial filament)。螺旋体可以通过轴丝产生
  • 二氧化碳二氧化碳(IUPAC名:carbon dioxide,分子式:CO2)是空气中常见的化合物,由两个氧原子与一个碳原子通过共价键连接而成。空气中有微量的二氧化碳,约占0.04%。二氧化碳略溶于水中,形成碳酸
  • 过敏原过敏原(英语:allergen,又称为变应原、过敏物、致敏原、致敏物)是指能引起过敏的物质。严格地说,过敏原是一种能促进在特应性个体发生I型超敏反应的非寄生抗原。尘螨的排泄物、花
  • 杆菌肽杆菌肽(bacitracin)是由枯草杆菌的变种“崔西”之地衣状菌素有机体所产生的相关环肽之混合物,在1945年首次分离出来。这些肽借由干扰"肽聚糖合成"及细胞壁而破坏革兰氏阳性菌及
  • 封套封套(法语:enveloppe,英语:envelope,葡萄牙语:envelope,德语:Umschlag,西班牙语:sobre),是一种包装工具,通常都是压平的。制造信封的材料有很多种,最常见的是纸张,其次还有纸版、塑胶、牛皮
  • 蒙特利尔大学蒙特利尔大学(法语:Université de Montréal,简称UdeM)是一所以法语为教学语言的加拿大公立大学,位于加拿大魁北克省蒙特利尔市皇家山脚下。学校由13个学院以及2个著名的附属学
  • KEGGKEGG(英语:Kyoto Encyclopedia of Genes and Genomes,京都基因与基因组百科全书,日语:京都遺伝子ゲノム百科事典)是一套日本于1995年制定的人类基因组计划,此为关于基因组、酶促途
  • 船舶污染船舶污染源可分为油类与非油类之两大污染源。非油类污染源: 船舶生活污水、有毒液体物质、船舶垃圾、来自船舶空气污染……等等。造成船舶油污染的原因可分为 :意外性的排泄
  • 查理曼帝国加洛林王朝(法语:les Carolingiens,旧称Carlovingiens,中世纪拉丁语:Karolingi,又译卡洛林王朝)是自公元751年后统治法兰克王国的王朝。在此之前,其王朝成员以“宫相”的身份涉理王
  • 盲点视网膜的后方称为眼底,在正对视神经起始处,有一呈白色的圆形隆起,称为视神经盘(又称视神经乳头)。此处是神经纤维进出的地方,没有感光细胞,不能感应到光线,故称为盲点。影像能够在盲