stringtranslate.com

Яннис Н. Мошовакис

Яннис Николас Мошовакис ( греч . Γιάννης Μοσχοβάκης ; родился 18 января 1938 г.) — теоретик множеств , теоретик описательных множеств и теоретик рекурсии (вычислимости) в Калифорнийском университете в Лос-Анджелесе .

Его книга Descriptive Set Theory (North-Holland) является основным источником информации по предмету. Он особенно связан с разработкой эффективной , или lightface , версии descriptive set theory, и он известен леммой кодирования Мошовакиса , названной в его честь.

Биография

Мошовакис получил степень доктора философии в Университете Висконсин-Мэдисон в 1963 году под руководством Стивена Клини , защитив диссертацию под названием «Рекурсивный анализ» . В 2015 году он был избран членом Американского математического общества «за вклад в математическую логику, особенно в теорию множеств и теорию вычислимости , а также за изложение». [1]

В течение многих лет он делил свое время между Калифорнийским университетом в Лос-Анджелесе и Афинским университетом (из последнего он вышел на пенсию в июле 2005 года).

Мошовакис женат на Джоан Мошовакис , с которой он читал лекции Линдстрема в 2014 году в Гётеборгском университете . [2]

Публикации

Ссылки

  1. ^ 2016 Класс членов AMS, Американского математического общества , получено 2015-11-16.
  2. ^ "Лекции Линдстрема - Кафедра философии, лингвистики и теории науки, Гетеборгский университет, Швеция". flov.gu.se. Архивировано из оригинала 2013-11-11.
  3. ^ Barwise, K. Jon (1975). «Обзор: Элементарная индукция по абстрактным структурам, Y. Moschovakis». Bull. Amer. Math. Soc . 81 (6): 1031–1035. doi : 10.1090/s0002-9904-1975-13893-6 .
  4. ^ Jech, Thomas (1981). «Обзор: Описательная теория множеств, Y. Moschovakis». Bull. Amer. Math. Soc. (NS) . 5 (3): 339–349. doi : 10.1090/s0273-0979-1981-14952-1 .

Внешние ссылки