Yiannis Moschovakis

Yiannis Nicholas Moschovakis (en grec moderne : Γιάννης Μοσχοβάκης; né le 18 janvier 1938 à Athènes) est un mathématicien et logicien spécialiste en théorie des ensembles, théorie descriptive des ensembles, et théorie de la récursivité. Il a été professeur à l'Université de Californie à Los Angeles.

Yiannis N. Moschovakis

Yiannis N. Moschovakis à Oberwolfach (2005)

Biographie
Naissance	18 janvier 1938 Athènes
Nationalité	Américaine
Formation	Massachusetts Institute of Technology Université du Wisconsin à Madison
Activités	Mathématicien, professeur d'université, logicien, informaticien
Conjoint	Joan Moschovakis

Autres informations
Universités	Université de Californie à Los Angeles, université nationale et capodistrienne d'Athènes
Membre de	American Mathematical Society Académie d'Athènes
Dir. de thèse	Stephen Cole Kleene
anciens doctorants	Alexander S. Kechris, Michel de Rougemont, Lawrence Moss
Distinctions	Membre de l'American Mathematical Society Bourse Guggenheim Ordre du Phénix (2014)

Connu pour
Théorie descriptive effective des ensembles Lemme de codage de Moschovakis

Il est étroitement associé au développement de la théorie descriptive des ensembles effective, ou encore la théorie « lightface » (en) ou descriptive des ensembles ; il est connu pour le lemme de codage de Moschovakis (en) qui porte son nom.

Biographie

Moschovakis grandit à Athènes, et part aux États-Unis en 1956. Il obtient un bachelor et un master au Massachusetts Institute of Technology en 1960, et un Ph.D. à Université du Wisconsin à Madison en 1963 sous la direction de Stephen Cole Kleene, avec une thèse intitulée Recursive Analysis[1]. Il passe ensuite une année (1963-1964) comme Benjamin Peirce Instructor à l'université Harvard, puis rejoint l'université de Californie à Los Angeles où il est professeur à partir de 1970 et jusqu'en 2010, quand il devient professeur émérite. Il est également, et de 1996 à 2005, professeur de mathématiques à l'Université nationale et capodistrienne d'Athènes, où il est professeur émérite depuis 2005.

Moschovakis est marié avec Joan Moschovakis, logicienne et également élève de Stephen Kleene ; elle a enseigné au Occidental College. Ils ont donné en commun les Lindström Lectures en 2014 à l'université de Göteborg[2].

Distinctions et honneurs

1968-1969 : Guggenheim Fellowship
1970-1972 : Sloan Fellowship
1974 : Conférencier invité au congrès international des mathématiciens à Vancouver ('New Methods and Results in Descriptive Set Theory).
1980 : Élu membre correspondant de l'Académie d'Athènes
1987 : Doctorat honoris causa en mathématiques de l'université d'Athènes
2002 : Doctorat honoris causa en mathématiques de l'université de Sofia (Bulgarie)
2008 : Tarski Lecturer (Algorithms and implementation ; English as an programming language ; The axiomatic derivation of absolute lower bounds).
2014 : Commandeur de l'ordre du Phénix (grecque.
2015 : Élu Fellow de l'American Mathematical Society « for contributions to mathematical logic, especially set theory and computability theory, and for exposition »[3].

Publications (ouvrages)

Elementary induction on abstract structures, North-Holland, 1974[4] (2^e édition, Dover, 2008 (présentation en ligne))
Descriptive set theory, North-Holland, 1980 (lire en ligne)[5] (2^e édition, 2005)
Notes on set theory, North-Holland, 1994 (2^e édition, 2005 (lire en ligne))
Abstract recursion and intrinsic complexity, Cambridge University Press, coll. « Lecture Notes in Logic » (n^o 48), 2019 (lire en ligne)

Notes et références

(en) « Yiannis (John) Nicolas Moschovakis », sur le site du Mathematics Genealogy Project.
« Lindström Lectures »
« 2016 Class of the Fellows of the AMS », American Mathematical Society (consulté le 16 novembre 2015).
Jon Barwise, « Review: Elementary induction on abstract structures, by Y. Moschovakis », Bull. Amer. Math. Soc., vol. 81, n^o 6,‎ 1975, p. 1031-1035 (DOI 10.1090/s0002-9904-1975-13893-6, lire en ligne).
Thomas Jech, « Review: Descriptive set theory, by Y. Moschovakis », Bull. Amer. Math. Soc. (N.S.), vol. 5, n^o 3,‎ 1981, p. 339–349 (DOI 10.1090/s0273-0979-1981-14952-1, lire en ligne)

Liens externes

Page personnelle sur l'UCLA
Notices d'autorité :
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] (en) « Yiannis (John) Nicolas Moschovakis », sur le site du Mathematics Genealogy Project.

[2] « Lindström Lectures »

[3] « 2016 Class of the Fellows of the AMS », American Mathematical Society (consulté le 16 novembre 2015).

[4] Jon Barwise, « Review: Elementary induction on abstract structures, by Y. Moschovakis », Bull. Amer. Math. Soc., vol. 81, n^o 6,‎ 1975, p. 1031-1035 (DOI 10.1090/s0002-9904-1975-13893-6, lire en ligne).

[5] Thomas Jech, « Review: Descriptive set theory, by Y. Moschovakis », Bull. Amer. Math. Soc. (N.S.), vol. 5, n^o 3,‎ 1981, p. 339–349 (DOI 10.1090/s0273-0979-1981-14952-1, lire en ligne)