Joan R. Moschovakis

mathématicienne et logicienne américaine

Joan Rand Moschovakis est une logicienne et mathématicienne américaine travaillant principalement en logique intuitionniste et mathématiques intuitionnistes. Elle est professeure émérite à l'Occidental College[1] et chercheur invité à l'Université de Californie à Los Angeles[2].

Joan Moschovakis
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Voir et modifier les données sur Wikidata (86 ans)
Nationalité
Formation
Activités
Conjoint
Autres informations
A travaillé pour
Domaine
Directeur de thèse
Élève
Garyfallia Vafeiadou

Biographie

modifier

Moschovakis obtient son B.A. en mathématiques à l'Université de Californie à Berkeley en 1959, son M.S. en mathématiques en 1961 et son Ph.D. à l'Université du Wisconsin à Madison en 1965 sous la direction de Stephen Kleene, avec une thèse intitulée Disjunction, Existence and *-Eliminability in Formalized Intuitionistic Analysis[3]. Elle a été professeur de mathématiques à l'Occidental College de 1965 à 1995, émérite depuis cette date.

Elle a également enseigné dans le cadre du programme d'études supérieures en logique et algorithmes à l'université d'Athènes, en Grèce.

Ses recherches portent sur les fondements de l'analyse intuitionniste, les interprétations intuitionnistes des mathématiques classiques, les interprétations classiques des mathématiques intuitionnistes, les règles admissibles de la logique intuitionniste, l'histoire et la philosophie de la logique intuitionniste.

Moschovakis est mariée avec Yiannis N. Moschovakis ; ils ont délivré en commun en 2014 les Lindström Lectures à l'université de Göteborg[4].

Publications (sélection)

modifier
  • Joan Moschovakis et Yiannis Moschovakis, « Intuitionism and effective descriptive set theory », Indagationes Mathematicae (N.S.), vol. 29, no 1,‎ , p. 396–428 (MR 3739622)
  • Joan Moschovakis, « Intuitionistic analysis at the end of time », Bulletin of Symbolic Logic, vol. 23, no 3,‎ , p. 279-295 (MR 3732198)

Notes et références

modifier
  1. « Joan Rand Moschovakis - Occidental College - The Liberal Arts College in Los Angeles », sur oxy.edu.
  2. « Joan Moschovakis », sur ucla.edu.
  3. (en) « Joan R. Moschovakis », sur le site du Mathematics Genealogy Project.
  4. Joan Rand Moschovakis et Yiannis N. Moschovakis, « The Lindström Lectures 2014 », Department of Philosophy, Linguistics and Theory of Science, sur Göteborgs universitet, Université de Göteborg, (consulté le ).

Liens externes

modifier