首页 >
克莱尼
✍ dations ◷ 2025-04-04 11:26:02 #克莱尼
斯蒂芬·科尔·克莱尼(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个孩子。他毕生热爱缅因州的家庭农场。他是一名热心的登山者,对自然和环境有浓厚的兴趣,并积极参与许多环境保护事业。
相关
- 降解分解反应(decomposition reaction)是化学反应的常见类型之一,是指化合物在特定条件下分解成二种或二种以上元素或化合物的反应。例如:水在通电的情况下会分解成氢气和氧气;氯酸钾
- 化疗药人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学化学疗法(英语:Chemotherapy),简称化疗(Che
- ICD-9编码列表 (740–759)Template:Congenital malformations and deformations of nervous system Template:Congenital malformations and deformations of eye Template:Congenital malformations
- Centers for Disease Control and Prevention美国疾病控制与预防中心(英语:Centers for Disease Control and Prevention,缩写为CDC)是美国卫生与公众服务部所属的一个机构,总部设在乔治亚州亚特兰大。作为美国联邦政府行政
- 乌拉圭乌拉圭东岸共和国(西班牙语:República Oriental del Uruguay),通称乌拉圭(Uruguay,西班牙语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertin
- Archive.isarchive.is(又名为archive.today)是一个私人资助的网页存档网站, 数据中心位于欧洲法国的北部-加来海峡。 这个网站典藏(英语:Web archiving)档案馆使用Apache Hadoop与Apache Acc
- 含水层含水层(英语:aquifer),也作蓄水层,是指地底一层含有水分的渗透岩(英语:permeability (earth sciences))、岩石碎隙或未固结的材料(砾石、沙、淤泥)。人们可通过打钻水井来从含水层提取
- 雄烯二醇雄烯二醇(英语:Androstenediol,或称为5-雄烯二醇 5-androstenediol、雄-5-烯-3,17-二醇 androst-4-ene-3,17-diol,缩写A5、Δ5-diol)是一种活性较弱的内源性雄激素,也是由脱氢表雄
- 胶囊剂胶囊剂以可溶性明胶作为包覆材料的囊状药剂,可避免口服时,药物与味觉器官直接接触引发恶心反应。请阅读硬胶囊请阅读软胶囊
- 戒断症状药物戒断(英语:drug withdrawal),一种因为停止药物治疗,或停止娱乐性药物、烟草、酒精的服用,而产生的综合症(symptoms)。在产生物质依赖的现象后,突然停止服用药物,在12至48小时内就