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 |
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) |
|
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.
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 .