Joan Moschovakis

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]

Joan R. Moschovakis
Born
Joan Rand

1937
Alma materUniversity of California–Berkeley University of Wisconsin–Madison
Known forIntuitionistic Mathematics, Intuitionistic Logic
Scientific career
FieldsMathematics
InstitutionsOccidental College
Doctoral advisorStephen Kleene

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. (ed.). Stanford Encyclopedia of Philosophy.
  • Moschovakis, Joan Rand (2009). "The logic of Brouwer and Heyting". In Gabbay, Dov M.; Woods, John (eds.). 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. CiteSeerX 10.1.1.117.9445. doi:10.1016/S1874-5857(09)70007-X. ISBN 9780444516206. MR 2668177.
  • Moschovakis, Joan Rand (1987). "Relative lawlessness in intuitionistic analysis". Journal of Symbolic Logic. 52 (1): 68–88. doi:10.2307/2273863. JSTOR 2273863. MR 0877856.
  • Moschovakis, Joan Rand (1971). "Can there be no nonrecursive functions?". Journal of Symbolic Logic. 36 (2): 309–315. doi:10.2307/2270266. JSTOR 2270266. MR 0294087.
gollark: Oh, and that the "no advertising" thing kind of makes it hard to actually suggest alternatives to SC as yemmel suggested.
gollark: I'd like to just register my comment that the various "no arguing" rules are ridiculous.
gollark: That will crash.
gollark: rm startup
gollark: That's easy to remove.

References


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.