スティーヴン・コール・クリーネ
ウィキペディア フリーな encyclopedia
スティーヴン・コール・クリーネ(Stephen Cole Kleene, 1909年1月5日 - 1994年1月25日)は、アメリカの数学者。ウィスコンシン大学マディソン校に勤め、その業績は計算機科学の理論的な基礎を築くのに貢献した。クリーネは、正規表現の発明や、アロンゾ・チャーチ、クルト・ゲーデル、アラン・チューリング、エミール・ポストらと共に帰納的関数論という数理論理学の一分野を創始したことで知られる。クリーネ代数、クリーネ閉包、クリーネの再帰定理、クリーネ不動点定理の由来になっている。クリーネはまたライツェン・エヒベルトゥス・ヤン・ブラウワーが創始した直観主義に貢献した。
概要 スティーヴン・コール・クリーネStephen Cole Kleene, 生誕 ...
スティーヴン・コール・クリーネ Stephen Cole Kleene | |
---|---|
生誕 |
(1909-01-05) 1909年1月5日 アメリカ合衆国コネチカット州ハートフォード |
死没 |
1994年1月25日(1994-01-25)(85歳) アメリカ合衆国ウィスコンシン州マディソン |
居住 | アメリカ合衆国 |
国籍 | アメリカ合衆国 |
研究分野 | 数学 |
研究機関 | ウィスコンシン大学マディソン校 |
出身校 |
アマースト大学(文学士) プリンストン大学(数学博士) |
博士課程 指導教員 | アロンゾ・チャーチ |
博士課程 指導学生 |
John Addison Jr. Paul Axt Douglas Clarke Robert Lee Constable David Kierstead Shih-Chao Liu Joan Moschovakis Yiannis Moschovakis Nels David Nelson Gene Rose Clifford Spector Richard Vesley Dick de Jongh |
主な受賞歴 |
スティール賞 (1983年) アメリカ国家科学賞 (1990年) |
プロジェクト:人物伝 | |
テンプレートを表示 |
閉じる
クリーネは自分の姓をクレーニ(['kleɪni](IPA))と発音していた。英語圏ではクリーニ(['kli:ni])、クリーン([kli:n])などと誤読されることが多く、日本ではクリーネの表記が一般的になってしまっている。
その数理論理学における傑出した業績は、英語圏の論理学者の間に、"Cleanliness is next to godliness"「清潔さは信心深さに次ぐ」をもじって"Kleeneliness is next to Gödeliness"という格言があることにも表れている。