Джоан Мошовакис
Джоан Р. Мошовакис | |
---|---|
Рожденный | Джон Рэнд 1937 |
Альма-матер | Калифорнийский университет – Беркли, Университет Висконсина – Мэдисон |
Известный | Интуиционистская математика , Интуиционистская логика |
Научная карьера | |
Поля | Математика |
Учреждения | Западный колледж |
Докторантура | Стивен Клини |
Джоан Рэнд Мошовакис — логик и математик, специализирующийся на интуиционистской логике и математике. Она почетный профессор Западного колледжа. [1] и гость в Калифорнийском университете в Лос-Анджелесе . [2]
Мошовакис получила докторскую степень. из Университета Висконсин-Мэдисон в 1965 году под руководством Стивена Клини с диссертацией на тему « Дизъюнкция, существование и *-устранимость в формализованном интуиционистском анализе» .
Мошовакис женат на Яннисе Мошовакисе , с которым она читала лекции Линдстрема в 2014 году в Гетеборгском университете . [3]
Избранные публикации [ править ]
- Мошовакис, Джоан (2015). «Интуиционистская логика» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .
- Мошовакис, Джоан Рэнд (2009). «Логика Брауэра и Гейтинга». В Габбае, Дов М.; Вудс, Джон (ред.). Справочник по истории логики. Том. 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 .
Ссылки [ править ]
- ^ «Джоан Рэнд Мошовакис - Западный колледж - Колледж гуманитарных наук в Лос-Анджелесе» . oxy.edu 03.10.2018.
- ^ «Джоан Мошовакис» . ucla.edu .
- ^ «Лекции Линдстрема - факультет философии, лингвистики и теории науки, Гетеборгский университет, Швеция» . Гетеборгский университет . Архивировано из оригинала 29 октября 2016 г. Проверено 27 августа 2015 г.
Внешние ссылки [ править ]
Категории :
- 1938 рождений
- Живые люди
- Ученые из Афин
- Выпускники Университета Висконсин-Мэдисон
- Греческие математики XX века
- Американские математики XXI века
- Американские логики
- Калифорнийский университет, факультет Лос-Анджелеса
- Женщины-математики XX века
- Американские женщины-математики XXI века
- Греческие эмигранты в США
- Выпускники Калифорнийского университета в Беркли
- Незавершенные статьи об американских математиках