Joan R. Moschovakis

Joan Moschovakis
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Voir et modifier les données sur Wikidata (86 ans)
Nationalité
américaineVoir et modifier les données sur Wikidata
Formation
Activités
Mathématicienne, logicienneVoir et modifier les données sur Wikidata
Conjoint
Yiannis MoschovakisVoir et modifier les données sur Wikidata
Autres informations
A travaillé pour
Domaine
Intuitionnisme, Logique intuitionniste
Directeur de thèse
Stephen Cole KleeneVoir et modifier les données sur Wikidata
Élève
Garyfallia Vafeiadou

modifier - modifier le code - modifier WikidataDocumentation du modèle

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].

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, « The logic of Brouwer and Heyting », dans Dov M. Gabbay et John Woods (éditeurs), Handbook of the History of Logic, vol. 5 : Logic from Russell to Church., Elsevier/North-Holland, (ISBN 9780444516206, DOI 10.1016/S1874-5857(09)70007-X, MR 2668177, CiteSeerx 10.1.1.117.9445), p. 77-125
  • Joan Rand Moschovakis, « Relative lawlessness in intuitionistic analysis », Journal of Symbolic Logic, vol. 52, no 1,‎ , p. 68–88 (DOI 10.2307/2273863, JSTOR 2273863, MR 877856)
  • Joan Rand Moschovakis, « Can there be no nonrecursive functions? », Journal of Symbolic Logic, vol. 36, no 2,‎ , p. 309–315 (DOI 10.2307/2270266, JSTOR 2270266, MR 0294087)
  • 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

  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

  • Page personnelle sur l'UCLA
  • Ressources relatives à la rechercheVoir et modifier les données sur Wikidata :
    • Digital Bibliography & Library Project
    • Mathematics Genealogy Project
  • icône décorative Portail des mathématiques
  • icône décorative Portail de la logique
  • icône décorative Portail des États-Unis