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 Teoría descriptiva de conjuntos (Holanda Septentrional) es la principal referencia sobre el tema. Está especialmente asociado 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. de 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 Estadounidense de Matemáticas "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 ha dividido 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 dio las Conferencias Lindström de 2014 en la Universidad de Gotemburgo . [2]