博士论文《Disjunction, Existence and -Eliminability in Formalized Intuitionistic Analysis》(形式化直觉主义分析中的析取、存在和-消除性)为逻辑学家和数学家琼·莫斯科瓦基斯(Joan Moschovakis)的职业生涯奠定了学术基础。这项研究于1965年由威斯康星大学麦迪逊分校授予,确立了她对直觉主义逻辑以及由布劳威尔(Brouwer)和海廷(Heyting)所定义的数学原则的长期关注。
学术训练与研究
琼·莫斯科瓦基斯在斯蒂芬·克莱尼(Stephen Kleene)的指导下完成了研究生学业。她的研究轨迹集中于形式直觉主义分析的复杂性。在整个职业生涯中,她在《符号逻辑杂志》(Journal of Symbolic Logic)上发表了重要的论文,包括1971年对非递归函数的研究,以及1987年关于直觉主义框架内相对非法性的著作。
专业任命
莫斯科瓦基斯以美国为基地,担任正式的学术职务,促进了她对符号逻辑的持续贡献。她曾任西方学院(Occidental College)的教授,最终获得了名誉教授的地位。此外,她作为加利福尼亚大学洛杉矶分校的客座学者,保持着活跃的研究状态,并在那里继续与数学界保持互动。
合作贡献
莫斯科瓦基斯为重要的参考著作做出了贡献,例如2009年的《逻辑史手册》(Handbook of the History of Logic)和2015年版的《斯坦福哲学百科全书》(Stanford Encyclopedia of Philosophy)。她经常与伊安尼斯·莫斯科瓦基斯(Yiannis Moschovakis)合作,共同分担学术职责,包括主讲由哥德堡大学主办的2014年林德斯特伦讲座(Lindström Lectures)。她至今仍是符号逻辑协会(Association for Symbolic Logic)的成员。
概况
- 出生:1937年 - 国籍:美国 - 领域:数学和逻辑学 - 博士导师:斯蒂芬·克莱尼 - 博士学位年份:1965年 - 所属机构:符号逻辑协会 - 职务:西方学院名誉教授
读者提问
### 琼·莫斯科瓦基斯的主要研究领域是什么?
她是一位专门研究直觉主义逻辑的数学家和逻辑学家。
### 她在哪里获得的博士学位?
她于1965年从威斯康星大学麦迪逊分校获得了博士学位。

