克莱尼

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

相关

  • 戒烟戒烟是指吸烟者戒除吸用尼古丁的毒瘾,亦是目前世界各国一项主要健康议题。当人类吸入尼古丁后,会影响脑中的奖赏路径(reward pathways),使吸食者感到愉悦,不少初期吸食者均认为自
  • 美国国家生物技术信息中心国家生物技术信息中心(National Center for Biotechnology Information,简称NCBI)是美国国家医学图书馆(NLM)的一部分(该图书馆是美国国家卫生研究所的一部分)。NCBI位于美国马里兰
  • 费雯丽奥利维尔爵士夫人费雯·丽(英语:Vivien Leigh, Lady Olivier,1913年11月5日-1967年7月8日),英国国宝级电影演员,两届奥斯卡影后。费雯·丽不但是一位出色的电影演员,也是一名优秀的
  • 生物活性化合物植物化学(英语:Phytochemistry)严格地来说是对植物化学成分的研究。这些化合物取自植物。在更狭义的层面上,这个术语常被用于描述存在于植物中的大量的多种次级代谢化合物(次级
  • 情感障碍情感障碍,亦称情绪障碍、心境障碍、情感性疾患,是精神疾病诊断与统计手册(DSM IV TR) 中,对于诊断患疾的归类。此类患疾的特点在于人心情上的混乱不安。在国际疾病与相关健康问题
  • 空间分析空间分析是指利用拓扑关系、几何关系或地理属性等来研究事物的一种技术。严格上说空间分析指的并不是一种技术,而是一系列使用不同的分析手段并应用于各个领域的一系列技术,许
  • 阿基米德阿基米德(希腊语:´Αρχιμήδης;前287年-前212年),希腊化时代的数学家、物理学家、发明家、工程师、天文学家。出生于西西里岛的锡拉库扎,据说他在亚历山大求学时期,发明了阿
  • 基巴基帕 (希伯来文:כִּפָּה‎,Kippah)是犹太人男性所佩带的一张薄布料或羊毛纺织制成的头饰,用发夹固定。今天佩带基帕原因有:犹太教因教派不同,令其教派男性所佩带的基帕和以
  • 鼻后滴流综合征鼻后滴流综合征(或称上气道咳嗽综合征、上呼吸道咳嗽综合征)是由鼻黏膜过度分泌黏液导致的一系列症状。由于过度分泌的黏液聚积在鼻腔后部,聚积到一定程度时即会开始从咽喉滴流
  • 平滑在图论中,边收缩是指将一个图的其中一个边移除,并将被移除边的两个顶点合并,同时保持与被移除边之顶点相连的其他顶点之连接关系的一种变换,为图子式理论中的基本算子之一,然而此