スティーヴン・コール・クリーネ
(スティーブン・コール・クリーネ から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/03/08 10:00 UTC 版)
スティーヴン・コール・クリーネ(Stephen Cole Kleene, 1909年1月5日 - 1994年1月25日)は、アメリカの数学者。ウィスコンシン大学マディソン校に勤め、その業績は計算機科学の理論的な基礎を築くのに貢献した。クリーネは、正規表現の発明や、アロンゾ・チャーチ、クルト・ゲーデル、アラン・チューリング、エミール・ポストらと共に帰納的関数論という数理論理学の一分野を創始したことで知られる。クリーネ代数、クリーネ閉包、クリーネの再帰定理、クリーネ不動点定理の由来になっている。クリーネはまたライツェン・エヒベルトゥス・ヤン・ブラウワーが創始した直観主義に貢献した。
- 1 スティーヴン・コール・クリーネとは
- 2 スティーヴン・コール・クリーネの概要
- 3 関連項目
固有名詞の分類
20世紀の数学者 | 松下眞一 齋藤恭司 スティーヴン・コール・クリーネ 神保道夫 ゾグマン・メブク |
アメリカ合衆国の数学者 | ハリー・ネルソン ジョージ・キャリアー スティーヴン・コール・クリーネ ハワード・ロバートソン アルフレッド・ホーン |
論理学者 | ジャン=イヴ・ベジオ ヘレナ・ラショーヴァ スティーヴン・コール・クリーネ リチャード・モンタギュー ジョージ・ブール |
- スティーヴン・コール・クリーネのページへのリンク