Докторская диссертация под названием Disjunction, Existence and -Eliminability in Formalized Intuitionistic Analysis (Дизъюнкция, существование и -устранимость в формализованном интуиционистском анализе) послужила академической основой для карьеры логика и математика Джоан Московакис (Joan Moschovakis). Это исследование, защищенное в 1965 году в Висконсинском университете в Мадисоне, определило ее долгосрочный интерес к интуиционистской логике и математическим принципам, сформулированным Брауэром (Brouwer) и Гейтингом (Heyting).
Академическая подготовка и исследования
Джоан Московакис завершила свое последипломное обучение под руководством Стивена Клини (Stephen Kleene). Ее исследовательская деятельность была сосредоточена на тонкостях формального интуиционистского анализа. За свою карьеру она опубликовала значимые статьи в журнале Journal of Symbolic Logic, включая исследование 1971 года о нерекурсивных функциях и работу 1987 года, посвященную относительной беззаконности в рамках интуиционизма.
Профессиональные назначения
Проживая в Соединенных Штатах, Московакис занимала формальные академические должности, которые способствовали ее постоянному вкладу в символическую логику. Она работала профессором в Оксидентал-колледже (Occidental College), где впоследствии получила статус почетного профессора (professora emerita). Кроме того, она сохраняла активную исследовательскую деятельность в качестве приглашенного ученого в Калифорнийском университете в Лос-Анджелесе, где продолжала взаимодействие с математическим сообществом.
Совместный вклад
Московакис участвовала в написании статей для крупных справочных изданий, таких как Handbook of the History of Logic (2009) и издание Stanford Encyclopedia of Philosophy (2015). Она часто сотрудничала с Яннисом Московакисом (Yiannis Moschovakis), с которым делила академические обязанности, включая чтение лекций Линдстрема (Lindström Lectures) в 2014 году, организованных Гётеборгским университетом. Она остается членом Ассоциации символической логики (Association for Symbolic Logic).
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Краткие факты
- Год рождения: 1937 - Гражданство: США - Область: Математика и логика - Научный руководитель: Стивен Клини - Год получения степени PhD: 1965 - Членство: Ассоциация символической логики - Статус: Почетный профессор Оксидентал-колледжа
Вопросы, которые задают читатели
### Какова основная область исследований Джоан Московакис?
Она математик и логик, специализирующаяся на интуиционистской логике.
### Где она получила степень PhD?
Она получила докторскую степень в Висконсинском университете в Мадисоне в 1965 году.
