Джоан Мощовакис - Joan Moschovakis

Джоан Р. Мощовакис
Родившийся
Джоан Рэнд

1937 г.
Альма-матер Калифорнийский университет - Университет Беркли, Висконсин - Мэдисон
Известен Интуиционистская математика , интуиционистская логика
Научная карьера
Поля Математика
Учреждения Западный колледж
Докторант Стивен Клини

Джоан Рэнд Мощовакис - логик и математик, специализирующийся на интуиционистской логике и математике. Она является почетным профессором Западного колледжа и гостьей Калифорнийского университета в Лос-Анджелесе .

Мощовакис получила степень доктора философии. из Университета Висконсин-Мэдисон в 1965 году под руководством Стивена Клини с диссертацией на тему « Дизъюнкция, существование и * -искриминация в формализованном интуиционистском анализе» .

Мощовакис замужем за Яннисом Мощовакисом , с которым она читала лекции Линдстрем в 2014 году в Гетеборгском университете .

Избранные публикации

  • Мощовакис, Джоан (2015). «Интуиционистская логика» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .
  • Мощовакис, Джоан Рэнд (2009). «Логика Брауэра и Гейтинга». В Габбае, Дов М .; Вудс, Джон (ред.). Справочник по истории логики. Vol. 5. Логика от Рассела до Черча . Справочник по истории логики. 5 . Амстердам: Эльзевир / Северная Голландия. С. 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 . Руководство по ремонту  0877856 .
  • Мощовакис, Джоан Рэнд (1971). «Разве не может быть нерекурсивных функций?». Журнал символической логики . 36 (2): 309–315. DOI : 10.2307 / 2270266 . JSTOR  2270266 . Руководство по ремонту  0294087 .

Ссылки

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