斯蒂芬·科尔·克莱尼

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

相关

  • 顶底在女同性恋亚文化中,“顶”(T、Butch)、“底”(P、Femme)是用来赋予或承认男性化、女性化身份及其相关特征、行为、风格、自我认知等的术语。这些术语是在20世纪的女同性恋群体中
  • 一氧化二碳一氧化二碳(DCMO),分子式为C2O,是一个十分活泼的共价化合物。它是二氧化三碳光解的中间体,与CO、CO2和C3O2等碳氧化物联系密切。它相对稳定,与NO和NO2会发生反应。
  • 伊丽莎白·布雷克本伊丽莎白·海伦·布莱克本,FRS(英语:Elizabeth Helen Blackburn,1948年11月26日-),分子生物学家,生于澳大利亚、现居美国,拥有澳、美两国国籍,现任加利福尼亚大学旧金山分校生物化学与
  • 北卡罗来纳州立大学坐标:35°47′08″N 78°40′18″W / 35.785548°N 78.67157°W / 35.785548; -78.67157北卡罗来纳州立大学(英语:North Carolina State University)是位于美国北卡罗来纳州罗利
  • 阿尔塔薛西斯三世阿尔塔薛西斯三世,又译亚他薛西斯三世(古波斯楔形文字:
  • 叔丁醇叔丁醇(tert-Butanol;IUPAC名:2-甲基-2-丙醇),又称第三丁醇或新丁醇,是最简单的叔醇,为丁醇四种异构体之一。叔丁醇是具有樟脑香味的液体,易溶于水、乙醇和乙醚。叔丁醇熔点仅仅超过
  • 荖浓溪荖浓溪(布农语:laku laku,意即"凶猛不定的河水";拉阿鲁哇语:Sakulahlu Taunguara)位于台湾南部,为高屏溪的主流上游,河长133公里,流域面积2,038平方公里,分布于高雄市东部、屏东县北部
  • 复仇主义复仇主义 (法语:Revanchisme;源于法语名词 revanche ,意指复仇) 从1870年代开始被广泛使用,意指透过政治运动,向一个国家收复于战争后所失去的领土之行为,可在战争完结多年后发生
  • 对外经济贸易部1999年规定:印章直径5厘米,中央刊国徽,由国务院制发。中华人民共和国对外贸易经济合作部,是中华人民共和国国务院曾经存在的部门,负责对外贸易事务。1982年,由进出口管理委员会、
  • 威廉·鲁福斯·金威廉·鲁福斯·金(英语:William R. King 1786年4月7日-1853年4月18日),美国政治家、外交官,1853年担任第13任美国副总统,就任不到一个月就去世。此前,他曾担任过北卡罗莱纳州的众议