Joan R. Moschovakis

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
Biographie
Naissance
Nationalité
Formation
Activités
Conjoint
Autres informations
A travaillé pour
Domaine
Directeur de thèse
Élève
Garyfallia Vafeiadou

Biographie

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)

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

Notes et références

  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 20 février 2019).

Liens externes

  • Portail des mathématiques
  • Portail de la logique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Sharealike. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.