Joan Moschovakis

Joan R. Moschovakis
Born	Joan Rand
Fields	Mathematics
Institutions	UCLA
Alma mater	University of Wisconsin–Madison
Doctoral advisor	Stephen Kleene
Doctoral students	Garyfallia Vafeiadou
Known for	Intuitionistic Mathematics, Intuitionistic Logic

Joan Rand Moschovakis is a logician and mathematician focusing on intuitionistic logic and mathematics. She is professor emerita at Occidental College^[1] and a guest at UCLA.^[2]

Moschovakis earned her Ph.D. from the University of Wisconsin–Madison in 1965 under the direction of Stephen Kleene, with a dissertation entitled Disjunction, Existence and *-Eliminability in Formalized Intuitionistic Analysis.

Moschovakis is married to Yiannis Moschovakis, with whom she gave the 2014 Lindström Lectures at the University of Gothenburg.^[3]

Selected Publications

• The Logic of Brouwer and Heyting, a chapter in Logic from Russell to Church, Volume 5 of the Handbook of the History of Logic, ed. Woods and Gabbay, Elsevier, 2009.
• Intuitionistic Logic, in Stanford Encyclopedia of Philosophy, 2014.
• Relative Lawlessness in Intuitionistic Analysis, Journal of Symbolic Logic, 1987.
• Can There be No Nonrecursive Functions?, Journal of Symbolic Logic, 1971.

References

1. "Joan Rand Moschovakis - Occidental College - The Liberal Arts College in Los Angeles". oxy.edu.
2. "Joan Moschovakis". ucla.edu.
3. "The Lindström Lectures - Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden". Göteborgs universitet.

External links

• Home page
• Joan Moschovakis at the Mathematics Genealogy Project