Yiannis Moschovakis

Yiannis N. Moschovakis Immagine in Infobox. Yiannis N. Moschovakis in Oberwolfach (2005) Biografia
Nascita 18 gennaio 1938
Atene
Nazionalità Americano
Formazione Massachusetts Institute of Technology
University of Wisconsin a Madison
Attività Matematico , logico , professore universitario , informatico
Coniuge Joan moschovakis
Altre informazioni
Università Università della California di Los Angeles , Università Nazionale e Capodistriana di Atene
Campo Insiemistica
Membro di American Mathematical Society
Academy of Athens
Supervisore Stephen cole kleene
ex dottorandi Alexander S. Kechris , Michel de Rougemont, Lawrence Moss
Premi Fellow della American Mathematical Society
Guggenheim Fellowship
Order of the Phoenix (2014)
Famoso per
  • Teoria descrittiva efficace degli insiemi
  • Lemma di codifica Moschovakis

Yiannis Nicholas Moschovakis (in greco moderno  : Γιάννης Μοσχοβάκης ; nato il18 gennaio 1938ad Atene ) è un matematico e logico specialista in teoria degli insiemi , teoria descrittiva degli insiemi e teoria della ricorsione . Era un professore presso l' Università della California a Los Angeles .

È strettamente associato allo sviluppo della teoria descrittiva degli insiemi efficace, o della teoria "lightface"  (in) o degli insiemi descrittivi; è noto per il lemma codificante di Moschovakis  (en) che porta il suo nome.

Biografia

Moschovakis è cresciuto ad Atene e si è trasferito negli Stati Uniti nel 1956. Ha conseguito una laurea e un master presso il Massachusetts Institute of Technology nel 1960 e un dottorato di ricerca presso l' Università del Wisconsin a Madison nel 1963 sotto la supervisione di Stephen Cole Kleene , con una tesi dal titolo Analisi ricorsiva . Ha poi trascorso un anno (1963-1964) come Benjamin Peirce Instructor presso la Harvard University , poi è entrato a far parte dell'Università della California a Los Angeles dove è stato professore dal 1970 e fino al 2010, quando è diventato professore emerito. È anche, e dal 1996 al 2005, professore di matematica presso l' Università Nazionale e Capodistriana di Atene , dove è professore emerito dal 2005.

Moschovakis è sposata con Joan Moschovakis , logica e anche studentessa di Stephen Kleene; ha insegnato all'Occidental College . Hanno tenuto insieme le Lindström Lectures nel 2014 presso l' Università di Göteborg .

Distinzioni e riconoscimenti

Pubblicazioni (libri)

Note e riferimenti

  1. (in) "  Yiannis (John) Nicolas Moschovakis  " sul sito web del Mathematics Genealogy Project .
  2. "Letture di Lindström"
  3. "  2016 Class of the Fellows of the AMS  " , American Mathematical Society (consultato il 16 novembre 2015 ) .
  4. Jon Barwise , "  Recensione: induzione elementare su strutture astratte , di Y. Moschovakis  ", Bull. Amaro. Matematica. Soc. , vol.  81, n o  6, 1975, p.  1031-1035 ( DOI  10.1090 / s0002-9904-1975-13893-6 , leggi in linea ).
  5. Thomas Jech, "  Review: Descriptive set theory , by Y. Moschovakis  ", Bull. Amaro. Matematica. Soc. (NS) , vol.  5, n o  3,diciannove ottantuno, p.  339–349 ( DOI  10.1090 / s0273-0979-1981-14952-1 , leggi in linea )

link esterno