スティーヴン・コール・クリーネ

スティーヴン・コール・クリーネ（Stephen Cole Kleene, 1909年1月5日 - 1994年1月25日）は、アメリカの数学者。ウィスコンシン大学マディソン校に勤め、その業績は計算機科学の理論的な基礎を築くのに貢献した。クリーネは、正規表現の発明や、アロンゾ・チャーチ、クルト・ゲーデル、アラン・チューリング、エミール・ポストらと共に帰納的関数論という数理論理学の一分野を創始したことで知られる。クリーネ代数、クリーネ閉包、クリーネの再帰定理、クリーネ不動点定理の由来になっている。クリーネはまたライツェン・エヒベルトゥス・ヤン・ブラウワーが創始した直観主義に貢献した。

クリーネは自分の姓をクレーニ（['kleɪni]（IPA））と発音していた。英語圏ではクリーニ（['kli:ni]）、クリーン（[kli:n]）などと誤読されることが多く、日本ではクリーネの表記が一般的になってしまっている。

その数理論理学における傑出した業績は、英語圏の論理学者の間に、"Cleanliness is next to godliness"「清潔さは信心深さに次ぐ」をもじって"Kleeneliness is next to Gödeliness"という格言があることにも表れている。

略歴
クリーネはアメリカコネチカット州ハートフォードで生まれた。1930年、アマースト大学で文学士号を取得。1930年から1935年にかけてプリンストン大学に院生兼研究助手として在籍し、アロンゾ・チャーチのもとで数学博士号を得た。論文のタイトルは「形式論理における非負整数の理論」。1935年、講師としてウィスコンシン大学マディソン校数学科に入り、1937年に助教授となった。

1939年から1940年まで、プリンストン高等研究所の客員研究員をし、自らのライフワークとなる帰納的関数論の基礎を築いた。1941年、アマースト大に戻り、数学科準教授になった。

第二次世界大戦の間、クリーネはアメリカ海軍少佐の任にあった。まずニューヨークの合衆国海軍予備役士官学校の航海術教官となり、それからワシントンD.C.の海軍研究所で計画責任者となった。

1946年、ウィスコンシン大に戻り、1948年教授となる。1962年から翌年、数学科およびコンピュータ科学科長、1969年から1974年、文理学部長。1964年には、数学科のサイラス・コルトン・マクドゥフィー教授職に指名された。1979年、退職。

熱心な登山家として、クリーネは自然と環境に多大な関心を示し、自然保護運動の訴訟にも活動的であった。クリーネはまた、幾つかの学術機関で指導的立場を果たした。1956年から1958年まで記号論理学会会長。1961年、国際科学史科学哲学連合会長。ウィスコンシン州マディソンで死去。

主要な著作
 Introduction to Metamathematics D. Van Nostrand (1952)
 Mathematical Logic John Wiley (1967).  Dover paperback reprint ca. 2001.
 Representation of Events in Nerve Nets and Finite Automata in Automata Studies (1956) eds. C. Shannon and J. McCarthy.

関連項目
 クリーネ代数
 クリーネ閉包
 ラムダ計算
 smn定理
 クリーネの再帰定理

参考文献

外部リンク
全て英語
 Stephen Cole Kleene MacTutor History of Mathematics archive内の略歴
 Stephen Cole Kleene Mathematics Genealogy Project内の師弟関係一覧
 Biographical memoir ソーンダース・マックレーンによる
 S. C. Kleene's Bibliography ウィスコンシン大内の、著作一覧
 クリーネとロッサーへの、プリンストン高等研究所時代に関するインタビュー

090105
20世紀の論理学者
20世紀アメリカ合衆国の数学者
アメリカ合衆国の論理学者
計算可能性理論の研究者
直観主義
アマースト大学出身の人物
プリンストン大学出身の人物
スティール賞の受賞者
アメリカ国家科学賞受賞者
ウィスコンシン大学マディソン校の教員
プリンストン高等研究所の人物
コネチカット州ハートフォード出身の人物
1909年生
1994年没
数学に関する記事
FOLDOCを情報源とする記事