斯蒂芬·科尔·克莱尼
此条目需要补充更多来源。 (2018年5月17日) |
斯蒂芬·科尔·克莱尼（英语：Stephen Cole Kleene，1909年1月5日—1994年1月25日）是一名美国数学家、逻辑学家，主要从事对可计算函数的研究，而他的递归理论研究有助于奠定理论电脑科学的基础。他为数学直觉主义的基础做出了重要贡献，克莱尼层次结构、克莱尼代数、克莱尼星号（克莱尼闭包）、克莱尼递归定理和克莱尼不动点定理数学概念以他的名字命名。他也是正规表示法的发明者。
| 斯蒂芬·科尔·克莱尼 Stephen Kleene | |
|---|---|
 | |
| 出生 | 1909年1月5日 美国康涅狄克州哈特福德 |
| 逝世 | 1994年1月25日（85岁） 美国威斯康辛州麦迪逊 |
| 母校 | 阿默斯特学院 普林斯顿大学 |
| 知名于 | |
| 奖项 | 勒罗伊·斯蒂勒奖 (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年担任数学与计算机科学系主任，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）的说法。[来源请求]
作品
编辑此章节需要扩充。 (2018年5月17日) |
- Stephen Kleene. General recursive functions of natural numbers [自然数的一般递归函数]. Math. Ann.. 1936, (112): 727–742 （英语）.
- Stephen Kleene. Introduction to Metamathematics [数学导论]. New York: Van Nostrand: Ishi Press. 2009 [1952] [2018-05-18]. （原始内容存档于2017-10-02） （英语）.[3]
- Stephen Kleene. Claude Shannon; John McCarthy , 编. Representation of Events in Nerve Nets and Finite Automata [神经网络和有限自动机中的事件表示]. Automata Studies. 1956 [2018-05-18]. （原始内容存档于2009-09-18） （英语）.
个人生活
编辑克莱尼和妻子Nancy Elliott有4个孩子。他毕生热爱缅因州的家庭农场。他是一名热心的登山者，对自然和环境有浓厚的兴趣，并积极参与许多环境保护事业。
参考资料
编辑- ^ About S.C. Kleene. University of Wisconsin—Madison Libraries. [23 April 2016]. （原始内容存档于2019-09-09）.
- ^ IUHPS成员. IUHPS. （原始内容存档于2011年9月27日） （英语）.；也叫做“国际科学历史与哲学联盟”（"International Union of the History and the Philosophy of Science"），是国际科学理事会的成员之一 (曾名国际科学联合会理事会)。
- ^ WorldCat: editions for 'Introduction to metamathematics'. 1952 [2013年4月2日]. （原始内容存档于2013年10月12日）.