La thèse de doctorat intitulée Disjunction, Existence and *-Eliminability in Formalized Intuitionistic Analysis a servi de fondement académique à la carrière de la logicienne et mathématicienne Joan Moschovakis. Remportée en 1965 auprès de l'Université du Wisconsin à Madison, cette recherche a établi son orientation à long terme vers la logique intuitionniste et les principes mathématiques définis par Brouwer et Heyting.
Formation académique et recherche
Joan Moschovakis a terminé ses études supérieures sous la direction de Stephen Kleene. Sa trajectoire de recherche s'est concentrée sur les complexités de l'analyse intuitionniste formelle. Tout au long de sa carrière, elle a publié des articles importants dans le Journal of Symbolic Logic, notamment une étude de 1971 sur les fonctions non récursives et ses travaux de 1987 concernant l'absence relative de lois au sein du cadre intuitionniste.
Nominations professionnelles
Basée aux États-Unis, Moschovakis a occupé des postes académiques formels qui ont facilité ses contributions continues à la logique symbolique. Elle a été professeure à l'Occidental College, obtenant finalement le statut de professeure émérite. De plus, elle a maintenu une présence active en recherche en tant qu'invitée à l'Université de Californie à Los Angeles, où elle a poursuivi son engagement auprès de la communauté mathématique.
Contributions collaboratives
Moschovakis a contribué à des ouvrages de référence majeurs, tels que le Handbook of the History of Logic de 2009 et l'édition 2015 de la Stanford Encyclopedia of Philosophy. Elle a fréquemment collaboré avec Yiannis Moschovakis, avec qui elle a partagé des fonctions académiques, notamment la présentation des Lindström Lectures en 2014 organisées par l'Université de Göteborg. Elle reste membre de l'Association for Symbolic Logic.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Faits en bref
- Naissance : 1937 - Citoyenneté : États-Unis - Domaine : Mathématiques et logique - Directeur de thèse : Stephen Kleene - Année de doctorat : 1965 - Affiliation : Association for Symbolic Logic - Statut : Professeure émérite à l'Occidental College
Questions posées par les lecteurs
### Quel est le domaine d'étude principal de Joan Moschovakis ?
C'est une mathématicienne et logicienne spécialisée dans la logique intuitionniste.
### Où a-t-elle obtenu son doctorat ?
Elle a reçu son doctorat de l'Université du Wisconsin à Madison en 1965.
