Yiannis Moschovakis

Yiannis N. Moschovakis Obraz w Infobox. Yiannis N. Moschovakis w Oberwolfach (2005) Biografia
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
Inne informacje
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)
Znany z
  • Skuteczna opisowa teoria zbiorów
  • Lemat kodowania Moschovakisa

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

Biografia

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 .

Odznaczenia i wyróżnienia

Publikacje (książki)

Uwagi i odniesienia

  1. (w) „  Yiannis (John) Nicolas Moschovakis  ” na stronie Mathematics Genealogy Project .
  2. „Odczyty Lindströma”
  3. „  2016 Class of the Fellows of the AMS  ” , American Mathematical Society (dostęp: 16 listopada 2015 ) .
  4. Jon Barwise , „  Review: Elementary induction on abstract structure , Y. Moschovakis  ”, Bull. Gorzki. Matematyka. Soc. , vol.  81, n o  6, 1975, s.  1031-1035 ( DOI  10.1090 / s0002-9904-1975-13893-6 , czytaj online ).
  5. Thomas Jech, „  Recenzja: opisowa teoria mnogości , Y. Moschovakis  ”, Bull. Gorzki. Matematyka. Soc. (NS) , t.  5, n O  3,Dziewiętnaście osiemdziesiąt jeden, s.  339–349 ( DOI  10.1090 / s0273-0979-1981-14952-1 , czytaj online )

Linki zewnętrzne