斯蒂芬·科尔·克莱尼

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

斯蒂芬·科尔·克莱尼
Stephen Kleene
出生(1909-01-05)1909年1月5日
 美国康涅狄克州哈特福德
逝世1994年1月25日(1994岁—01—25)(85岁)
 美国威斯康辛州麦迪逊
母校阿默斯特学院
普林斯顿大学
知名于
奖项勒罗伊·斯蒂勒奖英语Leroy P. Steele Prize (1983)
美国国家科学奖章 (1990)
科学生涯
研究领域数理逻辑
机构威斯康辛大学麦迪逊分校
博士导师阿隆佐·邱奇
博士生Robert Lee Constable
Joan Moschovakis
Yiannis Moschovakis
Nels David Nelson
Dick de Jongh

生平

斯蒂芬·科尔·克莱尼出生于美国康涅狄克州哈特福德。他的父亲古斯塔夫·克莱尼(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年,威斯康辛大学的数学图书馆以他的荣誉而更名。[1]

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

作品

个人生活

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

参考资料

  1. ^ About S.C. Kleene. University of Wisconsin—Madison Libraries. [23 April 2016]. (原始内容存档于2019-09-09). 
  2. ^ IUHPS成员. IUHPS. (原始内容存档于2011年9月27日) (英语). ;也叫做“国际科学历史与哲学联盟”("International Union of the History and the Philosophy of Science"),是国际科学理事会的成员之一 (曾名国际科学联合会理事会)。
  3. ^ WorldCat: editions for 'Introduction to metamathematics'. 1952 [2013年4月2日]. (原始内容存档于2013年10月12日).