La publication de Descriptive Set Theory par North-Holland a établi un texte de référence majeur qui a défini la trajectoire du domaine pendant des décennies. Yiannis N. Moschovakis, logicien et mathématicien de nationalité grecque et américaine, a consacré sa carrière à la théorie des ensembles, à la théorie de la calculabilité et à la philosophie du langage, façonnant la compréhension moderne de la théorie descriptive effective des ensembles.
Fondations académiques
Né à Athènes en 1938, Moschovakis a poursuivi ses études supérieures aux États-Unis, fréquentant le Massachusetts Institute of Technology avant d'obtenir son doctorat à l'Université du Wisconsin-Madison en 1963. Sa thèse de doctorat, intitulée Recursive Analysis, a été réalisée sous la direction de Stephen Kleene. Cette formation a jeté les bases de ses futures explorations dans les structures abstraites et la théorie de la récursion.
Recherche et contributions
Ses principales contributions aux mathématiques concernent le développement de la théorie descriptive effective des ensembles. Au sein de la communauté académique, son nom est associé au lemme de codage de Moschovakis. Tout au long de sa carrière, il a écrit des textes importants, notamment Elementary Induction on Abstract Structures, publié pour la première fois en 1974, et Notes on Set Theory. Ses travaux s'étendent à la philosophie des mathématiques et à l'informatique, consolidant son statut de figure clé de la logique fondamentale.
Parcours institutionnel
Moschovakis a occupé un poste de longue durée à l'Université de Californie à Los Angeles, en tant que membre du corps professoral de 1964 à 2010. Parallèlement, il a maintenu une présence significative à l'Université nationale et capodistrienne d'Athènes, où il a travaillé de 1996 jusqu'à sa retraite de cette institution en 2005. Il conserve le statut d'émérite à l'Université de Californie et à l'Université nationale et capodistrienne d'Athènes.
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 →Reconnaissance professionnelle
Ses travaux ont été soutenus par une bourse Guggenheim, décernée en 1968. En 2014, il a reçu le titre de Commandeur de l'Ordre du Phénix, et en 2016, il a été élu membre de l'American Mathematical Society. Il est également membre de l'Académie d'Athènes. Avec son épouse, Joan Moschovakis, il a donné les conférences Lindström à l'Université de Göteborg en 2014.
Faits marquants
- Naissance : 1938, Athènes, Grèce - Citoyenneté : États-Unis et Grèce - Doctorat : Université du Wisconsin-Madison, 1963 - Domaine principal : Logique et fondements - Œuvre majeure : Descriptive Set Theory - Distinction notable : Commandeur de l'Ordre du Phénix, 2014 - Affiliation professionnelle : American Mathematical Society - Statut académique : Professeur émérite
Questions fréquentes
### Qu'est-ce que le lemme de codage de Moschovakis ?
C'est un résultat mathématique nommé d'après Yiannis N. Moschovakis, associé à ses travaux sur la théorie descriptive des ensembles.
### Où Moschovakis a-t-il occupé des postes de professeur ?
Il a été membre du corps professoral à l'Université de Californie à Los Angeles de 1964 à 2010 et à l'Université nationale et capodistrienne d'Athènes de 1996 à 2005.
