Jump to content

英文维基 | 中文维基 | 日文维基 | 草榴社区

Joan Moschovakis

From Wikipedia, the free encyclopedia
Joan R. Moschovakis
Moschovakis in 2008
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

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 titled 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

[edit]
  • 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. Vol. 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.

References

[edit]
[edit]