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

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, « Intuitionistic Logic », dans Edward N. Zalta (éditeur), The Stanford Encyclopedia of Philosophy, hiver 2018 (lire en ligne)

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, 2009 (ISBN 9780444516206, DOI 10.1016/S1874-5857(09)70007-X, Math Reviews 2668177), p. 77-125
Joan Rand Moschovakis, « Relative lawlessness in intuitionistic analysis », Journal of Symbolic Logic, vol. 52, n^o 1,‎ 1987, p. 68–88 (DOI 10.2307/2273863, JSTOR 2273863, Math Reviews 877856)
Joan Rand Moschovakis, « Can there be no nonrecursive functions? », Journal of Symbolic Logic, vol. 36, n^o 2,‎ 1971, p. 309–315 (DOI 10.2307/2270266, JSTOR 2270266, Math Reviews 0294087)

Joan Moschovakis et Yiannis Moschovakis, « Intuitionism and effective descriptive set theory », Indagationes Mathematicae (N.S.), vol. 29, n^o 1,‎ 2018, p. 396–428 (Math Reviews 3739622)

Joan Moschovakis, « Intuitionistic analysis at the end of time », Bulletin of Symbolic Logic, vol. 23, n^o 3,‎ 2017, p. 279-295 (Math Reviews 3732198)

Notes et références

« Joan Rand Moschovakis - Occidental College - The Liberal Arts College in Los Angeles », sur oxy.edu.
« Joan Moschovakis », sur ucla.edu.
(en) « Joan R. Moschovakis », sur le site du Mathematics Genealogy Project.
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, 2014 (consulté le 20 février 2019).

Liens externes

Page personnelle sur l'UCLA
Ressources relatives à la recherche :
- (en) Digital Bibliography & Library Project
- (en) Mathematics Genealogy Project

Portail des mathématiques
Portail de la logique

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[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, 2014 (consulté le 20 février 2019).