Narodziny |
18 stycznia 1938 Ateny |
---|---|
Narodowość | amerykański |
Trening |
Massachusetts Institute of Technology University of Wisconsin w Madison |
Zajęcia | Matematyk , logik , profesor uniwersytetu , informatyk |
Małżonka | Joan moschovakis |
Uniwersytety | University of California Los Angeles , National and Capodistrian University of Athens |
---|---|
Pole | Teoria mnogości |
Członkiem |
Akademia Amerykańskiego Towarzystwa Matematycznego w Atenach |
Kierownik | Stephen Cole Kleene |
byli doktoranci | Alexander S. Kechris , Michel de Rougemont, Lawrence Moss |
Nagrody |
Członek Amerykańskiego Towarzystwa Matematycznego Guggenheim Fellowship Order of the Phoenix (2014) |
|
Yiannis Nicholas Moschovakis (we współczesnej grece : Γιάννης Μοσχοβάκης ; urodzony18 stycznia 1938w Atenach ) jest matematykiem i logikiem specjalizującym się w teorii mnogości , opisowej teorii mnogości i teorii rekurencji . Był profesorem na Uniwersytecie Kalifornijskim w Los Angeles .
Jest to ściśle związane z rozwojem efektywnej opisowej teorii mnogości lub teorii „lightface” (w) lub deskryptywnych zbiorów; jest znany z lematu kodowania Moschovakis (en), który nosi jego imię.
Moschovakis dorastał w Atenach, a w 1956 r. Przeniósł się do Stanów Zjednoczonych. W 1960 r. Uzyskał tytuł licencjata i magistra w Massachusetts Institute of Technology , a doktorat na University of Wisconsin w Madison w 1963 r. Pod kierunkiem Stephen Cole Kleene z tezą zatytułowaną Analiza rekurencyjna . Następnie spędził rok (1963-1964) jako Benjamin Peirce Instructor na Uniwersytecie Harvarda , następnie dołączył do University of California w Los Angeles, gdzie był profesorem od 1970 do 2010, kiedy to został emerytowanym profesorem. Jest także, a od 1996 do 2005 roku, profesorem matematyki na Narodowym i Kapodystryjskim Uniwersytecie w Atenach , gdzie jest emerytowanym profesorem od 2005 roku.
Moschovakis jest żonaty z Joan Moschovakis , logikiem, a także uczniem Stephena Kleene; uczyła w Occidental College . W 2014 r. Wspólnie wygłosili wykłady Lindström na Uniwersytecie w Gothenburgu .