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 .
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 | |
Campos | Matemáticas |
Instituciones | UCLA |
Asesor de doctorado | Stephen Kleene |
Estudiantes de doctorado | Alexander S. Kechris Phokion G. Kolaitis |
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". [1]
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 . [2]
Publicaciones
- Inducción elemental sobre estructuras abstractas . Holanda Septentrional. 1974.[3]2ª ed . Dover. 2008. ISBN 9780486152011.
- Teoría descriptiva de conjuntos . Holanda Septentrional. 1980.[4]2ª ed . 2005. Segunda edición disponible online
- Notas sobre la teoría de conjuntos . Holanda Septentrional. 1994. ISBN 9783540941804.2ª ed . 2005.
Referencias
- ^ 2016 Class of the Fellows of the AMS , American Mathematical Society , consultado el 16 de noviembre de 2015.
- ^ http://flov.gu.se/english/research/logic/lindstrom-lectures
- ^ Barwise, K. Jon (1975). "Revisión: inducción elemental sobre estructuras abstractas , por Y. Moschovakis" . Toro. Amer. Matemáticas. Soc . 81 (6): 1031–1035. doi : 10.1090 / s0002-9904-1975-13893-6 .
- ^ Jech, Thomas (1981). "Revisión: teoría descriptiva de conjuntos , por Y. Moschovakis" . Toro. Amer. Matemáticas. Soc. (NS) . 5 (3): 339–349. doi : 10.1090 / s0273-0979-1981-14952-1 .
enlaces externos
- Página de inicio
- Yiannis N. Moschovakis en el Proyecto de genealogía matemática