Biography:Joan Moschovakis
From HandWiki
Short description: American logician and mathematician
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. https://plato.stanford.edu/entries/logic-intuitionistic/.
- Moschovakis, Joan Rand (2009). "Handbook of the History of Logic. Vol. 5. Logic from Russell to Church". in Gabbay, Dov M.; Woods, John. 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. doi:10.1016/S1874-5857(09)70007-X. ISBN 9780444516206.
- Moschovakis, Joan Rand (1987). "Relative lawlessness in intuitionistic analysis". Journal of Symbolic Logic 52 (1): 68–88. doi:10.2307/2273863.
- Moschovakis, Joan Rand (1971). "Can there be no nonrecursive functions?". Journal of Symbolic Logic 36 (2): 309–315. doi:10.2307/2270266.
References
- ↑ "Joan Rand Moschovakis - Occidental College - The Liberal Arts College in Los Angeles". oxy.edu. 2018-10-03. http://www.oxy.edu/faculty/joan-rand-moschovakis.
- ↑ "Joan Moschovakis". ucla.edu. https://www.math.ucla.edu/~joan/.
- ↑ "The Lindström Lectures - Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden". Göteborgs universitet. http://flov.gu.se/english/research/logic/lindstrom-lectures.
External links
 |
