Syntymä |
18. tammikuuta 1938 Ateena |
---|---|
Kansalaisuus | amerikkalainen |
Koulutus |
Massachusetts Institute of Technology University of Wisconsin Madisonissa |
Toiminta | Matemaatikko , logistiikka , yliopiston professori , tietojenkäsittelytieteen tutkija |
Puoliso | Joan Moschovakis |
Yliopistot | Kalifornian yliopisto Los Angeles , Ateenan kansallinen ja Capodistrian-yliopisto |
---|---|
Ala | Joukko-teoria |
Jonkin jäsen |
American Mathematical Society Academy of Athens |
Valvoja | Stephen Cole Kleene |
entiset tohtorikoulutettavat | Alexander S.Kechris , Michel de Rougemont, Lawrence Moss |
Palkinnot |
Feeniksin American Mathematical Society Guggenheim -jäsenyysjärjestön jäsen (2014) |
|
Yiannis Nicholas Moschovakis ( nykykreikaksi : Γιάννης Μοσχοβάκης ; syntynyt18. tammikuuta 1938in Athens ) on matemaatikko ja logician asiantuntija joukko-oppi , kuvaileva joukko-opin ja teorian rekursion . Hän oli professori Kalifornian yliopistossa Los Angelesissa .
Se liittyy läheisesti kuvailevan joukko-teorian tehokkuuden, tai teorian "valopinta" (sisään) tai kuvaavien ryhmien kehittämiseen; hänet tunnetaan Moschovakisin (en) koodaavasta lemmasta, jolla on hänen nimensä.
Moschovakis varttui Ateenassa, ja muutti Yhdysvaltoihin vuonna 1956. Hän sai kandidaatin ja maisterin tutkinnon alkaen Massachusetts Institute of Technology vuonna 1960, ja tohtorin alkaen University of Wisconsin Madison vuonna 1963 valvonnassa Stephen Cole Kleene , väitöskirja nimeltä Rekursiivinen analyysi . Sitten hän vietti vuoden (1963-1964) Benjamin Peirce -opettajana Harvardin yliopistossa , sitten liittyi Kalifornian yliopistoon Los Angelesiin, jossa hän oli professori vuodesta 1970 ja vuoteen 2010, jolloin hänestä tuli emeritusprofessori. Hän on myös matematiikan professori Ateenan kansallisessa ja Capodistrian yliopistossa vuosina 1996-2005 , jossa hän on toiminut emeritusprofessorina vuodesta 2005.
Moschovakis on naimisissa logistiikan ja Stephen Kleenen opiskelijan Joan Moschovakisin kanssa ; hän opetti Occidental Collegessa . He pitivät yhdessä Lindström-luennot vuonna 2014 Göteborgin yliopistossa .