Joan Moschovakis

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]

Joan R. Moschovakis
Joan Rand

Alma materUniversity of California–Berkeley University of Wisconsin–Madison
Known forIntuitionistic Mathematics, Intuitionistic Logic
Scientific career
InstitutionsOccidental College
Doctoral advisorStephen Kleene

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

  • Moschovakis, Joan (2015). "Intuitionistic logic". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy.
  • Moschovakis, Joan Rand (2009). "The logic of Brouwer and Heyting". In Gabbay, Dov M.; Woods, John (eds.). Handbook of the History of Logic. Vol. 5. Logic from Russell to Church. Handbook of the History of Logic. 5. Amsterdam: Elsevier/North-Holland. pp. 77–125. CiteSeerX doi:10.1016/S1874-5857(09)70007-X. ISBN 9780444516206. MR 2668177.
  • Moschovakis, Joan Rand (1987). "Relative lawlessness in intuitionistic analysis". Journal of Symbolic Logic. 52 (1): 68–88. doi:10.2307/2273863. JSTOR 2273863. MR 0877856.
  • Moschovakis, Joan Rand (1971). "Can there be no nonrecursive functions?". Journal of Symbolic Logic. 36 (2): 309–315. doi:10.2307/2270266. JSTOR 2270266. MR 0294087.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.