1994年1月25日)は、アメリカの数学者。ウィスコンシン大学マディソン校に勤め、その業績は計算機科学の理論的な基礎を築くのに貢献した。クリーネは、正規表現の発明や、アロンゾ・チャーチ、クルト・ゲーデル、アラン・チューリング、エミール・ポストらと共に帰納的関数論という数理論理学の一分野を創始したことで知られる。クリーネ代数、クリーネ閉包、クリーネの再帰定理、クリーネ不動点定理の由来になっている。クリーネはまたライツェン・エヒベルトゥス・ヤン・ブラウワーが創始した数学的直観主義に貢献した。クリーネは自分の姓をクレーニ(['kleɪni](IPA))と発音していた。英語圏ではクリーニ(['kli:ni])、クリーン([kli:n])などと誤読されることが多く、日本ではクリーネの表記が一般的になってしまっている。Gödeliness"という格言があることにも表れている。外部リンク略歴[編集]クリーネはアメリカコネチカット州ハートフォードで生まれた。1930年、アマースト大学で文学士号を取得。1930年から1935年にかけてプリンストン大学に院生兼研究助手として在籍し、アロンゾ・チャーチのもとで数学博士号を得た。論文のタイトルは「形式論理における非負整数の理論」。1935年、講師としてウィスコンシン大学マディソン校数学科に入り、1937年に助教授となった。1939年から1940年まで、プリンストン高等研究所の客員研究員をし、自らのライフワークとなる帰納的関数論の基礎を築いた。1941年、アマースト大に戻り、数学科準教授になった。第二次世界大戦の間、クリーネはアメリカ海軍少佐の任にあった。航海術教官となり、それからワシントンD.C.の海軍研究所で計画責任者となった。1946年、ウィスコンシン大に戻り、1948年教授となる。1962年から翌年、数学科およびコンピュータ科学科長、1969年から1974年、文理学部長。1964年には、数学科のサイラス・コルトン・マクドゥフィー教授職に指名された。熱心な登山家として、クリーネは自然と環境に多大な関心を示し、自然保護運動の訴訟にも活動的であった。クリーネはまた、幾つかの学術機関で指導的立場を果たした。ウィスコンシン州マディソンで死去。Computingにある項目の資料が元になっている。(日時は個人設定で未設定ならばUTC)。表示-継承ライセンスの下で利用可能です。追加の条件が適用される場合があります。詳細は利用規約を参照してください。Cookieに関する声明モバイルビュ。