斯蒂芬·科爾·克萊尼

斯蒂芬·科爾·克萊尼(英語:Stephen Cole Kleene,1909年1月5日—1994年1月25日)是一名美國數學家邏輯學家,主要從事對可計算函數的研究,而他的遞歸理論研究有助於奠定理論電腦科學的基礎。他為數學直覺主義的基礎做出了重要貢獻,克萊尼層次結構克萊尼代數克萊尼星號(克萊尼閉包)、克萊尼遞歸定理克萊尼不動點定理數學概念以他的名字命名。他也是正規表示法的發明者。

斯蒂芬·科爾·克萊尼
Stephen Kleene
出生(1909-01-05)1909年1月5日
 美國康涅狄克州哈特福德
逝世1994年1月25日(1994歲—01—25)(85歲)
 美國威斯康辛州麥迪遜
母校阿默斯特學院
普林斯頓大學
知名於
獎項勒羅伊·斯蒂勒獎英語Leroy P. Steele Prize (1983)
美國國家科學獎章 (1990)
科學生涯
研究領域數理邏輯
機構威斯康辛大學麥迪遜分校
博士導師阿隆佐·邱奇
博士生Robert Lee Constable
Joan Moschovakis
Yiannis Moschovakis
Nels David Nelson
Dick de Jongh

生平

斯蒂芬·科爾·克萊尼出生於美國康涅狄克州哈特福德。他的父親古斯塔夫·克萊尼(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 Gödelness)的說法。[來源請求]

作品

個人生活

克萊尼和妻子Nancy Elliott有4個孩子。他畢生熱愛緬因州的家庭農場。他是一名熱心的登山者,對自然和環境有濃厚的興趣,並積極參與許多環境保護事業。

參考資料

  1. ^ About S.C. Kleene. University of Wisconsin—Madison Libraries. [23 April 2016]. (原始內容存檔於2019-09-09). 
  2. ^ IUHPS成员. IUHPS. (原始內容存檔於2011年9月27日) (英語). ;也叫做「國際科學歷史與哲學聯盟」("International Union of the History and the Philosophy of Science"),是國際科學理事會的成員之一 (曾名國際科學聯合會理事會)。
  3. ^ WorldCat: editions for 'Introduction to metamathematics'. 1952 [2013年4月2日]. (原始內容存檔於2013年10月12日).