克莱尼

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

相关

  • 噬病毒体噬病毒体(Virophages)类似卫星病毒,但他抑制或损害辅助病毒。与其他卫星病毒类似,噬病毒体依赖于另一种病毒混合感染宿主。噬病毒体危害其辅助病毒的繁殖。尽管越来越多的科学文
  • 流式细胞术流式细胞术(英语:flow cytometry)是一种生物学技术,用于对悬浮于流体中的微小颗粒进行计数和分选。这种技术可以用来对流过光学或电子检测器的一个个细胞进行连续的多种参数分析
  • Wired《连线》(Wired)是一份在全美国发行的彩色月刊杂志,并同时拥有在线版本。该杂志于1993年3月开始发行,着重报道科技对文化、经济和政治的影响。《连线》杂志隶属于康泰纳仕集团,总
  • 真空真空是一种不存在任何物质的空间状态,是一种物理现象。在真空中,声波因为没有介质而无法传递,但电磁波的传递不受真空的影响。粗略地说,真空是指在一区域之内的气压远远小于大气
  • 水泡水泡(英语:Blister),或称水疱,是皮肤表层聚积一小包体液的现象,体液可以是淋巴液、血清、血浆、血液、脓等,通常是由于摩擦、灼伤、冻伤、化学品接触、感染引起的。水泡内通常为清
  • 啮齿目松鼠形亚目 Sciuromorpha 河狸亚目 Castorimorpha 鼠形亚目 Myomorpha 鳞尾松鼠亚目 Anomaluromorpha 豪猪亚目 Hystricomorpha啮齿目是哺乳动物中的一目,其特征为上颌和下颌
  • 荷尔蒙激素(英语:hormone)也音译作荷尔蒙或贺尔蒙,在希腊文原意为“兴奋活动”。激素是指体内的某一细胞、腺体或者器官所产生的可以影响机体内其他细胞活动的化学物质。仅需很小剂量
  • 年假年假也称年休,指的是劳工每年在公共假日以外,能够自由安排的有薪假日。大多数国家都有劳动权益保护法律规定雇员最低的年休天数。根据雇主的规定,雇员可能须要在指定的天数前预
  • 马克斯·魏因赖希马克斯·魏因赖希(1894年4月22日 - 1969年1月29日)是语言学家,专攻社会语言学和意第绪语,语言学家尤里埃尔·瓦恩里希之父。马克斯·魏因赖希(俄语:Мейер Лазаревич
  • 隶书陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书(大篆 ‧  小篆)隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧  书法 ‧ 飞白书笔画 ‧