Мосховакис, Яннис Н.
Яннис Н. Мосховакис (Яннис Николас Мосховакис, греч. Γιάννης Μοσχοβάκης; род. 18 января 1938[1], Афины, Греция[2]) — американский и греческий математик и логик. Специалист в области теории множеств, дескриптивной теории множеств и теории вычислимости. Известен вкладом в развитие эффективной дескриптивной теории множеств и леммой кодирования Мосховакиса.
Биография
Мосховакис вырос в Афинах. В 1956 году переехал в США. В 1960 году получил степени бакалавра и магистра в Массачусетском технологическом институте. В 1963 году получил степень доктора философии в Висконсинском университете в Мадисоне под руководством Стивена Коула Клини, защитив диссертацию на тему «Рекурсивный анализ»[3].
В 1963—1964 годах работал преподавателем (Benjamin Peirce Instructor) в Гарвардском университете. Затем перешёл в Калифорнийский университет в Лос-Анджелесе, где занимал должность профессора с 1970 по 2010 год, после чего стал почётным профессором. С 1996 по 2005 год также был профессором математики в Афинском национальном университете имени Каподистрии, где с 2005 года является почётным профессором.
Женат на Джоан Мосховакис, логике и также ученице Стивена Клини, которая преподавала в Оксидентал-колледже. В 2014 году они совместно прочитали лекции Линдстрёма (Lindström Lectures) в Гётеборгском университете[4].
Награды и признание
- 1968—1969: Стипендия Гуггенхайма
- 1970—1972: Стипендия Слоуна
- 1974: Приглашённый докладчик на Международном конгрессе математиков в Ванкувере (доклад «Новые методы и результаты в дескриптивной теории множеств»).
- 1980: Избран членом-корреспондентом Афинской академии
- 1987: Почётный доктор математики Афинского университета
- 2002: Почётный доктор математики Софийского университета (Болгария)
- 2008: Лектор Тарского (доклады «Алгоритмы и реализация», «Английский как язык программирования», «Аксиоматический вывод абсолютных нижних оценок»).
- 2014: Командор ордена Феникса (Греция).
- 2015: Избран действительным членом Американского математического общества «за вклад в математическую логику, особенно в теорию множеств и теорию вычислимости, а также за их популяризацию».
Библиография
- Elementary induction on abstract structures. — North-Holland, 1974. (2-е издание. — Dover, 2008.)
- Descriptive set theory. — North-Holland, 1980. (2-е издание. — 2005.)
- Notes on set theory. — North-Holland, 1994. (2-е издание. — 2005.)
- Abstract recursion and intrinsic complexity. — Cambridge University Press, 2019.
Примечания
Ссылки
- Личная страница на сайте Калифорнийского университета в Лос-Анджелесе