Яннис Николас Мошовакис ( греч . Γιάννης Μοσχοβάκης ; родился 18 января 1938 г.) — теоретик множеств , теоретик описательных множеств и теоретик рекурсии (вычислимости) в Калифорнийском университете в Лос-Анджелесе .
Его книга «Описательная теория множеств» (Северная Голландия) является основным справочником по этому предмету. Он особенно связан с разработкой эффективной , или облегченной , версии дескриптивной теории множеств, и он известен благодаря лемме кодирования Мошовакиса , названной в его честь.
Мошовакис получил докторскую степень. из Университета Висконсин-Мэдисон в 1963 году под руководством Стивена Клини с диссертацией под названием «Рекурсивный анализ» . В 2015 году он был избран членом Американского математического общества «за вклад в математическую логику, особенно теорию множеств и теорию вычислимости , а также за разъяснения». [1]
В течение многих лет он делил свое время между Калифорнийским университетом в Лос-Анджелесе и Афинским университетом (из последнего он ушел в июле 2005 года).
Мошовакис женат на Джоан Мошовакис , с которой он читал лекции Линдстрема в 2014 году в Гетеборгском университете . [2]