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. et chercheur invité à l'université de Californie à Los Angeles..
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.. 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..
Publications (sélection)
Notes et références
Liens externes
Page personnelle sur l'UCLA
Catégorie:Naissance en 1938 Catégorie:Étudiant de l'université du Wisconsin à Madison Catégorie:Mathématicienne du XXe siècle Catégorie:Mathématicienne du XXIe siècle Catégorie:Logicienne américaine Catégorie:Professeur à l'université de Californie à Los Angeles