Yiannis Moschovakis

Yiannis N. Moschovakis à Oberwolfach (2005)

Biographie
Naissance	18 janvier 1938 (86 ans) 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 (2015) Académie d'Athènes
Directeur de thèse	Stephen Cole Kleene
anciens doctorants	Alexander S. Kechris, Michel de Rougemont, Lawrence Moss
Distinctions	Ordre du Phénix (2014) Membre honoraire de l'American Mathematical Society (2016) Bourse Guggenheim

Connu pour
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)