Joan Moschovakis
| Joan R. Moschovakis | |
|---|---|
| Born | Joan Rand |
| Fields | Mathematics |
| Institutions | UCLA |
| Alma mater | University of Wisconsin–Madison |
| Doctoral advisor | Stephen Kleene |
| Doctoral students | Garyfallia Vafeiadou |
| Known for | Intuitionistic Mathematics, Intuitionistic Logic |
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
- The Logic of Brouwer and Heyting, a chapter in Logic from Russell to Church, Volume 5 of the Handbook of the History of Logic, ed. Woods and Gabbay, Elsevier, 2009.
- Intuitionistic Logic, in Stanford Encyclopedia of Philosophy, 2014.
- Relative Lawlessness in Intuitionistic Analysis, Journal of Symbolic Logic, 1987.
- Can There be No Nonrecursive Functions?, Journal of Symbolic Logic, 1971.
References
External links
This article is issued from Wikipedia - version of the 6/17/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.