Joan Moschovakis Explained

Joan R. Moschovakis
Birth Name:	Joan Rand
Birth Date:	1937
Alma Mater:	University of California–Berkeley University of Wisconsin–Madison
Doctoral Advisor:	Stephen Kleene
Known For:	Intuitionistic Mathematics, Intuitionistic Logic
Field:	Mathematics
Work Institutions:	Occidental College

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. logic-intuitionistic.
Encyclopedia: Moschovakis . Joan Rand . Gabbay . Dov M. . Woods . John . The logic of Brouwer and Heyting . 10.1016/S1874-5857(09)70007-X . 2668177 . 77–125 . Elsevier/North-Holland . Amsterdam . Handbook of the History of Logic. Vol. 5. Logic from Russell to Church . 5 . 2009. Handbook of the History of Logic . 9780444516206 . 10.1.1.117.9445 .
Moschovakis . Joan Rand . 10.2307/2273863 . 1 . . 877856 . 68–88 . Relative lawlessness in intuitionistic analysis . 52 . 1987. 2273863 .
Moschovakis . Joan Rand . 10.2307/2270266 . . 0294087 . 309–315 . Can there be no nonrecursive functions? . 36 . 2 . 1971. 2270266 .

External links

Home page

Notes and References

Web site: Joan Rand Moschovakis - Occidental College - The Liberal Arts College in Los Angeles. oxy.edu. 2018-10-03.
Web site: Joan Moschovakis. ucla.edu.
Web site: The Lindström Lectures - Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden. Göteborgs universitet. 2015-08-27. https://web.archive.org/web/20161029062947/http://flov.gu.se/english/research/logic/lindstrom-lectures. 2016-10-29. dead.