克莱尼

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

相关

  • 炭疽病炭疽病(英语:anthrax)是由炭疽杆菌感染造成的疾病,感染途径包括皮肤接触、呼吸道、消化道以及注射等四种,通常在感染一天至两个月后开始出现症状,经由皮肤接触的感染起初会出现小
  • 胎便胎粪是初生婴儿第一次排出体外的粪便。与他们往后排出的粪便不同的是:胎粪是胎儿在母体时所消化的物质构成,包括有肠黏膜的上皮组织、胎毛、黏液、羊水、胆汁及水分。由于胎儿
  • 天然产物天然产物(英语:Natural product)是在自然界中由活生物产生的那些通常具有药理学或生物学活性的化学物质,可被用于药学上的药物研发与药物设计;而天然产物化学是运用现代化科学理
  • 循环性情感症循环性情感症(Cyclothymia)是情感障碍之一、躁郁症的一种形式。在极性病谱中有定义此症。具体而言,此疾患属于较轻微形式的第二型双极性疾患,伴随着时常在欢欣鼓舞与低落沮丧之
  • 多毛纲见内文多毛纲(学名:Polychaeta)是环节动物门下的一个纲,目前辖下有超过80个科。这一纲的动物的身体一般呈圆柱状,或背部略扁,身体分为口前叶、一般体节部分和尾节。其中体节上有成
  • 钻石尘钻石尘(英语:Diamond dust)是一种能在地面附近观测到的微小冰块。亦作“钻石粉尘”或“钻石星尘”,有的称作“冰晶”。这些小冰块经常出现在逆温时期,热空气与冷空气混合的时候。
  • 莎孚萨福(古希腊文:Σαπφώ;拉丁化:Sappho,约630BC-570BC),古希腊的女同性恋诗人,一生写过不少情诗、婚歌、颂神诗、铭辞等。著有诗集九卷,大部分已散轶,现仅存一首完篇、三首几近完篇
  • 视盲失明,俗称盲或者瞎,是指由生理或心理原因引发的人体视知觉缺陷。目前对于视觉丧失的程度有多种度量标准,而失明也有许多种定义。完全失明是指人体彻底丧失对于形状和可见光的感
  • 结构细胞(英语:Cell)旧称䏭,是生物体结构和功能的基本单位。它是除了病毒之外所有具有完整生命力的生物的最小单位,也经常被称为生命的积木(病毒仅由DNA/RNA组成,并由蛋白质和脂肪包裹
  • 特林吉特语特林吉特语(英语:Tlingit language,发音为/ˈklɪŋkɪt/;特林吉特语:Lingít 宽式IPA:/ɬɪŋkɪ́t/)是一种现时在美国阿拉斯加东南部及加拿大西部通行的语言,是纳-德内语系的成员