Американский логик и математик.
Джоан Рэнд Мошовакис — логик и математик, специализирующийся на интуиционистской логике и математике. Она — почетный профессор в Occidental College [1] и гость в UCLA . [2]
Московакис получила докторскую степень в Университете Висконсин-Мэдисон в 1965 году под руководством Стивена Клини , защитив диссертацию под названием «Дизъюнкция, существование и *-устранимость в формализованном интуиционистском анализе» .
Мошовакис замужем за Яннисом Мошовакисом , с которым она читала в 2014 году лекции Линдстрема в Гётеборгском университете . [3]
Избранные публикации
- Мошовакис, Джоан (2015). «Интуиционистская логика». В Zalta, Edward N. (ред.). Стэнфордская энциклопедия философии .
- Moschovakis, Joan Rand (2009). «Логика Брауэра и Гейтинга». В Gabbay, Dov M.; Woods, John (ред.). Handbook of the History of Logic. Vol. 5. Logic from Russell to Church . Handbook of the History of Logic. Vol. 5. Amsterdam: Elsevier/North-Holland. pp. 77–125. CiteSeerX 10.1.1.117.9445 . doi :10.1016/S1874-5857(09)70007-X. ISBN 9780444516206. МР 2668177.
- Мошовакис, Джоан Рэнд (1987). «Относительное беззаконие в интуиционистском анализе». Журнал символической логики . 52 (1): 68–88. doi :10.2307/2273863. JSTOR 2273863. MR 0877856.
- Мошовакис, Джоан Рэнд (1971). «Могут ли не быть нерекурсивных функций?». Журнал символической логики . 36 (2): 309–315. doi :10.2307/2270266. JSTOR 2270266. MR 0294087.
Ссылки
- ^ «Джоан Рэнд Мошовакис - Западный колледж - Колледж гуманитарных наук в Лос-Анджелесе» . окси.edu . 03.10.2018.
- ^ "Джоан Мошовакис". ucla.edu .
- ^ "Лекции Линдстрема - Кафедра философии, лингвистики и теории науки, Гетеборгский университет, Швеция". Göteborgs universitet . Архивировано из оригинала 29-10-2016 . Получено 27-08-2015 .
Внешние ссылки
