克莱尼

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

相关

  • 麻醉学人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学麻醉学(英语:Anesthesia、Anesthesiolog
  • 类固醇甾体(英语:steroid)是属于脂类的一类,特征是有一个四环的母核。所有甾体都是从乙酰辅酶A生物合成路径所衍生的。不同的甾体在其附在环上的官能团有所不同,而其基本结构都是有一个
  • 安乐死安乐死(英语:Euthanasia,源自于希腊语:εὐθανασία,“好的死亡”;εὖ为“好的”,θάνατος为“死亡”,此名称与实际作法不断地受到争议)是一种给予患有不治之症的人以无
  • 瘀血瘀血(英文:Blood stasis),又叫血瘀,是中医里面一个重要的病理过程。在中医理论中,指的是由于气虚使血液汇聚或者流速变慢,它通常被理解成属于生物医学里血液学的疾病,比如出血、充血
  • 根瘤菌See text.根瘤菌主要指与豆类作物根部共生形成根瘤并能固氮的细菌,一般指根瘤菌属和慢生根瘤菌属;两属都属于根瘤菌目。根瘤菌侵入寄主根内,刺激根部皮层和中柱鞘的某些细胞,引
  • 落矶山斑点热落矶山斑点热是在美国最严重及广泛报告的立克次体疾病,亦在美洲等地有病例。落矶山斑点热在其他国家亦被称为“蜱斑疹伤寒”、“托比亚热”(哥伦比亚)及“圣保罗热”或“斑疹热
  • 腾讯网腾讯网是一家位于中国大陆的大型门户网站,依托世界最大用户群的腾讯QQ即时通信软件从而成为了中国门户网站中的后起之秀,据世界著名的Alexa统计腾讯网目前是中国流量最大的门
  • 少年爱古希腊少年爱是古希腊时代被当时社会所公开承认的一种社会关系,通常是由一名成年男性和一名青少年组建而成。 这种关系存在于古希腊古风时代和古典希腊时代。 一些学者找到这
  • 全音素文字全音素文字(英语:alphabet)是表音文字的一种,它是以音素为单位的文字。和不标出元音的辅音音素文字不同,它的字母表中除了辅音字母,还有元音字母,用来表示语言中的元音。比较常见的
  • 苏美尔语幼发拉底河 · 底格里斯河乌鲁克 · 乌尔 · 埃利都 启什 · 拉格什 · 尼普尔 阿卡德帝国 · 库提 乌尔第三王朝 · 伊辛第一王朝 · 拉尔萨 · 伊辛第二王朝古巴比