Yiannis Moschovakis

Biographie
Naissance	18 janvier 1938 (86 ans); Athènes
Nationalités	grecque; américaine
Domicile	États-Unis (depuis 1956)
Formation	Massachusetts Institute of Technology (baccalauréat universitaire ès sciences et master of science) (jusqu'en 1960); Université du Wisconsin à Madison (doctorat) (jusqu'en 1963)
Activités	Mathématicien, informaticien, professeur d'université, logicien, universitaire
Conjoint	Joan Moschovakis
Universités	Université nationale et capodistrienne d'Athènes (1996-2005); Université de Californie à Los Angeles (1964-2010)
Membre de	American Mathematical Society (2015); Académie d'Athènes
Directeur de thèse	Stephen Cole Kleene
anciens doctorants	Alexander S. Kechris, Michel de Rougemont, Lawrence Moss
Site web	(en) www.math.ucla.edu/~ynm
Distinctions	Bourse Guggenheim (1968); Commandeur de l'ordre du Phénix (2014); Membre honoraire de l'American Mathematical Society (2016)
	Théorie descriptive effective des ensembles; Lemme de codage de 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.

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[modifier | modifier le code]

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

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

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)

↑ (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)