Ева Орловска
Стелла Ева Орловска (род.1935) [ 1 ] — польский логик . Ее исследования сосредоточены на концепции, согласно которой все в логике и теории множеств может быть выражено через отношения , и она использовала эту идею для публикации работ по системам дедукции и теории моделей для неклассической логики , а также логики недетерминированной и неполной информации. . [ 2 ] Она профессор Национального института телекоммуникаций в Варшаве и бывший президент Польской ассоциации логики и философии науки. [ 3 ]
Образование и карьера
[ редактировать ]Орловская изучала математику в Варшавском университете , получив в 1957 году степень магистра и доктора философии. в 1971 году. [ 3 ] Диссертацию « Системы доказательства теорем » возглавляла Хелена Расёва . [ 3 ] [ 4 ] Там она получила степень доктора в 1978 году, защитив докторскую диссертацию « Системы разрешения и их приложения» . [ 3 ]
Она была научным сотрудником Польской академии наук с 1959 по 1966 год и доцентом кафедры математики Варшавского университета с 1971 по 1979 год. С 1980 по 1996 год она вернулась в Польскую академию наук на должности, эквивалентные ассоциированному и научному сотруднику. затем полный профессор. С 1996 года она является профессором Национального института телекоммуникаций. [ 3 ]
Она возглавляла редакционный совет журнала Studia Logica с 1989 по 1991 год и была президентом Польской ассоциации логики и философии науки с 1996 по 1999 год. [ 3 ]
Книги
[ редактировать ]Орловская является автором книг, в том числе:
- Системы Эрбрана ( для доказательства теорем исчисления предикатов Państwowe Wydawnictwo Naukowe, 1976) [ 5 ]
- Неполная информация: структура, вывод, сложность (совместно с С. Демри, Springer, 2002) [ 6 ]
- Двойные таблицы: основа, методология, тематические исследования (совместно с Джоанной Голиньской-Пиларек, Springer, 2011 г.) [ 7 ]
- Двойственность структур прикладной логики (совместно с Анной Марией Радзиковской и Ингрид Ревицки, College Publications, 2015) [ 8 ]
Она также отредактировала множество томов сборников статей, в том числе несколько томов, посвященных произведениям Елены Расёвой. [ 9 ] и Здислав Павляк . Книга Евы Орловской «Реляционные методы в логике и информатике » под редакцией Джоанны Голиньской-Пиларек и Михала Завидски была опубликована издательством Springer в 2018 году в серии книг «Выдающийся вклад в логику» . [ 2 ]
Ссылки
[ редактировать ]- ↑ Год рождения из записи авторитетного контроля VIAF , по состоянию на 8 марта 2021 г.
- ^ Jump up to: а б Обзор Евы Орловской о реляционных методах в логике и информатике : Ингрид Ревицки (2021), Studia Logica , дои : 10.1007/s11225-020-09899-x
- ^ Jump up to: а б с д и ж Биографическая справка (PDF) , Польская ассоциация логики и философии науки, март 2016 г. , получено 8 марта 2021 г.
- ^ Ева Орловска в проекте «Математическая генеалогия»
- ^ Обзор систем Эрбрана для доказательства теорем исчисления предикатов : GE Minc, MR 0434782
- ^ Обзоры неполной информации : Йоуни Ярвинен (2006), Studia Logica , JSTOR 20016845 ; Прабхат Кумар Маханти, Коллекция 1016.68163
- ^ Обзоры двойных таблиц : Бранислав Боричич, Збл 1210.03001 ; Уолтер Карниелли (2013), Studia Logica , JSTOR 23488589 ; Мануэль Охеда-Асьего, MR 2761343
- ^ Обзор двойственностей структур прикладной логики : Янис Цирулис, MR 3560754 , Збл 1337.03002
- ^ Обзор « Логики в действии: очерки, посвященные памяти Елены Расёвой» (под редакцией Орловской): Грег Ресталл (2001), Studia Logica , JSTOR 20016366
Внешние ссылки
[ редактировать ]- Публикации Евы Орловской, проиндексированные Google Scholar
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- 1935 рождений
- Живые люди
- Польские логики
- Польские математики XX века
- Польские математики XXI века
- Польские женщины-математики
- Польские философы ХХ века
- Польские философы XXI века
- Польские женщины-философы
- Выпускники Варшавского университета
- Академический состав Варшавского университета
- Польские женщины 20-го века