ジョアン・モスコヴァキス

ジョアン・R・モスコバキス
ジョアン・R・モスコバキス
	2008年のモショヴァキス
生まれる	ジョーン・ランド; 1937
母校	カリフォルニア大学バークレー校ウィスコンシン大学マディソン校
知られている	直観主義数学、直観主義論理
	科学者としてのキャリア
フィールド	数学
機関	オクシデンタルカレッジ
博士課程の指導教員	スティーブン・クリーネ

ジョーン・ランド・モスコバキスは、直観主義論理と数学を専門とする論理学者、数学者です。彼女はオクシデンタル大学^{[1]の名誉教授であり、}UCLAの客員教授でもあります。^[2]

モスコヴァキスは、1965年にウィスコンシン大学マディソン校でスティーブン・クリーネの指導の下、 「形式化された直観分析における選言、存在、および*-消去可能性」と題する論文で博士号を取得した。

主な出版物

モスコヴァキス、ジョアン (2015)。「直観主義論理」。ザルタ、エドワード N. (編)。スタンフォード哲学百科事典。
モスコヴァキス、ジョーン・ランド (2009)。「ブラウワーとヘイティングの論理」。ガバイ、ドブ・M、ウッズ、ジョン (編)。論理学の歴史ハンドブック。第 5 巻。ラッセルからチャーチまでの論理学。論理学の歴史ハンドブック。第5巻。アムステルダム: エルゼビア/北ホランド。pp. 77–125。CiteSeerX 10.1.1.117.9445。doi : 10.1016 /S1874-5857(09)70007- X。ISBN 9780444516206. MR 2668177。
モスコバキス、ジョーン・ランド ( 1987 ) 。「直観主義的分析における相対的無法性」。Journal of Symbolic Logic。52 ( 1): 68–88。doi :10.2307/2273863。JSTOR 2273863。MR 0877856 。
モスコバキス、ジョーン・ランド (1971)。「非再帰関数は存在しないか?」。Journal of Symbolic Logic。36 ( 2): 309–315。doi : 10.2307/2270266。JSTOR 2270266。MR 0294087 。

^ “ジョーン・ランド・モショバキス - オクシデンタル・カレッジ - ロサンゼルスのリベラル・アーツ・カレッジ”.オキシ.edu。 2018年10月3日。
^ “ジョアン・モショバキス”. ucla.edu。
^ 「リンドストローム講義 - スウェーデン、ヨーテボリ大学哲学・言語学・科学理論学部」ヨーテボリ大学。2016年10月29日時点のオリジナルよりアーカイブ。 2015年8月27日閲覧。