数理論理学は1951年、スティーヴン・コール・クリーネ (Stephen Cole Kleene) が有限オートマトンの演算を記述し、神経網とデジタル計算の間に基礎的な架け橋を提供したことで、大きな転換点を迎えた。この発展は、再帰関数理論に関する彼の生涯にわたる探求と並行して起こり、20世紀における理論計算機科学の台頭における中心人物としての彼の地位を確立した。
学歴
1909年にハートフォードで生まれたクリーネは、アマースト大学で初期の学習を進め、1930年に卒業した。プリンストン大学に移って博士号取得を目指し、アロンゾ・チャーチ (Alonzo Church) の指導の下、1934年に研究を完了した。彼の学位論文『形式論理学における正の整数の理論 (A Theory of Positive Integers in Formal Logic)』は、ラムダ計算に焦点を当てた多産な時代の幕開けとなった。こうした形成期を経て、1935年にはウィスコンシン大学マディソン校に加わり、同大学が彼の学術キャリアの大半の拠点となった。
計算の基礎
クリーネは、計算可能関数の研究の基礎となる分野である帰納的関数論（再帰理論）を形式化した功績が認められている。1930年代から1940年代にかけて、彼は再帰定理や正規形定理を含む基本的な証明を執筆した。これらの貢献により、計算プロセスの正確な数学的記述が可能となった。1940年代後半から1950年代にかけての彼の研究は算術的および超算術的階層へと拡大し、一方1951年にラン・コーポレーション (RAND Corporation) のために作成した覚書では、有限オートマトンにおける事象を分類するための正規表現が導入された。
兵役と直観主義
第二次世界大戦中、クリーネはアメリカ海軍予備員として従軍し、1942年から1946年の間に少佐（Lieutenant Commander）の階級まで昇進した。ウィスコンシン大学マディソン校での社会人生活に復帰すると、学科長や文理学部学部長としての管理職務と、直観主義数学に関する研究を両立させた。彼の著作、特にリチャード・ヴェスリー (Richard Vesley) と共著したものは、再帰的実現可能性を通じて直観主義の命題を解釈するためのアメリカの基準を確立した。
キャリアの遺産
クリーネは1979年にサイラス・C・マクダフィー数学教授 (Cyrus C. MacDuffee professor of mathematics) の職を退いた。4十年にわたり、彼は13人の博士課程の学生を指導し、ゲーデルの不完全性定理を明確にした教科書を通じて何世代もの人々に対抗した。彼の専門的リーダーシップには、記号論理学会（Association for Symbolic Logic）および国際科学史科学哲学連合（International Union of History and Philosophy of Science）の会長としての任期が含まれていた。1990年には、その業績に対してアメリカ国家科学賞を受賞した。
基本情報
- 生誕：1909年、ハートフォード - 死没：1994年、マディソン - 学歴：アマースト大学、プリンストン大学 - 主な軍歴階級：少佐 - 主な専門分野：理論計算機科学 - 主要な受賞：国家科学賞（1990年） - 専門的所属：全米科学アカデミー
読者からの質問
### クリーネ閉包とは何ですか？
それはクリーネスターとしても知られる数学的演算であり、形式言語理論および理論計算機科学におけるその役割から、彼にちなんで名付けられた。
### クリーネは神経ネットワークの研究に貢献しましたか？
はい、1951年に彼は有限オートマトンによって受理される事象を特徴付ける手法を開発し、それをマカロック・ピッツの神経ネットワークの研究に応用した。
