Yiannis Nicholas Moschovakis ( griego : Γιάννης Μοσχοβάκης ; nacido el 18 de enero de 1938) es un teórico de conjuntos , un teórico descriptivo de conjuntos y un teórico de la recursividad (computabilidad) de la UCLA .
Su libro Descriptive Set Theory (North-Holland) es la principal referencia sobre el tema. Se lo asocia especialmente con el desarrollo de la versión efectiva o lightface de la teoría descriptiva de conjuntos y es conocido por el lema de codificación de Moschovakis que lleva su nombre.
Moschovakis obtuvo su doctorado en la Universidad de Wisconsin-Madison en 1963 bajo la dirección de Stephen Kleene , con una disertación titulada Análisis recursivo . En 2015, fue elegido miembro de la Sociedad Matemática Estadounidense "por sus contribuciones a la lógica matemática, especialmente la teoría de conjuntos y la teoría de la computabilidad , y por su exposición". [1]
Durante muchos años, dividió su tiempo entre la UCLA y la Universidad de Atenas (se jubiló de esta última en julio de 2005).
Moschovakis está casado con Joan Moschovakis , con quien impartió las Conferencias Lindström de 2014 en la Universidad de Gotemburgo . [2]