Joan Moschovakis

Joan R. Moschovakis
Född	Joan Rand 1937
Alma mater	University of California–Berkeley University of Wisconsin–Madison
Känd för	Intuitionistisk matematik , intuitionistisk logik
Vetenskaplig karriär
Fält	Matematik
institutioner	Occidental College
Doktorand rådgivare	Stephen Kleene

Joan Rand Moschovakis är en logiker och matematiker med fokus på intuitionistisk logik och matematik. Hon är professor emerita vid Occidental College och gäst vid UCLA .

Moschovakis tog sin doktorsexamen. från University of Wisconsin–Madison 1965 under ledning av Stephen Kleene , med en avhandling med titeln Disjunction, Existence and *-Eliminability in Formalized Intuitionistic Analysis .

Moschovakis är gift med Yiannis Moschovakis , som hon höll 2014 års Lindströmföreläsningar vid Göteborgs universitet .

Utvalda publikationer

• Moschovakis, Joan (2015). "Intuitionistisk logik" . I Zalta, Edward N. (red.). Stanford Encyclopedia of Philosophy .
•     Moschovakis, Joan Rand (2009). "Logiken hos Brouwer och Heyting". I Gabbay, Dov M.; Woods, John (red.). Handbok i logikens historia. Vol. 5. Logik från Russell till kyrkan . Handbok i logikens historia. Vol. 5. Amsterdam: Elsevier/Nord-Holland. s. 77–125. CiteSeerX 10.1.1.117.9445 . doi : 10.1016/S1874-5857(09)70007-X . ISBN 9780444516206 . MR 2668177 .
•    Moschovakis, Joan Rand (1987). "Relativ laglöshet i intuitionistisk analys". Journal of Symbolic Logic . 52 (1): 68–88. doi : 10.2307/2273863 . JSTOR 2273863 . MR 0877856 .
•    Moschovakis, Joan Rand (1971). "Kan det inte finnas några icke-rekursiva funktioner?". Journal of Symbolic Logic . 36 (2): 309–315. doi : 10.2307/2270266 . JSTOR 2270266 . MR 0294087 .

externa länkar

• Hemsida
• Joan Moschovakis vid Mathematics Genealogy Project