博士論文『Disjunction, Existence and -Eliminability in Formalized Intuitionistic Analysis（形式的直観主義分析における選言、存在、-消去可能性）』は、論理学者であり数学者であるジョーン・モショヴァキス（Joan Moschovakis）のキャリアの学術的基礎となりました。1965年にウィスコンシン大学マディソン校から授与されたこの研究は、ブラウワーやハイティングによって定義された直観主義論理と数学的原則に対する彼女の長期的な関心を確立しました。
学術的訓練と研究
ジョーン・モショヴァキスは、スティーヴン・クリーネ（Stephen Kleene）の指導の下で大学院での研究を修了しました。彼女の研究軌跡は、形式的直観主義分析の複雑さに焦点を当てていました。キャリアを通じて、彼女は『Journal of Symbolic Logic』に重要な論文を発表しており、その中には1971年の非再帰関数に関する調査や、1987年の直観主義的な枠組みにおける相対的な不法性に関する著作が含まれています。
専門職としての任命
アメリカを拠点とするモショヴァキスは、記号論理学への継続的な貢献を促進する公式の学術的地位を保持していました。彼女はオクシデンタル大学で教授を務め、最終的に名誉教授の地位を獲得しました。さらに、カリフォルニア大学ロサンゼルス校のゲストとして活発な研究活動を維持し、数学コミュニティとの関わりを続けました。
共同研究による貢献
モショヴァキスは、『Handbook of the History of Logic』（2009年）や『Stanford Encyclopedia of Philosophy』（2015年版）といった主要な参考図書に項目を寄稿しました。彼女は頻繁にイアニス・モショヴァキス（Yiannis Moschovakis）と共同研究を行い、2014年にヨーテボリ大学が主催したリンドストローム講義（Lindström Lectures）の実施など、学術的義務を分担しました。彼女は現在もAssociation for Symbolic Logicのメンバーです。
基本情報
- 生年: 1937年 - 市民権: アメリカ合衆国 - 分野: 数学および論理学 - 博士号指導教官: スティーヴン・クリーネ - 博士号取得年: 1965年 - 所属: Association for Symbolic Logic - 地位: オクシデンタル大学名誉教授
読者からの質問
### ジョーン・モショヴァキスの主な研究分野は何ですか？
彼女は直観主義論理を専門とする数学者であり論理学者です。
### 彼女はどこで博士号を取得しましたか？
彼女は1965年にウィスコンシン大学マディソン校から博士号を授与されました。
