斯蒂芬·科尔·克莱尼

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

相关

  • 南非南部非洲即非洲大陆南部地区,不常简称为南非,“南非”通常指南非共和国。联合国的南部非洲次分区包括下列五个国家:南部非洲除了以上五国和其他南部非洲发展共同体的国家外,有时
  • 加勒比地区加勒比海及其附近区域。若依照联合国地理分区里的地理亚区来判定,加勒比地区的范围为加勒比海上的诸岛—西印度群岛,国家与地区包含安圭拉、安提瓜和巴布达、阿鲁巴、巴哈马、
  • 国教国教或官方宗教、官方信仰,是指由国家确立的特定宗教。拥有国教的国家并非一定为神权国家,也不代表国教受到政府控制。国家或政府在当代社会中对公民施加国教影响的程度差别很
  • 礼炮号这是一个礼炮号太空站舱外活动远征队列表。礼炮号由礼炮六号开始才有舱外活动,直至礼炮七号。
  • 邻苯二甲酸二正辛酯邻苯二甲酸二正辛酯(Di-n-octyl phthalate,缩写为DnOP或n-DOP),又称邻苯二甲酸二辛酯、酞酸二辛酯(dioctyl phthalate,缩写DOP),化学式C6H4(CO2C8H17)2,为邻苯二甲酸与正辛醇生成的酯
  • 多元论多元或多元主义(英语:pluralism)在社会科学和政治哲学中,指不同种族、民族、宗教或社会群体在一个共同文明体或共同社会的框架下,持续并自主地参与及发展自有传统文化或利益并且
  • 第四频道第四台(英语:Channel 4)是英国第四间电视台,1982年11月2日开始广播。第四台虽然是公共广播,但是和民营电视台一样播出商业广告。英国第四台的设立是BBC和独立电视台争夺英国第四
  • 日英同盟英日同盟(日语:日英同盟/にちえいどうめい nichi-ei dōmei;英语:Anglo–Japanese Alliance)签订于1902年1月30日,条约立即生效,到1923年失效。意旨为英国和日本两国为了维护其各自
  • 七谷教堂坐标:39°01′59″N 125°40′30″E / 39.033°N 125.675°E / 39.033; 125.675 七谷教堂(朝鲜语:칠골교회/칠골敎會 Ch'ilgolgyohoe)位于朝鲜平壤市万景台区七谷洞的“光复大街
  • 光山县光山县,是中华人民共和国河南省信阳市下辖的一个县。位于河南省东南部,北临淮河,南依大别山,位于河南、湖北、安徽三省交界处。京九铁路、宁西铁路、国道312、国道106、沪陕高速