克莱尼

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

相关

  • 膜蛋白膜蛋白(英语:membrane protein)是指能够结合或整合到细胞或细胞器的膜上的蛋白质的总称。而细胞中一半以上的蛋白质可以与膜以不同形式结合。根据与膜结合强度的不同,膜蛋白可以
  • 苯佐卡因苯佐卡因(Benzocaine),又称“阿奈斯台辛”(Anaesthesine),学名对氨基苯甲酸乙酯。无色或白色斜方结晶粉末。无臭,味微苦,后有麻醉感。遇光逐渐变色。难溶于水,微溶于脂肪油,溶于稀酸、
  • 隐球菌病隐球菌病(英语:Cryptococcosis、Cryptococcal disease)是一种可能致命的真菌疾病,由一或二种真菌造成:新型隐球菌(Cryptococcus neoformans)与Cryptococcus gattii,两者原本都被认为
  • 蜜蜂蜂科(学名:Apidae)是蜜蜂总科中最大的一个科(family),涵盖了至少5700种蜂。这个科包括了一些最常见的蜂,比如熊蜂(bumblebee)和蜜蜂,还包括无蛰蜂(stingless bees)、木蜂(carpenter bees)
  • 电台电台在美国依然是一种主要的大众媒体。和大多数其他国家的电台发展史不同,美国的电台在历史上的发展主要依靠那些依赖商业广告赞助为生的盈利性电台。美国政府没有拥有一个播
  • DEHP邻苯二甲酸二(2-乙基己)酯(英语:bis(2-ethylhexyl)phthalate 或 di(2-ethylhexyl)phthalate,缩写分别为BEHP与DEHP),又称邻苯二甲酸二辛酯、酞酸二辛酯(dioctyl phthalate,缩写DOP),
  • 熔凝器Fusor是一种实验装置,它以电场来加热离子,直到产生适合核聚变的情况。这是一种惯性静电约束装置,主体内部呈真空状态,当中有两个带着电极的金属笼子,产生电压。带着正电的离子进
  • 医疗事故医疗事故(英语:medical malpractice;也称为医疗失当或医疗疏失),是一法律诉讼原因,泛指医疗院所与医疗从业人员,在对病患提供医疗服务时,出现不当或怠忽的专业医疗行为过失(失当行为),
  • 可卡因可卡因(INN:Cocaine),又译为古柯碱。为一强烈的兴奋剂,是一种毒品。可能造成思觉失调、欣快感或者精神激动(英语:Psychomotor agitation)等心理影响。生理上的症状可能包括心跳过速
  • 阿拉伯撒哈拉民主共和国面积以下资讯是以2016年1月估计国家领袖立国历史阿拉伯撒哈拉民主共和国(阿拉伯语:الجمهورية العربية الصحراوية الديمقراطية‎╱al-Jum