Yiannis N. Moschovakis - Yiannis N. Moschovakis
Yiannis N. Moschovakis | |
---|---|
Nació |
Yiannis Nicholas Moschovakis
18 de enero de 1938 |
alma mater | Universidad de Wisconsin-Madison |
Conocido por | Teoría de conjuntos descriptiva efectiva |
Carrera científica | |
Los campos | Matemáticas |
Instituciones | UCLA |
Asesor de doctorado | Stephen Kleene |
Estudiantes de doctorado |
Alexander S. Kechris Phokion G. Kolaitis |
Yiannis Nicholas Moschovakis ( griego : Γιάννης Μοσχοβάκης ; nacido el 18 de enero de, 1938) es un teórico del conjunto , el teórico descriptiva de conjuntos , y la recursividad (computabilidad) teórico , en la UCLA .
Su libro Teoría descriptiva de conjuntos (Holanda Septentrional) es la principal referencia para 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 Moschovakis que lleva su nombre.
Biografía
Moschovakis obtuvo su Ph.D. 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 American Mathematical Society "por sus contribuciones a la lógica matemática, especialmente la teoría de conjuntos y la teoría de la computabilidad, y por la exposición".
Durante muchos años ha dividido su tiempo entre UCLA y la Universidad de Atenas (se retiró de esta última en julio de 2005).
Moschovakis está casado con Joan Moschovakis , con quien impartió las Conferencias Lindström 2014 en la Universidad de Gotemburgo .
Publicaciones
- Inducción elemental sobre estructuras abstractas . Holanda Septentrional. 1974. 2ª ed . Dover. 2008. ISBN 9780486152011.
- Teoría descriptiva de conjuntos . Holanda Septentrional. 1980.ISBN 9780444853059. 2ª ed . 2005. Segunda edición disponible online
- Notas sobre la teoría de conjuntos . Holanda Septentrional. 1994. ISBN 9783540941804. 2ª ed . 2005.