Yiannis Moschovakis

Yiannis N. Moschovakis Imagen en Infobox. Yiannis N. Moschovakis en Oberwolfach (2005) Biografía
Nacimiento 18 de enero de 1938
Atenas
Nacionalidad americano
Capacitación Instituto de Tecnología de Massachusetts
Universidad de Wisconsin en Madison
Ocupaciones Matemático , lógico , profesor universitario , informático
Cónyuge Joan moschovakis
Otras informaciones
Universidades Universidad de California Los Ángeles , Universidad Nacional y Capodistrian de Atenas
Campo Teoría de conjuntos
Miembro de Academia de la Sociedad Americana de Matemáticas
de Atenas
Director de tesis Stephen cole kleene
ex estudiantes de doctorado Alexander S. Kechris , Michel de Rougemont, Lawrence Moss
Premios Miembro de la Orden de la
Beca Guggenheim de la Sociedad Matemática Estadounidense
del Fénix (2014)
Conocido por
  • Teoría descriptiva efectiva de conjuntos
  • Moschovakis codificando el lema

Yiannis Nicholas Moschovakis (en griego moderno  : Γιάννης Μοσχοβάκης ; nacido el18 de enero de 1938en Atenas ) es un matemático y lógico especialista en teoría de conjuntos , teoría descriptiva de conjuntos y teoría de la recursividad . Fue profesor en la Universidad de California en Los Ángeles .

Está estrechamente asociado al desarrollo de la teoría descriptiva de conjuntos efectiva, o la teoría "lightface"  (en) o conjuntos descriptivos; es conocido por el lema de codificación de Moschovakis  (en) que lleva su nombre.

Biografía

Moschovakis creció en Atenas, y se trasladó a los Estados Unidos en 1956. Obtuvo una licenciatura y maestría de grado del Instituto de Tecnología de Massachusetts en 1960 y un doctorado de la Universidad de Wisconsin en Madison en 1963 bajo la supervisión de Stephen Cole Kleene , con una tesis titulada Análisis recursivo . Luego pasó un año (1963-1964) como Instructor Benjamin Peirce en la Universidad de Harvard , luego se unió a la Universidad de California en Los Ángeles donde fue profesor desde 1970 y hasta 2010, cuando se convirtió en profesor emérito. También es, y desde 1996 hasta 2005, profesor de matemáticas en la Universidad Nacional y Capodistria de Atenas , donde es profesor emérito desde 2005.

Moschovakis está casado con Joan Moschovakis , lógico y también alumno de Stephen Kleene; enseñó en Occidental College . Conjuntamente dieron las Conferencias Lindström en 2014 en la Universidad de Gotemburgo .

Distinciones y honores

Publicaciones (libros)

Notas y referencias

  1. (in) "  Yiannis (John) Nicolas Moschovakis  " en el sitio web del Proyecto de genealogía matemática .
  2. "Lecturas de Lindström"
  3. "  Clase 2016 de los becarios de la AMS  " , American Mathematical Society (consultado el 16 de noviembre de 2015 ) .
  4. Jon Barwise , “  Revisión: Inducción elemental sobre estructuras abstractas , por Y. Moschovakis  ”, Bull. Amargo. Matemáticas. Soc. , vol.  81, n o  6, 1975, p.  1031-1035 ( DOI  10.1090 / s0002-9904-1975-13893-6 , leer en línea ).
  5. Thomas Jech, "  Revisión: teoría descriptiva de conjuntos , por Y. Moschovakis  ", Bull. Amargo. Matemáticas. Soc. (NS) , vol.  5, n o  3,1981, p.  339–349 ( DOI  10.1090 / s0273-0979-1981-14952-1 , leer en línea )

enlaces externos