斯蒂芬·科尔·克莱尼

✍ dations ◷ 2025-09-16 22:59:49 #1909年出生,1994年逝世,20世纪逻辑学家,美国逻辑学家,数理逻辑学家,美国国家科学奖获奖者,阿默斯特学院校友,普林斯顿大学校友

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

相关

  • 孙思邈孙思邈(541年或581年-682年),唐朝京兆华原(现陕西耀县)人,是著名的医师与道士。他是中国乃至世界史上著名的医学家和药物学家,被誉为药王,宋朝追封妙应真人,道教尊为天医妙应广援善济
  • 旧宫旧宫(Palazzo Vecchio)是意大利佛罗伦萨的市政厅。厚重的罗马式建筑,开垛口的堡垒,使其成为托斯卡纳最宏伟的市政厅。它俯瞰着领主广场,前面是米开朗琪罗大卫像的复制品,以及众多
  • abbr class=abbr title=S33: 预防静电S33/abbr安全建议标准词(英语:Safety phrases,简写:S-phrases)是于《欧盟指导标准67/548/EEC 附录Ⅳ: 有关危险物品与其储备的安全建议》里定义。该列表被集中并再出版于指导标准2001/59/
  • 多尔蒂县休多尔蒂县(Dougherty County)是位于美国佐治亚州西南部的一个县,面积867平方公里,县治奥尔巴尼。根据2000年美国人口普查,共有人口94,882。多尔蒂县成立于1853年12月15日,县名源自
  • 所刻的72个姓名在埃菲尔铁塔上共刻有72个法国科学家、工程师与其他知名人士的名字,居斯塔夫·埃菲尔以此来铭记他们做出的贡献。这些雕刻都位于铁塔第一个平台下方四周的壁面上,每个字母约60
  • 邓子新邓子新(1957年3月-),男,湖北房县人。中国微生物学家。武汉大学教授。1982年毕业于华中农业大学微生物专业,1987年获英国东英吉利亚大学分子微生物学博士学位。1988年起任教于华中
  • 罗汉阿罗汉(梵语:अर्हत्,Arhat;巴利语:Arahant),又译阿罗诃,意译为应供、杀贼、无生,汉语常简称为罗汉;为原始佛教、部派佛教的第四果,是依照佛三转法轮解脱道的教导修习四念处、十二
  • 潜水战队潜水战队(日语:潜水戦隊/せんすいせんたい Sensui Sentai ?),为旧日本海军的一种潜艇中队(英语:Submarine squadron)编制。在日本海军内的框架内,潜水战队以若干巡洋潜艇为基本战力
  • 怖军怖军(梵语:भीम)在摩诃婆罗多中般度族的一员,般度五子的二子,哈斯蒂纳普尔的国王。怖军名义上的父亲是般度,但因般度得罪天神导致不能与女性行房,所以贡蒂利用神力与天神生下儿子
  • 赣派建筑赣派建筑,也称为赣派民居、江右民居。是汉族江右民系的传统建筑。是一种造型风格主要体现在民居、祠庙、牌坊和园林等建筑实物中的流派建筑。为中国古建筑最重要的流派之一,以