ノースホランド社から出版された『Descriptive Set Theory』は、数十年にわたってこの分野の軌道を決定づけた主要な参考書となりました。ギリシャとアメリカの市民権を持つ論理学者であり数学者であるヤニス・N・モスコヴァキスは、集合論、計算可能性理論、言語哲学にキャリアを捧げ、有効記述集合論の現代的な理解を形作ってきました。
学問的基盤
1938年にアテネで生まれたモスコヴァキスは、アメリカで高等教育を受け、マサチューセッツ工科大学に通った後、1963年にウィスコンシン大学マディソン校で博士号を取得しました。スティーブン・クリーネの指導の下で完成させた博士論文『Recursive Analysis』は、抽象構造と再帰理論における将来の探求の基礎を築きました。
研究と貢献
数学への主な貢献は、有効記述集合論の開発に関わるものです。学界では、彼の名前は「モスコヴァキスの符号化補題（Moschovakis coding lemma）」に関連付けられています。キャリアを通じて、1974年に初版が出版された『Elementary Induction on Abstract Structures』や『Notes on Set Theory』など、重要なテキストを執筆しました。彼の研究は数学哲学や情報科学にも及び、基礎論理学における主要な人物としての地位を固めています。
機関での在職
モスコヴァキスはカリフォルニア大学ロサンゼルス校（UCLA）で1964年から2010年まで長期間教員を務めました。同時に、アテネ国立カポディストリア大学でも1996年から2005年の退職まで重要な役割を果たしました。現在、カリフォルニア大学とアテネ国立カポディストリア大学の両方で名誉教授の地位を保持しています。
専門的評価
彼の研究は1968年にグッゲンハイム・フェローシップによって支援されました。2014年にはフェニックス勲章コマンダーを受章し、2016年にはアメリカ数学会フェローに選出されました。また、アテネ・アカデミーの会員でもあります。妻のジョーン・モスコヴァキスと共に、2014年にはヨーテボリ大学でリンドストローム講義を行いました。
基本情報
- 生誕: 1938年、ギリシャ、アテネ - 国籍: アメリカ合衆国およびギリシャ - 博士号: ウィスコンシン大学マディソン校、1963年 - 主要分野: 論理学および基礎論 - 主要著作: 『Descriptive Set Theory』 - 注目すべき賞: フェニックス勲章コマンダー、2014年 - 専門会員: アメリカ数学会 - 学術的地位: 名誉教授
よくある質問
### モスコヴァキスの符号化補題とは何ですか？
記述集合論における彼の研究に関連する、ヤニス・N・モスコヴァキスの名にちなんだ数学的結果です。
### モスコヴァキスはどこで教授職を務めましたか？
1964年から2010年までカリフォルニア大学ロサンゼルス校で、1996年から2005年までアテネ国立カポディストリア大学で教員を務めました。
