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

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

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

Джоан Рэнд Московакис это логик и математик сфокусироваться на интуиционистская логика и математика. Она заслуженный профессор Западный колледж[1] и гость в UCLA.[2]

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

Мощовакис женат на Яннис Мощовакис, с которым она подарила 2014 Линдстрём Лекции в Гетеборгский университет.[3]

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

  • Мощовакис, Джоан (2015). «Интуиционистская логика». В Залта, Эдуард Н. (ред.). Стэнфордская энциклопедия философии.
  • Мощовакис, Джоан Рэнд (2009). «Логика Брауэра и Гейтинга». В Габбае, Дов М .; Вудс, Джон (ред.). Справочник по истории логики. Vol. 5. Логика от Рассела к Черчу. Справочник по истории логики. 5. Амстердам: Эльзевир / Северная Голландия. С. 77–125. CiteSeerX  10.1.1.117.9445. Дои:10.1016 / S1874-5857 (09) 70007-X. ISBN  9780444516206. Г-Н  2668177.
  • Мощовакис, Джоан Рэнд (1987). «Относительное беззаконие в интуиционистском анализе». Журнал символической логики. 52 (1): 68–88. Дои:10.2307/2273863. JSTOR  2273863. Г-Н  0877856.
  • Мощовакис, Джоан Рэнд (1971). «Разве не может быть нерекурсивных функций?». Журнал символической логики. 36 (2): 309–315. Дои:10.2307/2270266. JSTOR  2270266. Г-Н  0294087.

использованная литература

  1. ^ «Джоан Рэнд Московакис - Западный колледж - Колледж гуманитарных наук в Лос-Анджелесе». oxy.edu. 2018-10-03.
  2. ^ "Джоан Мощовакис". ucla.edu.
  3. ^ «Лекции Линдстрема - факультет философии, лингвистики и теории науки, Гетеборгский университет, Швеция». Гетеборгский университет. Архивировано из оригинал на 2016-10-29. Получено 2015-08-27.

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