生平 斯蒂芬·科尔·克莱尼出生於美國康涅狄克州 的哈特福德 。他的父親古斯塔夫·克莱尼（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年担任數學與計算機科學系主任 越南戰爭 引起了學生們的不安，但他還是接受了後者的任命。他於1979年從威斯康辛大學退休。1999年，威斯康辛大學的數學圖書館以他的榮譽而更名。[1]
克莱尼在威斯康辛州的教學產生了3篇关于數學邏輯 的文章，一篇发表于1952年，一篇发布于1967年，还有一篇和Vesley合作的发布于1965年。前2個經常被引用，仍然在印刷中。克莱尼1952年的论文給哥德爾不完備定理 提供了另外的證明，這些定理增強了其規範地位，使其更容易教導和理解。克莱尼和Vesley合写于1965年的论文是美國人對直覺主義邏輯和數學的經典介紹。克莱尼曾于1956年至1988年擔任符號邏輯協會（Association for Symbolic Logic）主席，1961年擔任國際科學史與科學哲學聯盟（International Union of History and Philosophy of Science）主席[2] 國家科學獎章 。克莱尼工作的重要性導致了“克莱尼性就在哥德爾性之左右”（Kleeneness is next to Gödelness）的說法。 [來源請求]
作品 Stephen Kleene . General recursive functions of natural numbers [自然数的一般递归函数]. Math. Ann. 112 ): 727–742 （英语） . Stephen Kleene . Introduction to Metamathematics [数学导论]. New York: Van Nostrand: Ishi Press. 2009 [1952] [2018-05-18 ] . （原始内容于2017-10-02） （英语） . [3] Stephen Kleene . Claude Shannon ; John McCarthy , 编. Representation of Events in Nerve Nets and Finite Automata [神经网络和有限自动机中的事件表示]. Automata Studies [2018-05-18 ] . （原始内容于2009-09-18） （英语） .
个人生活 克莱尼和妻子Nancy Elliott有4個孩子。他畢生熱愛緬因州 的家庭農場。他是一名熱心的登山 者，對自然和環境有濃厚的興趣，並積極參與許多环境保護 事業。
参考资料 ^ About S.C. Kleene. University of Wisconsin—Madison Libraries. [23 April 2016] . （原始内容于2019-09-09）. ^ . IUHPS. （原始内容存档于2011年9月27日） （英语） . 国际科学理事会 的成员之一 (曾名国际科学联合会理事会 )。^ WorldCat: editions for 'Introduction to metamathematics' . 1952 [2013年4月2日] . （原始内容于2013年10月12日）.
斯蒂芬, 科尔, 克莱尼, 此條目需要补充更多来源, 2018年5月17日, 请协助補充多方面可靠来源以改善这篇条目, 无法查证的内容可能會因為异议提出而移除, 致使用者, 请搜索一下条目的标题, 来源搜索, 网页, 新闻, 书籍, 学术, 图像, 以检查网络上是否存在该主题的更多可靠来源, 判定指引, stephen, cole, kleene, 1909年1月5日, 1994年1月25日, 美國數學家, 逻辑學家, 主要从事對可計算函數的研究, 而他的遞歸理論研究有助於奠定理論電腦科學的基礎, 他為數學直覺主義. 此條目需要补充更多来源 2018年5月17日 请协助補充多方面可靠来源以改善这篇条目 无法查证的内容可能會因為异议提出而移除 致使用者 请搜索一下条目的标题 来源搜索 斯蒂芬 科尔 克莱尼 网页 新闻 书籍 学术 图像 以检查网络上是否存在该主题的更多可靠来源 判定指引 斯蒂芬 科尔 克莱尼 Stephen Cole Kleene 1909年1月5日 1994年1月25日 美國數學家 逻辑學家 主要从事對可計算函數的研究 而他的遞歸理論研究有助於奠定理論電腦科學的基礎 他為數學直覺主義的基礎做出了重要貢獻 克莱尼層次結構 克莱尼代数 克莱尼星号 克莱尼閉包 克莱尼遞歸定理和克莱尼不動點定理數學概念以他的名字命名 他也是正規表示法的發明者 斯蒂芬 科尔 克莱尼Stephen Kleene出生 1909 01 05 1909年1月5日美國康涅狄克州哈特福德逝世1994年1月25日 1994歲 01 25 85歲 美國威斯康辛州麦迪逊居住地 美國国籍 美國母校阿默斯特學院普林斯顿大学知名于 对直觉主义的贡献 克莱尼 莫斯托夫斯基阶层 克莱尼 罗瑟尔悖论 英语 Kleene Rosser paradox 克莱尼星号 克莱尼算法 英语 Kleene s algorithm 克莱尼定理 正则表达式 可实现性 克莱尼smn定理 英语 Smn theorem 奖项勒罗伊 斯蒂勒奖 英语 Leroy P Steele Prize 1983 美国国家科学奖章 1990 科学生涯研究领域数理逻辑机构威斯康辛大學麥迪遜分校博士導師阿隆佐 邱奇博士生Robert Lee ConstableJoan MoschovakisYiannis MoschovakisNels David NelsonDick de Jongh 目录 1 生平 2 作品 3 个人生活 4 参考资料生平 编辑斯蒂芬 科尔 克莱尼出生於美國康涅狄克州的哈特福德 他的父親古斯塔夫 克莱尼 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年 威斯康辛大學的數學圖書館以他的榮譽而更名 1 克莱尼在威斯康辛州的教學產生了3篇关于數學邏輯的文章 一篇发表于1952年 一篇发布于1967年 还有一篇和Vesley合作的发布于1965年 前2個經常被引用 仍然在印刷中 克莱尼1952年的论文給哥德爾不完備定理提供了另外的證明 這些定理增強了其規範地位 使其更容易教導和理解 克莱尼和Vesley合写于1965年的论文是美國人對直覺主義邏輯和數學的經典介紹 克莱尼曾于1956年至1988年擔任符號邏輯協會 Association for Symbolic Logic 主席 1961年擔任國際科學史與科學哲學聯盟 International Union of History and Philosophy of Science 主席 2 1990年 他被授予國家科學獎章 克莱尼工作的重要性導致了 克莱尼性就在哥德爾性之左右 Kleeneness is next to Godelness 的說法 來源請求 作品 编辑此章节需要扩充 2018年5月17日 Stephen Kleene General recursive functions of natural numbers 自然数的一般递归函数 Math Ann 1936 112 727 742 英语 Stephen Kleene Introduction to Metamathematics 数学导论 New York Van Nostrand Ishi Press 2009 1952 2018 05 18 原始内容存档于2017 10 02 英语 3 Stephen Kleene Claude Shannon John McCarthy 编 Representation of Events in Nerve Nets and Finite Automata 神经网络和有限自动机中的事件表示 Automata Studies 1956 2018 05 18 原始内容存档于2009 09 18 英语 个人生活 编辑克莱尼和妻子Nancy Elliott有4個孩子 他畢生熱愛緬因州的家庭農場 他是一名熱心的登山者 對自然和環境有濃厚的興趣 並積極參與許多环境保護事業 参考资料 编辑 About S C Kleene University of Wisconsin Madison Libraries 23 April 2016 原始内容存档于2019 09 09 IUHPS成员 IUHPS 原始内容存档于2011年9月27日 英语 也叫做 国际科学历史与哲学联盟 International Union of the History and the Philosophy of Science 是国际科学理事会的成员之一 曾名国际科学联合会理事会 WorldCat editions for Introduction to metamathematics 1952 2013年4月2日 原始内容存档于2013年10月12日 取自 https zh wikipedia org w index php title 斯蒂芬 科尔 克莱尼 amp oldid 62328172, 维基百科，wiki ，书籍，书籍，图书馆，
文章 ，阅读，下载，免费，免费下载，mp3，视频，mp4，3gp， jpg，jpeg，gif，png，图片，音乐，歌曲，电影，书籍，游戏，游戏。