Yiannis N. Moschovakis - Yiannis N. Moschovakis
Yiannis N. Moschovakis | |
---|---|
Urodzić się |
Yiannis Nicholas Moschovakis
18 stycznia 1938 |
Alma Mater | Uniwersytet Wisconsin-Madison |
Znany z | Skuteczna opisowa teoria mnogości |
Kariera naukowa | |
Pola | Matematyka |
Instytucje | UCLA |
Doradca doktorski | Stephen Kleene |
Doktoranci |
Alexander S. Kechris Phokion G. Kolaitis |
Yiannis Nicholas Moschovakis ( gr . Γιάννης Μοσχοβάκης ; urodzony 18 stycznia 1938) jest teoretykiem mnogości , opisowym teoretykiem mnogości i teoretykiem rekurencji (obliczalności) na Uniwersytecie Kalifornijskim .
Jego książka Opisowa teoria mnogości (North-Holland) jest głównym odniesieniem do tego tematu. Jest on szczególnie związany z rozwojem skutecznej lub jasnej wersji opisowej teorii mnogości i jest znany z lematu kodowania Moschovakisa, który został nazwany jego imieniem.
Biografia
Moschovakis uzyskał tytuł doktora. z University of Wisconsin-Madison w 1963 pod kierunkiem Stephena Kleene , z rozprawą zatytułowaną Analiza rekursywna . W 2015 roku został wybrany jako kolega z American Mathematical Society „dla wkładów do logiki matematycznej, a zwłaszcza teorii mnogości i teoria obliczalności, a dla ekspozycji”.
Od wielu lat dzieli swój czas pomiędzy UCLA i Uniwersytet w Atenach (z tego ostatniego przeszedł na emeryturę w lipcu 2005).
Moschovakis jest żonaty z Joanem Moschovakisem , z którym wygłosił w 2014 roku Lindström Lectures na Uniwersytecie w Göteborgu .
Publikacje
- Indukcja elementarna na strukturach abstrakcyjnych . Północna Holandia. 1974. Drugie wydanie . Dover. 2008. ISBN 9780486152011.
- Opisowa teoria mnogości . Północna Holandia. 1980.ISBN 9780444853059. Drugie wydanie . 2005. Drugie wydanie dostępne online
- Uwagi dotyczące teorii mnogości . Północna Holandia. 1994. ISBN 9783540941804. Drugie wydanie . 2005.