Siddhesh Joshi (Editor)

Joan Moschovakis

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Institutions
  
UCLA

Fields
  
Mathematics

Name
  
Joan Moschovakis


Joan Moschovakis Joan Moschovakis

Known for
  
Intuitionistic Mathematics, Intuitionistic Logic

Alma mater
  
University of Wisconsin-Madison

Institution
  
University of California, Los Angeles

Doctoral advisor
  
Stephen Cole Kleene

Doctoral students
  
Garyfallia Vafeiadou

Joan moschovakis s talk at the constructive in logic and applications 2012


Joan Rand Moschovakis is a logician and mathematician focusing on intuitionistic logic and mathematics. She is professor emerita at Occidental College and a guest at UCLA.

Contents

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.

Selected publications

  • Moschovakis, Joan (2015). "Intuitionistic logic". 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. MR 2668177. doi:10.1016/S1874-5857(09)70007-X. 
  • Moschovakis, Joan Rand (1987). "Relative lawlessness in intuitionistic analysis". Journal of Symbolic Logic. 52 (1): 68–88. MR 877856. doi:10.2307/2273863. 
  • Moschovakis, Joan Rand (1971). "Can there be no nonrecursive functions?". Journal of Symbolic Logic. 36: 309–315. MR 0294087. doi:10.2307/2270266. 

    • References

    Joan Moschovakis Wikipedia
    (Text) CC BY-SA