Joan Moschovakis
Joan R. Moschovakis | |
---|---|
Born |
Joan Rand 1937 |
Alma mater |
University of California–Berkeley University of Wisconsin–Madison |
Known for | Intuitionistic Mathematics, Intuitionistic Logic |
Scientific career | |
Fields | Mathematics |
Institutions | Occidental College |
Doctoral advisor | Stephen Kleene |
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
- Moschovakis, Joan (2015). "Intuitionistic logic". In Zalta, Edward N. Stanford Encyclopedia of Philosophy.
- Moschovakis, Joan Rand (2009). "The logic of Brouwer and Heyting". In Gabbay, Dov M.; Woods, John. Handbook of the History of Logic. Vol. 5. Logic from Russell to Church. Amsterdam: Elsevier/North-Holland. pp. 77–125. doi:10.1016/S1874-5857(09)70007-X. MR 2668177.
- Moschovakis, Joan Rand (1987). "Relative lawlessness in intuitionistic analysis". Journal of Symbolic Logic. 52 (1): 68–88. doi:10.2307/2273863. MR 0877856.
- Moschovakis, Joan Rand (1971). "Can there be no nonrecursive functions?". Journal of Symbolic Logic. 36: 309–315. doi:10.2307/2270266. MR 0294087.
References
External links
This article is issued from
Wikipedia.
The text is licensed under Creative Commons - Attribution - Sharealike.
Additional terms may apply for the media files.