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 titled 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. Vol. 5. Amsterdam: Elsevier/North-Holland. pp. 77–125. CiteSeerX 10.1.1.117.9445. 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.
References
- ^ "Joan Rand Moschovakis - Occidental College - The Liberal Arts College in Los Angeles". oxy.edu. 2018-10-03.
- ^ "Joan Moschovakis". ucla.edu.
- ^ "The Lindström Lectures - Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden". Göteborgs universitet. Archived from the original on 2016-10-29. Retrieved 2015-08-27.
External links
