首页 >
克莱尼
✍ dations ◷ 2025-06-27 20:44: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个孩子。他毕生热爱缅因州的家庭农场。他是一名热心的登山者,对自然和环境有浓厚的兴趣,并积极参与许多环境保护事业。
相关
- 立克次体等立克次体(学名:Rickettsia),或者称立克次氏体,是一类细菌,但许多特征和病毒一样,如不能在培养基上培养,可以通过瓷滤器过滤,只能在动物细胞内寄生繁殖等。直径只有0.3-1μm,小于绝大
- 林可酰胺类抗生素林克酰胺类抗生素(英语:Lincosamides)是一类抗生素,主要包括了克林霉素和林可霉素。这类抗生素对革兰氏阳性菌作用较强,对厌氧菌效果较好。林克酰胺类抗生素能够与核糖体上的50S
- 马卢尔国家森林马卢尔国家森林(英语:Malheur National Forest)是座美国国家森林,位于俄勒冈州东部(英语:eastern Oregon),包含1.4 × 106英亩(5,700平方千米)多的蓝山山地。森林有大盆地沙漠、草原
- 马铃薯Y病毒科马铃薯Y病毒属 黑麦草镶嵌病毒属 大麦黄色镶嵌病毒属 柘树属病毒属 番薯属病毒属 小麦属病毒属马铃薯Y病毒科(Potyviridae)
- 醉虾醉虾,是一种用虾制作的中国菜肴。这道菜不同地方做法不同,一般是把虾浸渍于酒中,一些地方是生吃,一些则是煮熟后食用。由于活的淡水虾可能有肺吸虫寄生,可能对食用者是一个严重的
- 氚氚(Tritium;符号:T或3H,注音:ㄔㄨㄢ;拼音:chuān)。亦称超重氢,是氢的同位素之一,元素符号为T或3H。它的原子核由一颗质子和两颗中子所组成,并带有放射性,会发生β衰变,放出电子变成氦-3,
- 加拿大重水铀反应堆加拿大重水铀反应堆或称“CANDU反应堆”或是“坎度堆”,是加拿大原子能公司(英语:Atomic Energy of Canada Limited)、安大略水电公司(英语:Ontario Hydro)和加拿大通用电气(英语:Can
- 丙酸杆菌属等丙酸杆菌属(学名Propionibacterium)是一类革兰氏阳性菌。
- 室内空气污染室内空气污染,是指在密闭空间中分布着对人体健康有影响的有害物质。一般常见室内空气污染来源可能包括抽烟、燃香、食物烹食、使用不同类型燃料支暖炉与火炉、清洗频率不足的
- I70–I99急性风湿热(I00-I09)高血压病(I10-I15)缺血性心脏病(I20-I25)肺原性心脏病和肺循环疾病(I26-I28)其他类型的心脏病(I30-I52)脑血管病(I60-I69)动脉、小动脉和毛细血管疾病(I70-I79)静脉、